以太坊leanVM完成端到端形式化验证
当前进展与背景
最新公开报道
最近报道 ·以太坊基金会研究者提出 2028 年 12 月完成抗量子迁移的目标
以太坊基金会研究者 Justin Drake 在 Devcon 8 开幕式上表示，希望 2028 年 12 月前完成抗量子与后 AI 迁移，比 EF 官方 2029 年 12 月期限提前一年，并认为 Glamsterdam 后需在 24 个月内实施 3 次硬分叉。该目标不取代现行路线图，EF 将于 2027 年 1 月与外部专家重新评估量子计算进展；3 次分叉与官方计划中 Glamsterdam 后第 5 次分叉 L*（此前 J* 纳入最低限度抗量子化）如何对应尚不明确。
CoinPost · 日本加密资讯 · 查看报道与出处 →报道时间不等于事件生效时间；具体状态与适用对象请对照来源。
背景综述 · AI 整理
以下帮助了解背景；涉及安排、版本或状态时，以较新的具体报道为线索核对。
以太坊基金会研究员Justin Drake于11月3日在孟买Devcon 8宣布，极简zkVM leanVM已实现端到端形式化验证，每秒可处理超过1000次leanXMSS聚合；后者是计划在共识层替代BLS的基于哈希的后量子签名方案，形式化验证证明代码符合规范。他同时表示希望2028年12月完成以太坊全面后量子与后AI转型，比基金会9月路线图设定的2029年12月提前一年，开发者需在24个月内交付三次额外网络升级。该表态未正式取代现有路线图，基金会计划2027年1月重新评估；2028年12月仍是目标而非承诺。
综述整理于
事件进展
- 11月4日 20:23 · 3 篇报道以太坊基金会研究员提议将后量子转型目标提前至2028年深潮 TechFlow · Web3 资讯：Justin Drake 称希望以太坊 2028 年底前完成抗量子转型
- 11月4日 08:22 · 2 篇报道以太坊leanVM完成端到端形式化验证PANews：以太坊研究员Justin Drake宣布leanVM完成端到端形式化验证，后量子安全过渡目标定于2028年12月
报道时间线
沿着报道，了解事件的不同侧面。
- CoinPost · 日本加密资讯以太坊基金会研究者提出 2028 年 12 月完成抗量子迁移的目标
以太坊基金会研究者 Justin Drake 在 Devcon 8 开幕式上表示，希望 2028 年 12 月前完成抗量子与后 AI 迁移，比 EF 官方 2029 年 12 月期限提前一年，并认为 Glamsterdam 后需在 24 个月内实施 3 次硬分叉。该目标不取代现行路线图，EF 将于 2027 年 1 月与外部专家重新评估量子计算进展；3 次分叉与官方计划中 Glamsterdam 后第 5 次分叉 L*（此前 J* 纳入最低限度抗量子化）如何对应尚不明确。
- Odaily 星球日报 · 重要快讯以太坊基金会研究员Justin Drake提议将后量子转型目标提前至2028年12月
以太坊基金会研究员 Justin Drake 在孟买 Devcon 8 大会上表示，希望于 2028 年 12 月完成以太坊后量子及后 AI 转型，较基金会原定 2029 年 12 月的量子抗性目标提前一年，开发者需在未来 24 个月内完成三次额外网络升级。该时间表尚未正式取代现有路线图，预计 2027 年 1 月重新评估。Drake 还曾提出 2027 年推出可用于生产环境的 leanVM，并于 2028 年在以太坊执行层、共识层及数据层部署后量子解决方案。
- 深潮 TechFlow · Web3 资讯Justin Drake 称希望以太坊 2028 年底前完成抗量子转型
据 Cointelegraph 报道，以太坊基金会研究员 Justin Drake 在 Devcon 8 上表示，希望以太坊能在 2028 年 12 月前完成后量子（抗量子计算）和后 AI 时代的转型。目前以太坊官方路线图的目标时间仍为 2029 年。
- Cointelegraph以太坊研究员 Justin Drake 希望提前至 2028 年 12 月完成后量子转型
以太坊基金会研究员 Justin Drake 在孟买 Devcon 8 上表示，希望以太坊在 2028 年 12 月完成后量子与后 AI 转型，比基金会此前宣布的抗量子期限提前一年。基金会 9 月路线图原定 2029 年 12 月在执行层、共识层和数据层实现抗量子，开发者有 24 个月交付三次额外网络升级。该表态更激进但未正式取代现有路线图，基金会计划 2027 年 1 月重新评估。
- PANews以太坊研究员Justin Drake宣布leanVM完成端到端形式化验证，后量子安全过渡目标定于2028年12月
据CryptoBriefing报道，以太坊基金会研究员Justin Drake于11月3日宣布，极简zkVM leanVM已实现端到端形式化验证，每秒可处理超过1000次leanXMSS聚合，后者是计划在共识层替代BLS的基于哈希的后量子签名方案。他在Devcon 8将以太坊全面后量子安全过渡的目标时间调整至2028年12月，该计划依赖leanVM、leanXMSS和leanSpec三个开源项目。报道指出，形式化验证证明代码符合规范，但2028年12月仍是目标而非承诺。
本事件热度走势
当前热度 30.5·可比范围峰值 34.7（11月4日 21:00）·近 24 小时可比范围变化 +259%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。