以太坊後量子轉型：2028 年目標、雜湊方案與形式化驗證

值得記下的 5 件事

1. [2:45]
   量子破解的時程是風險估計，不是確定期限

   Justin Drake 心中的時間點是 2032 年，但坦言估計的誤差範圍很大。他仍主觀估計，2029 年前出現量子破解能力的機率有 10%；對他而言，即使不是最可能的情境，這項風險也足以構成加速後量子遷移的理由。

2. [9:46]
   轉型目標涵蓋執行、共識與資料 3 層

   路線圖希望以 JSTAR 分叉為節點，完成後量子交易、驗證與取樣，較先前安排提早約 1 年半，整體目標為 2028 年底。Kev 補充，各元件應最晚於 2027 年底穩定，再配合硬分叉分批導入，而非同時上線。

3. [12:40]
   雜湊函數的選擇已從效能優先轉向較保守的安全取向

   團隊最初採用 Poseidon 2，隨證明系統加速，目前預設改用 SHA-3。Kev 看重其逾 10 年的密碼分析累積與安全餘裕，但這不代表無法破解；雜湊式方案的簽章與證明仍偏大，因此另以 LeanVM 聚合壓縮。

4. [16:18]
   形式化驗證能約束最佳化結果，卻不是直接上線的通行證

   做法是先確認規格符合協定意圖，再證明實作與規格等價，讓人工智慧提出的最佳化也須附上正確性證明。不過 Kev 提醒，相關部署實務仍在早期，部分系統的可信任運算基礎尚未釐清，不應盲目投入正式環境。

5. [17:03]
   驗證者、開發者與錢包都應提前準備遷移

   驗證者應關注後量子驗證者登錄機制，並配合棄用舊式 0x0 提款憑證的規畫升級；開發者需盤點依賴 ECDSA 簽章的位置。使用者互動預期會隨框架交易改變，錢包也應研究支援方式；這些仍是待陸續落實的遷移工作。