anthropics/FlashProve
- Total stars
- 231
- Today
- +27since 15:31 UTC
More actions
A research prototype for zero-knowledge proofs of AI inference. Not maintained.
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
A Lean 4 research prototype for zero-knowledge proofs of AI inference: a provider proves which model produced a reply without revealing its weights. Not maintained.
Useful for
- Verify a stored example proof with cp_verify on an ordinary CPU
- Build and run toy proofs on CPU via blocks/first_look.sh
- Run CPU tests with run_suite.py to check verifier correctness
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate. Read the original README →
Star growth looks organic. Data as of November 3, 2026, 17:28 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show stars per UTC day; the line is a moving average of available history. Gaps mean missing data, not zero growth. Today's bar is incomplete. Red marks spike days.
Why it’s trending
- Star-counter measurements on 2026-11-03 (UTC), 15:31–17:12: 204 → 231 stars (+27). This is the change over that interval.
- Estimated end-of-day forecast: about +37 stars, using observed gains and the previous day.
- The repository is 4 days old and already has 231 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #132.
- About 39 forks a day — people are taking the code.
- Recent forks include notable developers: @developerfred (488 followers), @mbrukman (399 followers).
Measured growth: the last 7 completed days
The full 7-day window is unavailable; no weekly total or comparison is calculated.
Daily measurements · UTC
- October 27, 2026
- —
- October 28, 2026
- —
- October 29, 2026
- —
- October 30, 2026
- 0
- October 31, 2026
- 0
- November 1, 2026
- 0
- November 2, 2026
- 36
Largest measured day in the last 30 days: 36 · November 2, 2026. Days with data: 4.
Completed days come from GitHub star history; today and forecasts are excluded from this comparison. History checked: November 3, 2026, 17:27 UTC. Sources and measurement limits →
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 231
- Today
- +27 stars measured 2026-11-03, 15:31–17:12 UTC, ≈ 37 by evening
- Forks
- 17
- Issues and pull requests
- 1
- Watchers
- 0
- Language
- Lean
- License
- Apache-2.0
- Created
- October 30, 2026
- Last push
- October 30, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Spotted in
- November 3, 2026Top new repositories this week: #132
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/anthropics/FlashProve)