兩萬字長文：Rollups的安全性之辯

2023-10-20 00:10:30

原文標題：《 Do Rollups Inherit Security?》

原文作者：Jon Charbonneau

原文編譯：Frank，Foresight News

介紹

不管你喜歡還是討厭， Twitter 可能永遠不會停止關於「L2」或 Rollup 是否「繼承安全性」（inherit security）的爭論。

雖然大多數爭論都是難以辨別的語義之战，但如果你能設法縮小爭論範圍，那么潛在的觀點就非常有價值，因為它們觸及了 Rollup 何時、何地以及為何有意義的核心問題。

可擴展的 L2 是否消除了市場對 L1 的需求？有沒有可能將像 Solana 這樣的 L1 變成 L2？

這些爭論主要歸結為安全問題。不幸的是，這裏的「安全」定義一直非常難以捉摸。我們通常會隨意使用這個術語，大多數人都大致知道我們在說什么，但又不完全清楚。我們將在這裏跨不同架構詳細分解安全性。

流行語定義

Rollup

我之前使用過 Mustafa 的以下定義：「Rollup 是將其區塊發布到另一個區塊鏈並繼承該區塊鏈的共識和數據可用性（DA）的區塊鏈」。

以下則是 James Prestwich 給出了更一般的定義：「Rollup 是通過自定義狀態轉換函數，選擇加入另一個共識機制，並保留超集狀態的一種方式」。

兩者都不需要驗證橋，以最小的信任假設構建跨鏈橋接的能力是 Rollup 的主要好處，但單獨分析它們至關重要。

我們可以考慮以下的 Rollup 標准：

Rollup 是通過在主鏈（DA 層）上的數據輸入運行自定義狀態轉換函數（STF）而派生的有狀態系統（例如區塊鏈）。
用於派生遠程鏈的最終確認狀態（即 Rollup）的所有輸入數據（即完整的交易數據或狀態差異）均在主鏈上確認。
由於 Rollup 狀態源自對主鏈上的數據運行的狀態轉換函數（STF），因此 Rollup 的有效性取決於主鏈的有效性。然後 Rollup 節點必須充分驗證主鏈的共識和有效性（或對主鏈做出誠實多數假設）；

Rollup 節點通過應用自身的狀態轉換函數（STF），在主鏈共識結果上確定 Rollup 的狀態（例如主鏈確認排序和可用性的數據區塊）。

跨鏈橋

跨鏈橋是允許兩個區塊鏈相互通信的系統。鏈 A（目標鏈）需要確信鏈 B（源鏈）上發生了某些事件，反之亦然。理想情況下，我們希望這種通信是雙向的，具有強相關的安全屬性（例如消息有效的高置信度、源鏈不會撤銷等等）。

從根本上來說，跨鏈橋充當了另一個區塊鏈的「觀察者」（就像任何其他典型的人類用戶一樣）。跨鏈橋實現了給定的確認規則，通過該規則，它確信所連接鏈的狀態（例如，必須通過多少個以太坊區塊才能接受轉账輸入）。

傳統跨鏈橋通常運行源鏈的鏈上共識驗證器輕節點（即它們信任大多數共識籤署的任何內容）；
跨鏈橋可以通過充當完整驗證器輕節點（即添加數據可用性採樣（DAS） + 有效性 / 故障證明）來提供更強大的安全屬性。例如，鏈的驗證器可能需要在連接鏈的所有 DAS 輕節點上運行，與要求驗證器運行連接鏈的完整節點相比，這是一種更輕量級的替代方案；
Rollup 跨鏈橋還可以保留主鏈的活躍性和抗重組性（因為 Rollup 必須共享主鏈的共識）；

從主鏈橋接→Rollup

這個方向非常簡單，因為 Rollup 節點會完全驗證主鏈。

Rollup 節點知道主鏈上發生的一切，因此它們知道跨鏈橋接的交易何時發生，當前的以太坊 Rollup 完整節點還必須為以太坊基礎層本身來運行完整節點。

請注意，如果支持的話，Rollup 節點也可以改為運行其主鏈的完整驗證器輕節點。讓我們考慮一個假設的例子，其中以太坊已經完全實現了以下升級：

以太坊執行區塊帶有有效性證明（基礎層的 zkEVM 研究正在進行中）；
以太坊已經實現了完整的 DAS，因此節點可以對 DA 進行採樣；
以太坊執行層將其數據作為 blob 發布到數據層，就像以太坊之上的任何其他 Rollup 一樣（例如 Celestia 的執行層數據將被發布到其 DA 層，因此 DAS 節點將檢查 Rollup 數據和 Celestia 自己的執行層的可用性）；
以太坊提供了完整的共識證明，而不是依賴於同步委員會（例如，通過驗證器的整合、更好的籤名聚合、可能的 ZK 共識證明等）；

現在，假設你想為基於以太坊的 Rollup 運行完整節點，要遵循有效的 Rollup 鏈，必須了解以太坊的規範鏈，這就需要檢查以太坊自身的共識和有效性：

以太坊的共識——任何輕節點客戶端都可以跟蹤作為區塊鏈、區塊頭籤署的共識；
以太坊自己的執行層 DA——Rollup 節點會對以太坊的 DA 層進行採樣，檢查 Rollup 數據和以太坊自己的執行層數據的可用性（請注意，DAS 節點仍然對完整節點做出一些額外的假設，我們稍後會看到）；
以太坊自身的狀態有效性——有了 zkEVM，每個以太坊區塊都會附帶一個有效性證明；

Rollup 節點必須檢查以太坊自身執行層的狀態有效性和 DA，因為這些是以太坊區塊的有效性條件。Rollup 節點需要知道它不僅跟蹤共識已籤署的以太坊，而且還知道它是有效的區塊頭。例如，他們可能會意外地跟蹤共識籤署但無效的以太坊區塊（例如它產生了大量 ETH）。

如果基礎執行層本身將其數據發布到 DA 層（就像其他 Rollup 一樣）並添加有效性或故障證明，那么它將成為一個內置 Rollup。

從 Rollup → 主鏈橋接

這個方向比較棘手，因為主鏈默認不知道 Rollup 的狀態和 STF（即以太坊節點不需要運行 Rollup 節點）。為了讓主鏈相信 Rollup 的狀態，你可以在主鏈上部署的智能合約（即 rollup 的驗證橋合約）中實現 Rollup 的邏輯。該智能合約檢查 DA 和 Rollup 狀態的有效性。

同樣，這個跨鏈橋是可選的。主鏈上的智能合約用於使所有主鏈節點相信 Rollup 的有效性，這就允許在良好的信任假設下進行雙向通信。

Rollups、協處理器（Co-processor）和意圖（Intents）

