抱负环境下我们不需要在主链上执行 transaction，这也是为什么乐观性执行能很洪流平上提高链的吞吐量。然而思量到安详性，一旦呈现错误的环境（如上图 tx2），我们也需要有 transaction 回溯机制！
什么是 OVM ？
rollup，仍然要求我们编写特定的 L2 智能合约 。为了缔造更好的开拓体验，我们尚有很长的路要走。
我们团队中的很多成员都曾参加过致力于支持智能合约的第一代通用 plasma 网络（plapps）的架构设计。然而，陈设 plapps 需要借助一整套新的开拓东西（包罗成果受限的 “predicate” 合约）。我们很快意识到，人们对付以太坊 Layer 2 的等候远不止此—— 以太坊 L2 不但意味着扩展以太坊的应用，还要扩展以太坊自己。
所有乐观的 L2 方案都是环绕着执行功效及其分歧来打造的：从 plasma 到 rollup，其要害都在于 “乐观性执行（ optimistic execution ）”—— 乐观性执行的意思是：任何人（或群体）都能宣称 “嘿，Layer 1，这些生意业务的执行功效是 X，不消再执行验证了！”；假如功效不为 X ，（我们假设）会有其他群体愿意付出主链的执行本钱，来证明功效 X 是错误的。
OVM 是个成果完备、与 EVM 完全兼容的执行情况，合用于 L2 系统。我们可以通过 OVM 在 rollup 链举办在以太坊主链上能做的所有操纵 —— 编写 Solidity 智能合约，，并通过 Web3 API 与区块链举办交互。以上原因促使我们开拓了 Optimistic Rollup —— 首个能将以太坊智能合约的全部成果引入扩展层的 L2 架构。
总的来说，其实我们需要的是 Unipig 编码实现 execute_EVM_tx() —— 一个可以或许让我们在 L1 transaction 中，嵌套执行任何故太坊 L2 transaction 的函数（以实现 fraud proof “错误性证明” 成果）。可是抱负很饱满，现实很骨感，要让以太坊 transaction 嵌套执行原来就很是坚苦，更况且有些 L2 transaction 基础不适合 L1 ！
有了 OVM 后，将 dApp 移植到 L2 不再是架构级此外大工程，只剩下简化的陈设操纵。虽然，dApp 的构建仍然要思量紧耦合（ tight coupling ）及可组合性（ composability ），但只要你需要，新的智能合约随时可以或许陈设到利用 OVM 的链上。换言之，在 L2 打造钱币乐高（ money lego，泛指 DeFi 产物）依然可以很是利便。
Unipig 的自界说代码根基上就是 Unipig 编码形式的 execute_L2_tx()，你也可以称之为 execute_uniswap_tx() ！
问题描写：EVM 中的 EVM
为什么需要 OVM ？
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
