AbdelStark

AbdelStark/tessera

Tessera is a sumcheck/GKR proof system that proves a committed integer language model D produced a recorded token stream. The proof is sound against a prover that controls all hardware and software, hides weights, activations, prompts and outputs.

1 stars 1 forks 1 watchers Rust Apache License 2.0
large-language-models verifiable-ai verifiable-compute zero-knowledge-proofs
View on GitHub
1 Open Issue Need Help Last updated: Oct 28, 2026

Open Issues Need Help

View All on GitHub
infra: add an optional Prometheus endpoint and OTLP export 6 days ago
help wanted area:infra effort:s priority:p2 spec:s05-observability type:feature
AbdelStark/tessera
1

Tessera is a sumcheck/GKR proof system that proves a committed integer language model D produced a recorded token stream. The proof is sound against a prover that controls all hardware and software, hides weights, activations, prompts and outputs.

Rust
#large-language-models#verifiable-ai#verifiable-compute#zero-knowledge-proofs