Ein Betrugsnachweis ist ein kryptografischer Mechanismus, der in optimistischen Rollup-Blockchain-Skalierungslösungen verwendet wird und es jedem Beobachter ermöglicht, eine betrügerische Zustandsübergangsbehauptung eines Betreibers oder Sequenzers anzufechten und zu widerlegen. Optimistische Rollups (wie Arbitrum und Optimism) gehen davon aus, dass alle Transaktionen gültig sind („optimistisch“) und veröffentlichen komprimierte Transaktionsdaten auf Ethereum, ohne jedes Ergebnis sofort zu berechnen. Reicht ein Betreiber einen betrügerischen Zustandsstamm ein – und behauptet damit falsche Kontostände oder Transaktionsergebnisse –, kann jeder aufmerksame Teilnehmer innerhalb eines Anfechtungsfensters (typischerweise 7 Tage) einen Betrugsnachweis einreichen und die minimale On-Chain-Berechnung bereitstellen, die zum Nachweis des Betrugs erforderlich ist. Ist der Betrugsnachweis gültig, wird der falsche Zustandsstamm zurückgewiesen, die Sicherheitsleistung des betrügerischen Betreibers reduziert und der ehrliche Beweisführer erhält eine Belohnung. Betrugsnachweise sind für die Sicherheit optimistischer Rollups unerlässlich. Sie unterscheiden sich von Gültigkeitsnachweisen (ZK-Beweisen), die von ZK-Rollups verwendet werden und die Korrektheit im Voraus beweisen, anstatt sich auf eine nachträgliche Betrugserkennung zu verlassen.
Herkunft & Geschichte
| Datum | Event |
| 2019 | Das Plasma-Framework (vorgeschlagen 2017) führt Betrugsnachweise als zentralen Ausstiegsmechanismus ein. |
| 2019 | Das Konzept des optimistischen Rollups wurde von den Ethereum-Forschern John Adler und Mikerah Quintyne-Collins formalisiert. |
| 2019-2020 | Arbitrum und Optimismus beginnen die Entwicklung mit betrugssicheren/optimistischen Rollup-Architekturen. |
| August 2021 | Arbitrum One startet im Ethereum-Mainnet mit Betrugsschutz. |
| Dezember 2021 | Optimismus startet das Mainnet; Betrugsschutzsystem anfänglich eingeschränkt; entwickelt sich in den folgenden Jahren weiter |
| 2023 | Arbitrum kündigt das interaktive Betrugsnachweisprotokoll BOLD an; Testphase beginnt |
| 2023 | Optimism setzt das fehlersichere Cannon-System im Testnetz ein; der Start im Hauptnetz erfolgt im Juni 2024. |
| 2024 | Betrugsnachweise sind sowohl auf Arbitrum als auch auf Optimism vollständig erlaubnisfrei möglich; die Sicherheit der Schicht 2 verbessert sich deutlich. |
„Betrugsnachweise sind das Immunsystem optimistischer Rollups – sie setzen korrektes Verhalten voraus, sehen aber eine mathematische Strafe für Lügen vor.“
Funktionsweise
| Funktion | Betrugssicherheit (optimistisch) | Gültigkeitsnachweis (ZK-Rollup) |
| Korrektes Timing | Post-hoc (7-Tage-Fenster) | Sofort (Nachweis mit der Charge eingereicht) |
| On-Chain-Kosten | Niedrig (nur bei Betrug) | Höher (Nachweisprüfung bei jeder Charge) |
| Endgültigkeit | 7 Tage für L1-Rückzahlungen | Fast augenblicklich |
| Sicherheitsübernahme | Mindestens 1 ehrlicher Prüfer | ZK-Mathematik |
| Rechenaufwand | Minimal normalerweise | Hochbeweis-Generation |
| Beispiele | Arbitrum, Optimismus | zkSync, StarkNet |
Einfach ausgedrückt
- Annehmen, dass es gültig ist, beweisen, dass es ungültig istOptimistische Rollups gehen davon aus, dass jeder Transaktionsstapel gültig ist, ermöglichen es aber jedem, während eines Überprüfungszeitraums Betrug nachzuweisen.
- Die HerausforderungWird ein betrügerischer Status gemeldet, kann jeder Beobachter einen Betrugsnachweis vorlegen – eine mathematische Argumentation, die genau aufzeigt, wo der Melder gelogen hat.
- Interaktive SpieleModerne Betrugsnachweise nutzen „interaktive Streitspiele“, bei denen der Betrug auf einen einzigen Rechenschritt eingegrenzt wird, wodurch die Kosten der On-Chain-Verifizierung minimiert werden.
- IncentivesDer betrügerische Teilnehmer verliert seine Kaution; der ehrliche Teilnehmer erhält eine Belohnung – dadurch werden starke finanzielle Anreize für ehrliches Verhalten und wachsame Überwachung geschaffen.
- 7-tägige Verzögerung: Das Challenge-Fenster (in der Regel 7 Tage) ist der Grund, warum Auszahlungen von Arbitrum und Optimism auf Ethereum 7 Tage dauern, es sei denn, es werden Bridges verwendet.
Beispiele aus der Praxis
| Szenario | Umsetzung | Ergebnis |
| Arbitrum Betrugsnachweis | Der Verifizierer erkennt einen fehlerhaften Status-Root im Arbitrum-Batch und übermittelt einen Betrugsnachweis mithilfe des interaktiven BOLD-Protokolls. | Betrügerischer Staat abgewiesen; Betreiber bestraft; ehrlicher Prüfer belohnt |
| Optimismus-Kanone | Optimisms Cannon-System zur Betrugsprävention akzeptiert Einspruch gegen umstrittene OP-Charge | Die interaktive Bisektion reduziert den Streit auf eine einzelne EVM-Anweisung; die Lösung erfolgte in der Blockchain. |
| Nutzerauszahlung | Ein Nutzer möchte ETH von Arbitrum auf Ethereum abheben. | Eine Wartezeit von 7 Tagen (Einspruchsfrist) ist erforderlich, es sei denn, es wird ein beschleunigtes Verfahren genutzt; die Frist für die Betrugsprüfung sichert diese Verzögerung ab. |
Vorteile
| Vorteil | Beschreibung |
| Niedrige Normalkosten | Die On-Chain-Verifizierung erfolgt nur bei tatsächlicher Betrugserkennung, wodurch die regelmäßigen Kosten niedrig bleiben. |
| Ethereum-Sicherheit | Korrekt implementierte Betrugsnachweise erben die volle Sicherheit von Ethereum für L2-Assets. |
| Skalierbarkeit | Optimistische Rollups skalieren Ethereum um das 10- bis 100-Fache und erhalten gleichzeitig die Betrugssicherheit aufrecht. |
| Offene Teilnahme | Jede Organisation kann Betrugsnachweise überwachen und einreichen – erlaubnisfreie Sicherheit |
Nachteile & Risiken
| Nachteil | Beschreibung |
| 7-tägige Widerrufsfrist | Das Einspruchsfenster erfordert eine lange Gültigkeitsdauer für L1-Auszahlungen. |
| Erfordert aktive Überwachung | Die Sicherheit hängt davon ab, dass mindestens ein ehrlicher Prüfer die Kette überwacht. |
| Griefing-Angriffe | Böswillige Anfechtende können ungültige Betrugsnachweise einreichen, um die Rechtskraft zu verzögern. |
| Komplexität | Interaktive Betrugsnachweisprotokolle sind in ihrer korrekten Implementierung äußerst komplex. |
| Brückenrisiko | Schnelle Brücken, die die 7-tägige Verzögerung umgehen, führen zu einem zentralisierten Vertrauen zurück. |
Tipps zum Risikomanagement:
- Bei der Auszahlung großer Beträge aus optimistischen Rollups sollte die native 7-Tage-Bridge für maximale Sicherheit verwendet werden.
- Schnellbrücken (Überquerung, Hüpfbrücke) bieten Komfort, bergen aber Risiken für den Brückenbetreiber.
- Für Entwickler: Deaktivieren Sie Betrugsnachweise niemals in optimistischen Rollup-Bereitstellungen; sie sind der zentrale Sicherheitsmechanismus.
FAQ
F: Worin besteht der Unterschied zwischen einem Betrugsnachweis und einem ZK-Nachweis?
A: Ein ZK-Beweis (Gültigkeitsbeweis) beweist die Korrektheit einer Berechnung vor der Einreichung. Ein Betrugsbeweis beweist im Nachhinein, dass eine eingereichte Berechnung falsch war. Beide gewährleisten die Korrektheit durch unterschiedliche Mechanismen.
F: Warum dauert eine Auszahlung bei Arbitrum 7 Tage?
A: Die 7-tägige Einspruchsfrist dient dem Nachweis von Betrug. Innerhalb dieser Zeit kann jeder den Auszahlungsstatus anfechten. Erfolgt innerhalb von 7 Tagen kein gültiger Einspruch, gelten die Gelder als endgültig ausgezahlt.
F: Wer kann einen Betrugsnachweis einreichen?
A: Auf vollständig erlaubnisfreien Systemen (Arbitrum One, Optimism nach 2024) kann jedes Ethereum-Konto den Rollup überwachen und Betrugsnachweise einreichen. Frühere Versionen beschränkten dies auf Validatoren auf der Whitelist.
F: Was geschieht mit meinem Guthaben, wenn bei einer Zusammenführung von Geldern Betrug festgestellt wird?
A: Der betrügerische Status wurde rückgängig gemacht; Ihr Guthaben bleibt unberührt. Dem Sequenzer/Betreiber, der den Betrug gemeldet hat, wird die Kaution gekürzt, um den entstandenen Schaden auszugleichen.
F: Sind ZK-Rollups sicherer als optimistische Rollups mit Betrugsnachweisen?
A: Keine der beiden Methoden ist grundsätzlich „sicherer“ – beide erreichen gleichwertige Sicherheit. ZK-Rollups beweisen die Gültigkeit im Voraus; optimistische Rollups basieren auf Betrugsnachweisen. ZK-Rollups bieten eine schnellere endgültige Bestätigung; optimistische Rollups haben einen geringeren Rechenaufwand.
Verwandte Begriffe
- Optimistisches Rollup– Layer-2-Skalierungslösung, deren Sicherheit auf Betrugsnachweisen beruht
- ZK-Rollup– Alternative Zusammenfassung unter Verwendung von Gültigkeitsnachweisen anstelle von Betrugsnachweisen
- Herausforderungszeitraum– Die 7-tägige Frist, innerhalb derer Betrugsnachweise eingereicht werden können
- Ablaufsteuerung– Der L2-Operator, der Transaktionsstapel übermittelt und dessen Betrug anhand von Betrugsnachweisen angefochten werden kann.
- Schlichtung– Der führende optimistische Rollup unter Verwendung des interaktiven Betrugsnachweisprotokolls BOLD
