FreeLLMAnthropic unveils FlashProve, a zkSNARK system proving AI replies came from committed weights
FlashProve can prove a 400B MoE model's output at ~110 tokens/second on a single H100, with 18.78 MB proofs verified on a CPU in seconds.
Anthropic's Frontier Red Team released FlashProve, an open‑source prototype that generates zero‑knowledge proofs that a model's reply was produced by a specific committed weight set.
The system targets the Llama 4 Maverick 400B mixture‑of‑experts model, which uses about 17 B active parameters per token and a 1,024‑token context window.
Proving runs on one NVIDIA H100 80 GB GPU together with 24 CPU cores and roughly 290 GB of host RAM, achieving about 110 tokens per second; proof size is 18.78 MB and verification on a 24‑thread CPU takes around 17 seconds.
Compared with prior open‑source zkML solutions, FlashProve is orders of magnitude faster, though proving costs roughly 70–95× the GPU time of standard vLLM inference.
The protocol’s soundness and zero‑knowledge properties are formalized in Lean, giving post‑quantum security guarantees and ensuring a cheating provider is caught with negligible probability.
Was das für dich bedeutet
For developers and regulators, FlashProve offers a way to verify that an API response truly originates from a declared model, closing a gap that could be exploited by model swapping or tampered inference servers. While the prototype remains research‑grade and requires high‑end hardware, its open‑source release may spur further work toward trustworthy AI services, benefiting users who prefer free or locally hosted models by providing a path to provable model provenance.
Quellen
- Anthropic Releases FlashProve: Cryptographic Proofs That a Reply Came From Committed Weights, MarkTechPost, 3 Nov 2026
- GitHub - anthropics/FlashProve: A research prototype for zero-knowledge proofs of AI inference. Not maintained. · GitHub, github.com (official), 3 Nov 2026
Automatisch aus den obigen Quellen geschrieben, dann von unserem Code geprüft: Jede Zahl und jeder Name muss darin vorkommen, und kein Satz darf eine Quelle kopieren. Einen Fehler entdeckt? Melde ihn.
Welche KI kannst du heute kostenlos nutzen?
Jedes kostenlose KI‑Modell, bewertet durch blinde menschliche Stimmen, mit dem Speicher und der Geschwindigkeit, die es auf deiner eigenen GPU benötigt.