Rollups 之間的無信任互操作性：概況、構建和挑戰

作者：Marshall Vyletel Jr. 來源： 1kx 翻譯：善歐巴，比特鏈視界

介紹

以太坊上的 rollup 數量出現了爆發式增長。根據 L2Beat 的數據，截至撰寫本文時，已有 91 個 L2 和 L3 上線，還有 82 個即將上線。因此，在流動性、用戶體驗和開發人員工具方面也存在大量碎片化。當前的互操作性解決方案還有待改進，因為它們依賴於第三方橋接器、外部包裝資產和意圖框架的組合，而每種解決方案都有各自的問題。

1. 流動性橋通常是最大的加密貨幣黑客攻擊的目標（例如價值 3.21 億美元的蟲洞橋黑客攻擊）

2. 外部包裝的資產並不受歡迎，數據顯示，只要有可能，人們更願意以原生形式持有資產（例如，根據L2Beat 的數據，規範橋接資產價值為 220 億美元，而外部包裝的資產僅價值 30 億美元）

3. 意圖框架依賴於第三方，這些第三方需要一些不可忽略的信任，並收取額外費用以促進跨 Rollup 活動（例如，由於官方橋梁不規範，Degen 鏈用戶損失了 80% 以上的代幣）。中心化的意圖框架也意味著較低的競爭，這可能導致定價和性能不理想

在本文中，我們通過定義和討論分散的 Rollup 生態系統之間的六個級別的互操作性解決方案，調查了無信任互操作性前景。

我們從默認情況開始，即異步從源 rollup 提現到 L1 並手動橋接至目標 rollup，最後以單個交易中跨 rollup 可組合性的假設架構結束。我們將探討每個級別的互操作性將如何影響用戶體驗、開發人員體驗、MEV 潛力以及 rollup 本身（具體與基礎設施變化有關）。

本文主要討論以太坊及其 L2，並僅關注無需信任的互操作性。在這種情況下，「無需信任的互操作性」是指協議內通道，不需要第三方在大多數 rollup 已經需要的必要基礎設施之外促進傳輸。

準備工作

定義

從根本上講，無需信任的互操作性需要一些共享資源，任何兩個希望互操作的協議都必須能夠訪問這些資源。在以太坊 L1 的情況下，所有智能合約都存在於共享以太坊完整狀態的同一環境中，因此它們將始終具有最高級別的互操作性。然而，L2 僅通過單獨的橋接合約共享結算層，因此互操作性受到很大限制。

能夠推動我們在無信任互操作性階梯上前進的關鍵共享基礎設施組件是共享排序器、超級構建器和共享結算。這些共享層所開放的保證和新功能是相關的，但本質上是正交的。

1. 共享序列器/超級建造者：主要提升速度和用戶體驗。

2. 共享結算：無需外部包裝和協議內消息傳遞的資產交換。

首先，我們將定義引言中提到的六個無需信任的互操作性級別：

1. L1 異步：
   →通過匯總結算的 L1 進行手動資產轉移，實現互操作性。

2. 原子包含：
   → 保證跨 Rollup Bundle 中的所有交易都將包含在該 Bundle 中涉及的每個 Rollup 的下一個塊中，或者都不包含在內。

3. 共享結算：
   → 通過相同的橋接合約，多個 rollup 連接到 L1。

4. 原子執行：
   → 保證跨 Rollup 捆綁包中的所有交易都將包含在捆綁包中涉及的每個 Rollup 的下一個區塊中並成功執行，否則將不執行任何交易。成功執行是指每筆交易均在不回滾的情況下執行，並反映在捆綁包中每個 Rollup 的更新狀態中。

5. 區塊級可組合性：
   → 跨 Rollup Bundle 的下一個區塊保證可以包含依賴交易（Rollup B 上的 tx B 依賴於 Rollup A 上 tx A 的結果）

6. 交易級別可組合性：
   → 智能合約級別互操作性僅需一筆交易即可同時導致多個 rollup 之間的狀態變化（無捆綁）。在任何 rollup 上使用任何協議在邏輯上等同於在一條鏈上使用不同的智能合約。重要的是，這意味著任何調用之前的狀態更改都可以在返回時恢復。

為了進一步了解每個級別，我們將介紹以下關鍵用例，以展示每個級別的功能及其對用戶、開發人員、匯總和 MEV 搜索者的影響。

示例：

