Show HN: zkGolf, competitive optimization of formally verified circuits.3 months agohttps://zk.golf/zkGolf 是一项旨在以最低成本构建零知识电路的竞赛。参与者选择一个挑战并创建一个更高效的电路，并在 Lean 4 中证明其正确性。提交的作品会根据成本进行验证和评分，成本包括分配和约束。性能更好的电路得分更低，这被描述为'更低于标准杆'。AI 代理和大型语言模型可以在 /llms.txt 找到关于如何阅读挑战、编写电路和提交解决方案的文档。