正如所討論的，Rollup 除了擁有它們主鏈的狀態（例如以太坊的狀態）之外，還保存它們自己的一些狀態（Rollup 的狀態）。那么，CoW Swap 是否有自己的狀態，而不是以太坊狀態的一部分？如果是，那么聽起來就像是 Rollup。如果不是，那么它可能是「協處理器」（Co-processor）。

然而，即使這個問題也不像看起來那么簡單：

相反，你可能會認為區分因素是狀態的持久性：

如果 CoW Swap 允許特定的參與者向用戶提供快速的預確認（比以太坊的出塊時間更快），並承諾包含批次處理（batch）的訂單——因為以太坊批次處理時間比大多數用戶想要的要長，那么它現在是一個 Rollup 么？

Chris Goes 在模塊化峯會的演講中探討了這個話題，首先他為意圖（Intents）提供了一個近似的定義：「對給定系統狀態空間的偏好函數的承諾」。

請注意部分解決（匹配意圖）和 Rollup 排序之間的相似之處。操作員獲取用戶的鏈下籤名消息→將結果數據發布到主鏈。

基於意圖的應用程序——由此產生的狀態變化在鏈上解決（例如，在 CoW Swap 示例中，應用程序位於基礎鏈上，因此代幣在那裏進行兌換）；
Rollup 應用程序——使用提交到主鏈的數據來計算 Rollup 所產生的狀態更改；

以意圖為中心的架構和以 Rollup 為中心的架構從相反的方向實現相似的目標。以意圖為中心從用戶和應用程序的角度廣泛地解決了這個問題，以 Rollup 為中心的方式從不同區塊鏈的角度廣泛地解決了這個問題。

在這裏，設置具體的區分邊界並不重要。更重要的是，我們發現 Rollup 實際上與我們已經習慣的具有鏈下意圖匹配的應用程序沒有太大不同！

你依賴鏈下參與者（排序器與求解器 / 填充器等）來獲得一些較弱的保證，例如提供最佳執行和良好的用戶體驗 → 根據發布到主鏈的數據來確定結果。但是，他們不保管你的資金。

隨着可驗證的鏈下計算變得越來越重要，兩者之間的界限可能會變得模糊：

如果你希望意圖求解器或 Rollup 排序器不那么受信任......

模塊化區塊鏈與單片區塊鏈

單片區塊鏈（又名集成區塊鏈）通常被定義為垂直集成所有核心功能（即共識、DA 和執行）的鏈。它們對自己的安全負全部責任，Solana 和 Cosmos Hub 就是典型的例子。

DA 層（例如以太坊和 Celestia）通常被稱為「模塊化」區塊鏈，因為它們將執行外包給 Rollup，但這並不十分准確。他們還獨立負責自己的共識、DA 和執行。

即使 Celestia 的執行也會受到限制（例如，轉账、質押、跨鏈）。同樣如果有人在 Solana 之上啓動 Rollup，它也不會神奇地成為一個「模塊化」區塊鏈。

因此，當你聽到人們將以太坊或 Celestia 等鏈稱為「模塊化」區塊鏈時，請意識到這更多是一種實際區別，而不是嚴格的技術區別。兩者通常都在優化自己的架構以支持 Rollup。這些 Rollup 預計將處理其範圍內的大部分交易執行。

即使 Rollup 也不一定完全「模塊化」——Rollup 排序器可以就交易排序達成共識，提供 DA，並在主鏈執行任何操作之前執行交易。這就是用戶獲得預先確認的方式。然後主鏈提供另一個「最終」承諾，再次聲明 DA 和對 Rollup 交易順序的共識。

Rollups 與「集成鏈」（Integrated Chains）

對於我們的目的而言，更重要的區別是「Rollup」或「非 Rollup」。鏈的最終狀態是否源自發布到單獨主鏈（即 DA 層）的數據？

雖然我們今天將 DAS 和有效性 / 故障證明與傳統 Rollup 聯系起來，但我們應該注意到這些在邏輯上是不同的概念。理論上，任何「集成鏈」（例如典型的 Cosmos 應用鏈）都可以升級以添加 DAS 和有效性證明，而無需將其數據發布到以太坊等其他外部主鏈。節點將單獨對該鏈進行採樣和檢查證明。

Vitalik 在他的《終局之战》（Endgame）中談到了這一區別：

你可能會注意到，添加 DAS + 有效性 / 故障證明的「傳統大區塊鏈」（集成鏈）最終可能看起來像一個「內置 Rollup」（enshrined rollup）！類似地，「一個可擴展和佔主導地位的 Rollup」可能會變得非常成功，以至於它只是與其主鏈合並以容納該 Rollup。

區分的界限在極限處變得模糊。

因此，如果你相信 DAS + 有效性 / 故障證明是最終結果，那么某種意義上的「Rollup」是不可避免的。上圖中的兩種方法之間存在有效的區別：

「Rollups」又名「模塊化」 ——構建邏輯上獨立的鏈，將數據發布到其主鏈（DA 層），重用主鏈的共識；
「集成區塊鏈」又名「單片區塊鏈」 ——將所有內容集成到具有自己共識的一個協議中，不將數據發布到單獨的主鏈（即使 DA 層和執行層在某種意義上是共享協議的邏輯上獨立的部分）；

當我們在本報告中討論「Rollup」時，我們將指的是前者（即不是具有 DAS + 有效性 / 故障證明的集成鏈，這可能被稱為內置 Rollup）。

雖然「傳統」Rollup 並沒有壟斷 DAS 或證明（即集成的大型區塊鏈可以添加它們），但請注意，我們在這裏忽略了很多技術細節，你不能只選擇 Solana 並決定「哦，我想我們今天就添加 DAS」。

這需要從根本上重構協議，以开始接近我們所看到的以太坊和 Celestia 正在做的事情：

改變數據編碼方式以支持 DAS 將等同於減慢區塊編碼和傳播速度，开始更接近傳統的 DA 層：

出於這個原因，我們看到團隊構建了以下內容：

專門的 DA 層（例如以太坊的 Danksharding、Celestia 等）- 慢速區塊 + DAS；
共享定序器（例如 Espresso、 Astria 甚至 Solana）- 實際上只是快速 DA 層，無需 DAS；

然而如果將快速區塊和 DAS 的時間分开，它們並不一定不兼容。例如，你可以想象像 Solana 這樣的鏈提供兩條不同的路徑：

快速路徑 - 繼續盡可能快地執行交易並傳播數據（就像今天一樣）；
慢速路徑 - 以可以異步採樣的方式事後對數據進行編碼，為 DAS 節點提供稍微落後於共識的保證；

Anatoly 在播客中討論了 Eclipse 如何將以太坊、Celestia 和 Solana 結合在一起，從另一端來看，你可以想象 DA 層在使數據可用於採樣之前添加更快的路徑：

在同一基礎層協議中提供兩條路徑可以有效地內部化快速共享排序，從而為基於 Rollup 提供有趣的設計。請注意，目前這仍然是一個非常探索性的想法。

