ONE:全面解析跨鏈橋基本原理及安全性_COSM

什么是跨鏈橋？

當前區塊鏈行業發展迅猛，出現了各種各樣的公有鏈，但是不同鏈上有著不同類型的資產、協議等，使得它們之間無法直接通信，這給用戶帶來了諸多不便，比如：某用戶持有比特幣資產，但是想在以太坊生態中進行投資或消費，那么最直接的方式就是通過中心化的交易所進行兌換，但是整個過程非常繁瑣，耗時很長并且需要多次支付手續費。

跨鏈技術的發展使得用戶對于不同區塊鏈之間的互操作成為可能，其中應用范圍最廣的實現就是跨鏈橋。Web3領域中的「跨鏈橋」，不是物理位置連接的橋，而是連接兩個不同的區塊鏈網絡。這種連接非常重要，因為如果沒有區塊鏈「橋」，區塊鏈就會處于孤立的環境中，無法相互通信。

跨鏈互操作性詳細解讀

區塊鏈的互操作性Interoperability，由Interaction、Operation和Ability組合而成，即“相互操作的能力”，簡稱互操作性。區塊鏈互操作性主要包含三方面內容：一是用于應用層的互操作性，主要解決上層應用與底層鏈緊密耦合的問題，二是用于鏈間互操作性，主要解決“鏈級孤島”問題，三是鏈下數據互操作性，主要解決鏈上鏈下數據的安全可信交互。而本文主要從跨鏈交易的用途討論區塊鏈互操作性，即不同區塊鏈系統之間的資產和信息交互。

下面將首先對三種區塊鏈中的互操作性技術進行詳細介紹：

2.1公證人機制

公證人機制是技術上可實現的最簡單的一種跨鏈機制，本質上是一種中介的方式。通過引入一個或多個可信第三方做信用背書，持續監聽鏈上的事件，并根據獲取到的事件信息負責在其他鏈上進行跨鏈消息的驗證和轉發。公證人機制的實現方式主要分為以下三種：

1.單簽名公證人機制

最簡單的公證人機制，該方式會選取一個獨立的節點或者機構作為第三方公證人。公證人在整個跨鏈交互中進行數據收集、驗證、交易確認等任務。該方式兼容性高、交易速度快，但使用范圍僅限于跨鏈資產交換等場景。

2.多簽名公證人機制

該方式中公證人為一群獨立節點或者機構組成的聯盟，每個節點都擁有一個密鑰，只有一定比例的公證人在跨鏈交易上簽名達成共識時，該交易才有效。

該方式弱化了單簽名公證人機制的中心化風險，具有更高的安全性，即使有部分節點受到惡意攻擊也不會影響整個跨鏈系統的運行。

3.分布式簽名公證人機制

該方式相較于多簽名公證人機制，采用了多方計算MPC來確保密鑰的安全性和隱私性。即將密鑰拆分為多個碎片并隨機分發給公證人，但無法利用這些碎片得出完整的密鑰，僅當一定比例的公證人共同完成簽名后才能拼湊出完整的密鑰。

2.2哈希鎖定

哈希鎖定全稱為哈希時間鎖定合約，該方式利用哈希函數的單向性與低碰撞性，通過哈希鎖和時間鎖，在無需可信第三方作為公證人的情況下完成不同鏈間資產兌換的跨鏈技術。其中，哈希時間鎖要求接收方在規定的deadline期限內，能夠確認收款并生成證明給發送方，否則資金將會歸還。發送方能夠使用收款證明獲取到接收方在目標鏈上的資金或觸發相關事件。

IoTeX成功激活主網v1.2，完成升級全面兼容以太坊:官方消息，新一代高性能公鏈IoTeX宣布，主網在區塊高度11,267,641完成硬分叉，成功激活主網v1.2版本。IoTeX網絡已全面兼容支持以太坊工具Web3.js和各類Dapp。用戶可以通過以太坊生態工具Metamask直接存儲接收發送IoTeX主網通證IOTX和其他XRC20通證。

