Anthropic Releases FlashProve: Cryptographic Proofs That a Reply Came From Committed Weights
Anthropic's Frontier Red Team released FlashProve, an open-source zkSNARK system for provable inference. It proves that a model's reply came from committed weights without revealing them, achieving ~110 tokens/second on a 400B MoE model using one H100. Proofs are 18.78 MB and verify on a CPU in 17 seconds, though proving costs 70-95x the GPU time of standard inference. The system is formalized in Lean and targets use cases like verifying model provenance and detecting tampering.
Why it matters: This is a concrete, recent AI development with significant performance improvements over prior zkML systems)Skip, offering practical value for model verification and security.