# 以太坊后量子签名方案完成验证

- 地址：https://hub.1ms.news/events/727
- 首发：2026-11-04 08:23（北京时间），CRYPTO NEWS
- 最新：2026-11-04 08:47（北京时间）
- 报道：2 家来源，2 条
- 相关合约（币安 U 本位永续）：ETHUSDT
- 原文：https://t.me/wublock/73795

## 摘要

以太坊研究员Justin Drake宣布，用于聚合后量子签名的leanVM已完成端到端形式化验证，每秒可处理超1000次聚合，未来将替代验证者现用的BLS签名；全面后量子过渡目标时间定为2028年12月。

## 原文片段

> 以太坊研究员称 leanVM 完成形式化验证，后量子过渡目标 2028 年 12 月
> 
> 据 Cryptobriefing，以太坊基金会研究员 Justin Drake 宣布，专用于聚合后量子哈希签名（leanXMSS）的轻量级零知识虚拟机 leanVM 已完成端到端形式化验证（formal verification），每秒可处理超 1,000 次聚合，未来将替代验证者当前的 BLS 签名。此外，以太坊全面向后量子安全过渡的调整目标时间定为 2028 年 12 月，以预留多轮硬分叉升级时间。整个后量子防御体系依托 leanVM、leanXMSS 与 leanSpec 三大开源基石推进，旨在通过数…

## 事件进展（最新在上）

- 2026-11-04 08:47 · 更新 · 吴说区块链：leanVM每秒超1000次聚合并将替代BLS。（https://t.me/wublock/73795）
- 2026-11-04 08:23 · 首发 · CRYPTO NEWS：以太坊完成形式化验证。以太坊leanVM已完成端到端形式化验证，并计划在2028年12月前完成全面向后量子安全的过渡。图片为以太坊Logo及BTCC标识，与文本信息相关。（https://t.me/cryptocurrency_media/80062）

---
来自 1ms.news（https://hub.1ms.news）。内容整理自公开来源，以原文为准。