现有的跨链方案多半回收梅克尔树证明的方法：即侧链在每一个区块中生成当前区块中所有生意业务发生状态的 States Root，侧链验证人会对该 States Root 举办签名。当有跨链生意业务产生时，通过验证该 States Root 即可验证跨链状态的正当性。假如此时侧链验证人发明用户跨链交互的资产实际代价大于这些验证人抵押资产的实际代价，那么侧链验证人可以基于当前区块伪造一个 States Root，即无视当前区块的执行功效，强行结构一个对本身有利的 States Root，从而窃取用户锁定在主链上的资产。
按照 Cosmos 官方提供的资料，主网启动之初，网络状态和安详性无法获得足够的保障，在启用通证转账之前，假如 Cosmos Hub 中存在错误或裂痕，有大概会呈近况态回滚可能重启网络。在主网足够不变安详之后，Cosmos Hub 中通证 ATOM 的持有者将会投票抉择是否开启 ATOM 链上转移，这一部门也会通过区块链上投票管理的方法实现。假如第二阶段开启后，用户将可以转移 ATOM，同时生意业务所也将可以对 ATOM 举办充提，更多的人可以购 买 ATOM，并参加到委托验证人出块的环节。
本体 Ontology
那么，是否可以实现，纵然侧链被恶意矿工或节点节制，用户依旧可以操作主链的安详机制来担保自身的安详性呢？
针对验证人作恶的环境，本体提出一个办理问题的设想：即可以配置一个挑战期。在挑战期内，若发明某一笔生意业务作恶，Relayer 可以提交该生意业务状态的上一个状态、当前区块的生意业务、合约源码去虚拟机中运行，并较量运行功效的 States Root 与 区块中包括的 States Root，验证该 States Root 是否正当。同时，不管是否有跨链生意业务的产生，Relayer 城市及时及时监听侧链的环境，若监听到当前区块头的 StatesRoot 与实际运行 StatesRoot 的的不符，可当即提交该证明到主链中，并得到相应的鼓励。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
