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