Anthropic's FlashProve inference verification
- Anthropic released FlashProve on November 2, 2026, an open-source zkSNARK-based tool to verify which model weights generated a given AI response, with no trusted hardware required.
- Testing on Meta's Llama 4 Maverick produced 19MB proofs verifiable in 17 seconds on a standard CPU, against the prior open-source method VerInf's 93.6GB proofs taking nearly a day to check.
- Anthropic also renamed the initiative from 'provable inference' to 'inference verification' on October 19, 2026, stating the new term reflects a broader approach than cryptographic proofs alone.
The core security concern Anthropic identified is that an AI model could misrepresent its own weights, for example running as a more capable model while presenting as a weaker one to evade safety classifiers and monitoring. FlashProve offers a technical path toward verifying that declared model weights are the ones actually running on servers.