確認規則

有了背景知識，我們現在可以开始分解這些不同架構的安全屬性。

首先，節點通過運行「確認規則」（Confirmation Rules）來與任何區塊鏈進行交互：

「確認規則，是指由節點運行的輸出某個區塊是否被確認的算法。在這種情況下，在某些假設下，主要涉及網絡同步和誠實股份的百分比，當滿足這些條件時，該區塊將被保證永遠不會發生重組」。

對於給定的鏈可以存在任意多個確認規則：

在確認比特幣交易之前你需要等待多少個區塊？ 1 ？ 6 ？ 10 ？
你是否使用 LMD GHOST 確認基於以太坊可用账本的區塊，還是等待最終性小工具（ Casper FFG）來確認？
你是否運行直接驗證每個區塊的完整節點，或者僅運行檢查共識籤署的輕節點？
你只是問 Infura 么？

由於每個確認規則可以做出非常不同的假設，因此即使與同一條鏈交互，它們也可以具有非常不同的安全屬性：

這種區別很微妙但很重要：

安全=安全性 + 活躍度

現在讓我們深入研究 Rollup 是否會從其主鏈「繼承安全性」。

繼承，也許更清楚地說，Rollup 總是「租用」而不是「繼承」其主鏈中的任何內容，它會為消耗的資源（DA）支付持續的成本，任何一方都可以選擇結束這種關系。但這不是問題有趣的部分。

安全性，從現在开始我們將重點關注安全性。算法的安全（Security）由安全性（ Safety ）和活躍度（Liveness）組成：

安全性（不會發生任何不好的事情），兩個正常運行的節點所確定的最終狀態將永遠不會發生衝突；
活躍性（最終會發生好事），所有正常運行的節點將在有限時間內完成反映適合包含的交易的新狀態；

使用 Sreeram 的出色框架，我們可以將它們進一步分解為五個屬性，這些屬性共同確保確認規則的安全：

讓我們考慮一個具有 DAS + 有效性 / 故障證明的假設集成鏈的示例。它的數據不會發布到任何其他外部主鏈。為了簡單起見，我們假設即時最終確定（例如 Tendermint ），因此可用分類账與最終確定分類账之間沒有可用的區別（例如以太坊的 Gasper）。

我們將考慮三個確認規則，可用於使用不同類型的節點來跟蹤鏈：

共識驗證器輕節點 - 驗證共識證明（即信任誠實的多數共識）。
全驗證者輕節點 - 驗證共識 + 檢查 DA（使用 DAS）+ 驗證狀態有效性（使用有效性 / 故障證明）；
全節點 - 驗證共識 + 直接驗證 DA（下載所有數據）和有效性（執行所有交易並計算狀態）；

確認規則有安全屬性，鏈沒有

再次強調這一點，「我們通俗地談論一條鏈是安全的，但實際上它是安全屬性所附加的確認規則」。

讓我們看一些例子。

CAP 定理

作為背景， CAP 定理告訴我們，沒有一個账本可以同時滿足這兩個條件：

適應性（Adaptivity，又名動態可用性） - 在動態參與下保持活動狀態（即如果大部分節點離线）；
最終性（Finality，又名一致性） ——在網絡分區下保持安全；

共識協議往往分為兩個部分，每個部分都滿足上述條件之一：

最長鏈協議 - 這些協議（例如比特幣的中本聰共識）即使在活躍參與節點的數量可變（即它們是自適應的）時也能保證活躍性，然而它們在網絡分區下並不安全（即沒有最終性）；
BFT 型協議 - 經典共識協議（例如 PBFT）實現了最終性，但沒有實現適應性；

比特幣確認規則

比特幣的共識並不提供任何硬性的經濟最終性。

節點在其本地視圖中觀察最長的鏈，每個用戶都可以自由應用他們喜歡的任何確認規則（例如接受具有 > k 個確認的區塊）。標准是等待 6 個區塊確認，但這取決於你。

對於更高價值的交易，等待更長時間是合理的。等待時間與安全性（即重組的可能性）之間需要權衡。

以太坊確認規則

以太坊的 PoS 共識（Gasper）乍一看似乎回避了 CAP 定理。然而，它實現了這兩個屬性，因為它包含兩個嵌套账本：

動態可用的分類账 - 如果網絡未分區，則在動態參與下安全且活躍；
最終確定的前綴分類账 - 始終安全可靠。如果網絡未分區並且有足夠的節點參與，則保持活動狀態；

Gasper 屬於「潮起潮落」（ebb-and-flow，又名雙账本或雙確認規則）協議家族。雙账本設計不屬於 CAP 定理的範圍（即它假設單一確認規則）。當網絡分區時，最終確定的账本落後於自適應账本，但當網絡修復時它會趕上。

這允許在用戶級別而不是在系統範圍級別解決適應性與最終性之間的權衡。這是區塊鏈 CAP 定理在允許用戶依賴的適應性和最終性中，提出的「檢查點最長鏈」協議的一個特徵。這些協議為個人用戶提供了最終性和適應性之間的選擇，而不是將其強加於整個系統級別。

Gasper 明確公开了兩個不同的確認規則，映射到上面提到的兩個账本：

動態可用規則 - 保證適應性。尊重最長鏈的區塊頭。 LMD GHOST 是用於確定最重子樹的分叉選擇規則；
最終確定規則 - 保證最終確定性。尊重由最終性小工具確認的區塊。 Casper FFG 是應用在分叉選擇規則之上的最終性小工具；

正如論文中所討論的：

「更樂觀的自適應規則總是確認由更保守的規則標記為最終確定的區塊，並且可能在可變的參與水平期間確認更多的區塊。客戶（用戶）根據個人喜好在確認規則之間進行本地選擇，而礦工遵循與這兩個確認規則一致的固定區塊提議規則」。

這允許系統中所有（誠實的）節點：

遵循通用的區塊提議機制；
但不同的節點可以選擇不同的確認規則；

無論參與程度如何，驗證者都會繼續延長最長的鏈（在不斷增加的高度上开採新區塊），但只有在有足夠的參與度時才會出現新的檢查點。

最長的鏈（包含最新的檢查點）可以在不同的鏈之間交替（即重組未完成的區塊），但無論網絡條件如何（即最終性），檢查點都保證位於單個鏈上。

用戶的安全取決於他們遵守的確認規則。快速區塊確認與更強的安全保證之間需要權衡。賣咖啡的用戶可能更喜歡活躍性而不是安全性，但賣遊艇的用戶可能更喜歡安全性而不是活躍性。

以太坊節點還可以將一些其他的中間確認規則啓發式應用於實際用途。與其像比特幣那樣使用樸素的 k 個區塊作為自適應確認規則，我們可以添加其他啓發式方法，其中包括有關網絡同步和驗證者誠實的假設。

