Justin Drake：leanVM 完成形式化验证，以太坊后量子安全过渡目标定于 2028 年 12 月

以太坊基金会研究员 Justin Drake 宣布 leanVM 完成端到端形式化验证。leanVM 是一种极简 zkVM，用于高效聚合基于哈希的后量子签名，每秒可处理超过 1000 次 leanXMSS 聚合。Justin Drake 将以太坊全面过渡至后量子安全的目标时间定于 2028 年 12 月。（来源：CryptoBriefing）