PrototypeCommon
Verified-zkEVM/VCVio
A Lean library for machine-checked cryptographic proofs.
- Owner
- Verified-zkEVM (organization)
- Stars
- Stars: 170
- Forks
- Forks: 60
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- Topics
- cryptographyformal-verificationlean4post-quantum-cryptographyprogram-logicproof-assistantgame-hopping
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by Verified-zkEVM
All 3 repos by Verified-zkEVM- Verified-zkEVM/ArkLibStars: 351LeanAlpha
- Verified-zkEVM/cleanStars: 208LeanPrototype
Nearby in Lean
All Lean repos- lean-forward/logical_verification_2025Stars: 173LeanPrototype
- formalabstracts/formalabstractsStars: 170LeanPrototype
- josevalim/lynxStars: 170LeanPrototype
- openai/PrimeGaps186Stars: 169LeanPrototype
- verse-lab/loomStars: 167LeanPrototype