這正是《以太坊共識協議確認規則》中提出的內容，它提出了具有以下屬性的確認規則：

在理想條件下 - 規則將在其插槽之後立即確認新區塊；
在典型的主網條件下 - 該規則應該能夠在一分鐘內確認大多數新區塊；

該確認規則不能替代經濟最終性。相反，它為相信網絡同步將在不久的將來保持的用戶，提供了有用的啓發式方法。讓我們比較一下兩者：

讓我們考慮一些例子，譬如你以 250 萬美元的 ETH 出價售賣一艘遊艇，以下是一些可能的確認規則：

全節點 + 等待最終結果——即使是惡意的大多數驗證者也無法欺騙你接受無效塊（例如產生假 ETH）。如果他們付給你 250 萬美元的 ETH，然後嘗試稍後重組最終確定的區塊，他們將承受巨大的成本（至少三分之一的權益是可懲罰性削減的）；
全節點 + 等待一個區塊——大多數惡意驗證者仍然無法欺騙你接受無效區塊，然而他們可以在一個有效的區塊中向你發送 250 萬美元的 ETH，乘坐遊艇離开，然後該區塊立即重組，如果有足夠的權益權重或較差的網絡條件，這是可能的，它們沒有被懲罰性削減；
輕節點客戶端——惡意同步委員會可以對你撒謊，而不會受到任何處罰，买家就可以乘遊艇離开（請注意，這個同步委員會作為共識的子集是以太坊獨有的，其他具有更高效的輕節點客戶端支持的 PoS 鏈可以在驗證者數量較少的情況下檢查所有共識投票）；
MetaMask ——你只是信任 Infura，向你买遊艇的人向 Infura 員工承諾他們可以在周末乘坐遊艇，所以他們對你撒了謊，你認為你已經拿到了 250 萬美元的 ETH，然後你交出了鑰匙；

Rollup 確認規則

與任何鏈一樣，節點使用不同的確認規則與 Rollup 進行交互。Rollup 最強的確認規則將與其主鏈的共識一起最終確定。Rollup 定序器可以暴露較弱的確認規則以獲得更好的用戶體驗（即為不耐煩的用戶提供快速預確認），但用戶也可以等待主鏈確認規則的完全安全性。

典型的 Rollup 交易流程大致如下：

用戶向定序器提交交易；
定序器對交易進行排序並給出預先確認；
確定性 STF 應用於有序交易以計算新的 Rollup 狀態；
更新的 Rollup 狀態承諾和相關交易數據最終發布到主鏈；

交易數據發布到主鏈後：

Rollup 全節點 - 直接驗證提議的鏈狀態是否正確；
Rollup 輕節點（包括驗證橋） - 無法直接驗證；
同一 Rollup 的不同觀察者使用不同的確認規則，因此他們在不同的時間最終確定其觀點：
假設發布了完整的交易數據（不僅僅是狀態差異）；
如前所述，Rollup 節點還必須運行主鏈完整節點或完整驗證器輕節點（或使用共識驗證器輕節點做出誠實多數假設）。Rollup 輕節點可以作為附加軟件運行，也可以在主鏈節點內部隱式運行（即主鏈上的跨鏈橋合約驗證 Rollup）；

用戶還可以通過信任定序器預先確認來更快地確認交易，甚至在主鏈接收數據之前也是如此。如果定序器行為不當，安全性可能會失敗。然後，一旦數據位於主鏈上（並且你已經檢查了 DA + 有效性），只有主鏈故障（例如以太坊重組）才會影響你的安全。

因此，即使中心化排序器也不會真正降低「Rollup」的安全性。你始終獲得符合你所需的確認規則的安全性。無論 Rollup 具有基於定序器還是其他的設計，你都可以使用相同的確認規則（例如等待主鏈最終確定並檢查 Rollup 有效性）。假設正確實施（例如，通過主鏈強制交易包含），你可以在相同的時間範圍內獲得相同的安全屬性，同時保持其他條件相同。

同樣，你可以想象以太坊 L1 區塊生產者由於區塊時間緩慢而提供預先確認，這也不會讓「以太坊」的安全性降低。你只需決定是否使用另一條確認規則（安全性較低），直到以太坊驗證器最終確定更高的安全性為止。

預先確認的想法非常符合 Vitalik 所描述的 Gasper 的邏輯：

總的原則是，你希望為用戶提供「盡可能多的共識」：如果存在 > 2/3 ，那么我們會定期達成共識，但如果存在 < 2/3 ，那么就沒有理由拖延而不提供任何內容，因為顯然盡管新區塊的安全級別暫時較低，但該鏈仍有可能將繼續增長。如果單個應用程序對較低級別的安全性不滿意，則可以隨意忽略這些區塊，直到它們最終確定。

將所有這些結合在一起，當所有確認規則同時就账本的相同狀態達成一致時，我們就有了一個「一致性區域」：

確認規則 - 安全和可訪問性

如果你的確認規則是信任由 SBF 運行的單個定序器，而不是信任由世界上最有信譽的驗證器組成的去中心化定序器，那么你的安全性可能會更差，活性故障和重組是安全故障。

或者，你可以等待更強的（主鏈）確認規則變得可用。那么，在其他條件相同的情況下，不可信的定序器就不會影響你的安全性。如果你正在賣咖啡，你可能馬上出發，但如果你要賣遊艇，你則需要仔細檢查主鏈確認信息。

然而，如果每個人實際上都使用該確認規則來出售他們的遊艇，我們不能完全忽視「信任運行單獨定序器的隨機人選」確認規則潛在的較低安全性。精確的設計是基於對給定用例在什么時間所需的漸進承諾水平的平衡。

同樣，這也觸及了對 Solana 等高吞吐量區塊鏈的真正批評。人們實際上可以使用什么確認規則？你可能具有運行 Solana 完整節點的良好安全條件，但大多數人可能無法訪問該確認規則（即取決於資源要求和 / 或成本）。

直接驗證（即不僅僅是信任誠實的大多數）是這些系統的核心屬性。因此，對於給定的確認規則，我們真正關心的是兩個方面——安全和可訪問性：

總之：

用戶通過確認規則與任何鏈進行交互；
一條鏈可以有任意多個確認規則；
安全是確認規則的屬性，而不是鏈本身的屬性；
我們關心給定鏈的確認規則的安全和可訪問性；

實際上，當我們說一條給定鏈是安全的時候，我們試圖表達這樣一個概念：其相關的確認規則既安全又可訪問。

Rollups 與集成鏈的安全性

1 ，帶有 DAS+ 有效性證明的集成鏈

我們現在看到，有關 DA 和狀態有效性的安全性可以直接通過加密技術（DAS + 有效性 / 故障證明）進行檢查，而無需對鏈的運營商進行強有力的假設。任何協議都可以在技術上實現這些。全節點還可以在沒有外部假設的情況下檢查 DA 和狀態有效性。

