以太坊基金会形式化验证团队上线better.codes公开研究挑战
更正说明：按网站栏目规则校正分类与主题标签，正文及审核决定保持原样。
以太坊基金会形式化验证团队与Yukon、zkSecurity合作推出better.codes，以Lean形式化问题和公开排行榜推进哈希型SNARK安全边界研究。
快讯正文
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 problem from the Proximity Prize research, formalized in Lean, and puts its soundness bound on a public leaderboard that anyone can push forward....
补充解读
消息来自以太坊基金会官方博客，项目上线及合作方信息可信度高；但其属于研究与安全基础设施进展，尚无数据证明会直接影响协议运行、资金安全或市场价格。
关注后续官方信息，不根据单一消息做决定。
公开排行榜的参与度及可靠性边界改进情况
研究成果是否被以太坊协议或主流证明系统采用
是否发布经同行审查的技术结果或安全验证报告
同事件进展
正在加载事件时间线…