Verified-zkEVMVCVio

Machine-checked cryptographic proofs in Lean, built on Mathlib: oracle computations, probability semantics, program logic, and lattice- and hash-based schemes.
Displaying 1-2 of 2 packages depending on Verified-zkEVM/VCVio
Sort by

  1. Verified-zkEVM/Arklibusesv4.35.0

    Formally Verified Arguments of Knowledge in Lean

  2. proximity-prize/proximity-prizeusesd7089e4