1. 相同代幣轉移
   → 發送給自己：在兩個 Rollup 之間將 Eth 兌換為 Eth，或將 ERC-20 兌換為 ERC-20

2. 代幣購買
   → 跨 Rollup 限價訂單：使用 Rollup A 中的 Eth/ERC-20，從 Rollup B 上的 DEX 購買不同的 ERC-20，並（可選）發送回 Rollup A

含義：

我們還將回答以下問題，以進一步了解對任何匯總生態系統中關鍵股東的影響。

1. 用戶體驗
   通過實現這種程度的互操作性，用戶體驗會發生怎樣的變化？

2. 開發人員體驗
   通過實現這種級別的互操作性，開發人員體驗會發生怎樣的變化？

3. MEV 潛力
   如果我們實現了這種程度的互操作性，是否有可能出現新的 MEV 機會？

4. Rollup 的影響
   Rollup 是否必須選擇加入任何新的基礎設施才能實現這一點？Rollup 的費用結構有哪些變化？Rollup 參與該基礎設施可能帶來哪些潛在好處？

高級概述

邁向無信任互操作性的六個階段

1. L1 異步

所需基礎設施：

不適用

根據定義，這指的是當前默認的無信任互操作模式。所有 rollup 都是這樣定義的，因為它們是作為結算層建立在 L1 上的，並且只能通過橋接合約訪問該 L1，它們會定期發布狀態更新以保護網絡。

在這種情況下，執行任何無需信任的跨 Rollup 活動的唯一規範方法是通過規範橋從源 Rollup 中提取資產，並在 L1 上可用後手動將其存入目標 Rollup 中。

對於 Optimistic Rollup，考慮到防錯窗口，提現延遲約為 7 天。在 ZK Rollup 中，提現延遲不太確定，但可能在 15 分鐘到一整天之間，ZkSync 就是這種情況。

此外，使用智能合約進行點對點原子交換也是可能的，但這是一個較小的用例，並且無法有效擴展。

值得注意的是目前存在的第三方解決方案：

1. 流動性橋梁

2. 意圖框架

我們的兩個示例都需要第三方解決方案來協助。

發送給自己：

1. 規範做法：
   → 從 Rollup A 中提取資產
   →手動存入 Rollup B

2. 第三方：
   → 流動性橋梁 / 求解器網絡

跨滾動限價訂單

1. 規範：
   → 從 Rollup A 中提取資產
   →手動存入 Rollup B
   →執行限價訂單
   →要發回，必須對目標 ERC-20 進行外部包裝

2. 第三方
   → 跨匯總限價訂單的新興解決方案空間
   → 有開放的設計圍繞使用意圖來促進這一點

由於這是默認情況，因此無需討論 UX、DevEx、MEV 和匯總的變化。

2. 原子包含

所需的基礎設施

共享序列器 *

原子包含僅保證跨匯總捆綁包將包含在下一個塊中。

這需要一個共享的排序器，但理論上，如果兩個給定 rollup 上的排序器未達到最大吞吐量，則可以手動實現（只需向每個 rollup 分別提交兩個交易即可）。這就是我們在所需基礎設施上添加了星號的原因。

但是，我們並不假設共享排序器運行每個連接的 rollup 的完整節點，因此無法保證一組交易的成功執行。在這種情況下，共享排序器只能保證交易格式正確且將包含在下一個區塊中，但不一定能成功執行。

由於沒有執行保證，因此不可能以任何有意義的方式以編程方式利用原子包含，而不會招致其中一項交易被撤銷的風險。因此，我們本質上處於與 L1 Async 互操作性完全相同的情況。

考慮啟動一個僅具有原子包含保證的簡單交叉匯總交換：

1. 跨 Rollup 交換捆綁
   → Tx 1：在源 Rollup 上鎖定 / 銷毀代幣
   → Tx 2：將代幣鑄造到目標 Rollup 上的用戶地址

我們可能有原子包含保證，即兩個交易實際上都包含在每個匯總的下一個塊中，但如果第一個交易回滾而第二個交易沒有回滾，則用戶將在目標鏈上錯誤地分配資金，而無需在源鏈上鎖定或燒毀它們，我們就會遇到雙重支付問題。

任何互操作性解決方案，無論是流動性橋、意圖框架還是 xERC-20 交換，都容易受到這種風險的影響，而且不可能緩解這種風險。由於存在這種風險，當前的解決方案要求發起交易必須已成功執行並包含在源鏈上的區塊中，然後才能使用中繼器傳遞發出的消息並在目標鏈上執行第二筆交易。

