Anthropic (Frontier Red Team) · Provable Inference

FlashProve

Anthropic's Frontier Red Team has released FlashProve, an open-source research prototype and zkSNARK system that lets a user verify a reply came from a committed model without revealing the weights. On Llama 4 Maverick (400B MoE, about 17B active), the page reports about 110 tokens/second proving on one H100, 18.78 MB proofs and 17-second CPU verification. Proving costs roughly 70 to 95 times the GPU time of plain vLLM inference, and context is capped at 1,024 tokens. The code is released under Apache 2.0.