現在讓我們關注其他屬性 - 活躍度和抗重組。正如我們之前所看到的，無論你運行哪種確認規則，這些都可能會失敗。再看一條 DAS+ 有效性證明 +PoS 單插槽最終性的集成鏈：

選擇強大的確認規則對於安全故障的子集特別有效，即使大多數惡意驗證者也無法欺騙全節點或全驗證器輕節點，使其相信：

不可用的數據實際上可用；
或無效的狀態轉換是有效的；

無論以太坊有 1 個驗證器還是無數個驗證器，全節點都或多或少地相信區塊的 DA 或有效性，他們通過檢查來得到保證。完整驗證器輕節點可以以更簡單的方式進行檢查（但請注意，DAS 會做出一些其他假設，我們將在稍後討論）。

然而，惡意的大多數驗證器可能會阻止账本增長、審查你或重組鏈（發生哪些失敗取決於確認規則）。DAS + ZK 救不了你。抗重組和活躍度在某種程度上總是依賴於給定鏈的各種底層屬性（例如可靠的運營商、經濟激勵、社會共識等）。

不太明顯的是，活躍度和抗重組仍然是給定確認規則的屬性，因為每個節點都會受到和上表中相同的攻擊。無論這裏的確認規則如何，他們都有相同的保證。

然而，當你刪除單插槽最終性假設時，這一點再次變得明顯。在以太坊的 Gasper 中，根據你遵循的账本（即可用的最長鏈账本或檢查點最終確定账本），你將再次擁有不同的活躍度和抗重組屬性。大多數惡意驗證器會導致不同的安全失敗，具體取決於你運行的確認規則。

無論如何，關鍵是鏈的底層構建在這裏非常重要。你需要強大的運營商、經濟激勵和社會共識來維持鏈的活躍度和抗重組。此外，諸如以太坊之類的雙账本共識協議為用戶提供了寶貴的靈活性，可以根據自己的需求自行計算可用性與最終性。

2 ，使用 DAS + 有效性證明 Rollup

現在讓我們稍微修改一下這個例子：

上一個示例 - 具有 DAS + 有效性證明的集成鏈，想象一下採用今天的 Solana，但添加 DAS + 證明；
新示例 - Rollup 部署在外部主鏈（例如以太坊）上，具有有效性證明 + DAS（注意以太坊 DAS 尚未上线），Rollup 有一個去中心化的定序器集，可以達成快速預確認的共識；

你會注意到，Rollup 對於不同的時間範圍有兩類完全獨立的確認規則（即無論你是基於定序器的預共識進行操作還是等待主鏈的最終共識），我們現在來看看每條路徑。

快速路徑 - 在主鏈共識之前

Rollup 節點可以依賴定序器的確認（在發布到主鏈之前），我們假設他們可以運行以下 Rollup 節點：

Rollup 共識驗證器輕節點 - 信任 Rollup 定序器共識中誠實的大多數；
Rollup 完整驗證器輕節點 - 在定序器的 feed 上運行 DAS + 在將任何內容發布到以太坊之前檢查有效性證明；
Rollup 全節點 - 從定序器的 feed 中下載所有數據並執行所有交易，以直接檢查 DA 和有效性；

從技術上講，Rollup 定序器可以促進 DAS 並在發布到主鏈之前提供有效性證明，但實際上這不會發生。完整驗證器輕節點通常旨在通過主鏈檢查這些，但是我假設「實時」DAS + 證明可以與集成鏈進行更清晰的同類比較。

下表是與集成鏈示例相比的變化：

依靠 Rollup 定序器來實現活躍度和抗重組，而不是集成鏈的驗證器集；
只是刪除了最終的活躍度屬性，因為在這裏只查看主鏈共識之前的時間範圍（這些「最終」活躍度屬性稍後將來自主鏈）；

刪除內容以紅色刪除线顯示，添加內容以藍色顯示：

慢速路徑 - 等待主鏈共識

為了額外的安全性，節點可以等待主鏈（例如以太坊）的共識，這就是更清楚地發揮作用的地方，即 Rollup 節點也應該運行主鏈節點：

主鏈共識驗證器輕節點 - 信任主鏈誠實的多數共識；
主鏈全驗證器輕節點 - 檢查主鏈的有效性證明 + 在主鏈上運行 DAS（包括數據 Rollup+ 主鏈數據）；
主鏈全節點 - 下載所有主鏈數據（包括檢查 Rollup 數據）+ 執行所有主鏈交易以直接檢查有效性；
請注意，可以通過兩個不同的路徑驗證 Rollup 的狀態有效性：
主鏈外部（運行額外的 Rollup 節點軟件） - Rollup 不需要其主鏈來驗證其狀態或 STF，不需要部署驗證橋，相反可以通過另一種方法檢查 Rollup 證明（例如通過 p2p 接收 Rollup 證明），這需要運行額外的 Rollup 節點軟件來驗證證明（即 Rollup 輕節點）；
主鏈內部（在主鏈內部實現 Rollup 節點） - 這是當今的常態，Rollup 輕節點驗證器邏輯是部署在主鏈本身（即 Rollup 的內置橋合約），由於此 Rollup 驗證器節點在主鏈的 STF 內運行，因此驗證主鏈的 STF 也就意味着驗證 Rollup 的 STF；

如果我們得到一個可零知識證明的主鏈（例如以太坊 L1 zkEVM）+ 所有 Rollup 都證明它們在主鏈內部的狀態→我們就得到了 Vitalik 對奇點證明的愿景。驗證以太坊的一個零知識證明意味着驗證所有其他鏈及其內部實現的驗證節點：

為了簡單起見，我們在這裏假設 Rollup 的狀態有效性是在主鏈本身內驗證的（例如 Rollup 與主鏈有一個內置的橋），因此我們可以忽略顯式運行協議外的附加 Rollup 節點軟件。

與之前的「快速路徑」Rollup 表相比的變化如下：

通過主鏈強制交易包含或強制定序器 / 證明器替換來實現，我們在這裏稱之為「最終」活躍度，因為從 Rollup 的角度來看，它是一條慢速路徑，但從主鏈的角度來看，這可以被視為「實時」活躍度。

Rollup 與集成區塊鏈

現在我們可以看到與集成區塊鏈和 Rollup 相關的安全屬性變化：

DA 和狀態有效性 - 如果實施，DAS + 有效性證明可以提供適用的安全保證，無論鏈是集成的還是傳統的 Rollup。實際上，如今這些技術以 Rollup 為主；
活躍度和抗重組（Liveness & Re-org Resistance）- 集成區塊鏈在所有場景中獨立負責這些。相反 Rollup 提供了不同時間範圍內確認規則的選擇。你可以採用不太安全的確認規則（信任定序器共識）來獲得快速保證，或者等待更安全的確認規則（等待主鏈共識）；

