链外计算的核心问题是是脱离主链，数据计算如何获得共识？也就是说，如何使得用户相信主链之外的计算？

　　本章节介绍三个典型案例。从这些不尽相同的实现方式，可以窥见Web3.0世界的数据计算实现方案繁杂的真实一面。未来Web3.0世界，也许不是理想的公链独木桥，而是纷繁复杂的百花齐放。

　　3.1．Oasis：共识层与执行层（ParaTime）分离的模块化分层设计

　　Oasis网络是一个运用权益证明（POS）、去中心化的Layer1区块链网络，其使用的模块化架构实现了共识层和智能合约执行层ParaTime层两部分的解耦合，即数据计算（合约执行）脱离了L1主链（即共识层），放在ParaTime层执行，且充分考虑了隐私计算。同时在设计上，对共识层进行了尽可能简单化的设计，共识层仅处理Token的转移、质押以及解绑定等较为简单的操作，这一设计类似于以太坊Layer2项目将智能合约的执行与共识操作隔离相类似，均有助于提高网络的安全性与效率。而在ParaTime层的设计上，Oasis将该层的各个ParaTime模块相分离，不同的ParaTime模块可针对不同的需求做出相应的优化调整，彼此之间互相独立的完成运行。

　　运行时，不同的ParaTime构建各自不同的执行环境、验证机制以及加密机制，智能合约在ParaTime层完成执行后，将其结果值提交至共识层。共识层则从ParaTime层中接受各类参数值，并将这些值写入下一个区块之中，同时处理较为基础的操作。而在运行过程中，若存在某个ParaTime的运行超载或出错，其仅会影响出错ParaTime提交到共识层的状态更新，不会对其他ParaTime的运行产生影响。为防止某一ParaTime层恶意向共识层发送过多的垃圾信息导致共识层运行速度降低，每一ParaTime层必须向共识层支付交易费用，从而增加负载攻击的成本。

　　那么ParaTime层如何与L1主链完成对接以及达成共识呢？在执行结果的验证方面，Oasis采用差异检测来对ParaTime的执行结果进行验证。在执行差异检测时，会从节点中随机选择计算节点组成计算委员会，当委员会所有成员同意结果时，则会接受结果。如若检测到差异，则使用差异解析协议对其进行处理。差异检测成本更低执行更快，而差异解析则往往会耗费更多的成本。具体执行过程中，计算节点首先将执行结果通过Gossip协议网络发送到差异检测器，检测结果若无异常，则由验证器提交至共识层完成处理和出块。若是存在争议，则会启动差异解析协议来确定正确结果，并对产生争议结果的节点进行惩罚，由争议节点支付差异解析的成本。

　　不同的ParaTime在进行并行运算时，可以将每个结果同步提交至共识层，也可定期提交多个结果的融合值，以此实现ParaTime结果产出量与共识层出块数量的解耦合。但其缺点在于无法确定不同ParaTime之间的相对顺序，如ParaTime A产出的结果TA与ParaTime B产出的结果TB被同时提交至同一区块，则无法判断TA与TB的发生顺序。除此以外，Oasis还支持通过IBC协议（链间通信协议，INTER-BLOCKchain Communication Protocol）为不同ParaTime间提供通信，通过TEE（可信执行环境）为平台提供更高的隐私和安全性。 (责任编辑：admin)