由邁克爾和庫比（Gattaca）聯合撰寫。特別感謝托馬斯、朱利安、託尼、拉迪、賈斯汀、奧斯頓和馬克斯的反饋和建議。反饋並不意味著背書。
概述
本文介紹了中繼包含列表（rILs），這是一種在不引入協議更改、新的信任假設或重大技術複雜性的情況下立即提高以太坊審查抵抵性的方法。該設計旨在成為非審查中繼的新預設功能，同時提供選擇退出選項以適應驗證者的偏好。
我們將詳細說明中繼包含列表如何在保持驗證者風險-回報平衡的同時提高以太坊的審查抵抵性。然後，我們提出了一個構建中繼包含列表的規則，該規則高效且能抵抵異常值，並配備了與現有區塊驗證無縫整合的執行程式。文件最後展望了未來的promising方向。
總的來說，本文詳細闡述了在中繼中生成、驗證和執行包含列表的確切程式。它反映了EIP-7805（FOCIL）規範，以確保協議相容性和執行完整性，為未來以低風險方式在協議中實施包含列表做準備。
分發和推廣
支援中繼包含列表的中繼將預設為從記憶體池中掛起的交易為所有傳送的區塊生成和執行包含列表。希望選擇退出的驗證者可以透過中繼註冊API中的額外偏好欄位明確表明此偏好。
中繼包含列表使驗證者能夠立即提高以太坊的審查抵抵性，而不會產生任何額外風險或信任假設，因為包含列表的編制和執行被委託給中繼，驗證者在簽署區塊頭時對其內容保持盲目。另一種協議外方法是IL-Boost，它委託區塊構建，但保留在提議者級別構建包含列表。
我們注意到，該系統與驗證者的經濟激勵是一致的。實際上，它將體現為更滿的區塊，由於其更大的資料佔用空間，會帶來輕微的延遲權衡。在所有中繼都採用該設計的情況下，這種權衡將在相對基礎上最小化，因為投標曲線將調整以適應這種微小且可預測的延遲開銷；換句話說，最佳投標將提前提交。在某些中繼不採用該設計的情況下，驗證者將透過標準區塊拍賣得到保險，該拍賣將繼續產生支付最高的區塊。
總的來說，該設計不會對驗證者施加額外要求，並允許他們在不改變風險/回報曲線的情況下提高以太坊的審查抵抵性。因此，該系統對所有參與者都具有可訪問性和吸引力，從獨立質押者到大型節點運營商。
包含列表在每個插槽開始前計算，中繼節點公開一個HTTP API端點，構建者用它來獲取已完成的包含列表。構建者不受任何排序約束；包含列表上的交易可以以最有效的方式排序到區塊中。
區塊驗證和執行
區塊有效性根據FOCIL標準執行；具體而言，提議給中繼節點的區塊僅在滿足以下條件時有效：
- 交易包含檢查
- 中繼節點提供的包含列表中的每筆交易要麼：
- 在構建者提交的區塊中明確包含。
- 在執行區塊最終狀態後可驗證無效。
- 模擬交易驗證
- 中繼節點模擬執行區塊中未包含的每筆包含列表交易對照區塊最終狀態。
- 如果區塊遺漏了任何在其最終狀態下驗證時會透過所有預執行有效性檢查的包含列表交易——正確簽名、鏈ID、隨機數、足夠餘額和固有gas——則該區塊無效。
- 由於固有無效性（如隨機數不匹配、餘額不足）導致模擬失敗的交易不會使區塊無效。
- 包含列表的模擬和驗證在區塊驗證的模擬部分完成。
這種方法在不引入額外階段的情況下符合當前鏈下PBS管道的FOCIL標準；區塊模擬僅針對每個未包含在區塊中的包含列表交易略微擴充套件。在跳過對可信構建者的模擬階段的樂觀中繼情況下，不會產生額外開銷。
執行和懲罰
根據FOCIL標準，遵守包含列表被視為有效性條件。不合規至少會導致不被接受，對於樂觀構建者，可能會執行懲罰。
我們建議對不合規的樂觀構建者執行的懲罰應反映包含列表作為一個完整的有效性條件，並導致對構建者抵押品的區塊價值沒收。中繼節點可以選擇暫時降級不合規的構建者，直到錯誤被追蹤，以避免過多的抵押品銷燬。
未來方向
Blob型別交易的包含列表
未來，該設計可能會擴充套件到包含blob。這將擴大當前設計的審查抵抗力，同時改善L2的及時資料可用性。
更大的包含列表
中繼包含列表可以比提議者中心的包含列表更大，因為它們不直接受驗證者頻寬限制的瓶頸。當前設計映象FOCIL大小以確保帶中繼IL的區塊在PBS拍賣中具有競爭力，並且將來可以擴充套件以容納更大的總大小。
多中繼包含列表
在當前設計下，每個中繼維護自己的包含列表。尋求為其區塊保留最大可選性的構建者可能會選擇向每個中繼傳送不同的區塊，反映中繼提供的IL。
未來，透過形成多個包含列表的交集，可以實現更強的審查保證。這確保了中繼之間的公平競爭，透過強制統一應用包含規則，並且可以輕鬆地在用於編制包含列表的交易排名上計算。這還將減少構建者的冗餘，透過消除為每個中繼計算定製區塊的需要，或包含多個包含列表的並集。
在這種情況下，每個中繼可以傳播一個擴充套件列表，然後透過取交集確定性地縮減到標準大小的列表。實際上，這可以透過升級中繼節點並使用簡單的gossip協議來實現。
連結
