题记：区块链作为一种分布式账本技术，可以被应用在金融、健康医疗、供应链、资产管理等诸多领域，但是受吞吐量、网络孤立性、伸缩性等因素的制约，目前的区块链项目并不能很好的服务于商业应用。在区块链所面临的诸多问题中，网络孤立性阻碍了不同区块链之间的协同操作，极大程度的限制了区块链的发挥空间。
一、引言
在前面的技术视点文章中，我们详细介绍了本体跨链的六大模块的具体设计和实现，相信大家对本体跨链技术有了一个基本的了解。
图 | 网络
这次我们主要介绍目前所有的跨链方案所面临的问题和挑战，以及本体为了应对这些问题和挑战给出的进一步改进和优化方案。
二、侧链作恶
跨链交互中涉及到的一个重要安全问题就是如何防止侧链验证人集体作恶，即侧链作恶。
在 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 的不符，可立即提交该证明到主链中，举证侧链的恶意行为，并获得侧链验证人抵押在主链中相应的激励。
可以看到，目前该方案也存在进一步优化的空间。其验证过程稍显复杂，特别是对于异构链而言；另外，挑战期的存在对用户也不是足够的友好。因此，本体会在该方案的基础上继续研究其它更可行、更高效的解决方案。
四、后记
在这一系列关于跨链的技术视点文章中，我们给大家带来了关于本体跨链设计的相关具体细节。目前，本体跨链测试网已经上线，也提供了详细的跨链使用教程和多链开发手册，希望广大技术爱好者来体验本体跨链测试网络。
多链开发手册
https://github.com/siovanus/documentation/blob/master/multichain/Testnet_Dev_Manual.md
跨链使用教程：
https://github.com/siovanus/documentation/blob/master/multichain/Tutorial_Case.md
扫一扫
972
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
