以太坊leanVM完成端到端形式化验证，全面后量子安全过渡目标锁定2028年12月
以太坊基金会研究员Justin Drake于11月3日宣布，leanVM已完成端到端形式化验证，每秒可处理超过1000次leanXMSS聚合；他在Devcon 8上将以太坊全面后量子安全过渡的目标时间定于2028年12月，并强调该时间只是目标、并非承诺。
事件时间线
- [11-04 00:22] 以太坊的leanVM完成端到端形式化验证，全面后量子安全过渡目标定于2028年12月（PANews）
- [11-04 00:24] 完成端到端形式化验证，leanVM助力以太坊全面后量子安全过渡目标定于2028年12月（Odaily 星球日报）
背景与影响
2026年11月4日，PANews与Odaily星球日报先后报道，以太坊基金会研究员Justin Drake于11月3日宣布，leanVM已实现端到端形式化验证。leanVM是一种极简zkVM，用于高效聚合基于哈希的后量子签名，将多签名打包为紧凑证明。性能方面，leanVM每秒可处理超过1000次leanXMSS聚合；leanXMSS是计划在共识层替代BLS的基于哈希的签名方案。两家信源在验证完成、性能数字以及leanXMSS定位上的表述一致。
时间安排上，Drake在Devcon 8上将以太坊全面过渡至后量子安全的目标时间调整至2028年12月，以便为过渡所需的网络分叉留出空间。该计划依赖leanVM、leanXMSS和leanSpec三个开源项目，以太坊基金会正开发开源实现并推进形式化验证，同时通过Poseidon Prize等激励措施鼓励创新。两篇报道在这一层面存在信息详略差异：PANews标注相关内容来自CryptoBriefing，并提及leanSpec与Poseidon Prize；Odaily星球日报的报道则未包含这两项细节。
影响解读方面，共识层签名方案要从BLS迁移到基于哈希的方案，这一过程涉及网络分叉与实现层面的改造，因此时间表被拉长至2028年底。PANews引述报道指出，leanVM的形式化验证证明了代码符合规范，但2028年12月仍是目标而非承诺。两个信源均未披露分叉的具体版本、测试网安排或迁移所需的其他技术细节，后续节点仍需以太坊基金会公布。
后量子签名与共识层迁移的讨论目前仍在开发者社区推进，希望持续跟进相关公告与行情信息的读者，可通过火币HTX注册APP下载、芝麻Gate.io注册APP下载、Bitget注册APP下载、币安binance注册APP下载、欧易OKX注册APP下载等渠道的应用内页面查看。
常见问题
leanVM完成形式化验证对普通用户意味着什么？
这属于协议底层的技术进展，形式化验证表明代码符合规范。当前以太坊共识层仍使用BLS签名，leanXMSS只是计划中的替代方案，因此普通用户的日常使用暂不受直接影响。
以太坊后量子迁移目前有哪些公开的时间节点？
公开信息中只有2028年12月这一目标时间。PANews引述报道称，该日期是为了给过渡所需的网络分叉留出空间，且仍是目标而非承诺；具体分叉版本与测试安排，两个信源均未提及。
2028年12月是确定的上线时间吗？
按PANews引述的报道，2028年12月不是承诺。迁移依赖leanVM、leanXMSS、leanSpec三个开源项目的实现与验证进度，后续可关注以太坊基金会的正式公告。