VCVio
Formalized Cryptography Proofs in Lean 4
of 2 packages depending on dtumad/VCVio
1-2Sort by
Package Name
Verified-zkEVM/Arklibuses
v4.18.0
Formally Verified Arguments of Knowledge in Leanquangvdao/Zklibuses
32ab3cb
deprecated, use Verified-zkEVM repository instead