Glossary
Fraud Proof
Eine Anfechtung am L1-Contract eines Optimistic Rollups, die einen strittigen Zustandsübergang neu ausführt, um seine Ungültigkeit zu beweisen, den Batch rückgängig macht und den Proposer slasht.
Ein Fraud-Proof hält einen Optimistic Rollup ehrlich. Da der L1-Contract den geposteten Zustand standardmäßig als gültig annimmt, hängt die Sicherheit davon ab, dass jeder Beobachter einen fehlerhaften Batch während des Challenge-Fensters anfechten kann. Der Proof führt den strittigen Zustandsübergang auf L1 erneut aus — oder grenzt ihn interaktiv auf einen einzelnen strittigen Schritt ein — und weicht das Ergebnis von dem ab, was der Sequencer behauptet hat, wird der Batch rückgängig gemacht und das Pfand des Proposers geslasht.
Das ist die Vertrauensannahme, die Optimistic Rollups funktionieren lässt: Nicht jeder muss jeden Block verifizieren, sondern nur mindestens eine ehrliche Partei muss zusehen und bereit sein, einen Proof einzureichen. Verfahren teilen sich in einrundige (nicht-interaktive) und mehrrundige interaktive Designs wie das von Arbitrum.