VCVio
Formalized Cryptography Proofs in Lean 4
1-2 of 2 packages depending on Verified-zkEVM/VCVio
Sort by
Package Name
Verified-zkEVM/Arklibuses
v4.22.0Formally Verified Arguments of Knowledge in LeanNyxFoundation/TopSingleLayeruses
v4.22.0Formal Verification of Top Single Layer Encoding