IoTeX作為硅谷開源項目成立于2017年，以鏈接現實世界和數字世界為愿景，是與以太坊全兼容的高性能公有區塊鏈。[2021/5/25 22:41:41]

該方式的能夠保證同一條鏈上的資產總量保持不變，但通常只能用于轉賬操作。下面以閃電網絡中基于哈希鎖定的原子交換實現過程：

1）用戶A生成隨機數s，并計算出其哈希值H(s)；

2）將H(s)值通過網絡發送給另一條鏈上的用戶B；

3）用戶A設置時間鎖t1，并使用H(s)將BTC鎖定在自己所在的鏈的腳本中，該操作限定了只有能提供s值的用戶才能獲取到鎖定的BTC；

4）另一條鏈上的用戶B在A所在鏈上確認上述交易后，同樣在自己所在的鏈上設置時間鎖t2，同時使用接收到的H(s)將自己的BTC鎖定在該鏈的腳本中；

5）用戶A在t2時間內向用戶B的腳本發送s值；

6）用戶B的合約驗證通過后，將鎖定的BTC發送給用戶A，同時獲取到s值。此時如果交易超過t2時限則跨鏈交易失敗，雙方都各自取回待兌換的資產。

7）用戶B將獲取到的s值在t1時限內，發送給用戶A的腳本。待其驗證通過后，腳本將鎖定的BTC發送給用戶B。如果超時同樣使得跨鏈交易失敗。

2.3側鏈/中繼技術

側鏈和中繼是最常用的跨鏈機制，都可以通過采集原鏈上的信息，實現主鏈區塊和賬本數據的解析和驗證。

但二者存在以下幾點差異：首先，側鏈從屬于主鏈，側重于提高主鏈的可擴展性，對于主鏈不可見，通常共享原鏈上的原生代幣，而中繼則沒有從屬關系，著重于跨鏈數據的傳輸；其次，側鏈處理交易時需要同步所有的區塊頭，導致其速度比中繼鏈慢；最后，側鏈和主鏈的安全機制相互獨立，即側鏈具有自己的共識協議，這些協議通常是為特定類型的交易設計的，意味著其通常不會繼承主鏈的安全屬性，在使用側鏈時，用戶將失去對資金的保管權，且僅依賴于側鏈的安全性。而中繼則依賴于主鏈進行驗證。

中繼本質上是各主鏈抽象出的一個跨鏈操作層，是公證人和側鏈機制的融合和擴展。主要作用是作為一個通信中樞收集不同區塊鏈間的數據并進行消息轉發，適用于異構或同構的區塊鏈。

側鏈實現的基本技術是雙向錨定。跨鏈過程實際上是在一條鏈上鎖定某種代幣資產，同時又在另一條鏈上生成對應的另一種代幣資產。其中，雙向錨定技術就是解決跨鏈過程中，目標鏈如何判定代幣資產已經被安全鎖定的問題。被認為是區塊鏈上第一條側鏈的BTC-Relay，其就通過在智能合約中內嵌BitcoinSPV功能來允許用戶在以太坊上驗證比特幣的交易。

深圳市稅務局將重點推進“全面應用區塊鏈電子發票”等五個方面改革:金色財經消息，今年，深圳市稅務局將重點推進五個方面改革，具體包括落實增值稅留抵退稅政策、建設智慧電子稅務局、全面應用區塊鏈電子發票、打造“進門零等待、時間零耽誤、服務零間斷”的辦稅服務廳“安靜工程”等。爭取2020年底，基本實現辦稅廳不再需要紙質資料復印件，并穩步推廣軟件退稅無紙化。（深圳晚報）[2020/3/15]

該技術目前可以通過單一托管模式、聯盟模式、驅動鏈模式、SPV模式實現，

下面將進行具體介紹：

1.單一托管模式

最簡單的實現方式，基本原理與單簽名公證人相同。通過公證人實現側鏈資產的鎖定和驗證釋放。

2.聯盟模式