活躍度和抗重組

無法通過密碼保證這些屬性，即使跨越確認規則（例如無論運行全節點還是輕節點），你也可能容易受到安全故障的影響。

如果運營商完全失控，沒有完整的節點或 ZK 證明可以保護你免受活躍度故障或重組的影響。

這些屬性是通過強大且去中心化的運營商、抗審查機制、有利於活躍度的共識、重組的高「成本」、強大的社會共識等來實現的。客觀比較這些通常具有挑战性。

你如何衡量運營商去中心化和社會共識？沒有一個正確答案。這些可以說是最難設計的方面，而且它們對於給定的鏈來說確實是非常獨特的。

重要的是，我們看到 Rollup 可以將抗重組和活躍度委托給主鏈，Rollup 上使用的確認規則可以具有相同的安全屬性，就像它們在同一時間範圍內在主鏈上運行一樣。

鏈甚至可以選擇將哪些屬性委托給哪個鏈，不同類型的「L2」架構（例如 validiums、optimism 和側鏈）可以吸收不同的安全屬性子集。例如：

抗重組 - Rollup 可能會將抗重組委托給以太坊，它的分叉選擇規則是根據以太坊共識確認的內容來選擇「規範鏈」。如果以太坊重組，Rollup 也會重組。
活躍度- 但是，如果 Rollup 缺乏強制包含和強制操作員替換機制，則 Rollup 用戶仍然不會收到以太坊的活躍度屬性；

Rollup 還可以為用戶提供退出 Rollup 的逃生通道，但保留審查用戶並防止存款進入 Rollup 的能力（例如 Loopring 就是這樣工作的）。如果存款在一段時間後仍未得到處理，用戶可以從 L1 合約中提取鎖定的資金。

這凸顯了此類機制的重要性。

數據可用性和狀態有效性

與活躍度和抗重組不同，節點可以確保 DA 和狀態的有效性，而無需做出任何大的閾值假設（或無需在兩者之間進行安全權衡）。惡意的大多數區塊生產者可能會導致活躍度和重組失敗，但它們不會導致全節點或全驗證器輕節點的 DA 或有效性失敗。

然而，共識驗證者輕節點當然會受到誠實多數的狀態有效性和 DA 失敗的影響。他們只是相信共識所說的一切。這就是為什么 DA 和狀態有效性是使安全確認規則易於訪問並真正發揮作用的原因。這通常是傳統 Rollup 與不太重視用戶驗證的大型區塊鏈之間在意識形態上的巨大差異。

按照順序，這些通常是平衡安全性和可訪問性的首選方法：

使 DAS 和有效性證明可供廣泛使用；
如果你沒有 DAS 和 / 或有效性證明，則使完整節點可廣泛訪問（即資源要求低、易於運行等）；
如果你沒有 DAS 和 / 或有效性證明，並且完整節點基本上無法訪問，那么請使共識驗證者輕節點廣泛訪問，並擁有值得信賴的誠實多數共識；
訪問 Infura；

請注意， 2 （完整節點）實際上是最安全的。ZK 驗證非常簡單，但 DAS 節點做了一些完整節點沒有的額外假設。然而，它們提供與完整節點接近相同的安全性，而資源需求只是其中的一小部分，它們是可擴展的。

全節點只需下載所有數據，因此具有 100% 的確定性。只有當一切都在那裏時，他們才會在區塊上籤字。沒有對外部各方做出任何假設。

DAS 的目標是獲得幾乎與全節點一樣好的安全性，同時資源需求大幅降低（即更高的規模）。這篇關於輕節點數據可用性安全級別的文章很好地涵蓋了這一點。

簡而言之，你通常會圍繞網絡同步性以及是否存在足夠的節點來重建數據做出一些假設。如果敵對區塊生產者隱瞞任何數據，即使是一小部分誠實的輕節點也應該能夠集體重建區塊。關於選擇性份額披露還存在一些假設，其中敵對區塊生產者可以單獨欺騙一些少量的輕節點，但不能集體欺騙。

相對於典型的大致「N/2 」假設（例如， 51% 的區塊生產者可以導致重組），這些「N 中少數」假設（例如，誠實的少數節點可以確保 DAS 安全）非常有利。 Vitalik 在信任模型的帖子中對此進行了很好的介紹。

總體而言，DA 和狀態有效性並不像活躍度和抗重組那樣由 Rollup「委托」。DA 和狀態有效性可由用戶直接驗證，而其他屬性更嚴重地依賴於鏈的共識參與者及其激勵。

回顧一下之前驗證 Rollup 證明的示例：

將 Rollup 的 ZK 證明發布到以太坊智能合約，你運行一個以太坊完整節點，隱式驗證該證明；
將 Rollup 的 ZK 證明發送到我的 Rollup 輕節點，直接驗證證明；

無論哪種情況，你都可以保證有效性。無論你在哪裏檢查，都無法確定其有效性。以太坊並沒有像以太坊節點「強制」抗重組或活躍屬性那樣真正「強制」有效性。抗重組和活力很大程度上取決於你從誰那裏獲得它們。

考慮基於詐騙鏈的 Rollup：

Rollup 的分叉選擇規則是遵循詐騙鏈確認的鏈尖（the tip of the chain）→ 如果詐騙鏈重組，Rollup 也會重新組織；
Rollup 的強制包含機制和定序器刪除是通過詐騙鏈上的跨鏈橋接合約強制執行的→ 如果詐騙鏈的账本停止，那么 Rollup 的账本也會停止。如果詐騙鏈想要審查你的 Rollup，那么你就會受到審查；

Rollup 能夠公开具有與其主鏈相同的安全屬性的確認規則，他們最多可以按照其主機鏈共識的速度接收這些屬性（實際上，它通常會慢一些，具體取決於 Rollup 發布到主鏈的頻率）。

Rollup 還可以提供「快樂路徑」更寬松的確認規則（即定序器）以獲得更好的用戶體驗，但它們保留了失敗時的交易回退。如果你的定序器停止了，你可以繼續移動。但是，如果你的鏈完全依賴於你自己的驗證器集（即作為集成鏈），則情況並非如此。

明智地選擇 Rollup 的主鏈會對安全屬性產生具體的影響。利用具有強大活躍度（账本增長 + CR）和抗重組特性的主鏈尤其有價值。

不同時間段的不同安全假設

讓我們看一個簡單的例子。 Chain X 正在決定是在現有主鏈上部署為 Rollup，還是部署為自己的集成區塊鏈。

Rollup 具有以下特點：

10 秒的出塊時間；
可支持 DAS 輕節點
可以提供關於活躍度和抗重組的「高安全性」確認規則（例如去中心化的可信驗證器等）；

集成區塊鏈具有以下特點：

