以太坊解耦共識：讓出塊與最終確認各自安排時程

值得記下的 5 件事

1. [6:00]
   直接縮短投票週期，會增加每個時槽的負荷 Francesco 以週期縮短為四分之一為例，說明每個時槽將承受四倍投票量

   這可能需要拉長時槽或改善網路傳輸，因此現行設計難以分別調整出塊速度與最終確認時間。

2. [10:20]
   解耦讓出塊與最終確認各走自己的時程 設計將維持出塊的鏈與最終確認模組分開，出塊端只需小型委員會投票

   全體驗證者的投票與聚合則可另外排程，減少受時槽期限牽制；這是設計上的改善空間，不是已實現的速度保證。

3. [22:20]
   後量子簽章的負擔仍須由節點承受 Francesco 說，改用雜湊式後量子簽章，會增加簽章資料量與聚合運算負荷

   解耦可讓資料傳播與運算交錯進行，卻不會消除成本；他承認，部分硬體或頻寬較弱的節點可能跟不上。

4. [19:00]
   形式化驗證已融入共識設計的反覆修改流程 他表示，人工智慧早期雖能加速構思與撰寫證明，產出卻難以查核及分享

   團隊後來讓設計與 Lean 證明工具中的模型同步修改，以檢查哪些性質成立；這些證明仍對應特定假設，不能視為無條件安全保證。

5. [21:00]
   已有驗證模型，規格與原型仍在起步 Francesco 表示，目前已有完整且經形式化驗證的共識 Lean 模型，也已有以太坊改進提案

   他提出先讓最終確認加快四至八倍的目標，但規格與原型才開始，時槽長度未定，不能將目標當成主網成果。