資產托管方是公證人聯盟，基本原理與多簽名公證人相同，利用多重簽名減小上述方式中中心化的風險。

3.驅動鏈模式

該模式中由交易處理節點作為公證人，負責資金的托管和解鎖。具體過程為：交易處理節點提交其他鏈上的資產鎖定信息到區塊中并發起草案，在投票與確認后，在當前鏈上解鎖指定的資產。

4.SPV模式

主鏈和側鏈通過SPV驗證，確定資產是否被安全鎖定。下面以BTC-Relay中該模式的具體實現為例，進行介紹：

1）用戶A向主鏈上包含了側鏈信息的指定地址發送代幣，鎖定主鏈資產；

2）等待一段確認期，使得上述交易經過主鏈共識后被確認；

3）用戶在側鏈提交一筆鑄幣交易和對應的主鏈資產鎖定交易的SPV證明，側鏈區塊根據SPV證明驗證上述交易的有效性，驗證通過后側鏈會進行鑄幣但該資產此時處于鎖定狀態；

4）等待一段競爭期，目的是為了保證資產被完全鎖定，從而防范雙花攻擊。如：等待SPV區塊頭的驗證數大于6次；

5）側鏈解鎖鑄幣，使得其可以在側鏈上自由流通。

跨鏈互操作性協議

3.1資產交換

區塊鏈在轉移跨鏈資產時通常分為以下四種方式：第一種是鎖定和鑄造，該方式會在原鏈上鎖定資產，并在目標鏈上鑄造對應的資產；第二種方式是銷毀和鑄造，該方式會銷毀原鏈上的資產，并在目標鏈上鑄造資產；第三種方式是原子交換，該方式會將原鏈上的資產直接兌換為目標鏈上的資產，且無需信任，因此其不需要前兩種方式中的可信第三方；第四種方式為流動性置換，該方式會在不同的鏈上建立流動性資金池，用戶可以在資金池中直接兌換另一條鏈上的原生資產，另外流動性提供者也可以通過提供代幣作為流動性資金。典型的資產交換協議有Plasma、Rollup等，下面將進行詳細介紹。

3.1.1Plasma

Plasma包含一系列運行在區塊鏈上的智能合約，通過與側鏈間接交互實現跨鏈。它可以創建子鏈的無限分支，這些子鏈是以太坊主鏈的的較小副本，具有自己的共識機制。計算所需的帶寬和交易數據在側鏈進行，僅定期發布交易結果到主鏈。每個子鏈都依賴于“欺詐證明系統”的安全性，任何人都可以質疑其有效性。

動態 | 韓國將采用區塊鏈和AI技術對國家綜合采購系統全面重組:韓國國家綜合電子采購系統“國家集市”將在2023年之前采用人工智能(AI)和區塊鏈技術等智能信息技術對其進行全面進行重組。據調配廳25日透露，“新一代國家集市”首先將重新設計落后的基礎技術，以便用戶更容易使用，同時提高運營穩定性。整頓多達700多種的電子文件，減少文件容量等，減少文件流通量，以云為基礎，解決用戶增加帶來的障礙、錯誤、速度低下等穩定性問題。（韓聯社）[2020/2/25]

Plasma實際上不是單指一個項目本身，而是一種框架。其有多種實現方式，本文以PlasmaMVP，一種基于UTXO模型的側鏈為例進行介紹。PlasmaMVP的側鏈采用POA共識算法，即參與共識的只有一個管理者。在業務類型上該項目只支持轉賬，共有兩種種場景，分別為：存款、取款/退出，下面將分別進行介紹：

1.存款：

1）用戶發起一個Deposit調用交易向主鏈Plasma智能合約上發送一定數額

的以太幣或ERC20代幣，交易成功執行后產生一個DepositCreated事件；

2）Operator監測到該事件，生成一個僅包含一筆交易的區塊。該筆交易是

由合約調用deposit()函數為用戶創建側鏈資產Creat(DepositCreated,amount)；