重要提示：原子包含不會對互操作性潛力產生重大影響

3. 共享結算

所需基礎設施：

證明聚合層//共享橋合約

這就是事情開始變得更加有趣的地方。由於共享橋合約的存在，從 L1 存入 rollup 生態系統的所有流動性都可以在所有連接的 rollup 之間自由移動。在此之前，我們無法在不經過規範渠道、外部包裝資產或使用第三方解決方案的情況下在 rollup 之間進行交換。

為什麼要建立共享橋合約？要理解為什麼共享橋合約可以讓我們以無需信任的方式跨 Rollup 轉移資產，首先考慮一下，如果可以在 Rollup A 中擁有 Eth，將其銷毀，然後在 Rollup B 上原生鑄造，而無需在 Layer1 上建立共享橋合約，會發生什麼情況。

我們看到，每個 rollup 都會與主網上的橋接合約不同步。rollup B 橋接合約仍有 50 個 Eth，因此用戶無法將其 1 個 Eth 提取到 L1。

為了解決這個問題，我們建立了外部資產包裝協議，在匯總中發行外部包裝版本的代幣，這些代幣象徵著網絡中其他地方的原生版本。

有了共享結算層，情況就不同了。由於每個連接的 rollup 的所有流動性都鎖定在同一個橋梁合約中，因此人們可以在 rollup 之間自由移動，因為橋梁合約中的總價值保持不變，並且始終可以提取。

確實需要在 L1 合約層面進行更新，以了解流動性在哪裡，以允許用戶從任何地方提款，但這很簡單，因為所有連接的匯總都可以讀取/寫入共享合約。

使用共享結算層，對於簡單的發送給自己的情況下，流程可能看起來像下面這樣。

發送給自己：

1. 用戶創建初始交易：
   →Tx 1：在 rollup A 上提取Eth（並在 rollup B 上鑄造）
   →交易被分批並提交給 L1 合約
   →它被聚合到交易根中，該交易根將所有共享結算 rollup 分組

2. Rollup B導入此交易根

3. 中繼器將交易提交給鑄幣廠，並將 Merkle 證明提交給 rollup B

4. Rollup B使用 Merkle Proof 和交易根來驗證銷毀交易

5. 用戶在 Rollup B 上鑄造了Eth

6. Rollup B向 L1提交證明

我們可以將此流程擴展到在共享結算生態系統中所有匯總中都有合約的任何 ERC-20。

我們可以將共享橋合約視為所有連接匯總之間的協議內消息傳遞層，因此理論上這種流程實際上可以擴展到任何任意消息傳遞標準。

這讓我們更接近可組合性，但由於只有在 L1 上反映狀態變化後才需要聚合證明和傳遞消息，因此延遲較高（儘管明顯低於 L1 異步情況）。此外，任何複雜的跨 Rollup 活動（例如在 Rollup B 上使用 DEX 從 Rollup A 上的資產開始進行跨 Rollup 限價訂單）對於用戶來說仍然是一個繁瑣的過程，因為他們仍然必須向自己發送並在目標 Rollup 上手動交換資產。在這種情況下，無法創建原子跨 Rollup 捆綁包。

共享結算的另一個重要好處是，對於在多個環境中執行訂單的流動性提供者或解決者來說，摩擦更小。由於他們跨所有連接的 Rollup 的流動性都反映在同一個過橋合約中，因此他們不必等待完整的提款窗口來管理跨 Rollup 流動性。

對利益相關者的影響：

1. 用戶：
   現在可以以原生形式轉移資產，無需 L1 提款期

2. 開發人員：
   變更僅限於代幣發行者，他們現在可以使用協議內消息傳遞在所有連接的 Rollup 上發行 ERC-20 的原生版本

3. MEV 搜索者：
   由於這種情況發生在每個 rollup 的多個區塊上，因此不存在新的 MEV 潛力

4. Rollups：
   Rollups 必須選擇使用共享橋合約，並可能添加預編譯來處理跨 Rollup 消息

重要提示：共享結算允許在共享橋接合約和證明聚合層的所有匯總中進行非外部包裝的資產轉移和任意消息傳遞，但仍然會有不可忽略的延遲（儘管比 L1 Async 短得多）並且無法創建跨匯總原子束。

4.原子執行