出塊時間為 1 秒；
可以實現 DAS 輕節點和有效性證明，無論它是作為集成區塊鏈還是作為 Rollup 啓動；
如實現中心化定序器 - 它將提供有關活躍度和抗重組的「低安全性」確認規則；
如果實現自己的去中心化共識（作為預確認的 Rollup 定序器集或作為集成鏈驗證器集），它將提供關於活躍度和抗重組的「中等安全性」確認規則；

下表給出了用戶在各種實現下可能擁有的最佳安全保證的簡化直觀表示（即他們使用可用的最強確認規則）。特別是，我們在這裏關注活躍度和抗重組（因為我們假設該鏈將在這兩種情況下僅實現 DAS + 有效性證明）：

Rollup 的「最終安全性」高於其「實時安全性」，因為主鏈無法為我們提供比其自身出塊時間更快的保證。即使你可以檢查定序器的預確認是否是有效的狀態轉換，但在它們最終到達 DA 層之前，你也無法完全保證它們的最終性。

但正如我們所看到的，以 Rollup 方式部署到強大的主鏈可以增強安全性。他們可以按照其主鏈的速度租用安全性。從根本上說，沒有辦法以比主鏈自身共識更快的速度獲得主鏈的全部安全屬性。

然而，用戶往往不耐煩。因此，Rollup 通常會提供更快的預確認，但在此期間的保證會較低。Rollup 可以選擇一個平衡的定序器設計：

實用的功能和效率。例如中心化定序器可以提供快速的預確認並減少運營开銷；
強大的保證。例如一個令人難以置信的去中心化定序器集可以提供更好的實時活躍度性，但代價是更高的運營成本和延遲（在最極端的情況下，你只需讓 DA 層處理 Rollup 的排序，選擇不公开更快的路徑）；

有趣的是，你可以認為 L1 排序 Rollup 的活躍度比中心化定序序器更差，具體取決於你的時間尺度。到目前為止，我們已經討論了活躍度，將其納入某種「有限時間」的概念中。然而，這完全是相對的和主觀的。相對於什么？需要多少時間？

單純的 L1 順序 Rollup 將僅以 L1 區塊的速度（例如 10 秒）包含在內，當你周圍的世界在變化時，你在這些區塊之間沒有活躍度保證。所以這取決於你的基准：

如果基准 = Rollup 內部的操作，L1 順序 Rollup 可能會提供更好的活躍度。在主鏈確認之前，鏈上的其他人不應該得到承諾，所以你們都處於平等的地位；
如果基准 = Rollup 外部的操作- 具有軟性預確認的 Rollup 可以提供更好的活躍度。預確認只是一個免費選項，你仍然以主鏈的速度回退到主鏈保證，但在此期間你可以獲得較弱的保證。如果你不信任他們，只需等待主鏈確認即可。世界不會在以太坊區塊之間凍結，對於許多應用程序來說，長區塊時間之間的過時價格可能是不可接受的；

如果你嘗試在沒有預先確認的情況下實現基於「真實」的 Rollup，則甚至有可能無論如何都會出現預先確認。對於參與者（例如以太坊構建者和驗證者）來說，他們自己做出這一承諾是有經濟激勵的。這正是為什么有人討論以太坊建設者和利益相關者如何嘗試在基礎層提供快速預確認。

這裏有最後一個重要的說明。假設 Rollup 用戶可以回退到與主鏈相同的活躍度，假設你可以完全以主鏈區塊的速度強制包含（例如如果 Rollup 排序器正在審查你，你可以強制將交易包含在主鏈下一個以太坊區塊）。

在實踐中，通常會有短暫的延遲。如果你允許立即強制包含，你可能會暴露有利可圖的審查 MEV 以及其他復雜性。然而，有些設計可以從主鏈提供近乎實時的活躍度保證（例如，可能以幾個主鏈區塊而不是一個區塊的速度）。

無論確切的時間尺度如何，吸收主鏈的最終活躍度都是非常強大的，使用強大的主鏈作為協調機制提供了可信的威脅和退出權利。僅僅暴露這種可信的威脅本身，就使得它極不可能被需要從而從一开始就防止惡意行為。

例如，如果用戶有可靠的機制可以強行退出甚至強行刪除運營商，那么中心化的 Rollup 定序器就不能隨意從用戶那裏提取租金並將其鎖定。這是 Chris Goes 關於 MEV 轉換成本邊緣和慢遊戲的演講中討論的一個一般領域。

當然，意外的活躍度也可能發生，在這種情況下，此備份路徑可能再次非常有價值。

證明並不保護鏈，而是保護用戶

遵循這一切，我們可以看到，對於給定的確認規則，證明更准確地保護 Rollup 的不同「觀察者」（用戶），而不是保護「Rollup」本身。「Rollup」的安全性並不作為單一的具體措施而存在。

確保觀察者的安全當然是最重要的，因為我們都是鏈的觀察者！這條鏈就是它的觀察者所說的任何東西。如果你無法以安全的方式觀察它，你就必須信任其他人（例如驗證者）來告訴你它的「真相」。但我們不想信任，我們想要驗證→我們想要證據。

要了解為什么區分「證明保護鏈」和「證明保護鏈的觀察者」很重要，請考慮以下事項：

輕節點 - 如果有證明，則 Rollup 輕節點會更安全，他們不必相信任何人的話的有效性；
全節點 - 如果有證明，則 Rollup 全節點的安全性不會增加或降低，你可以在沒有內置橋甚至任何證明的情況下啓動 Rollup（「pessimistic rollup」），如果你开始發送有效性證明，全節點的安全性不會增加或降低；

證明為無法直接檢查其有效性的鏈觀察者（即輕節點）增加了安全性。我們不希望用戶必須運行強大的全節點，因此這些證明很重要。

證明確保 Rollup 橋的安全

Rollup 的驗證橋是一個極其重要的觀察者！證據確實保證了橋的安全！

與任何典型的輕節點一樣，網橋無法直接檢查 Rollup 的有效性。我們不相信誠實的多數，而是用證據來保護橋梁。數據庫 A（DA 層）的共識協議對數據 blob 進行排序，然後驗證橋獨立檢查數據庫 B（Rollup）相應更新的有效性：

橋是另一條鏈的觀察者，它鑄造的每一項資產總是帶有對應橋的確認規則的安全假設。其確認規則的安全性可以產生廣泛的影響。這就是為什么建立安全的橋如此重要（或者理想情況下，首先通過進一步擴展單鏈執行來減少對如此多的橋的需求）。

如果你為該鏈運行全節點，則惡意方無法誘騙你接受無效的狀態轉換。然而，如果惡意方有不同的確認規則，它仍然可以欺騙橋。如果你在該橋中持有有抵押品支持的資產，那么你的資金可能會變得沒有支持。從這個意義上說，欺騙橋的安全故障是「傳染性的」。