3）側鏈上創建的交易包含兩個輸入UTXO和兩個輸出UTXO，在存款（充

值）時，只有輸出的第一個UTXO不為0，其他值都為0，具體如下：

4）Operator將該區塊的默爾克樹根發送到主鏈合約中，合約會產生

BlockSubmitted事件；

5）用戶監聽到該事件，驗證其有效性，存款成功。

2.取款/退出：

1）用戶向主鏈的Plasma合約發起Exit交易，其中包含一些必要參數用于明確待提現的UTXO位置和合法性：要取款的UTXO所在區塊號、區塊內交易所在編號、交易中UTXO編號等標識目標UTXO位置的參數，以及該UTXO涉及到的一系列交易確認簽名等信息。此外，同時還要提供一筆保證金EXIT_BOND；

2）該交易會被放入一個優先隊列中，優先級按照如下公式進行計算：

根據該公式計算優先級決定取款順序的原因是保證在出現惡意交易時，之前的UTXO都可以安全退出，即舊的UTXO總是先于新的UTXO被取出；

3）Exit交易需要等待一段挑戰期才會生效，最快7天、最慢14天。

動態 | 谷歌稱其量子計算機已實現“量子霸權”，將全面邁入量子計算時代:谷歌研究人員本周在刊登在美國航天局NASA的網站一篇論文中表示，谷歌的處理器能夠在3分20秒內執行完成當今最強大的超級計算機Summit需要10000年才能完成的計算。研究人員表示，這意味著谷歌的量子計算機已實現了“量子霸權（quantum supremacy）”，量子霸權是量子計算設備解決經典計算機實際上無法解決的問題的潛在能力。同時該研究人員預測，此次標志著邁向全面量子計算時代的里程碑，根據摩爾定律的指數速度，量子計算機的能力將以“雙指數速度（double exponential rate）”發展。但研究人員也表示，該系統只能進行單一的、技術性很強的計算，使用量子計算機解決實際問題還需要數年時間。目前該論文已經從NASA網站撤回。據悉，目前國際密碼學公認基于Hash函數的數字簽名（Hash-based cryptography）能抗量子計算機攻擊，如Merkle在 1989 年提出的認證樹簽名方案，它的安全性基于Hash函數的安全性。目前尚未存在有效針對一般Hash函數的量子計算機攻擊。（金融時報）[2019/9/21]

在Exit交易中，如果有其他用戶發現申請人存在惡意行為，就會發起一個爭議challengeExit。該爭議需要提供有效的UTXO爭議對象的默克爾證明。如果該爭議被驗證成功，則被爭議對象的交易將會從隊列中刪除，同時將保證金獎勵給發起爭議的用戶。

由于Operator負責將區塊打包給主鏈，所以其可以監控到側鏈上的所有交易，而一旦其存在某些惡意行為將會導致嚴重的后果，如雙花攻擊等。

針對這一點，Plasma在取款/退出期間也進行了很多設計避免了這些情況。首先是上文中提到的優先級隊列，其主要目的是保證存在惡意交易時，能夠保證用戶的資金安全。該優先級按照上述計算公式，首先由區塊的次序決定，其次是單個塊中的交易次序，最后是交易中的余額，同時上述三個值就可以唯一的確定一個UTXO的位置。因此上述優先級計算公式可以確保舊的交易優先級高于新的交易，這意味著如果一筆不正確的交易被加入到區塊時，那么所有錯誤交易之前的交易都會先執行，最后再執行錯誤交易，這會使得雙花攻擊失敗。

但是存在Operator可以故意將錯誤交易打包到用戶交易之前的可能，針對這種情況，Plasma的交易中其實存在兩個簽名。第一個是當用戶發起交易時，會對交易本身進行簽名，接著發送給Operator打包。第二個是當交易被加入到區塊中時，用戶會再進行一次簽名，其被稱為“確認簽名”。如果用戶正確遵循該規則，那么在該筆交易被Operator打包前，用戶絕不會發出確認簽名，即Operator無法將非法交易寫在用戶的交易之前。

