STI:模塊化世界中的模塊化IBC

深入研究模塊化區塊鏈如何影響IBC狀態層的設計。

模塊化區塊鏈和Rollup的設計靈活性也促使IBC具有更高的靈活性。IBC網絡拓撲結構正從一個同質化、密集連接的網絡轉變為一個異質化、稀疏連接的網絡。模塊化IBC將讓IBC協議適應這種動態環境。

此前，我們談論了如何思考模塊化互操作性。今天，我們將深入研究模塊化區塊鏈如何影響IBC狀態層的設計。

拆分狀態層

目前，在IBC網絡中，單個Tendermint輕客戶端就足以代表一個邏輯區塊鏈，因為網絡本身具有同質性。不過，Celestia這樣的模塊化區塊鏈打破了這種同質性，將邏輯區塊鏈分割成多條鏈。因此，你需要多個輕客戶端來代表一個單獨的邏輯區塊鏈，而每個輕客戶端可以代表區塊鏈堆棧的不同層次。

證明方式

在單一環境中，運行一個完整節點或驗證單個共識證明通常足以使第三方相信狀態轉換。在模塊化環境中，我們需要獲取各種證明以確認狀態轉換。

Polygon的模塊化區塊鏈項目Avail已開源OpEVM SDK新原型:7月28日消息，Polygon的模塊化區塊鏈項目Avail已開源Optimism EVM（OpEVM）軟件開發工具包（SDK）的新原型，開發者可以使用OpEVM構建主權的、EVM兼容的Optimistic Rollups。該技術為開發者提供了用于運行在L2上的去中心化基礎設施，支持去中心化定序器集、無需再L1上簡歷嵌入式跨鏈橋，并真正以樂觀的方式驗證狀態轉換。OpEVM建立在Avail數據可用性層之上，可以幫助創建獨立于智能合約運行的 Rollup。OpEVM是Avail與Equilibrium Group的合作項目，OpEVM原型有其局限性，尚未投入生產。[2023/7/28 16:03:45]

我們可以將各種驗證方法分類如下：

·直接證明

·欺詐證明

·有效性或零知識證明

·共識證明

我們可以將上述驗證方法與區塊鏈的可組合層進行混搭，以確信自己進行了狀態轉換。例如，我們可以直接針對Celestia執行數據可用性采樣。或者，我們可以選擇驗證Celestia共識證明。

無論使用哪種類型的證明，邏輯輕客戶端都希望確認以下三點：

Manta Network推出EVM原生模塊化執行層Manta Pacific:7月12日消息，零知識證明ZK協議Manta Network基于OPStack推出專為零知識證明（ZK）應用設計的EVM原生模塊化執行層Manta Pacific。Manta Pacific使用Celestia數據可用層提供安全性，降低Gas費用，通過Caldera改進的OPStack，實現可擴展性。

Manta Network聯合創始人VictorJi稱，Manta網絡的Layer1已重命名為Manta Atlantic，未來Manta生態系統將由Manta Atlantic和Manta Pacific兩部分組成。[2023/7/12 10:49:45]

·數據可用性

·序列或交易順序

·執行

——結算

為了展示設計的靈活性，我們將探究在通用數據可用性層上的各種Rollup設計：

·執行+欺詐證明==OptimisticRollup

·執行+共識證明==PessimisticRollup

·執行+零知識證明==ZKRollup

獲取安全性

模塊化DEX基礎設施Native完成200萬美元種子輪融資:4月27日消息，模塊化 DEX 基礎設施 Native 完成 200 萬美元種子輪融資，Nomad Capital 領投，所籌資金將用于產品開發，實現模塊化和互操作性。[2023/4/27 14:30:39]

在單一區塊鏈中，鏈的安全性取決于PoW鏈的挖礦算力以及PoS鏈的Token質押。這在啟動新鏈時會導致各種安全問題，比如自舉問題。在模塊化的區塊鏈堆棧中，鏈可以從一個或多個外部來源獲取安全性。

目前有幾種共享安全模式，其中一些可以直接與IBC兼容，而其他一些需要模塊化IBC才能正常工作。

·通過鏈間安全從生產者鏈承接安全性

——跨鏈驗證的v1版本用生產者鏈驗證者替換了消費者鏈驗證者

·從公共結算層承接安全性

·從公共數據可用性層承接安全性

——公共數據可用性層可以為基于欺詐證明的信任最小化橋接提供抗審查數據

·從可編程安全提供商獲取安全性

——安全提供商會根據某些驗證工作受到額外罰沒條件的限制

·通過檢查點機制從生產者鏈獲取安全性

Polygon研究負責人已離職，將加入從Polygon分拆的模塊化區塊鏈項目Avail:金色財經報道，Polygon 研究負責人 Prabal Banerjee 已離職，并將加入從 Polygon 分拆出來的模塊化區塊鏈項目 Avail，成為該項目聯合創始人。

此前報道，3 月 16 日，Polygon 將其模塊化區塊鏈項目 Avail 分拆成獨立實體，Polygon 聯合創始人 Anurag Arjun 于 Polygon 離職并收購了 Avail，Avail 團隊將遷移到新實體。Avail 目前在測試網上運行，主網將在不久后推出。作為分拆的一部分，Avail 將創建一個新的非營利基金會 Avail Foundation，并最終將治理權移交給社區。[2023/4/21 14:19:01]

——檢查點機制可以防止長距離攻擊和最薄弱環節攻擊

·通過再質押和跨鏈質押獲取安全性

——讓質押資本承擔驗證者級別的罰沒條件

IBC應用實例將Ethereum與IBC連接

