▲ 106 today957 starsLeanHN ×1New · 11d old
Zero-knowledge proofs let AI providers verify model output
What is FlashProve?
FlashProve is a Lean-based research prototype that lets a service prove which Llama model generated a response without revealing its weights. The GPU creates a short proof that anyone can verify on a normal CPU in seconds.
Who it is for
Developers, auditors and regulators who need to confirm AI claims without exposing proprietary models can use it to add cryptographic accountability.
Try it in 60 seconds
No one-line install. The README has the setup steps.
Apache-2.0 licenseUpdated 10 days agoLean4 open issues
New projects are not vetted. Skim the code, and run it in a fresh folder or a container before giving it your files or keys.
The story so far
Early Signal first spotted anthropics/FlashProve on November 8, 2026, when it had 957 GitHub stars. It now has 957. On its busiest day it gained 106 stars. The project is 11 days old and written mainly in Lean. It is published under the Apache-2.0 license and has 103 forks. It has been discussed in 1 Hacker News thread, the top one with 1 points. Early Signal files it under Inference, LLMs.
Questions about FlashProve
- Is FlashProve free and open source?
- Yes. anthropics/FlashProve is open source under the Apache-2.0 license, and the code is on GitHub at https://github.com/anthropics/FlashProve.