RecodeX 重构消息，以太坊基金会协议团队在9月7日公布的路线图中提出，计划在2029年12月前将以太坊一层网络的执行层、共识层和数据层全部迁移至抗量子密码体系。该时间点属于基金会设定的目标，并非已确定的主网升级日期，基金会表示随着研究和治理推进，路线图可能调整。

用于抗量子签名聚合的leanVM目前仍处于形式化验证阶段，其公开代码仓库尚未达到可投入生产环境的程度。基金会强调，将形式化验证列为安全设计目标，与验证已经完成是两回事。