對于EthereumL2<>L2連接，我們需要多個輕客戶端來表示每個邏輯L2鏈。我們可以具體看一下OptimisticRollup。在L2之間，你可以形成具有不同安全屬性的IBC通道路徑。請注意，此示例假定我們已在以下鏈上運行IBC傳，使用Polymer進行IBC傳輸的模型有所不同。

Celestia 模塊化框架產品 Rollkit 推出比特幣 Rollup:3月9日消息，Celestia 旗下模塊化框架產品 Rollkit 宣布推出比特幣主權 Rollup，使用比特幣作為數據可用性層。

Rollkit 是由 Celestia 開發的新框架，于 2 月 21 日推出，旨在模塊化區塊鏈的不同組件，使開發人員能夠部署 Rollup，自定義和選擇數據可用性層作為區塊鏈數據的來源，以及處理交易的執行層。[2023/3/9 12:51:01]

高延遲但低風險路徑：

·一個eth2輕客戶端代表Ethereum進行數據可用性和結算證明。

·一個帶有條件規則的Optimistic輕客戶端，代表Aribitrum或Optimism進行執行和交易排序證明。

——該規則將確保在將Arbitrum或Optimism區塊路由到其他L2之前，已在Ethereum上結算并最終確定。

低延遲但高風險路徑：

·一個獨立機器、委員會或共識輕客戶端，代表第三方或序列器的軟確認進行見證。

·一個帶有Ethereum條件規則的Optimistic輕客戶端，代表Arbitrum或Optimism進行執行和交易排序證明

將IBC擴展到CelestiaRollup

以Celestia為例，你需要多個輕客戶端來表示邏輯OptimisticRollup。Celestia提供了共識證明作為數據可用性和交易排序的證明。

我們可以在連接到CelestiaRollup的IBC鏈上查看模塊化IBC的實際操作：

·一個Tendermint輕客戶端，代表Celestia進行數據可用性和交易排序證明。

·一個帶有Celestia條件規則的Optimistic輕客戶端，代表OptimisticRollup進行執行證明。

——該規則將確保在最終確定一個數據塊之前，Celestia網絡上有一個數據塊可用。

請注意，多個Optimistic輕客戶端將依賴于CelestiaTMLC。此外，對于邏輯pessimisticRollup，你可以有以下設置：

·一個Tendermint輕客戶端，代表Celestia進行數據可用性和交易排序證明。

·一個帶有Celestia條件規則的Tendermint輕客戶端，代表pessimisticRollup進行執行證明。

——同樣，該規則將確保在最終確定一個數據塊之前，Celestia網絡上有一個數據塊可用。

使用IBC的Eigenlayer共享安全性

Eigenlayer允許Ethereum驗證者重新將其Ethereum質押置于可在鏈上執行的額外罰沒條件之下。這使得Eigenlayer消費者鏈可以借用Ethereum網絡的安全性。

通過在Ethereum上增加一個罰沒條件，EigenLayer驗證者可以簽署消費者鏈頭以提高安全性。如果EigenLayer集成了IBC，跨鏈驗證可以用于將EigenLayer驗證者添加到消費者鏈的活躍驗證者集。否則，消費者鏈仍然可以在IBC鏈接層面為連接的鏈提供一定程度的保護。

這將通過以下方式實現：

·在Ethereum上對雙重簽名的鏈頭進行罰沒，這意味著如果EigenLayer驗證者為消費者鏈雙重簽名一個鏈頭，EigenLayer上1/3的質押將被罰沒。

·連接到啟用了IBC的EigenLayer消費者鏈的區塊鏈需要運行兩個輕客戶端——一個用于EigenLayer，另一個用于消費者鏈。

·連接的鏈將在接受之前驗證鏈頭是否已經被消費者鏈和EigenLayer簽署。

·這意味著與EigenLayer消費者鏈的IBC連接可以進行分叉并提供額外經濟保護以抵御攻擊。

使用IBC的Babylon共享安全性

對于Babylon而言，它將提供檢查點或時間戳服務，通過向Bitcoin發布一個聚合時間戳來用Bitcoin的安全性處理特定交易。它充當安全性生產者，而連接的鏈則被認為是安全性的消費者。

通過連接到Babylon，消費者鏈可以將狀態檢查點連接到Bitcoin，以便在高價值交易利用到Bitcoin的安全性。此外，它們還必須執行慢速確認規則，以延緩這些交易的最終確定，以確保檢查點狀態在Bitcoin網絡中達到*k-*深度。

在Babylon消費者鏈上查看模塊化IBC實際操作：

·用BabylonTMLC的條件規則初始化一個本地客戶端。

——該規則將確保在執行之前對提交的數據包設置檢查點。

·在初始化的本地連接/通道上寫入一個數據包。

——數據包在檢查點和提交之前不會被執行。

·從Babylon消費者鏈發送高價值數據包到IBC連接的鏈：

——首先通過本地連接/通道實施慢速確認規則。

——之后數據包將通過IBC連接發送到與IBC連接的鏈。

Polymer參與共享安全峰會

在2023年的ETHDenver期間，PolymerLabs與我們許多生態系統合作伙伴共同舉辦了共享安全峰會。幸運的是，我們在Eigenlayer和BabylonChain的朋友們記錄了所有演講。

來源：比推

原文標題：《ModularIBCfortheModularWorld》

原文作者：PolymerLabs

原文編譯：Kxp，BlockBeats

Tags：STIIBCROLLROLPLASTIKIBC幣種roll幣在哪換roll幣能出坐騎嗎

以太坊交易