打开机器人加入频道
🟢 币圈

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

· #PANews快讯 #ETH

PANews 11月4日消息，据CryptoBriefing报道，以太坊基金会研究员Justin Drake于11月3日宣布，leanVM已实现端到端形式化验证。leanVM是一种极简zkVM，用于高效聚合基于哈希的后量子签名，将多签名打包为紧凑证明。性能上，leanVM每秒可处理超过1000次leanXMSS聚合；

原文链接

这条消息在 Telegram 频道 币圈NEWS·24H 实时推送

关注 #ETH 等币种，异动、到价、新闻、交易所公告由机器人私信提醒，免费使用。

免费使用 · 加入频道打开机器人

频道里的样子

24
币圈NEWS·24H
🟢 #币圈 以太坊的leanVM完成端到端形式化验证，全面后量子安全过渡目标定于2028年12月
PANews 11月4日消息，据CryptoBriefing报道，以太坊基金会研究员Justin Drake于11月3日宣布，leanVM已实现端到端形式化验证。leanVM是一种极简zkVM，用于高效聚合基于哈希的后量子签名，将多签名打包为紧凑证明。性能上，leanVM每秒可处理超过1000次leanXMSS聚合； 原文链接
#PANews快讯 #ETH · 🕐 11-04 08:22
08:22

相关快讯