本文是Tokamak Network发布的OP Stack Fault Proof系列文章的第二篇，主要介绍了Optimism的FPVM——Cannon的故障证明系统。Cannon通过链下执行和链上验证来确保Layer2状态转换的完整性，文章详细讲解了Cannon的组件及其相互作用，包括MIPS.sol、MIPSEVM、PreimageOracle等，并阐述了它们在争议解决中的作用。
本文是Tokamak Network关于OP Stack故障证明系列的第三篇文章，主要介绍了Optimism的Fault Dispute Game (FDG)，探讨了如何使用链上（MIPS.sol）和链下（MIPSEVM）组件解决Layer 2状态纠纷。文章还详细阐述了FDG中的提议者、挑战者的角色，PreimageOracle的数据管理，以及确保完整性和安全性的激励结构，并对二分博弈进行了说明。
aaronlee94