以太坊基金会正式验证团队上线 better.codes 自主研究挑战
以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes，将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean，并把其可靠性下界放到公开排行榜上。
推荐理由：原文说明了挑战的验证机制与开放协作模式，读者可据此理解形式化验证如何被用于推进SNARK安全基准。
10月3日 · 周六#论文/研究
论文、分析解读、协议升级与实践资料，为近期事件补充长期背景。
每天一份简报，把重要变化连起来看。
阅读今日简报 →#论文/研究
Ethereum Foundation Blog精选
Ethereum Foundation Blog Ethereum Foundation 推出 2026 首届 PhD Fellowship 计划
Ethereum Foundation 学术秘书处宣布启动首届 PhD Fellowship 计划，资助与 Ethereum 相关的博士研究，本轮聚焦制度设计、公司治理、政治经济与去中心化 AI 等方向。
已经到底了