Anthropic Releases Open Source Zero-Knowledge Proof System FlashProve

Anthropic has released FlashProve, an open-source AI reasoning verification system based on zero-knowledge proofs (zkSNARKs), with research contributions from StarkWare co-founder Alessandro Chiesa. This system employs cryptographic methods that originate from blockchain ZK technology, allowing users to verify whether AI outputs are generated by a specified model without needing to obtain model weights or rerun the model. Claude has participated in optimizing the system, and the related code and Lean formal proofs have been open-sourced. The system is still in the research prototype stage, with proof generation GPU time costs approximately 70 to 95 times that of ordinary inference. Tests show that FlashProve can generate proofs for Meta's 400 billion parameter model Llama 4 Maverick at a rate of about 110 tokens per second on a single H100 GPU, with each proof being approximately 19 MB.

This content is provided for general informational purposes only and doesn't constitute financial, investment, legal, or tax advice. Any events, rewards, online promotions, or related information mentioned herein should not be considered a recommendation, solicitation, or invitation to purchase, sell, trade, or otherwise deal in any crypto assets. Crypto assets are highly volatile and may result in loss. The availability of WEEX services, products, and related events may vary by region. You are responsible for ensuring that your participation is in accordance with applicable local laws and regulations.