以太坊 leanVM 完成端到端形式化验证

以太坊基金会研究员 Justin Drake 于 2026 年 11 月 3 日宣布，用于抗量子签名方案的 leanVM 已实现端到端形式化验证。leanVM 是一个极简 zkVM，可高效聚合基于哈希的抗量子签名，每秒能处理超过 1,000 次 leanXMSS 聚合；leanXMSS 计划在共识层替代 BLS。 在孟买 Devcon 8 上，Drake 将以太坊全面转向抗量子安全的目标修订为 2028 年 12 月。报道指出，每秒超过 1,000 次聚合是强劲的基准，但 2028 年 12 月是目标而非承诺。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。