Verified-zkEVMVCVio

A Lean library for machine-checked cryptographic proofs.
Displaying 1-1 of 1 packages depending on Verified-zkEVM/VCVio
Sort by

  1. Verified-zkEVM/Arklibusesv4.33.1

    Formally Verified Arguments of Knowledge in Lean