以太坊基金会定下2029年12月目标:推动以太坊(ETH)迈向抗量子

leanVM形式化验证仍未完成

以太坊基金会为守护以太坊(ETH)网络的验证者和节点运营者设定了一场签名迁移的截止时间:2029年12月。根据其于9月7日发布的一项计划,整个L1将在一次过渡中切换到抗量子密码学,执行层、共识层与数据层全部纳入。基金会明确,这是自设的目标,而非已确认的主网升级;其抗量子指南同时说明,路线图可能随研究、实现与治理进程调整。

让这次切换在成本上可行的工具尚未就绪。leanVM是一个极简的zkVM,即一种执行过程可被紧凑证明的虚拟机,其设计用途是把抗量子签名打包成简洁证明。该项目的公开仓库将端到端形式化验证列为安全设计目标,但同一仓库也写明:验证仍在进行中,leanVM尚未达到生产环境可用状态。形式化验证是指证明程序满足固定数学规范,而非仅在选定输入上通过测试,这一方法在区块链领域的智能合约审计中已广泛应用。区别在于:把形式化验证设为目标与真正完成验证是两回事,该项目目前只做到了前者。测试可能遗漏边界情况,而完成的证明覆盖每一个允许输入。

目前该链的共识机制基于权益证明,由BLS签名驱动,验证者每个时段都会生成这类签名,且其聚合成本很低。XMSS系列等基于哈希的方案无法自行合并签名,因此基于SNARK的聚合层成为必需。这正是leanVM要填补的空白:它将庞大的抗量子签名集合封装为简洁证明,这类证明正是应用链之外的Layer 2系统早已依赖的技术。因此,以太坊的抗量子路线图既是密码学工程,也是软件工程,此次更新与以太坊价格没有直接关系。

性能基准、Lean 4与2027年1月的评估节点

研究基础均有公开记录。一篇2025年论文(作者中包括以太坊基金会研究人员)提议采用XMSS系列基于哈希的签名作为抗量子替代方案,并推演了将其聚合为简洁证明的路径。leanVM仓库给出了首批性能数据:在M4 Max CPU上,它以每秒1191.353个签名的吞吐量聚合了1400个leanXMSS签名,证明生成耗时1.175秒。仓库本身标注了注意事项:这仅反映单一消费级CPU环境,不能推广到硬件差异很大的验证者运营场景。

主工具之外还有两条工作线。leanerVM是独立的Lean 4项目,负责对leanVM进行形式化:它已搭建基础结构,启动了将Rust实现与固定版本进行比对的差分测试,并提出把形式化验证扩展到代码本身的可能性。10月8日,以太坊研究论坛上的一篇帖子比较了证明所用的候选指令集,权衡对象包括EVM、RISC-V和以太坊专用设计;这一选择会影响证明速度、实现成熟度与长期维护负担。

关键决策节点都有时间表。基金会计划在2027年1月借助外部专家意见重新评估量子计算的进展,但尚未公布测试网或主网激活日期,演练阶段的先后顺序因此仍未确定。该计划的紧迫性并非空谈:联合创始人Vitalik Buterin曾提出,人工智能可能加速五十年的数学研究并破解以太坊的密码学,聚合工具正是为预防这一场景而准备。一旦激活时间表确定,运行冷钱包与验证节点的质押staking运营者将承担密钥与客户端迁移的运营成本。9月计划与工具现状需要分开解读:整体过渡目标、各工具的开发进度、实际网络激活时间线分属三条轨道,目前只有第一条有日期。

有日期的目标与经过验证的代码之间的差距,正是这项计划的风险所在。抗量子签名方案已经存在,尚不存在的是一个经过形式化验证、能让它们在L1规模下负担得起的聚合器。真正要紧的里程碑是具体的:完成leanVM的端到端验证、在EVM、RISC-V与以太坊专用指令集之间作出选择,以及2027年1月的专家评估。如此规模的过渡更像多年期的以太坊2.0升级,而非一次例行分叉,中间节点的时间会随之变动。在这些节点落地之前,剩余工作属于基金会研究团队与工具开发者;验证者只在验证收尾、主网日期敲定之后才接手迁移负担。