Plasma存在的問題：

1）每個用戶都必須監控和驗證整個PlasmaMVP鏈上的所有交易，防范惡意交易并及時退出。但是驗證成本高昂，且增大了鏈上開銷；

2）數據可用性問題：側鏈的Operator如果僅發布區塊頭，而拒絕發布鏈下的交易數據，這將使得主鏈無法驗證側鏈的正確性。

3）用戶取款/退出操作耗時很長，必須等待挑戰期結束。

聲音 | Ran NeuNer：1月份將開始全面反彈:CNBC主持人Ran NeuNer剛剛發推稱，竟然還有人在等著比特幣跌到3000美元。他在回復評論時稱，1月份將開始全面反彈。[2018/12/20]

3.1.2Rollup

Rollup與Plasma類似都通過側鏈實現對數據的交易和執行，二者不同之處在于，Plasma將數據和計算都放到鏈下進行，但是該方式存在鏈下數據的可用性問題。針對該問題，Rollup僅將計算移到鏈下，但將每個交易的部分數據保存在鏈上。具體地說，該方案會將數百個鏈下交易匯總為一個批次，并在側鏈上按批次執行交易，最終完成的交易“打包”后再按批次發布到主鏈上，以此提升主鏈的交易速度。這種將數據存放在鏈上的方式，允許任何人在本地進行Rollup中的所有操作，從而實現欺詐驗證、發起提款、甚至自己打包交易等功能。

Rollup主鏈上存在一個智能合約維護一個狀態樹的根節點，該節點數據包括：賬戶余額、合約代碼等，但該狀態樹本身并不存儲在合約內部，該樹由側鏈每隔一段時間通過數據的交易和執行結果產生，具體如下圖所示：

交易的批次由一個高度壓縮的交易集合，以及之前的狀態根和新的狀態根組成。合約將檢查批次中前一個狀態根是否與當前的狀態根匹配，如果匹配，將切換到新的狀態根，具體如下：

Rollup針對誰可以提交批次這一問題，有以下幾種方案：

1）任何人都可以提交，該方式是最簡單的一種方式。但是，由于存在多個參與者，如果批次交易并行發布，會導致生成證明或批次交易發布到鏈上的這個過程產生過多的花銷。

2）中心化定序器：目前最常用的一種方式，由一個中心化的單一定序器提交交易批次。

3）定序器拍賣：通過拍賣的方式，使得出價最高的實體有權成為定序器。

4）PoS投票：任何人都可以將指定代幣存入Rollup合約，接著可以從每批交易中的存款者中隨機選取一位作為定序器，選取的概率與存入的代幣數量成正比，該方式的缺點是會導致大量不必要的資金被鎖定。

5）DPoS投票：拍賣中選取的定序器，如果存在離線或打包惡意交易等不良操作，代幣持有者可以通過投票將其踢出并舉行新的拍賣重新選取定序器。

Rollup中的一個重要問題是如何確定批次中的后狀態根的正確性，因為如果提交偽造的后狀態根而無需付出任何代價，那么攻擊者可以偽造該數據使得自己獲取到所有代幣。針對該問題，Rollup目前有兩種典型的解決方案ZK-rollups和Optimistic-rollups。

Optimistic-rollups使用欺詐證明，即Rollup合約跟蹤狀態根的整個歷史記錄和每個批次的交易Hash值。如果有人發現某個批次的狀態后根不正確，可以將其生成欺詐證明發布到合約中，如果合約驗證通過，將恢復該批次和之后的所有批次。典型的項目有Arbitrum、Optimism；ZK-rollups則使用有效性證明，每個批次都包含一個ZK-SNARK的加密證明，其可證明后狀態根是執行正確的結果。

3.2信息交互

3.2.1Polkadot

Polkadot是一種支持多鏈的異構多鏈跨鏈平臺，使得多個區塊鏈之間可以實現去信任地交互，其架構中有三種類型的鏈：

