完成端到端形式化验证，leanVM助力以太坊全面后量子安全过渡目标定于2028年12月
2026-11-04
2 次阅读
RSS订阅
- leanVM实现了端到端的形式化验证
- leanVM聚合了基于哈希的后量子签名技术
- leanVM每秒可处理超过1,000次leanXMSS聚合操作
- 以太坊基金会将全面后量子安全过渡目标定于2028年12月
Ethereum 基金会研究员 Justin Drake 宣布 leanVM 实现了端到端的形式化验证。它聚合了基于哈希的后量子签名，每秒处理超过 1,000 次 leanXMSS 聚合。Drake 将 Ethereum 的完整后量子过渡目标定为 2028 年 12 月。
📰 来源：panews
💬 引用锚点
leanVM实现端到端形式化验证，为以太坊后量子安全转型提供技术基础。
聚合后量子签名技术可支持每秒超1000次高效处理，保障交易性能与安全并重。
以太坊整体后量子安全过渡目标定于2028年12月，为行业提供明确时间规划。
💡 一句话定义：
leanVM 通过端到端形式化验证实现后量子签名聚合，助力以太坊在 2028 年 12 月前完成全面后量子安全过渡。
📈 核心数据：
- leanVM 每秒可处理超过 1,000 次 leanXMSS 后量子签名聚合
- 以太坊基金会研究员 Justin Drake 宣布完整后量子过渡目标为 2028 年 12 月
🧭 快速步骤：
- 部署 leanVM 实现形式化验证的虚拟机环境
- 集成基于哈希的后量子签名方案
- 按计划推进至 2028 年 12 月的全面过渡目标
常见问题
leanVM 是什么？▼
leanVM 是以太坊基金会研究员 Justin Drake 开发的一个虚拟机原型，实现了端到端的形式化验证，能够聚合基于哈希的后量子签名（如 leanXMSS），每秒可处理超过 1,000 次聚合操作。
什么是端到端的形式化验证？▼
形式化验证是一种通过数学方法严格证明代码正确性的技术。端到端形式化验证意味着从虚拟机底层指令到上层应用的整个执行链都经过形式化验证，确保没有任何逻辑漏洞或安全隐患。
为什么以太坊需要向后量子安全过渡？▼
随着量子计算技术的发展，传统加密算法（如 ECDSA、RSA）可能被量子计算机破解。为了保障长期安全性，以太坊需要在量子计算机具备实际攻击能力之前，提前迁移到后量子密码学方案。
为什么将全面过渡目标定在 2028 年 12 月？▼
该时间点为以太坊社区预留了充足的研发、测试和部署周期，确保后量子密码学方案在形式化验证、性能优化和兼容性方面达到生产级标准，同时避免过早迁移导致的技术风险。
leanXMSS 聚合技术的作用是什么？▼
leanXMSS（Leaf-based Extended Merkle Signature Scheme）是一种轻量级后量子签名方案。聚合技术允许将多个签名合并为一个，显著降低交易带宽和存储成本，使后量子签名在以太坊这样的区块链平台上具备实际可行性。
💬 评论 (0)
发表评论