欺诈性证明是 Optimistic Rollup 方案采用的一种数据有效性的验证方式。在 Layer2 同步数据给以太坊主网的过程中，如果有人认为被同步的数据不正确（即存在欺诈行为），便可在挑战期内发出挑战，然后通过 Layer1 智能合约计算并裁决出谁是欺诈者，再作出处罚。
目前，欺诈性证明可分为单轮交互型和多轮交互型两种。
单轮交互型
单轮交互型指在 Layer1 上重放一遍有争议的交易，检测是否存在无效状态后进行提交。
例如，Alice 作为验证人将 Rollup 压缩后的数据同步到 Layer1，同时质押保证金。如果 Bob 对该数据存在争议，则需在窗口期内发起挑战且同样质押保证金。Rollup 协议将会在 Layer1 上重新计算该区块中交易来判定对错。错误方的保证金将被罚没，正确方将获得奖励。
不过，由于链上计算成本较高，如果需要重新计算的交易过多，可能还会受到 Layer1 区块大小的限制。
多轮交互型
在多轮交互型证明中，当 Bob 对 Alice 同步的数据提出争议后，Alice 需将争议范围二等分，然后由 Bob 选择继续挑战的那段范围，再由 Alice 将争议范围二等分……如此循环，直至将争议范围缩减到一个具体的步骤，最后交由 Layer1 智能合约进行计算和判定。
因此，相比单轮交互型，多轮交互型能以更低的成本来解决争议，也更容易支持复杂的智能合约和处理更高要求的争议。
不过，随着交互次数的增加，它的争议窗口期也会更长一些。