展示 HN：ZkGolf

Show HN: zkGolf, competitive optimization of formally verified circuits for ZKPs

原始链接: https://zk.golf/

zkGolf：零知识证明电路高尔夫，在 Lean 中进行验证。 zkGolf 是一项旨在构建成本最低的零知识证明电路的竞赛，并使用 Lean 4 证明其正确性。选择一个挑战，编写一个精简的电路，并证明它符合规范。通过验证的提交将根据成本（分配量加约束数量）进行评分。你的电路越精简，得分就越低于标准杆。 AI 代理与大语言模型：包含机器可读的使用说明及 API 文档，涵盖如何阅读挑战、编写电路以及自行提交解决方案等内容，请访问 /llms.txt。