zkGolf – Competitive optimization of formally verified circuits

一个竞赛性质的项目，鼓励开发者在形式化验证的电路设计中进行极致优化，推动安全关键系统中的硬件可信性与性能平衡。