以太坊基金会：leanVM 已端到端形式化验证，量子抗性升级有望 2028 年完成

Techub News 消息，以太坊基金会 @ethereumfndn 发推称，用于实现以太坊三层量子抗性升级的关键工具 leanVM 已在近日完成端到端的形式化验证。基金会表示，面对 AI 赋能攻击者，防御者可使用与攻击者相同的工具，并拥有一个根本优势：密码学站在防御者一边。 基金会引用 @drakefjustin 在 Devcon 8 开幕式上的发言称，希望到 2028 年 12 月能够完成完整的后量子与后 AI 过渡，这将为 Glassnode 之后的三个分叉提供 24 个月的部署时间。