團隊的研究聚焦於 Fabric 和 Commit-Boost。感謝以太坊基金會研究團隊、Nethermind、Espresso、Taiko、OpenZeppelin、Spire、ETHGas、Gattaca、L2Beat、Labrys、Luban、Puffer 和 Interstate 的反饋、貢獻和審查。反饋、貢獻和審查並不意味著背書。
摘要
- 由 Gwyneth 提出的 超級交易,透過利用區塊頂部(ToB)的第一層交易執行、巧妙的跨域上下文切換和實時證明,為實現第一層和基於 Rollup 之間的同步可組合性引入了強大的設計。
- 由 Nethermind 提出的 同槽訊息傳遞,透過信使合約實現了單個槽內的第一層到第二層通訊,為原子第一層和第二層交易奠定了基礎。
- Signal-Boost 結合了兩種方法的見解,為現有的 Rollup 提供靈活的第一層同步可組合性,且對其技術棧的改動minimal或為零。
- 這使得以太坊可以立即為現有 Rollup 提供實用性,同時為隨著基於 Rollup 生態系統的成熟而成為基於 Rollup 提供路徑。
- 這不需要對以太坊進行協議內更改,而是將利用 PBS 管道、Commit-Boost 以及 Constraints / Commitments API。
- 最後,我們注意到選擇成為基於 Rollup 的 Rollup 仍可以解鎖超出 Signal-Boost 提供的以太坊額外收益。
- 可以在此處找到約 100 行程式碼的概念驗證實現。
這顯著提高了同槽位訊息傳遞的實用性,透過解鎖對實時L1資料的訪問,而無需上游合約更改。然而,這引入了新的挑戰:如果訊號在槽位中途發生變化怎麼辦?L2使用者如何響應或驗證?
為了解決這些問題,Signal-Boost融合了Ultra交易的理念,包括EIP-7702智慧賬戶用於委託執行和ToB包含以保證狀態。
SignalBoost
合約
為了使同槽位訊息傳遞更容易被採用,我們需要一種方法將L1資料轉換為L2可信賴的可驗證訊號。SignalBoost
合約透過允許任何人查詢L1檢視函式並以下游L2合約可立即消費的格式在鏈上提交結果來提供此功能。
雙重套利充分利用同一時隙訊息傳遞和ToB執行:
- 在訊號提升捆綁包頂部捕獲L1套利
- 透過
SignalBoost
合約將更新的預言機資料從L1中繼到L2 - 基於新可用價格捕獲L2套利
使用意圖進行即時L1↔L2交換
即使沒有實時證明,也可以使用意圖進行同一時隙訊息傳遞的即時L1<>L2提款,如Nethermind所描述。
這些示例僅僅觸及了表面,任何依賴及時訪問L1資料的L2合約都可以受益。
這將如何在OP Stack上工作?
OP Stack沒有SignalService
合約或錨定交易的概念,這些在同一時隙訊息傳遞設計中使用。相反,OP Stack的派生管道讀取透過CrossDomainMessenger.sendMessage()
函式傳輸的所有L1訊息(L1存款/任意函式呼叫),並將它們插入L2區塊頂部。
SignalBoost
合約可以被調整為使用signalRequestsRoot
值呼叫sendMessage()
,而不是寫入SignalService
合約。不需要對新增錨定交易進行更改,因為OP stack已經支援類似功能。
此外:
- L2排序器必須是Signal-Boost捆綁器,因為派生管道期望blob交易由規範的
batchSubmitterAddress
提交。 - 要同步讀取這些L1訊息,L2排序器的
SequencerConfDepth
值需要設定為0
以實時跟隨L1頭。
總之,只需更改一個配置值並調整SignalBoost
合約
這會損害基於Rollup的價值主張嗎?
不會。Signal-Boost有助於擴大同步可組合性的市場,但基於Rollup仍然具有獨特優勢:
- 對於基於Rollup,Signal-Boost更簡單,放鬆了ToB或執行預確認要求。
- Ultra交易使用基於Rollup來實現最強大的同步可組合性形式。
- 共享排序對於同步跨叢集L2 ↔ L2可組合性仍然是必要的。
- 新的Rollup可能更傾向於作為基於應用鏈啟動,以避免執行集中式排序器的複雜性(即基礎設施成本、可用性、監管風險等)。
- 使用驗證者作為基於排序器提供最大可組合性
- 優先考慮可用性的WW3級Rollup將選擇基於排序器。
採用Signal-Boost是否需要Rollup修改其現有堆疊?
不需要。Signal-Boost旨在低摩擦採用。Rollup不需要徹底改造其堆疊或主要升級其協議。排序器可以有選擇地選擇加入,並且僅在需要同步訪問L1狀態時構建捆綁包。
應該注意的是,根據它們當前處理L1輸入資料和重組的方式,不同的堆疊將具有不同程度的摩擦。
(由於篇幅限制,只翻譯了部分內容)