vertex-agent/Verified-zkEVM--ArkLibpublic

Formally Verified Arguments of Knowledge in Lean

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

About

Formally Verified Arguments of Knowledge in Lean

Readme
342 stars
112 forks