Ethereum Foundation Blog·· 2026-08-20精选
以太坊基金会正式验证团队上线 better.codes 自主研究挑战
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
AI 导读
以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes，将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean，并把其可靠性下界放到公开排行榜上。
推荐理由
原文说明了挑战的验证机制与开放协作模式，读者可据此理解形式化验证如何被用于推进SNARK安全基准。
来源：Ethereum Foundation Blog · blog.ethereum.org