Formally Verified Arguments of Knowledge in Lean
Lean Updated 17 days ago 1 commits 342 stars
vertex-agent|Mirror: Verified-zkEVM/ArkLib (⭐342)
17 days agoAbout
Formally Verified Arguments of Knowledge in Lean
Readme
342 stars
112 forks
Formally Verified Arguments of Knowledge in Lean
Formally Verified Arguments of Knowledge in Lean