OVM

在Layer2， Optimistic Rollup通过OVM执行智能合约，并使用“检察”的方式确定Layer2世界状态在Layer1的正确性。Optimistic Rollup的难点也在OVM，需要在EVM的基础上模拟OVM的执行，并判断状态的正确性。目前，Optimistic Rollup的挑战期为7天。也就是说，只有7天前的状态是“确定”的，不会回滚。

本文介绍了Optimistic Virtual Machine (OVM)，它是运行在Optimistic Rollup上的智能合约的执行环境。OVM与以太坊虚拟机（EVM）兼容，通过乐观执行和欺诈证明机制，实现了在Layer 2上进行通用计算，从而扩展以太坊的吞吐量和减少延迟。文章还对比了OVM与EVM、zkEVM的区别，并深入探讨了OVM的工作原理，包括执行和欺诈证明机制。

OVM 的出现代表着以太坊 L2 的飞跃，因为它不同于变着招 使用 以太坊，它就是以太坊本身的进步。

十一月合并冲刺计划出炉；首个 StarkNet Proof 在主网上运行

本文介绍了Optimistic虚拟机（OVM），这是一种设计用于支持所有Layer 2（L2）协议的虚拟机。OVM的通用性来自于将L2重新定义为以太坊之上的“乐观”分叉选择规则，并借鉴了CBC Casper研究。文章详细介绍了如何使用统一语言描述L2，以及如何构建OVM运行时和通用争议合约。