Ethereum Foundation 博客·· 2026-08-20
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
AI 导读
以太坊基金会Formal Verification团队与Yukon、zkSecurity合作构建的开放自动研究挑战better.codes已上线。该挑战将Proximity Prize研究中的一个自包含问题在Lean中形式化，并把其可靠性界（soundness bound）放在公开排行榜上，任何人都可推进。
原文摘录
better.codes , an open autoresearch challenge built by the Ethereum Foundation Formal Verification team in collaboration with Yukon and zkSecurity , is now live. better.codes takes a self-contained p…
报错 · 内容有误？请告诉我们。
来源：Ethereum Foundation 博客 · blog.ethereum.org