以太坊基金会Justin Drake称leanVM完成端到端形式化验证
RecodeX 重构消息，以太坊基金会研究员Justin Drake表示，专用于聚合后量子哈希签名（leanXMSS）的轻量级零知识虚拟机leanVM已完成端到端形式化验证。他同时提出，以太坊向后量子密码学过渡的目标时间为2028年12月。
事件追踪 · 持续发展中
以太坊抗量子路线图
持续追踪以太坊抗量子路线图相关报道与进展。
关注仅保存在当前浏览器和域名中，无需登录，不会自动跨设备同步。事件时间线
按最新发布排序以太坊基金会推进抗量子签名工具验证 目标2029年12月完成L1全面转型
RecodeX 重构消息，以太坊基金会协议团队在9月7日公布的路线图中提出，计划在2029年12月前将以太坊一层网络的执行层、共识层和数据层全部迁移至抗量子密码体系。该时间点属于基金会设定的目标，并非已确定的主网升级日期，基金会表示随着研究和治理推进，路线图可能调整。
用于抗量子签名聚合的leanVM目前仍处于形式化验证阶段，其公开代码仓库尚未达到可投入生产环境的程度。基金会强调，将形式化验证列为安全设计目标，与验证已经完成是两回事。