以太坊后量子签名方案完成验证
摘要
以太坊研究员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 三大开源基石推进，旨在通过数…
事件进展 共 2 条 ，最新在上
-
leanVM每秒超1000次聚合并将替代BLS
-
以太坊完成形式化验证
以太坊leanVM已完成端到端形式化验证，并计划在2028年12月前完成全面向后量子安全的过渡。图片为以太坊Logo及BTCC标识，与文本信息相关。
