Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

语言：Lean · GitHub 星标：348 · Fork：123

话题：formal-verification · lean · lean4 · snark · zero-knowledge · zk

在 GitHub 上查看原仓库