Dispute Resolution Games

Dispute resolution games are structured protocols that determine the winner of a conflict between a sequencer and a challenger in an optimistic rollup. The game proceeds through a series of steps where both parties provide evidence or re-execute specific parts of the computation to isolate the exact point of disagreement.

This systematic approach ensures that the dispute can be settled on-chain without requiring the entire history of the batch to be re-run. By breaking down complex computations into binary search-like steps, these games minimize the gas cost required to resolve disagreements and maintain protocol security.