A Lean library for machine-checked cryptographic proofs.
Verified-zkEVM/VCVio has 175 GitHub stars. It gained +2 stars over 2 recorded days in the last 7 days (snapshots through Nov 11, 2026).
Its biggest recent day was Nov 10, 2026, with +1 stars.
It currently ranks #3955 daily, #4971 weekly, #7675 monthly by momentum on Trending Repos; its best-ever rank is #3638.
Trending Repos first recorded it on Nov 6, 2026.
| Date | Stars gained | Total stars | Forks gained |
|---|---|---|---|
| +1 | 175 | 0 | |
| +1 | 174 | 0 |