欺诈证明
乐观 rollup 的安全机制：默认新状态有效，任何人可在挑战期内提交欺诈证明证明错误状态，成功则罚没作恶者质押。代价是提款要等约 7 天挑战期。链上资金安全依赖是否有人持续监控——这是乐观 rollup 的信任假设。
欺诈证明（fraud proof）是乐观 Rollup 的纠错机制：任何人发现无效批次，可在挑战期内提交证据指出作弊交易，L1 合约重放裁定——成功挑战者获奖金，作弊者被罚。
隐含假设
安全依赖「至少一个诚实且在线的挑战者」。挑战者节点稀疏（多数用户不跑验证节点）是这个模型的公认软肋——项目方以自营验证+白帽赏金弥补，去中心化程度是持续议题。见乐观 Rollup。