本文是Tokamak Network关于OP Stack故障证明系列的第三篇文章,主要介绍了Optimism的Fault Dispute Game (FDG),探讨了如何使用链上(MIPS.sol)和链下(MIPSEVM)组件解决Layer 2状态纠纷。文章还详细阐述了FDG中的提议者、挑战者的角色,PreimageOracle的数据管理,以及确保完整性和安全性的激励结构,并对二分博弈进行了说明。