來源: 吴说 ↗
以太坊研究员称 leanVM 完成形式化验证，后量子过渡目标 2028 年 12 月
|
暫時無法翻譯，請重試。
來源報導重點
据 Cryptobriefing，以太坊基金会研究员 Justin Drake 宣布，专用于聚合后量子哈希签名（leanXMSS）的轻量级零知识虚拟机 leanVM 已完成端到端形式化验证（forma...
在 吴说 閱讀原始報導 ↗即時市場脈絡
市場數字為即時參考資料，並非此報導造成價格變動的證據；不構成財務建議。
相關新聞
開啟新聞中心 →幣安提現恢復第三波》今中午 12 點開放 ETH、BSC、BASE 等六條網路部分資產的提現
幣安宣布將自台北時間今日中午 12:00 起，逐步開放 ETH、BSC、BASE、TRX、MATIC 及 SU […] 〈幣安提現恢復第三波》今中午 12 點開放 ETH、BSC、BASE 等六條網路部分資產的提現〉
比特幣選後反攻重登8萬鎂、ETH 勁揚 6.3%！恐懼指數回歸中性，美股兩樣情
期中選舉後美股兩樣情：道瓊飆 3%、費半跌 3%，不過比特幣乘勢重登 8 萬美元！以太坊勁揚 6.3%，恐懼與 […]
比特幣突破 8 萬美元、以太坊站上 $2400！美股開盤後三大指數同步上揚
比特幣延續漲勢一舉突破 8 萬美元，以太坊同步站上 2,400 美元；美股開盤後道瓊、標普、那斯達克亦集體上揚 […]