争议游戏

本文介绍了Fault Dispute Game (FDG) 的机制，这是一种通过迭代二分执行轨迹来验证根声明有效性的争议解决游戏。参与者通过提出声明来缩小执行轨迹，直至争议点为单个状态转换。游戏依靠虚拟机（VM）来验证声明的有效性，并最终通过对声明的争议情况来确定胜者。文章还涉及了参与者、移动类型、游戏时钟和最终的解决方案等关键概念。

本文档定义了争议游戏（Dispute Game）的接口，争议游戏用于在乐观rollup中，当对layer2状态的声明产生争议时，由多方参与进行仲裁。文档详细描述了DisputeGameFactory和DisputeGame两个核心接口，以及相关的类型定义，为不同证明系统（如欺诈证明、有效性证明、认证证明）的实现提供了灵活性。

Kailua 是一种用于乐观 Rollup 的混合争议游戏，它通过自适应争议截止点和无需超时响应的挑战机制，实现了快速的最终确定性，同时抵抗审查和拥堵攻击。即使在 L1 拥堵期间，也能保持安全性，并为高 TVL 的链提供配置选项，以满足不同的安全需求。