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