以太坊基金会正式验证团队上线 better.codes 自主研究挑战
以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes，将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean，并把其可靠性下界放到公开排行榜上。
推荐理由：原文说明了挑战的验证机制与开放协作模式，读者可据此理解形式化验证如何被用于推进SNARK安全基准。
论文/研究
全部主题按时间查看论文/研究，保留原文链接与报道归属。
22条资讯
最新资讯
第 21–22 条 · 共 22 条Ethereum Foundation Blog精选
Ethereum Foundation Blog Ethereum Foundation 推出 2026 首届 PhD Fellowship 计划
Ethereum Foundation 学术秘书处宣布启动首届 PhD Fellowship 计划，资助与 Ethereum 相关的博士研究，本轮聚焦制度设计、公司治理、政治经济与去中心化 AI 等方向。