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.

Sources (1)