Cryptelio

Markets

Anthropic Launches FlashProve to Verify AI Model Outputs Using Zero-Knowledge Proofs

Cryptelio Editorial Published 3 Nov 2026 · 11:01 UTC

On November 2, 2026, Anthropic introduced FlashProve, an innovative system designed to enhance trust in AI model outputs by employing zero-knowledge proofs (zkSNARKs). This technology allows users to verify that the output generated by an AI model is indeed from the claimed model, rather than a potentially cheaper alternative.

Understanding FlashProve

FlashProve operates in two phases. Initially, during an offline step, the model provider commits to a specific set of neural network weights, which takes approximately 39 minutes to process and results in a commitment size of about 6.5 MB. For each inference request, the system generates a succinct proof that confirms the model produced the claimed output in response to a given prompt, all while keeping the model's weights confidential.

Performance and Challenges

Targeting mixture-of-experts (MoE) language models, FlashProve demonstrated impressive performance benchmarks on Meta’s Llama 4 Maverick model. However, the proving overhead is significant, running at about 70 to 95 times the GPU time required for standard inference. This makes FlashProve more of a proof of concept than a viable business model at present.

Development and Future Prospects

Led by Roy Rinberg and Alex Allain, the project features contributions from notable figures in applied cryptography. While the current implementation is not ready for production, it opens the door to future developments in secure AI model verification. The next challenge will be to reduce the overhead costs and proof sizes to make the technology practical for widespread use.

New Developments from Anthropic

  • Anthropic anticipates exceeding 3.5 gigawatts of computing capacity by the end of 2026, a significant increase from the previously estimated 1.4 GW by the end of 2025.
  • The company plans to further expand its capacity to approximately 9.5 to 10 GW by the end of 2027.
  • Key partnerships include a deal with Google and Broadcom for around 3.5 GW of TPU capacity starting in 2027, and an arrangement with Amazon Web Services for up to 5 GW of Trainium chips.
  • Anthropic disclosed $895.4 billion in non-cancelable purchase commitments and lease agreements, primarily for compute and infrastructure projects, as of late September 2026.
  • In Q3 2026, Anthropic reported revenue of nearly $17 billion, a rise from $11.56 billion in the previous quarter, but also posted a net loss of $23.3 billion.
  • The company is diversifying its chip usage, moving away from reliance on Nvidia GPUs to include custom silicon like Google’s TPUs and Amazon’s Trainium.
  • Anthropic's growth strategy includes pursuing smaller data center sites to accelerate capacity deployment.

FAQ

What is FlashProve?

FlashProve is an innovative system launched by Anthropic that enhances trust in AI model outputs by using zero-knowledge proofs (zkSNARKs) to verify that the output generated by an AI model is indeed from the claimed model.

How does FlashProve work?

FlashProve operates in two phases: first, the model provider commits to a specific set of neural network weights in an offline step, which takes about 39 minutes and results in a commitment size of approximately 6.5 MB. Then, for each inference request, it generates a succinct proof that confirms the model produced the claimed output while keeping the model's weights confidential.

What are the performance benchmarks of FlashProve?

FlashProve has demonstrated impressive performance benchmarks on Meta’s Llama 4 Maverick model, particularly targeting mixture-of-experts (MoE) language models.

What are the current challenges facing FlashProve?

The main challenges include significant proving overhead, which runs at about 70 to 95 times the GPU time required for standard inference, making it more of a proof of concept than a viable business model at present.

What are the future prospects for FlashProve?

While the current implementation is not ready for production, it opens the door for future developments in secure AI model verification. The next challenge will be to reduce overhead costs and proof sizes to make the technology practical for widespread use.

Read story →