題記：區塊鏈作為一種分布式賬本技術，可以被應用在金融、健康醫療、供應鏈、資產管理等諸多領域，但是受吞吐量、網絡孤立性、伸縮性等因素的制約，目前的區塊鏈項目并不能很好的服務于商業應用。在區塊鏈所面臨的諸多問題中，網絡孤立性阻礙了不同區塊鏈之間的協同操作，極大程度的限制了區塊鏈的發揮空間。

一、引言

在前面的技術視點文章中，我們詳細介紹了本體跨鏈的六大模塊的具體設計和實現，相信大家對本體跨鏈技術有了一個基本的了解。

這次我們主要介紹目前所有的跨鏈方案所面臨的問題和挑戰，以及本體為了應對這些問題和挑戰給出的進一步改進和優化方案。

二、側鏈作惡

跨鏈交互中涉及到的一個重要安全問題就是如何防止側鏈驗證人集體作惡，即側鏈作惡。

在 Cosmos 中側鏈是自治的系統，側鏈驗證人的選舉由側鏈自己決定；而在 Polkadot 中，側鏈驗證人的管理由 Polkadot 主鏈決定。無論是自治的驗證人選舉還是統一的驗證人選舉，都會面臨一個根本性的問題——這些側鏈驗證人都不一定可靠。若跨鏈交互的中任意一種或多種資產實際價值大于驗證人抵押的實際價值，驗證人會有足夠的動力去作惡。

例如： 某個 dApp 的開發者同時在主鏈和側鏈上部署了智能合約，希望進行跨鏈的資產交互。當該 dApp 的用戶將一部分資產轉移到側鏈后，如果這部分資產的實際價值大于側鏈（驗證人集體）在主鏈上抵押資產的實際價值，那么惡意的側鏈（驗證人集體）可以直接將這部分的資產轉移到自己的名下，最終轉移到主鏈上并在交易所賣掉了這部分的資產。

當然，側鏈驗證人在主鏈抵押的保證金會賠付用戶的部分損失。但是如果側鏈驗證人在主鏈上抵押資產的實際價值小于這部分用戶資產的實際價值，惡意的側鏈驗證人會有動力采取集體作惡的方式來獲益。

作惡方式

現有的跨鏈方案中大都采用 Merkle Tree 證明的方式，即側鏈會在每一個區塊中生成當前區塊中所有交易產生狀態的 State Root，側鏈驗證人會對該 State Root 進行簽名。當有跨鏈交易發生時，通過驗證該 State Root 即可驗證跨鏈狀態的合法性。

若側鏈驗證人發現用戶跨鏈交互的資產實際價值大于這些驗證人抵押資產的實際價值，那么側鏈驗證人可以基于當前區塊偽造一個 State Root，即無視當前區塊的執行結果，強行構造一個對自己有利的 State Root，從而竊取用戶鎖定在主鏈上的資產。

三、如何解決側鏈作惡

我們可以設置一個挑戰期，在挑戰期內可以分為如下幾個步驟進行作惡舉證：

（1） 是否能提交作惡的區塊；

（2） 是否能提供作惡的交易的前一個狀態；

（3） 是否能提供作惡的智能合約；

（4） 是否在對應虛擬機中運行生成的 States Root 是否與當前區塊的 State Root 一致。

驗證人作惡是通過集體在當前區塊構造虛假的 State Root，但區塊中的交易因為無法偽造用戶簽名并不能被改變。因此，針對驗證人作惡的情況，我們提出一個解決該問題的設想。

在挑戰期內，若發現某一筆交易作惡，可以通過作惡區塊、作惡區塊中的交易、作惡區塊中交易的前一個狀態、作惡智能合約去對應的虛擬機中運行結果，并比較運行產生的 State Root 與提交作惡區塊中的 State Root 是否一致，從而驗證該 State Root 是否合法。

同時，不管是否有跨鏈交易的發生，Relayer 都會實時監聽側鏈的情況，若監聽到當前區塊頭的 State Root 與實際運行 State Root 的不符，可立即提交該證明到主鏈中，舉證側鏈的惡意行為，并獲得側鏈驗證人抵押在主鏈中相應的激勵。

可以看到，目前該方案也存在進一步優化的空間。其驗證過程稍顯復雜，特別是對于異構鏈而言；另外，挑戰期的存在對用戶也不是足夠的友好。因此，本體會在該方案的基礎上繼續研究其它更可行、更高效的解決方案。

四、后記

在這一系列關于跨鏈的技術視點文章中，我們給大家帶來了關于本體跨鏈設計的相關具體細節。目前，本體跨鏈測試網已經上線，也提供了詳細的跨鏈使用教程和多鏈開發手冊，希望廣大技術愛好者來體驗本體跨鏈測試網絡。