# zkGolf: Competitive optimization of formally verified circuits

A new competitive platform called zkGolf has been launched, challenging developers to optimize formally verified circuits for zero-knowledge proofs. Participants can submit circuit designs that minimize size and constraints, with rankings based on efficiency. This gamification could spur innovation in zero-knowledge protocol performance, relevant to blockchain and privacy tech.

**Importance:** 3/5

## Sources

### Technology
- [Hacker News](https://zk.golf/) — Thu, 02 Jul 2026 15:40:05 +0000