所需基礎設施：

共享排序器 // 超級建造者

原子執行使我們能夠保證跨卷捆綁包的成功執行，但正如我們將看到的，沒有依賴事務的跨卷捆綁包的用例數量比最初預期的要少。

如果一組依賴交易中的任何單筆交易被撤銷，那麼所有其他交易都將變得無效，並且也必須被撤銷，就像跨 rollup 銷毀和鑄造代幣的情況一樣。在目標 rollup 上鑄造代幣取決於它們是否已在源 rollup 上被銷毀或鎖定，因此我們可以說一組銷毀和鑄造交易是一組依賴交易。

如果沒有能夠創建目標交易的中間方（例如超級建造者），就不可能創建此捆綁包。

考慮一下，在沒有用戶以外的其他方參與的情況下，跨 Rollup 交換捆綁包的構建必須滿足哪些條件。必須創建一個捆綁包來鎖定/刻錄源 Rollup 上的資產，並在目標 Rollup 上鑄造資產，但我們遇到了問題：

1. 源 rollup 上的合約只能在鎖定 / 銷毀原始源資產時發出消息，它們無法在目標 rollup 上調用和創建交易。
   →這就是消息協議和中繼網絡存在的原因。
   → 消息可用於構造目標上的調用應該是什麼，但它實際上不能創建交易本身。

2. 在目標 rollup 上創建第二筆交易以進行鑄造：
   → 用戶自己無法創建此 tx，因為他們沒有 rollup B 上代幣的鑄造權
   →即）目標鏈需要證明代幣已在源鏈上被燒毀/鎖定，但此證明直到初始交易執行後才可用，這會破壞我們對原子性的要求。 → 理論上，任何其他能夠
   創建具有鑄造權的第二筆交易的一方都可以在任何時候在目標鏈上創建「鑄造」交易，而無需首先在源鏈上創建「燒毀」或鎖定，這是一個巨大的漏洞。

我們可以看到，即使我們可以保證跨匯總捆綁包的執行，但我們在如何首先構建它們以轉移有價值的資產方面遇到了困難。

但是，仍然有一些不需要依賴 cross-rollup bundles 的原子執行用例。其中之一就是 cross-rollup 套利：

由於這些交易之間沒有嚴格的依賴關係，任何人都可以創建這個原子包並將其提交給可保證原子執行的共享序列器。

然而，為了首先獲得原子執行保證，rollup 必須選擇共享排序器和超級構建器，以運行所有連接的 rollup 的完整節點，因此從原子執行到區塊級可組合性的一步非常小，所有共享排序解決方案都會做到這一點。唯一需要的改變是，區塊構建器或其他第三方必須能夠代表用戶創建交易，以完成依賴的跨 rollup 捆綁包。

不太可能構建只允許原子執行而不進一步實現可組合性的基礎設施。考慮到基礎設施已經具備原子執行功能，實現完全塊級可組合性的相對收益遠遠超過實現這一目標的難度。

對利益相關者的影響：

1. 用戶：
   可能不會有變化，儘管第三方可能會提供像意圖這樣的解決方案，但具體如何實現還不清楚

2. 開發商：
   可能不會改變

3. MEV 搜索者：
   考慮到原子執行，跨 rollup 套利更加安全

4. Rollup：
   Rollup 必須選擇使用共享排序器/超級構建器，提交包含來自希望互操作的每個 Rollup 的交易的區塊，這可能會改變 Rollup 的收入結構。目前尚不清楚它將如何改變。-
   排序市場可能會通過允許成熟的構建者購買 ToB 空間來增加 Rollup 的收入

重要提示：雖然跨 rollup 捆綁包保證原子執行，但如果沒有創建捆綁包部分的超級構建器，則不清楚這些捆綁包將如何構建，因此原子執行本身不太可能影響互操作性。默認情況下，共享序列器/超級構建器應構建塊級可組合性。

5. 塊級可組合性

所需基礎設施：

共享排序器 // 超級構建器 // 證明聚合層* // 共享橋合約*

（* = 可選）

在有關共享序列器和共享結算層的大部分討論中，通常用來描述這種級別互操作性的術語是「同步可組合性」。

我們稍微修改了這個術語，使其更具描述性。將術語更新為「區塊級可組合性」意味著可以在兩個 rollup 之間組合跨 rollup 交易包，這些交易包將在下一個區塊中包含並成功執行。同步可組合性可能會與交易級可組合性混淆，我們將在下一節中探討這一點。重要的是，這需要一個中間方（共享排序基礎設施），它可以成為依賴交易包的執行者和創建者。

