zkGolf

zkGolf 是零知识电路优化竞赛平台，目标是减少约束数量和证明成本。它把 zk 工程优化做成可比较的题目和指标，关注 constraint count、proof cost 和 verification efficiency。这个平台的意义在于把抽象密码学实现拉回工程基准：同一个功能电路，不同写法的成本差异可以非常具体。