以太坊基金会正式验证团队上线 better.codes 自主研究挑战
以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes，将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean，并把其可靠性下界放到公开排行榜上。
推荐理由：原文说明了挑战的验证机制与开放协作模式，读者可据此理解形式化验证如何被用于推进SNARK安全基准。
9月30日 · 周三研究与资料
已发布的精选与历史资料，按时间归档；当日资讯请返回首页。
每天一份简报，把重要变化连起来看。
阅读今日简报 →精选资料
Ethereum Foundation Blog精选
Ethereum Foundation Blog精选 以太坊基金会协议安全团队：AI 代理审计的分诊才是产品
以太坊基金会 Protocol Security 团队分享了协调多个 AI 代理审计真实协议代码的经验，其中一个代理发现的 libp2p gossipsub 远程可触发 panic 已修复并披露为 CVE-2026-34219。
推荐理由：原文拆解了AI代理审计中分诊环节为何成为真正瓶颈，其可复现性标准与角色分工对安全团队有直接借鉴价值。
已经到底了