Anthropic 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.
あなたにとっての意味
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.
ソース
- 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
上記のソースから自動的に生成し、当社のコードでチェックしました:すべての数値と名前が含まれ、文がソースをコピーしてはいけません。間違いを見つけましたか?報告する。
今日無料で使えるAIはどれですか?
すべての無料AIモデルをブラインドヒューマン投票で順位付けし、あなたのGPUで必要なメモリと速度を示します。