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