Anthropic’s open-source FlashProve prototype uses zkSNARK proofs to verify an AI response came from a claimed model without revealing its weights. For the 400-billion-parameter Llama 4 Maverick, it produces 19MB proofs at about 110 tokens per second on one H100 GPU; CPU verification takes 17 seconds