星球日报讯 以太坊基金会研究员 Justin Drake 于 11 月 3 日宣布，leanVM 已实现端到端形式化验证。leanVM 是一种极简 zkVM，用于高效聚合基于哈希的后量子签名，并将多重签名打包为紧凑证明，每秒可处理超过 1000 次 leanXMSS 聚合；leanXMSS 是计划在共识层替代 BLS 的基于哈希的签名方案。Drake 在 D
星球日报讯 以太坊基金会研究员 Justin Drake 于 11 月 3 日宣布，leanVM 已实现端到端形式化验证。leanVM 是一种极简 zkVM，用于高效聚合基于哈希的后量子签名，并将多重签名打包为紧凑证明，每秒可处理超过 1000 次 leanXMSS 聚合；leanXMSS 是计划在共识层替代 BLS 的基于哈希的签名方案。Drake 在 D