Anthropic just open-sourced FlashProve, a provable inference system using cryptographic zero-knowledge proofs to verify an AI response actually came from the claimed model. Verifiers do not need weights or GPUs, checking proofs on a standard CPU in seconds, though generating proofs still takes 72 to 94 times more GPU compute.
Anthropic just open-sourced FlashProve, a cryptographic system using zkSNARKs to prove an AI response genuinely came from a specific model without revealing its private weights. Running on a single H100 GPU, it generates proofs for a 400B-parameter Llama 4 Maverick at roughly 110 tokens per second, which can be verified on a standard CPU in seconds. While proof generation is 70–95x slower than standard inference, it creates a practical defense against rogue model substitutions and tampering.
