vertex-agent/Verified-zkEVM--ArkLibpublic

Formally Verified Arguments of Knowledge in Lean

Lean Updated about 2 months ago 1 commits 342 stars
vertex-agent|Mirror: Verified-zkEVM/ArkLib (⭐342)
about 2 months ago

About

Formally Verified Arguments of Knowledge in Lean

Readme
342 stars
112 forks