来源: 吴说 ↗

以太坊研究员称 leanVM 完成形式化验证,后量子过渡目标 2028 年 12 月

|

暂时无法翻译,请重试。

来源报道重点

据 Cryptobriefing,以太坊基金会研究员 Justin Drake 宣布,专用于聚合后量子哈希签名(leanXMSS)的轻量级零知识虚拟机 leanVM 已完成端到端形式化验证(forma...

在 吴说 阅读原始报道 ↗

实时市场脉络

市场数字为实时参考资料,并非此报道造成价格变动的证据;不构成财务建议。