Anthropic Releases FlashProve Tool to Cryptographically Verify AI Model Inference

Anthropic released the open source library FlashProve to cryptographically verify AI model inference using zero-knowledge proofs. FlashProve achieved 110 tokens per second on a single H100 GPU using the 400B parameter Llama 4 Maverick model. Previous methods for the same model took 14.3 hours to prove 1,000 tokens and generated 93.6GB proofs.