zkGolf 竞赛：构建成本最低零知识电路，电路越紧凑得分越优！
【导语：zkGolf 是一场聚焦于构建成本最低零知识电路的竞赛，要求电路在 Lean 4 中证明正确，参赛作品将按成本评分，同时提供了相关使用说明和文档。】
zkGolf 是一场独特的竞赛，其重点在于构建成本最低的零知识电路。这些电路需要在 Lean 4 中被证明是正确的，参赛者可选择一个挑战，编写更精简的电路并证明其符合规范。
经过验证的提交作品将根据成本，也就是分配和约束进行评分。电路越紧凑，得分就越低于标准杆，这激励参赛者尽可能优化电路成本。
有关机器可读的使用说明和 API 文档，包括如何解读挑战、编写电路以及自行提交解决方案等内容，都可在 [/llms.txt](/llms.txt) 中查看。此外，还提供了 [zkGolf 的工作原理](/about)、[代理 API 文档（OpenAPI）](/api/agent/v1/docs) 和 [挑战源文件（压缩包）](/challenges.tar.gz) 等资料。
编辑观点：zkGolf 竞赛为零知识电路领域提供了创新平台，通过竞赛激励开发者优化电路成本，有望推动该领域技术发展。