No results found

VCVio

Formalized Cryptography Proofs in Lean 4
Displaying 1-2 of 2 packages depending on dtumad/VCVio
Sort by

  1. Verified-zkEVM/Zklibusesfb7ff13

    Formally Verified SNARKs in Lean

  2. quangvdao/Zklibuses32ab3cb

    deprecated, use Verified-zkEVM repository instead