leanVM完成端到端形式化验证
热点事件持续更新
leanVM完成端到端形式化验证
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
以太坊基金会研究员 Justin Drake 宣布，leanVM 已实现端到端形式化验证，可聚合基于哈希的后量子签名，每秒处理超过 1,000 次 leanXMSS 聚合。 Drake 同时将以太坊完整后量子过渡的目标时间定在 2028 年 12 月。
AI 根据报道生成 · 2 小时前更新
最新进展11月4日 08:24
leanVM 完成端到端形式化验证，以太坊后量子过渡目标定于 2028 年 12 月报道时间线
沿着报道，了解事件的不同侧面。
11月4日
- OKX 聚合新闻leanVM 完成端到端形式化验证，以太坊后量子过渡目标定于 2028 年 12 月
Ethereum 基金会研究员 Justin Drake 宣布 leanVM 实现端到端形式化验证，聚合基于哈希的后量子签名，每秒处理超过 1,000 次 leanXMSS 聚合。Drake 将 Ethereum 完整后量子过渡的目标定在 2028 年 12 月。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。