Fraud Proof

Een fraud proof is het handhavingsmechanisme dat het "optimistische" deel van een optimistic rollup veilig maakt om te vertrouwen. Omdat de rollup nieuwe state roots naar Ethereum stuurt zonder vooraf te bewijzen dat ze correct zijn, heeft het netwerk een manier nodig om een liegende sequencer te betrappen en te straffen. Een fraud proof is dat mechanisme: een stuk bewijs, onchain geverifieerd, dat precies laat zien waar het door een operator geclaimde resultaat afwijkt van het juiste resultaat.

In de praktijk gebruiken de meeste moderne systemen een interactieve, ofwel "bisection", fraud proof in plaats van één grote herberekening. Een challenger en de verdedigende operator splitsen een betwiste transactiebatch herhaaldelijk in tweeën, waardoor het meningsverschil stap voor stap wordt versmald tot slechts één rekenkundige instructie ter discussie staat. Die ene stap wordt vervolgens direct op Ethereum herhaald, wat goedkoop genoeg is om te verifiëren maar toch de beveiliging van Ethereum erft. Het BoLD-protocol van Arbitrum, sinds februari 2025 live op mainnet, formaliseerde dit tot een permissionless "all-vs-all"-toernooi met een vaste tijdslimiet, ter vervanging van een eerder systeem dat afhankelijk was van een whitelist van validators.

Als een fraud proof succesvol is, wordt de frauduleuze state root verworpen, de juiste hersteld, en wordt de gestorte borg (bond) van de oneerlijke partij ingehouden, waarbij een deel vaak als beloning naar de challenger gaat. Daarom wachten gebruikers doorgaans een challenge-periode af, meestal ongeveer zeven dagen, voordat ze geld naar Ethereum opnemen: de vertraging geeft eerlijke watchers de tijd om indien nodig een fraud proof in te dienen. Fraud proofs staan in contrast met de validity proofs die door zk-rollups worden gebruikt, die de juistheid wiskundig garanderen op het moment van indienen in plaats van te vertrouwen op een controle achteraf.