第一種是中繼鏈，該鏈位于Polkadot的核心，主要用于轉發各平行鏈上產生的跨鏈交易，記錄各平行鏈的交易狀態，并傳遞交易的驗證和執行結果，采取拜占庭容錯算法為整個系統提供統一的共識和安全保障。該鏈本身不包含任何交易，只負責最頂層的跨鏈交易路由，DApp均在平行鏈上進行開發和部署。

第二種是平行鏈，其只負責具體的業務場景中的DApp應用開發和部署，各自并行存在，開發者可以依據特定應用場景下的問題，選擇平行鏈底層的區塊鏈系統。其鏈本身不具備區塊共識，其安全性通過Polkadot的共享安全性模型由中繼鏈的驗證者提供。

第三種是橋接鏈，專門針對異構鏈開發設計的一個跨鏈結構，如當以太坊需要與Polkadot中繼鏈進行交互時，以太坊數據需要首先經過以太坊底層系統中的橋接鏈對跨鏈信息進行規范化處理，才能轉換為Polkadot網絡交互需要的形式。該鏈具有自身的共識算法，通過不同的Bridge與Polkadot連接在一起進行交互。

其核心是通過提供一個中繼鏈，鏈上以區塊鏈的數據形式存儲所有連接到中繼鏈上的所有其他鏈信息，這些信息來自連接在中繼鏈上的各個獨立運行的平行鏈。網絡中存在四種類型的參與者，包括驗證人、收集人、釣魚人、提名人。下面將對其進行具體介紹：驗證人：擁有最高權限，主要負責Polkado網絡的出塊，通過運行一個中繼鏈的客戶端，在整個網絡的每一輪區塊產生過程中，驗證各個被提名的平行鏈出的區塊。當各個平行鏈的區塊都被其驗證人確定之后，驗證人會將所有平行鏈區塊頭組裝到中繼鏈區塊并進行共識出塊；

收集人：幫助驗證人在各個平行鏈收集必要的交易信息，打包并執行相關交易，然后將執行交易的結果附上一個零知識證明，提交給該平行鏈的驗證人；

釣魚人：不直接參與區塊打包的過程，釣魚人可以通過檢舉一個有質押的參與方存在的非法行為，并提供帶簽名的有效證明去獲取獎勵收益。其中非法行為包括驗證人對兩個有相同父區塊的不同區塊進行簽名，或在平行鏈上驗證通過一個無效區塊等；

提名人：是一個擁有權益的群體，驗證人由提名人選舉產生。提名人選擇驗證人之后，可以通過將自身的權益質押給驗證人，從而使驗證人代表其維護整個Polkadot網絡，這種方式使得提名人和驗證人可以收到相同比例的獎勵和懲罰。

每個平行鏈有兩個消息隊列，一個是輸出隊列engress，一個是輸入隊列ingress。Polkadot中的平行鏈A和平行鏈B之間的跨鏈交易過程如下：

1）A鏈將跨鏈交易存放到自己的輸出隊列engress中；

2）A鏈的Collator收集A鏈的普通交易和跨鏈交易并提交給A鏈的Validator集合；

3）A鏈的Validator集合驗證成功后，將本次區塊頭信息和engress內信息提交到中繼鏈上；

4）中繼鏈利用共識算法確認區塊以及跨鏈交易路由后，中繼鏈上的Validator會將A鏈的相應交易從A鏈的engress隊列提交到鏈B上的ingress隊列；

5）B鏈執行區塊和ingress隊列中的交易并修改自身賬本。

由于所有平行鏈的共識同步發生，所以跨鏈交易沒有雙花等安全性問題。

3.2.2Cosmos

Cosmos與Polkadot類似，都是通過一個中繼鏈對跨鏈消息進行中轉，從而創建一個異構跨鏈平臺，但二者也存在一些不同之處。首先在Cosmos網絡中存在兩種角色包括：Hub、Zone，其中Hub為用于處理跨鏈交互的中繼鏈，Zone為Cosmos中的平行鏈。Cosmos生態中有不同的Hub作為中心樞紐，每個中心樞紐又可以和自己的分區Zone連接，同時不同的Hub之間也可以互相連接。具體的網絡架構如下：

