以太坊如何邁向後量子安全：Justin Drake 談協調、簽章與錢包遷移

值得記下的 5 件事

1. [8:20]
   Drake 將遷移瓶頸指向社群協調 他認為技術進展已讓協調成為主要障礙，既有升級排程則限制導入速度

   若開發者共同把後量子安全列為優先事項，他認為遷移可能加快；這是附帶條件的判斷，不是確定的上線承諾。

2. [10:20]
   第二層網路可自行選擇遷移方案 Drake 指出，第二層網路（L2）可自主決定，甚至可能比基礎層（L1）更早遷移

   他個人推薦跟進以雜湊函數為基礎的 leanSPHINCS，並稱其支援硬體錢包、適合簽章聚合；但當時標準仍在推進成熟，不能視為已定案。

3. [13:40]
   助記詞知識證明是極端緊急備案構想 Drake 介紹 Vitalik 的構想：停用現行 ECDSA 簽章，改以零知識證明確認使用者知道助記詞，才允許支用資金，也就是不公開助記詞本身來證明掌握權限

   他提醒部分採多方計算配置的託管者不適用，且未確認這套機制已納入現行程式碼。

4. [18:20]
   保留助記詞不代表保留原有地址 Drake 澄清，使用者可以沿用助記詞，但需要更換錢包，並從助記詞產生後量子地址

   他設想錢包可提供遷移提示與操作按鈕，同時提醒使用者不必倉促行動，應提防以量子威脅製造恐慌的錢包下載詐騙。

5. [2:20]
   形式化驗證用來檢查 AI 產生的實作 Drake 主張以數學方式檢查實作是否符合規格，並推薦開發者學習 Lean 4

   他描述先寫精簡規格，再讓 AI 產生可執行程式並證明兩者一致的做法；他也提到，有專案正嘗試以 Lean 4 建構完整的以太坊客戶端，並非宣稱已完成。