以太坊基金会称 leanVM 完成端到端形式化验证,全面后量子安全过渡目标定于 2028 年 12 月
以太坊基金会研究员 Justin Drake 宣布,用于将基于哈希的后量子签名聚合为紧凑证明的极简 zkVM leanVM 已实现端到端形式化验证,每秒可处理超过 1000 次 leanXMSS 聚合。在 Devcon 8 上,Drake 将以太坊全面后量子安全过渡的目标时间定为 2028 年 12 月,该目标而非承诺,依赖 leanVM、leanXMSS 和 leanSpec 三个开源项目。
回复