為了支持平行鏈之間的跨鏈操作，Cosmos提出了一種跨鏈交互協議IBC，并利用tendermint共識算法的即時確定性實現多個異構鏈之間的價值和數據傳輸。因此，Cosmos中平行鏈需要滿足如下兩個前提條件：

1）快速確定性：由共識算法保證，即Cosmos的跨鏈不支持PoW等概率確定模型的區塊鏈；

2）強監管性：每個平行鏈都具備一組驗證人能夠決定其出塊。同時如果要連接概率鏈，則需要額外的結構支持。

Cosmos網絡體系外的其他異構鏈需要通過一個Bridge-Zone轉接層才能接入Hub，該轉接層用于中轉異構鏈中的跨鏈交易，并對跨鏈交易信息中的數據結構進行規范化處理，具體包括：對原鏈交易的確認、在Cosmos網絡中生產或銷毀相應代幣等。

下面以以太坊用戶向Cosmos網絡轉移資產為例，介紹CosmosBridge的跨鏈通信流程：首先需要在以太坊上部署一個Bridge合約，該合約負責跨鏈交易的處理，包含具體的交互規則。如果用戶需要向Cosmos網絡轉賬時，需要先將ETH發送到Bridge合約中鎖定，但是跨鏈交易如果失敗，系統可以回退到交易前的狀態。或者當Bridge合約監測到Cosmos有跨鏈交易將資產轉移到以太坊，那么合約將自動解鎖對應資產。Bridge合約會跟蹤Zone驗證節點的狀態，并且其可以和Hub共享一組驗證者節點。當Zone的驗證者節點接收到跨鏈交易時，會首先會通過SPV驗證用戶是否給Bridge合約發送了ETH，驗證通過將在Bridge-Zone生成對應的Cosmos-ETH。同理，將Cosmos-ETH轉移到以太坊的過程也類似，不過該過程將銷毀Cosmos-ETH，同時解鎖Bridge合約中對應的ETH并轉移到某賬戶地址中。

Cosmos中各個網絡中樞Hub和Hub所在的分區Zone之間的消息傳遞都使用IBC協議，當新Zone產生時，在線治理社區的投票會決定新Zone是否可以連接到Hub上，所以Cosmos也支持區塊鏈的擴展。不同Zone之間的跨鏈消息傳遞如下圖所示：

具體為：首先Zone1向Hub發出一筆BlockCommit交易，包含區塊的頭部信息和所有驗證人的公鑰；接著如果Zone1試圖發起一筆向Zone3的代幣轉移交易，Zone1首先驗證該交易的合法性，如果有效則將該交易發送到自己的輸出隊列中，等待發送給Hub，交易信息包括：交易的發起者Zone、該筆交易在發起Zone中確認的高度和目標Zone；接下來，Zone1中的中繼程序根據消息隊列中的交易生成默克爾證明并作為Packet中的有效載荷發送到Hub；Hub中的驗證者通過SPV驗證對該證明進行核驗，核驗通過則發送消息給Zone3，Hub給Zone3發送消息的過程同上；Zone3接收到Hub發送的跨鏈交易后，首先驗證對該筆交易是否由Zone1發起的真實有效交易，并給Hub發送確認消息表明可以接收來自Zone1的資產；最后Hub給Zone3發送消息，將資產發送給Zone3，完成了一筆完整的跨鏈交易。

綜上，本文主要介紹了三種常見的跨鏈互操作性技術，包括公證人機制、哈希鎖定、側鏈/中繼。下一篇文章將介紹基于以上三種跨鏈技術實現的跨鏈橋項目。

Tags：ONEZONE區塊鏈COSMblocsport.oneSAFEZONE區塊鏈技術通俗講解ppt3X Long Cosmos Token

MATIC