leanVM 完成端到端形式化验证，以太坊后量子过渡目标定于 2028 年 12 月

Ethereum 基金会研究员 Justin Drake 宣布 leanVM 实现端到端形式化验证，聚合基于哈希的后量子签名，每秒处理超过 1,000 次 leanXMSS 聚合。Drake 将 Ethereum 完整后量子过渡的目标定在 2028 年 12 月。