讓我們考慮一個關於 Terra 的舊假設場景：

Terra 有自己的驗證器集，其原生代幣是 LUNA，並且可以發行原生 UST；
Osmosis 有自己的驗證器集，其原生代幣是 OSMO。
我們有一個標准的 Terra ←→ Osmosis IBC 橋，其中每一側都運行另一條鏈的共識驗證器輕節點（即橋的每一側都依賴於另一條鏈的驗證者集的誠實多數）；
你作為用戶運行每個鏈的自己的全節點；
我們將通過 IBC 橋接的 Osmosis 上的 UST 稱為 osmoUST；
我們將通過 IBC 橋接的 Terra 上的 OSMO 稱為 terraOSMO；
你在 Terra 上擁有 terraOSMO；
你正在 Osmosis 上的 osmoUST/OSMO 池中做 LP；

隨着 Terra 的崩潰，LUNA 的價格暴跌，最終，理論上變為惡意驗證器集的的利潤將超過所質押的 LUNA 的價值，Terra 驗證器可以籤署無效區塊，並執行以下操作：

鑄造假 UST → 跨鏈到 Osmosis 以鑄造 osmoUST，使用它來耗盡所有 osmoUST 交易對（例如，從 osmoUST/OSMO 池中取出所有 OSMO；
鑄造假 terraOSMO → 跨鏈到 Osmosis，以撤回鎖定在 Osmosis 上支持 terraOSMO 的所有原生 OSMO 抵押品，Terra 上剩下的所有 terraOSMO 現在都將不再受支持；
那么，這裏的安全性就失敗了：
全節點（我） - 我的全節點將 Terra 區塊識別為無效的並拒絕它們，Terra 驗證者不能竊取我的 terraOSMO 或 osmoUST/OSMO LP 位置；
輕節點（橋） - 橋只是檢查 Terra 的共識是否在區塊上籤字（不檢查有效的狀態轉換），因此它不會拒絕它們，Terra 驗證者可以竊取支持我的 terraOSMO 的 OSMO 抵押品，並從 osmoUST/OSMO 池中耗盡所有 OSMO（留下一堆毫無價值的 osmoUST）；

該橋使用了具有更強信任假設的確認規則。

Terra 驗證者無法從完整節點竊取 Terra 本身的大量資產（他們不會被欺騙），他們會拒絕這些區塊。然而，驗證者可能會欺騙共識驗證器輕客戶端（包括橋），這就是為什么共識錯誤會影響跨鏈資產。

請注意，重要的是，這些故障不會「傳染」到鏈的其余部分，即該故障會「傳染」到暴露於 Terra 橋路线的 Osmosis 資產，但 Osmosis 鏈本身不存在安全故障。

然而，我們顯然想要橋接東西（一般來說，跨鏈通信），僅限於使用其主鏈上的原生資產會很糟糕，我們需要鏈來安全地通信和跨鏈橋接。

作為一個思想實驗，最簡單的解決方案就是讓每個用戶運行每個鏈的全節點，這包括跨鏈橋本身。請記住，我們已經看到了一些單向嵌入式全節點橋：

以太坊 Rollup 目前都要求其節點運行以太坊全節點，這些 Rollup 共享以太坊的共識；
Namada（一條單獨的 Tendermint 鏈，而不是 Rollup 鏈）將要求其節點運行以太坊全節點，然而 Namada 不同意以太坊的共識（即它不會將數據發布到以太坊或基於此得出其狀態）；

這適用於以太坊全節點，但這顯然無法擴展。你無法开始讓每個 Cosmos 鏈只需要運行每個其他 Cosmos 鏈的全節點。這些雙向全節點橋不會擴展，它們只是增加硬件要求。

幸運的是，有一個更具可擴展性的選項。我們可以部署橋來充分驗證另一條鏈的狀態有效性和 DA（除了仍然檢查共識之外）。

狀態有效性 - 雖然 IBC 目前與傳統共識證明一起使用，但可以對其進行修改以添加連接鏈的有效性證明，現在橋不會被無效的狀態轉換所欺騙。這本來可以准確地防止前面描述的攻擊，如果橋能夠驗證狀態轉換的有效性，則會將 Terra 驗證器的區塊視為無效而拒絕。

這看起來與以太坊上的 Rollup 橋如何檢查 Rollup 證明非常相似，只不過這裏也可以是雙向的。

DA - 此外，鏈可能要求其節點運行連接鏈的 DAS 輕節點。例如你可以讓這兩個 Cosmos 鏈需要它們自己的驗證器來運行另一個鏈的 DAS 輕節點（如果每個鏈都實現了 DAS 輕客戶端，而這些鏈目前不支持）。完成此操作後，每個鏈現在都可以知道彼此的有效性和 DA，而無需運行全節點。

對於 Rollup，根據定義，你擁有主鏈上的所有數據，因此那裏的橋可以訪問它。另一方面，Rollup 節點運行主鏈節點。

依賴鏈與獨立鏈

讓我們再看一次我們的五個安全屬性，現在在以太坊上觀察 Rollup 的 Rollup 驗證橋的背景下：

账本增長——以太坊驗證器可以強制 Rollup 的账本繼續增長（例如強制包含交易）；
抗審查 - 以太坊驗證器可以強制 Rollup 的運營商不會無限期地進行審查（例如強制交易包含或定序器替換）；
抗重組 - Rollup 的抗重組與以太坊相關。如果以太坊重組，那么以太坊上的所有 Rollup 都將重新組織在一起；
數據可用性 - Rollup 的 DA 得到保證，因為 Rollup 根據定義是從主鏈共識（Rollup 合約所在的位置）確認的數據派生的，Rollup 和主鏈共享合並共識，DA 是以太坊本身的有效性條件，因此如果數據不可用，那么以太坊區塊本身就是無效的。橋可以訪問主鏈上的數據，無需添加信任假設；
狀態有效性 - 合約將檢查 Rollup 狀態轉換的有效性證明（或等待挑战窗口通過），這證明所聲明的狀態更新是在主鏈上確認的相應數據上應用 Rollup 的 STF 的有效結果；

請注意，橋的安全性不僅僅通過附加鏈的超強確認規則（例如，到具有超級值得信賴的驗證器集的鏈的完整驗證器橋）來最大化。如果橋具有與主鏈相同的安全性假設，則你可以在跨鏈原生資產時獲得最大的安全性。

Vitalik 提供了一個有用的說明性示例：

「你將 100 ETH 轉移到 Solana 上的一座橋上，得到 100 Solana-WETH，然後以太坊受到 51% 的攻擊。攻擊者將自己的一堆 ETH 存入 Solana-WETH，然後在 Solana 方面確認後立即在以太坊端恢復該交易。Solana-WETH 合約現在不再得到完全支持，也許你的 100 Solana-WETH 現在只值 60 ETH