在這個層面上，我們開始看到 Rollup 之間的真正可組合性，而不僅僅是簡單地發送給自己以參與另一個 Rollup 上的 dapp。

通過添加可以創建交易的共享序列器，我們現在可以製作跨匯總包，開發人員可以通過編程方式利用它。

有兩種情況需要考慮：

1. 塊級可組合性

2. 區塊級可組合性+共享結算層

在這兩種情況下，我們都可以為更複雜的活動創建跨匯總捆綁包，但在第二種情況下，通過共享結算，我們可以使用原生資產，例如，這可能會對跨匯總 DEX 活動產生更好的價格影響。

藉助塊級可組合性，我們既擁有原子執行的優勢，又擁有創建依賴事務包的額外能力。讓我們來看看我們的兩個說明性示例。

通過 xERC-20 進行相同代幣轉移（無共享結算）：

1. 用戶擁有 ERC-20

2. 用戶通過 dapp 創建 tx：
   →將ERC-20 存入 xERC-20 鎖箱以接收 xERC-20 包裝版本
   →銷毀xERC-20
   →向共享排序基礎設施發送一條消息，表示已啟動跨 rollup 傳輸，並附上相關數據以促進交換

3. Superbuilder 拾取交易並創建跨 Rollup 捆綁
   → Tx 1：上述包裝和銷毀交易
   → Tx 2：在 Rollup B 上鑄造 xERC-20

4. Superbuilder 將此交叉 rollup 提交給共享排序器
   → 由於 Superbuilder 正在運行兩個相連 rollup 的完整節點，因此它們會模擬交易以確保捆綁包成功執行。如果任何一筆交易回滾，整個捆綁包都會回滾。

5. 共享排序器將包含兩筆交易的區塊提交給 DA 層以及執行狀態更改的節點

6. xERC-20在 Rollup B 上鑄造給用戶

有了共享結算層，流程進一步簡化，因為不需要先將 ERC-20 包裝為 xERC-20 進行交換。

現在讓我們來看一下跨 Rollup 限價訂單，即在 Rollup B 上用 Rollup A 中的初始（不同）ERC-20 購買 ERC-20，並將生成的 ERC-20 發送回 Rollup A。在這種情況下，我們不假設我們有一個共享結算層，儘管在有共享結算層的情況下存在類似的流程。唯一的區別是不需要額外對資產進行外部包裝。

以下是此案例中所需的交易：

1. 在 A 上包裝並銷毀ERC-20

2. B 上的Mint xERC-20

3. 在 B 上將初始 xERC-20 與目標 ERC-20進行交換

4. 在 B 上包裝並銷毀目標 ERC-20

5. A 上的Mint xERC-20

以下是其可能的工作流程：

流動：

1. 用戶發起第一筆交易：
   →包裝並銷毀xERC-20，並發送消息來指定交換參數（目標鏈、DEX 地址、要交換的 ERC-20、限價訂單價格、是否發回的布爾值）

2. 超級建造者看到交易並創建捆綁包：
   → Tx 1：用戶創建上述交易
   → Tx 2：在目的地鑄造 xERC-20（超級建造者必須擁有鑄造權限）
   → Tx 3：使用來自 tx 1 的數據進行限價訂單
   → Tx 4：在 B 上包裝並銷毀 ERC-20，假設限價訂單已完全履行，並在源鏈上發送消息進行鑄造
   → Tx 5：從源鏈上的交換輸出鑄造目標 xERC-20

由於超級構建器會創建區塊並排序交易，因此它可以模擬每筆交易，並在任何交易撤銷時省略捆綁包。例如，如果發現用戶無法完全履行其限價訂單，則在執行區塊之前會省略捆綁包。

在沒有共享結算層的共享排序基礎設施的情況下，需要使用外部包裝版本的 Eth 和 xERC-20，這可能會導致 DEX 的市場狀況惡化，因為包裝資產的流動性池會變薄。在這種情況下，用戶可能不得不使用更寬鬆的限制，滑點容忍度更高，並且可能會收到次優價格。如果涉及 USDC，則有一個例外。沒有共享結算的共享排序器可能會與 Circle 合作，獲得跨 rollup 的 USDC 合約的獨家權利，以促進跨 rollup 的原生 USDC 轉移和交換。

