Lighthouse 實作交易納入清單：從區塊建構到遵循檢查

值得記下的 5 件事

1. [0:20]
   納入建構者不等於保證交易被收錄 講者指出，協議內仍沒有保證交易審查比例歸零的機制

   FOCIL 讓十六名驗證者各自發布交易納入清單，要求建構者遵守；這是針對審查問題的設計，不能視為已消除審查的成果。

2. [2:20]
   三個介面串接清單產製與發布 團隊新增查詢委員職責、取得清單及發布已簽署清單的介面

   驗證者端會更新並暫存職責，另由專用服務在清單截止前一秒啟動，取得清單後簽署、發布；啟動時機仍在調整。

3. [4:20]
   外部出價與本地建構都須考慮清單 提議者依自己收到的清單檢查出價，忽略不符合者，並依時段與父區塊暫存符合要求的最高價出價

   指定建構者直接送來的出價也接受相同檢查；本地建構則透過引擎介面傳入清單。

4. [8:20]
   及時清單決定遵循檢查，逾時清單仍可供建構參考 節點將成本最高的簽章檢查放在最後，並記錄清單抵達時間

   遵循檢查與網路傳播的出價檢查只讀取及時清單，區塊建構則也讀取逾時清單。未滿足要求的區塊內容仍有效，但節點不會繼續延伸該內容。

5. [11:40]
   測試持續補強，形式化驗證尚未定案 講者表示，早期開發網未啟用遵循檢查，後續測試已修正，另做過約八十分鐘、包含 Lighthouse 與 Teku 節點的本地測試

   團隊仍在補強指標與監測；以數學方法驗證清單儲存行為的構想，尚只有初步討論。