以太坊準備好迎接量子計算機了嗎？最新進展如下：
後量子遷移目標：2028年12月 | leanVM：每秒處理 >1,000 次 leanXMSS 聚合
在孟買 Devcon 8（2026年11月3日）上，以太坊基金會研究員 Justin Drake 分享了量子安全路線圖的最新進展。重點如下：
1. leanVM 通過形式化驗證——leanVM 是一款極簡 zkVM，可將多個基於哈希的後量子簽名合併爲一個簡潔證明。形式化驗證意味着其代碼已通過數學證明，符合規範，覆蓋整個流程。
2. BLS 將由 leanXMSS 取代——目前共識層驗證者使用的 BLS 簽名計劃改爲基於哈希的 leanXMSS 方案。其基礎是三個開源項目：leanVM、leanXMSS 和 leanSpec。
3. 2028年仍是期望，而非承諾——Drake 表示，他希望在2028年12月前完成全面的後量子和後 AI 遷移。基金會的官方目標（9月7日的計劃）仍是於2029年12月完成三個層的遷移，並將在2027年1月重新評估量子相關進展。
#Ethereum #ETH #Kuantum #Kripto #BinanceSquare
後量子遷移目標：2028年12月 | leanVM：每秒處理 >1,000 次 leanXMSS 聚合
在孟買 Devcon 8（2026年11月3日）上，以太坊基金會研究員 Justin Drake 分享了量子安全路線圖的最新進展。重點如下：
1. leanVM 通過形式化驗證——leanVM 是一款極簡 zkVM，可將多個基於哈希的後量子簽名合併爲一個簡潔證明。形式化驗證意味着其代碼已通過數學證明，符合規範，覆蓋整個流程。
2. BLS 將由 leanXMSS 取代——目前共識層驗證者使用的 BLS 簽名計劃改爲基於哈希的 leanXMSS 方案。其基礎是三個開源項目：leanVM、leanXMSS 和 leanSpec。
3. 2028年仍是期望，而非承諾——Drake 表示，他希望在2028年12月前完成全面的後量子和後 AI 遷移。基金會的官方目標（9月7日的計劃）仍是於2029年12月完成三個層的遷移，並將在2027年1月重新評估量子相關進展。
#Ethereum #ETH #Kuantum #Kripto #BinanceSquare
