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

据PANews发布，PANews 11月4日消息，据CryptoBriefing报道，以太坊基金会研究员Justin Drake于11月3日宣布，leanVM已实现端到端形式化验证。leanVM是一种极简zkVM，用于高效聚合基于哈希的后量子签名，将多签名打包为紧凑证明。性能上，leanVM每秒可处理超过1000次leanXMSS聚合；leanXMSS是计划在共识层替代BLS的基于哈希的签名方案。 在Devcon 8上，Drake将以太坊全面过渡至后量子安全的目标时间调整至2028年12月，以便为过渡所需的网络分叉留出空间。