以太坊網路韌性：後量子遷移、AI 代理互通與形式化驗證

值得記下的 5 件事

1. [14:05]
   節點紀錄的容量限制，讓後量子遷移不只是替換簽章演算法

   以太坊節點紀錄（ENR）目前上限為 300 位元組，ML-DSA 等方案較大的簽章與公鑰會帶來相容性及頻寬挑戰。講者提到已有處理超限問題的概念驗證，也提出以零知識證明縮減尺寸的構想，但具體遷移方案仍未定案。

2. [17:14]
   探索協定的金鑰交換也必須納入抗量子遷移

   身分簽章用來確認節點與紀錄真偽，金鑰交換則關係到通訊機密性，須防範攻擊者先錄下資料、日後再解密。講者將以格為基礎的 ML-KEM 與混合模式列為主要候選，目前仍在探索，混合方案的具體組成也有待釐清。

3. [16:06]
   網路韌性必須防止節點失聯與失去同步

   女巫攻擊、日蝕攻擊及網路分割都可能干擾節點連線，安全風險因此不限於錢包金鑰或應用程式。講者提醒，節點失去同步也可能危及上層去中心化金融協定，並主張透過網路層的緩解機制與監測系統，掌握並降低這類風險。

4. [22:59]
   AI 代理互通需要分層處理探索、通訊與信任

   講者以 代理互通架構 為例，說明如何用 libp2p 支援目錄服務、路由、探索與通訊，再搭配訊息層、身分互通及遙測。跨組織協作所需的證明服務與稽核紀錄仍屬提案的一部分，以太坊作為信任層則是架構願景。

5. [32:34]
   形式化驗證要證明特定協定性質，而非宣告全面安全

   Leo Lara 表示，團隊正以 Lean 4 建構以太坊元件，並採可供其他專案沿用的框架設計，希望透過數學證明改善協定安全。這部分介紹聚焦研究目標，驗證所涵蓋的性質、範圍與依賴假設，仍須具體界定。