Zk

零知识证明电路设计竞赛，使用 Lean 4 验证正确性。