SolEVM enforcer 本质上雷同于 Truebit OS ，可以独立于 Plasma 链利用，因此有许多用例：

验证合约内的事情量证明

范围性：在这个里程碑中，我们打消了包括 CALLDATACOPY, CODECOPY, RETURNDATACOPY, EXTCODECOPY 操纵码的计较，因为它们的证明进程较量巨大。

作为利用以太猫等非同质化代币的状态性 dApp 的侧链

上文提到的去中心化计较预言机在博弈设计上仍不足稳健，开拓人员必需为挑战者完善鼓励机制。

验证因数据量过大而无法在链上验证的零常识证明

可交付成就

链上步进器—— Enforcer 合约

下面几节将先容 SolEVM enforcer 的须要开拓步调，以及如何将它嵌入 Plasma 链。固然 Plasma 链拟定了本身的里程碑蹊径图，我们团队的主要孝敬是通过计较验证游戏来实现智能合约在 Plasma 上的运行。我们会基于 Plasma 的里程碑蹊径图来讲授我们的开拓进度。

内容：前两个阶段只能执行无状态计较，极大地限制了 Plasma 链上智能合约的应用范畴。到了这个里程碑阶段，我们从头引入了存储法子，不外不是用 SLOAD、SSTORE 操纵码，而是可以由合约直接利用的非同质代币。存储和合约资金可以单独通过 More Viable Plasma 的退出机制退回，智能合约可以从第二层区块链上迁移至主网。

链下表明器—— ECMAScript 的执行方法跟 Solidity 合约沟通，以此实现高机能的链下执行

陈设在主网上的链上步进器

可交付成就：

作为一个开源软件社区，Leap 是在各成员的尽力之下成长起来的。看过了上面的蹊径图之后，你是不是心动了呢？不管你有什么乐趣和技术，我们提供了许多参加时机，一起来提高区块链的可扩展性，，将区块链技能带入千家万户吧！

对比于 Truebit OS ，SolEVM enforcer 既可以或许用 WASM 代码，也可以或许用 EVM 字节码运行。要对以太坊主网和 Plasma Leap 上的合约正确执行与否作出判定，这种代码兼容性就是必需的。

退出机制设计完成，期待审计

以太坊社区的焦点方针之一是将智能合约放到二层区块链上执行。这个方针具有很大的成长潜力，可以或许扩大以太坊的资金转移量，加强以太坊的法则执行力度。为了实现这一方针，我们设计了一个名为 SolEVM Enforcer 的计较验证游戏，让 EVM 字节码可以在链下执行。SolEVM 由 3 部门构成：

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。