2026-11-04 00:25:34
以太坊基金会完成 leanVM 端到端形式化验证,目标在 2028 年 12 月前实现后量子转型
据 CryptoBriefing 报道,以太坊基金会研究员 Justin Drake 于 11 月 3 日宣布,leanVM 已完成端到端形式化验证。leanVM 是一款极简零知识虚拟机,用于高效聚合基于哈希的后量子签名,每秒可处理超过 1,000 次 leanXMSS 聚合。Drake 在 Devcon 8 上透露,以太坊实现全面后量子安全转型的目标时间目前定为 2028 年 12 月,为必要的网络分叉留出空间。