bibibi.cc正在加载…
报道称leanVM已完成端到端形式化验证，以太坊后量子安全过渡目标调整至2028年12月。
以太坊的leanVM完成端到端形式化验证，全面后量子安全过渡目标定于2028年12月
PANews 11月4日消息，据CryptoBriefing报道，以太坊基金会研究员Justin Drake于11月3日宣布，leanVM已实现端到端形式化验证。leanVM是一种极简zkVM，用于高效聚合基于哈希的后量子签名，将多签名打包为紧凑证明。性能上，leanVM每秒可处理超过1000次leanXMSS聚合；leanXMSS是计划在共识层替代BLS的基于哈希的签名方案。在Devcon 8上，Drake将以太坊全面过渡至后量子安全的目标时间调整至2028年12月，以便为过渡所需的网络分叉留出空间。该计划依赖leanVM、leanXMSS和leanSpec三个开源项目，以太坊基金会正开...
PANews称该消息来自CryptoBriefing报道。
以太坊基金会研究员Justin Drake于11月3日宣布，leanVM已实现端到端形式化验证。
原文称leanVM是一种极简zkVM，用于聚合基于哈希的后量子签名，并将多签名打包为紧凑证明。
原文称leanVM每秒可处理超过1000次leanXMSS聚合。
leanXMSS被描述为计划在共识层替代BLS的基于哈希签名方案。
在Devcon 8上，Drake将以太坊全面过渡至后量子安全的目标时间调整至2028年12月。
原文称调整目标时间是为了给过渡所需的网络分叉留出空间。
该计划依赖leanVM、leanXMSS和leanSpec三个开源项目。
以下为辅助分析，与已报道事实分开展示；重要信息请进一步核实。
形式化验证是用严格方法检查系统实现是否符合既定规则。按报道，leanVM已完成端到端验证，并用于把多份基于哈希的签名聚合成较小证明；以太坊的全面后量子安全过渡目前以2028年12月为目标时间。
这项进展涉及以太坊未来签名方案和共识层安全升级。若相关计划继续推进，leanVM、leanXMSS和leanSpec将成为后量子安全过渡中的关键项目。
这不是原文确认的主网即时升级。新手可将其理解为一项面向未来密码安全的技术进展和时间目标，而不是已经完成的全面迁移。
正在加载事件时间线…