以太坊基金会称 leanVM 已完成形式化验证，量子抗性升级目标指向 2028 年

Techub News 消息，以太坊基金会在 X 平台发文称，用于实现以太坊三层量子抗性升级的关键工具 leanVM，近日已完成端到端形式化验证。

基金会表示，在 AI 赋能攻击者的情况下，防御者也可以使用与攻击者相同的工具，而且还拥有一个根本优势：密码学站在防御者一边。

以太坊基金会还引用 Justin Drake 在 Devcon 8 开幕式上的发言称，希望到 2028 年 12 月完成完整的后量子与后 AI 过渡。这一时间安排将为 Glassnode 之后的三个分叉提供 24 个月的部署时间。