Dev Tools · 2h ago
zkGolf Launches Open Competition for Optimized Zero-Knowledge Circuits
zkGolf is an open competition to produce optimized, formally verified circuits for zero-knowledge proofs. Using LLMs to generate circuits from formal specifications, participants can beat human-optimized state-of-the-art results. The project aims to lower the barrier for ZKP use and improve efficiency.
Meridian48 take
While LLM-generated circuits show promise, the reliance on formal verification to catch errors is crucial—and the competition format may accelerate practical ZKP optimization.
Read the full reporting
Show HN: zkGolf, competitive optimization of formally verified circuits. →
Hacker News
zero-knowledge-proofsformal-verification