FlashProve lets users verify which AI model produced a reply
FlashProve gives model providers a cryptographic way to prove that a reply came from the specific model they committed to, helping users catch silent model substitution or tampering. It uses zkSNARKs, proofs that hide model weights while checking the computation. On one H100, Anthropic reports about 110 tokens per second for Llama 4 Maverick, with a roughly 19 MB proof for a 1,024-token request, though proving takes 70 to 95 times the GPU time of ordinary inference.