有了共享結算層，這種外部包裝就沒有必要了，而且由於原生資產交換的流動性池更深，可能會提供更好的價格，但流程基本相同。

樂觀地信任測序儀

Rollup 需要樂觀地信任共享的排序器/超級構建器來創建有效的跨 Rollup 捆綁包。這主要是因為這個跨 Rollup 捆綁包包含依賴交易，各個 Rollup 無法驗證這些交易，直到將區塊添加到每個 Rollup 的鏈上並聚合到 L1 上的結算層之後。一個例子是從源到目的地的 Eth 的初始銷毀和鑄造。至關重要的是，Eth 必須在源鏈上實際銷毀，然後再在目標鏈上鑄造，否則可能會出現雙重支付。

但是，要在一個區塊中執行這個完整的捆綁包，所有交易都必須存在於該區塊中，即使交易代表在區塊本身之前無效的狀態（例如，如果用戶在區塊之前沒有任何 Eth，則在交換的目標鏈上有 Eth）。因此，我們必須相信排序器確實在跨匯總捆綁包中包含了有效的依賴關係。事後可以提交證明來證明每筆交易的有效性。

然而，當使用包裝資產時，這一點就不那麼重要了，因為它們對存儲在 L1 中的本機流動性沒有影響，但仍然必須有回退機制來抵消惡意排序器或代碼中的錯誤的風險，這些錯誤允許交易捆綁包與被還原的依賴交易一起執行。

對利益相關者的影響：

1. 用戶
   對用戶體驗進行了大規模升級，允許在單個區塊中進行跨匯總限價訂單

2. 開發人員
   需要對跨 Rollup 活動有跨 Rollup 意識，可能要利用自定義預編譯。開發人員必須從 Bundle 的角度來思考，而不僅僅是交易，但超級構建器和自定義 Rollup 基礎設施可能會消除大多數開發人員的複雜性。

3. MEV 搜索者
   MEV 搜索者在跨匯總捆綁包上使用 L1 策略的機會基本相同，但這取決於 PBS（提議者-構建者分離）的實施方式。
   → 跨匯總捆綁包本質上被視為單個交易，因此可以通過搶先交易或夾持這些捆綁包來找到 MEV，只要它們不會使價格超出可容忍的滑點金額（因為這樣整個捆綁包就會恢復，MEV 嘗試就會失敗）

4. Rollups
   需要選擇加入共享排序基礎設施（包括超級建造者），並在共享結算層的情況下允許訪問共享排序器中的 Eth 銷毀/鑄造。
   → 可以通過向建造者出售區塊空間來內部化 MEV

6. 交易級別的可組合性

所需基礎設施：

VM 級別變更 // 共享結算 // 超級建造者

交易級可組合性是指一個 EVM 鏈上的智能合約所共享的相同級別的功能。在這種情況下，單個交易可以同時更新多個 rollup 的狀態，並確保如果調用未成功返回，則可以還原任何調用之前的任何狀態更改。實際上，區塊級可組合環境中的原子交易包可以在單個跨 rollup 和跨 VM 交易中完成。除了共享結算層和超級構建器之外，這還需要對所有連接的 rollup 進行 VM 級更改。

我們在此從高層次描述了一種可能的機制。（據我們所知，此構造歸功於 Espresso 團隊）。首先，用戶向所有狀態被交易改變的 rollup 或可以在所有相關 rollup 上構建區塊的超級構建者提交跨 rollup 交易。超級構建者模擬交易並形成輸入輸出對列表，每個相關 rollup 一個，該列表指定交易中必要和預期的跨 rollup 消息。（請注意，超級構建者只有在一段時間內對所有相關 rollup 擁有安全排序權時才能這樣做）。然後，超級構建者將模擬的區塊連同每個跨 rollup 交易的預期輸入輸出對列表一起發送給每個 rollup 的提議者。在執行期間，每個 rollup 都會正常執行自己的狀態轉換函數，假設來自跨 rollup 交易列表的輸入是正確的。在結算期間，輸入輸出列表可以在共享結算層的證明聚合階段進行交叉比較並證明是安全的。具體來說，如果跨 Rollup 交易的任何預期輸入與另一個 Rollup 指定的輸出不匹配，則結算過程將拒絕整個跨 Rollup 交易。

