深入研究模塊化區塊鏈如何影響IBC狀態層的設計。
模塊化區塊鏈和Rollup的設計靈活性也促使IBC具有更高的靈活性。IBC網絡拓撲結構正從一個同質化、密集連接的網絡轉變為一個異質化、稀疏連接的網絡。模塊化IBC將讓IBC協議適應這種動態環境。
此前,我們談論了如何思考模塊化互操作性。今天,我們將深入研究模塊化區塊鏈如何影響IBC狀態層的設計。
拆分狀態層
目前,在IBC網絡中,單個Tendermint輕客戶端就足以代表一個邏輯區塊鏈,因為網絡本身具有同質性。不過,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]
我們可以將各種驗證方法分類如下:
·直接證明
·欺詐證明
·有效性或零知識證明
·共識證明
我們可以將上述驗證方法與區塊鏈的可組合層進行混搭,以確信自己進行了狀態轉換。例如,我們可以直接針對Celestia執行數據可用性采樣。或者,我們可以選擇驗證Celestia共識證明。
無論使用哪種類型的證明,邏輯輕客戶端都希望確認以下三點:
模塊化區塊鏈Astria完成550萬美元種子輪融資:金色財經報道,模塊化區塊鏈Astria完成550萬美元種子輪融資,Maven 11領投,1kx、Delphi Capital和Figment Capital等參投,融資用于開發其共享排序器網絡。
Astria還在開發其Astria EVM,該EVM由共享排序器網絡提供支持,并計劃作為模塊化區塊鏈Celestia數據可用性層的以太坊虛擬機 (EVM)。[2023/4/5 13:45:19]
·數據可用性
·序列或交易順序
·執行
——結算
為了展示設計的靈活性,我們將探究在通用數據可用性層上的各種Rollup設計:
·執行+欺詐證明==OptimisticRollup
·執行+共識證明==PessimisticRollup
·執行+零知識證明==ZKRollup
獲取安全性
在單一區塊鏈中,鏈的安全性取決于PoW鏈的挖礦算力以及PoS鏈的Token質押。這在啟動新鏈時會導致各種安全問題,比如自舉問題。在模塊化的區塊鏈堆棧中,鏈可以從一個或多個外部來源獲取安全性。
Fuel Labs推出模塊化執行層Fuel Beta-1測試網:9月9日消息,以太坊模塊化執行層Fuel開發商Fuel Labs宣布推出面向開發人員的Fuel Beta-1測試網,開發人員可以隨意向其部署合約,無需許可或白名單,用戶也可以與已部署的合約進行交互。另外,任何人都可以使用水龍頭獲得一些測試ETH來部署合約或與合約交互。FuelLabs提醒稱,Beta-1不是激勵測試網,參與該網絡將不會獲得直接獎勵。
Fuel 通過并行交易執行為以太坊提供可擴展性。本周, Fuel Labs宣布完成8000萬美元融資,Blockchain Capital 和 Stratos Technologies 領投,Alameda Research、CoinFund、Bain Capital Crypto、TRGC、Maven 11 Capital、Blockwall、Spartan、Dialectic 和 ZMT 等參投。[2022/9/9 13:18:44]
目前有幾種共享安全模式,其中一些可以直接與IBC兼容,而其他一些需要模塊化IBC才能正常工作。
·通過鏈間安全從生產者鏈承接安全性
——跨鏈驗證的v1版本用生產者鏈驗證者替換了消費者鏈驗證者
模塊化DeFi協議Encentive的Web3操作系統已集成Alchemy Pay支付功能:6月14日消息,模塊化DeFi協議Encentive的Web3操作系統已集成Alchemy Pay支付功能,支持用戶通過法定貨幣和加密貨幣進入Web3領域,同時,用戶可以將他們的加密資金轉換為100多種當地法定貨幣,并直接存入銀行賬戶。據悉,Encentive是一個用于構建DeFi系統的平臺,允許企業或者社區使用模塊化的組件部署去中心化交易所、高產農業、借貸市場等DeFi項目。[2022/6/14 4:25:41]
·從公共結算層承接安全性
·從公共數據可用性層承接安全性
——公共數據可用性層可以為基于欺詐證明的信任最小化橋接提供抗審查數據
·從可編程安全提供商獲取安全性
——安全提供商會根據某些驗證工作受到額外罰沒條件的限制
·通過檢查點機制從生產者鏈獲取安全性
——檢查點機制可以防止長距離攻擊和最薄弱環節攻擊
·通過再質押和跨鏈質押獲取安全性
——讓質押資本承擔驗證者級別的罰沒條件
IBC應用實例將Ethereum與IBC連接
Bounce.finance和模塊化DeFi平臺DEGOFinance合作促進NFT跨鏈社區發展:去中心化拍賣工具Bounce.finance(BOT)宣布與模塊化DeFi平臺DEGOFinance達成合作,共同促進NFT跨鏈社區發展、拓展業務范圍、為用戶提供更多價值,預計將于下周公布第一個NFT活動。[2020/11/6 11:53:07]
對于EthereumL2<>L2連接,我們需要多個輕客戶端來表示每個邏輯L2鏈。我們可以具體看一下OptimisticRollup。在L2之間,你可以形成具有不同安全屬性的IBC通道路徑。請注意,此示例假定我們已在以下鏈上運行IBC傳,使用Polymer進行IBC傳輸的模型有所不同。
高延遲但低風險路徑:
·一個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
作者:waynezhang.ethTwitter:@Wayne24699837上周,我們發布了LSDFi生態與LSDFiWar報告,但無論是選擇的項目還是思考的背景都是以太坊.
1900/1/1 0:00:00Polygon和Avalanche雙方都對自己的應用鏈解決方案Supernets和Subnets投入了很多資源,現在它們發展如何呢.
1900/1/1 0:00:00“在現階段,對于游戲公司來說,找到AIGC的應用問題,比在實際投入使用更加關鍵。”小牛互娛游戲制作人王正表示.
1900/1/1 0:00:00前兩天Arbitrum剛剛官宣了137家獲得TokenAirdrop的DAO,幾乎包含了顯露出了苗頭的各賽道用例伴隨著3月23日晚擠爆Arbitrum基金會官網的ARB申領盛況.
1900/1/1 0:00:00作者:AndrewBreslin,MichielMilanovic,SimranJagdev編譯:LynnMarsBit 原文鏈接: https://news.marsbit.co/202303.
1900/1/1 0:00:00來源:21tech 作者:李強 編輯:張偉賢盧陶然 圖源:圖蟲 繼狙擊印度首富之后,做空“新星”興登堡研究又將狩獵目標轉向Twitter創始人JackDorsey旗下的支付公司Block.
1900/1/1 0:00:00