FlashProve
A research prototype for zero-knowledge proofs of AI inference. Not maintained.
FlashProve launched on 30 October 2026. It ranked #50 on Daily Launch on 5 November 2026 with a Launch Score of 41, from 852 stars in 5 days on GitHub. It was new in the ranking that day.
What is FlashProve?
FlashProve lets an AI provider prove which model answered a request, without revealing the model's weights. FlashProve runs Llama 4 Maverick at full size, with a 1,024-token context window, on a single NVIDIA H100. The protocol's soundness is proved in Lean 4. A provider that tries to pass off output that is not the committed model's is caught, except with probability about q/2^124 + 2^-101 after q hash queries. lean/THEOREM.md has the theorem and how to check it.
From its README on GitHub
FlashProve is a repo by anthropics on GitHub. It is written in Lean and released under the Apache-2.0 license.
How to get FlashProve
Get it from its repository on GitHub.
Launch timeline
Launch Score, last 7 days
Ranked on one day so far: 41 of 100 on 5 November.