本文是Tokamak Network关于OP Stack故障证明系列的第三篇文章，主要介绍了Optimism的Fault Dispute Game (FDG)，探讨了如何使用链上（MIPS.sol）和链下（MIPSEVM）组件解决Layer 2状态纠纷。文章还详细阐述了FDG中的提议者、挑战者的角色，PreimageOracle的数据管理，以及确保完整性和安全性的激励结构，并对二分博弈进行了说明。
本文介绍了Fault Dispute Game (FDG) 的机制，这是一种通过迭代二分执行轨迹来验证根声明有效性的争议解决游戏。参与者通过提出声明来缩小执行轨迹，直至争议点为单个状态转换。游戏依靠虚拟机（VM）来验证声明的有效性，并最终通过对声明的争议情况来确定胜者。文章还涉及了参与者、移动类型、游戏时钟和最终的解决方案等关键概念。
aaronlee94
ethereum-optimism