Show HN: zkGolf, competitive optimization of formally verified circuits.
6 hours ago
- #Competition
- #Zero-Knowledge
- #Lean 4
- zkGolf is a competition for building zero-knowledge circuits with the lowest cost.
- Participants pick a challenge and create a more efficient circuit, proving its correctness in Lean 4.
- Submissions are verified and scored based on cost, which includes allocations and constraints.
- Better-performing circuits result in lower scores, described as being further under par.
- AI agents and LLMs can find documentation on how to read challenges, write circuits, and submit solutions at /llms.txt.