儘管除了閃電貸之外，交易級可組合性所能解鎖的新功能有限，但開發人員創建跨 Rollup 應用程式的體驗可以得到極大改善。能夠創建與所有連接鏈交互的 dapp，而無需考慮跨 Rollup 捆綁包，這將使在多 Rollup 環境中進行創新變得容易得多。此外，還可能出現新的用例和行為。

交易級可組合性方面有許多未解決的設計問題。首先，需要仔細考慮開發人員如何選擇加入或退出其智能合約的跨 Rollup 調用。允許任意可組合性而不受限制意味著我們回歸到單一的 Rollup。我們認為這裡的答案是讓開發人員明確指出其合約中哪些地方需要跨 Rollup 可組合性，例如通過 Solidity 修飾符（如「可組合」）將合約的某些入口點標記為可調用的跨 Rollup。

對利益相關者的影響

1. 用戶：
   與區塊級可組合性含義相同，並具有諸如閃電貸之類的其他高級功能
   → UX 與選擇加入的 dapp 使用一條鏈幾乎相同

2. 開發人員：由於 dapp 開發人員可以本地調用合約交叉匯總並使用這些調用的輸出（如單匯總調用），因此
   開發人員體驗得到極大
   改善→ Superbuilder/Sequencer infra 仍然必須將交易放置在受交叉匯總調用影響的匯總的塊中，但不必像塊級可組合性那樣構建相同的捆綁包。

3. MEV 搜索者：
   跨 rollup 捆綁包現在基本上相當於一條鏈上的單筆交易，因此 MEV 潛力很高

4. Rollups：
   需要虛擬機級別的更改，以及選擇共享排序器和共享結算層
   →在能夠通過證明驗證狀態之前，必須信任其他 rollups 的輸入和輸出，這涉及額外的信任假設，但削減機制可以減輕信任負擔

摘要和生態系統圖

在了解了這裡定義的每個互操作性級別的技術細節之後，我們可以總結一下：

1. 共享結算允許跨 rollup 交換而無需外部包裝資產，並在所有連接的 rollup 之間創建協議內消息傳遞路徑

2. 共享排序/ Superbuilders允許在跨 rollup 捆綁包上提供下一個區塊執行保證

3. 區塊級可組合性允許創建複雜、快速、相互依賴的跨 Rollup 捆綁包，從而實現近乎智能合約到智能合約級別的可組合生態系統。
   → 通過添加共享結算，無需使用外部包裝資產即可創建這些跨 Rollup 捆綁包

4. 交易級可組合性是可能的，雖然新開闢的用例可能針對更複雜的用戶，但它有可能極大地升級跨匯總開發體驗。

目前，有許多項目正在湧現，旨在創建這些原生可互操作的生態系統。以下是該領域的高層次概述：

生態系統地圖

結束語

關於本文所列出的框架中的技術細節，仍然存在一些懸而未決的問題。例如，在區塊級可組合生態系統中為跨匯總限價訂單構建捆綁包可能需要更詳細的設計來處理部分履行和市場訂單的滑點容忍度的情況。我們在這裡提供了一種潛在的解決方案，如果訂單未完全完成，則可以恢復跨匯總限價訂單捆綁包，但設計空間是開放的。

此外，值得一提的是，這與目前應用鏈領域日益增長的思想共享有關。應用鏈是長尾 L2，要麼是通用的，要麼是經過許可的，目的是將特定的相關協議孤立在一個 L2 上。當我們達到塊級可組合性時，我們很可能也會開始看到應用鏈環境因所有連接網絡之間具有本機可組合性而獲得顯著的吸引力。

目前，為這些應用鏈引入流動性仍然很困難，但一旦更大的鏈作為可互操作環境的入口連接起來，我們很可能會看到圍繞共享基礎設施的圍牆花園生態系統。

另一個重要的懸而未決的問題是超級建造者周圍的設計空間將如何解決。這方面的發展仍處於起步階段，目前尚不清楚如何以最有效的方式創建一個可以創建跨匯總包的複雜建造者網絡。這些跨匯總包將以最佳方式包含在區塊中，以及對匯總收入的影響是一個懸而未決的問題，許多團隊正在探索不同的策略。

最終，未來可能會涉及協議內和協議外橋接解決方案的組合，它們將協同工作，為每個人提供更好的互操作性流程。我們相信，本文中定義的進展可以作為開發人員和構建者的指南，他們專注於為最終用戶提供更無縫的跨 Rollup 互操作性。