Was ist ein Betrugsnachweis in Optimistic Rollups?

Betrugsnachweise in optimistischen Rollups verstehen

1. Optimistische Rollups basieren auf der Annahme, dass alle an das Layer-2-Netzwerk gesendeten Transaktionen standardmäßig gültig sind. Dieser optimistische Ansatz ermöglicht eine schnellere Verarbeitung und geringere Kosten im Vergleich zur On-Chain-Validierung. Es müssen jedoch Mechanismen vorhanden sein, um böswillige oder fehlerhafte Zustandsübergänge zu erkennen und zu korrigieren.

2. Ein Betrugsnachweis ist ein kryptografischer Mechanismus, der verwendet wird, um eine ungültige Statusaktualisierung anzufechten. Wenn ein Prüfer oder Beobachter eine Diskrepanz zwischen dem vorgeschlagenen Zustand und dem, was auf der Grundlage der Transaktionsdaten hätte geschehen sollen, feststellt, kann er einen Betrugsnachweis an die Layer-1-Blockchain übermitteln.

3. Der Betrugsnachweis umfasst spezifische Daten wie die falsche Statuswurzel, die Anzahl der beteiligten Transaktionen und eine Schritt-für-Schritt-Berechnungsverfolgung, die zeigt, wo der Fehler aufgetreten ist. Dieser Trace ermöglicht es der Mainchain, nur den umstrittenen Teil der Berechnung erneut auszuführen, wodurch der Overhead minimiert wird.

4. Sobald ein Betrugsnachweis eingereicht wurde, überprüft der Layer-1-Vertrag ihn, indem er die relevante Transaktion mithilfe der bereitgestellten Ausführungsverfolgung wiederholt. Wenn der Beweis bestätigt, dass der Zustandsübergang tatsächlich ungültig war, wird das Rollup auf den letzten korrekten Zustand zurückgesetzt und der böswillige Akteur, der den fehlerhaften Stapel übermittelt hat, wird bestraft.

5. Das Sicherheitsmodell basiert auf mindestens einem ehrlichen Knoten, der die Kette überwacht. Solange ein Teilnehmer die Gültigkeit von Statusaktualisierungen überprüft und Beweise vorlegen kann, bleibt das System vor betrügerischem Verhalten sicher.

Wie sich Betrugsnachweise von Gültigkeitsnachweisen unterscheiden

1. Im Gegensatz zu Zero-Knowledge-Rollups, die Gültigkeitsnachweise verwenden (z. B. zk-SNARKs), um die Richtigkeit vor der Akzeptanz proaktiv nachzuweisen, verschieben optimistische Rollups die Überprüfung. Sie gehen von Ehrlichkeit aus, bis das Gegenteil bewiesen ist, was den Rechenaufwand beim ersten Posten reduziert.

2. Betrugsnachweise identifizieren Fehler reaktiv , was bedeutet, dass es zu Streitigkeiten kommt, nachdem ein Block veröffentlicht wurde. Dies führt zu einer Verzögerung, die als Herausforderungszeitraum bezeichnet wird – normalerweise sieben Tage –, in der jeder an einer Charge teilnehmen kann.

3. Gültigkeitsnachweise erfordern komplexe kryptografische Berechnungen für jeden Transaktionsstapel, was die Kosten und die technische Hürde für Betreiber erhöht. Betrugsbeweise vermeiden diese Belastung, es sei denn, es entsteht ein Streit.

4. Der reaktive Charakter von Betrugsnachweisen macht sie für eine dezentrale Beteiligung zugänglicher. Benutzer benötigen keine spezielle Hardware oder umfassende kryptografische Kenntnisse, um Blöcke zu überwachen und herauszufordern.

5. Während Gültigkeitsnachweise sofortige Endgültigkeit bieten, ermöglichen Betrugsnachweise die Geschwindigkeit des Handels mit Dezentralisierung und niedrigeren Betriebskosten, was mit dem Ethos von Ethereum der erlaubnislosen Teilnahme übereinstimmt.

Die Rolle von Beobachtern und Anreizen

1. Beobachter sind Knoten außerhalb der Kette, deren Aufgabe es ist, die von Sequenzern veröffentlichten Statusverpflichtungen kontinuierlich zu überwachen. Diese Entitäten laden Rollup-Daten herunter, berechnen Zustandsübergänge neu und vergleichen die Ergebnisse mit den behaupteten Ergebnissen.

2. Wirtschaftliche Anreize fördern die Beteiligung an der Betrugserkennung. Jeder, der erfolgreich einen verifizierten Betrugsnachweis einreicht, erhält eine Belohnung, die oft durch die Kürzung eines Teils der vom unehrlichen Sequenzierer gestellten Kaution finanziert wird.

3. Um Spam zu verhindern und die Rechenschaftspflicht sicherzustellen, müssen die Herausforderer bei Einleitung eines Rechtsstreits in der Regel Sicherheiten hinterlegen. Ist ihr Anspruch ungültig, verlieren sie diese Anzahlung.

4. Mehrere unabhängige Beobachter erhöhen die Wahrscheinlichkeit, Betrug frühzeitig zu erkennen. Selbst wenn die meisten Akteure zusammenarbeiten oder offline gehen, reicht ein einziger ehrlicher Teilnehmer aus, um die Sicherheit aufrechtzuerhalten.

5. Projekte implementieren Anreizschichten oder integrieren Dienste von Drittanbietern wie dezentrale Watchdog-Netzwerke, um eine dauerhafte Überwachung der Rollup-Ketten sicherzustellen.

Häufige Fragen zu Betrugsnachweisen

Wenn kein Teilnehmer innerhalb des Challenge-Fensters einen Betrugsnachweis einreicht, wird der Stapel auf Ebene 1 abgeschlossen. Dies unterstreicht die Notwendigkeit einer aktiven Überwachung. Ohne mindestens einen ehrlichen und wachsamen Beobachter besteht die Gefahr, dass das System ungültige Zustände akzeptiert.

Können Betrugsnachweise gefälscht oder missbraucht werden?

Betrugsnachweise werden einer strengen On-Chain-Verifizierung unterzogen. Ein falscher oder fehlerhafter Beweis schlägt bei der erneuten Ausführung fehl und führt dazu, dass der Herausforderer seine Bindung verliert. Dieser wirtschaftliche Negativanreiz schreckt leichtfertige oder böswillige Herausforderungen ab.

Warum kommt es bei Optimistic Rollups zu Auszahlungsverzögerungen?

Auszahlungen werden verzögert, um Zeit für die Vorlage von Betrugsnachweisen zu haben. Wenn ein Benutzer eine Auszahlung initiiert, bleibt das Geld während des Anfechtungszeitraums gesperrt, sodass es eingefroren oder rückgängig gemacht werden kann, wenn ein Betrug festgestellt wird.

Sind für jede Transaktion Betrugsnachweise erforderlich?

Nein. Betrugsnachweise werden nur erstellt, wenn eine Diskrepanz festgestellt wird. Die meisten Transaktionen laufen ohne Zwischenfälle ab und das System funktioniert unter der Annahme der Gültigkeit reibungslos, sofern es nicht angefochten wird.