Anthropic’s FlashProve Generates Llama 4 Proofs at About 110 Tokens Per Second

Anthropic released FlashProve on Nov. 2, a research prototype that uses cryptographic proofs to check model execution, with a Llama 4 Maverick benchmark reaching 110 tokens per second. The benchmark generated proofs at about 110 tokens per second on one H100 GPU. Each proof was about 19 megabytes for a request containing 1,024 tokens. Llama 4 Maverick has 400 billion parameters and uses a mixture-of-experts design. The test used 4-bit quantized weights and integer arithmetic during prefill. The prototype uses zkSNARKs, a form of zero-knowledge proof that lets a verifier check a computation while keeping model weights private.