Layer 2 Netzwerke existieren, um Blockchain-Transaktionen schnell und günstig zu machen. Sie erreichen dies, indem sie die rechenintensive Arbeit vom Hauptnetzwerk von Ethereum wegverlagern. Sie verarbeiten tausende von Transaktionen in ihrer eigenen isolierten Umgebung und senden dann die endgültigen Ergebnisse zurück an die Hauptkette zur permanenten Speicherung.

Das wirft eine grundlegende Sicherheitsfrage auf. Wie weiß das Hauptnetzwerk von Ethereum, dass die Ergebnisse korrekt sind? Die Hauptkette führt nicht jede einzelne Transaktion erneut aus, um die Berechnungen zu überprüfen. Wenn sie das tun würde, würde der gesamte Kostenvorteil eines Layer 2 verschwinden.

Stattdessen verlässt sich das Netzwerk auf eine Annahme. Es geht davon aus, dass die Computer, die die Layer 2-Transaktionen verarbeiten, die Wahrheit sagen. Deshalb werden diese Systeme "optimistische" Rollups genannt. Sie arbeiten nach einem Ehrenkodex. Aber ein multi-milliarden Dollar Finanznetzwerk kann nicht nur auf blindem Vertrauen basieren. Diese Optimismus erfordert ein strenges, kompromissloses Sicherheitsnetz. Dieses Sicherheitsnetz ist der Betrugsnachweis.

II. Die Restaurant-Bar-Rechnung-Analogie

Denke an ein optimistisches Rollup als an ein geschäftiges Restaurant mit einer großen Gruppe von Menschen, die Getränke bestellen.

Die Haupt-Ethereum-Blockchain ist die Bank. Das Layer 2-Netzwerk ist der Kellner. Anstatt eine Kreditkarte zu zücken und für jedes einzelne Getränk eine Bankgebühr zu zahlen, führt der Kellner einfach eine laufende Rechnung auf einem Stück Papier. Das spart allen Zeit und Geld.

Am Ende der Nacht übergibt der Kellner die Endsumme an die Bank. Die Bank überprüft nicht jede einzelne Getränkebestellung auf dem Beleg. Die Bank verarbeitet einfach die Endsumme und zieht das Geld von den Kunden ab. Sie handelt optimistisch. Sie geht davon aus, dass der Kellner die Rechnung korrekt berechnet hat.

Es gibt jedoch einen Haken. Die Bank räumt die Mittel nicht sofort ein. Der Beleg hängt eine volle Woche lang an einem öffentlichen schwarzen Brett. Während dieser Woche kann jeder die Mathematik überprüfen.

Wenn ein Kunde das Brett betrachtet und sieht, dass er für ein teures Getränk berechnet wurde, das er nie bestellt hat, kann er die Hand heben und auf den spezifischen Fehler hinweisen. Die Bank tritt dann als oberster Richter ein. Die Bank überprüft diese eine spezifische Getränkebestellung. Wenn die Bank feststellt, dass der Kellner gelogen hat, entlässt die Bank den Kellner. Die Bank zieht auch Geld aus dem Gehalt des Kellners ab und gibt es dem Kunden als Belohnung für das Auffinden der Lüge. Der gefälschte Beleg wird in den Müll geworfen, und ein neuer, korrekter Beleg wird geschrieben.

Wenn sich nach einer vollen Woche niemand beschwert, geht die Bank davon aus, dass die Mathematik perfekt ist. Die Mittel werden dauerhaft freigegeben, und die Transaktion wird abgeschlossen.

III. Die mechanische Realität des Optimismus

In einer echten Blockchain-Umgebung ist der Kellner ein spezialisierter Computer, der Sequencer genannt wird. Der Sequencer hat eine sehr spezifische Aufgabe. Er sammelt Tausende von Benutzertransaktionen, ordnet sie in einer bestimmten Reihenfolge und berechnet den neuen Zustand des Netzwerks. Der "Zustand" ist einfach das aktuelle Ledger, wer welche Token besitzt.

Alle paar Minuten nimmt der Sequencer alle Transaktionsdaten und komprimiert sie. Er postet diese komprimierten Daten in einen Smart Contract auf der Haupt-Ethereum-Kette. Zusammen mit den Daten postet der Sequencer einen "Staatsstamm." Ein Staatsstamm ist eine winzige mathematische Zusammenfassung der endgültigen Salden, nachdem alle Transaktionen verarbeitet wurden.

Die Haupt-Ethereum-Kette akzeptiert diesen Staatsstamm blind. Sie speichert die Daten, führt jedoch nicht die Berechnungen aus, um zu überprüfen, ob der Staatsstamm wahr ist. Diese absichtliche Unwissenheit ist das Geheimnis des Skalierens. Berechnungen auf Ethereum sind unglaublich teuer. Datenspeicherung ist relativ günstig. Indem die Berechnung übersprungen wird, spart das Netzwerk Millionen von Dollar an Gasgebühren für seine Nutzer.

IV. Die Rolle des Verifiers

Wenn Ethereum die Mathematik nicht überprüft, muss jemand anderes das tun. Diese Verantwortung fällt auf unabhängige Netzwerkteilnehmer, die Computer betreiben, die Verifier genannt werden.

Verifiers sind die Aufpasser des Ökosystems. Sie laden ständig die komprimierten Transaktionsdaten herunter, die der Sequencer auf der Hauptkette postet. Die Verifiers führen dann die genau gleichen Berechnungen wie der Sequencer auf ihrer eigenen lokalen Hardware durch. Da sie die Daten auf ihren eigenen Maschinen ausführen, müssen sie keine Ethereum-Gasgebühren zahlen, um die Mathematik zu machen.

Der Verifier berechnet seinen eigenen Staatsstamm und vergleicht ihn mit dem Staatsstamm, den der Sequencer auf der Hauptkette veröffentlicht hat.

Unter normalen Bedingungen stimmen die Antworten perfekt überein. Der Sequencer ist ehrlich, der Verifier stimmt zu, und das System läuft reibungslos. Aber wenn ein böswilliger Sequencer versucht, Mittel zu stehlen und einen gefälschten Staatsstamm veröffentlicht, erhält der Verifier eine andere Antwort. Der Verifier hat eine Diskrepanz gefunden. Der Verifier muss jetzt den Betrugsnachweismechanismus auslösen, um den Diebstahl zu stoppen.

V. Der Schritt-für-Schritt-Herausforderungsfluss

Wenn ein Verifier eine Lüge entdeckt, kann er Ethereum nicht einfach mitteilen, dass der Sequencer falsch ist. Er muss es mathematisch beweisen durch einen hochstrukturierten Streitbeilegungsprozess.

1. Die Auseinandersetzung: Der Verifier reicht eine formelle Herausforderung an den Rollup-Smart Contract auf der Haupt-Ethereum-Kette ein.

2. Der finanzielle Einsatz: Reden ist billig, also erfordert das System Sicherheiten. Sowohl der Sequencer als auch der Verifier müssen eine große Menge Ethereum hinterlegen. Dies verhindert, dass böswillige Akteure das Netzwerk mit gefälschten Herausforderungen überfluten, nur um Verzögerungen zu verursachen. Du musst dein eigenes Geld auf die Linie setzen, um an einer Auseinandersetzung teilzunehmen.

3. Das Verhörspiel: Die Haupt-Ethereum-Kette kann nicht den gesamten Block von Tausenden von Transaktionen erneut ablaufen. Es würde zu viel Gas kosten. Stattdessen zwingt der Smart Contract den Sequencer und den Verifier, ein mathematisches Spiel mit zwanzig Fragen zu spielen. Dies wird als interaktives Bisection-Protokoll bezeichnet.

4. Der Eingrenzungsprozess: Der Smart Contract bittet beide Parteien, ihre Mathematik am genau halbierten Punkt des Transaktionsblocks zu vergleichen. Wenn ihre Antworten am Halbzeitpunkt übereinstimmen, muss der Fehler in der zweiten Hälfte liegen. Der Vertrag teilt dann die verbleibende Hälfte erneut. Er wiederholt diese Teilung immer wieder. Innerhalb weniger Schritte wird ein Block von zehntausend Transaktionen auf eine einzige, isolierte Computeranweisung eingegrenzt, bei der die beiden Parteien uneinig sind.

5. Der oberste Richter: Sobald der Streit auf eine einzige Anweisung eingegrenzt ist, tritt die Haupt-Ethereum-Kette ein. Das Ethereum-Netzwerk führt diese eine spezifische Anweisung on-chain aus. Da es nur einen winzigen Codeabschnitt ausführt, sind die Gaskosten praktisch null.

6. Die Strafe: Die Ethereum-Ausführung offenbart die wahre mathematische Antwort. Der Smart Contract vergleicht diese wahre Antwort mit den Ansprüchen des Sequenzers und des Verifiers. Die Partei, die gelogen hat, verliert ihr hinterlegtes Ethereum. Diese finanzielle Bestrafung nennt man Slashing.

7. Die Lösung: Ein Teil der geschlachten Mittel wird der ehrlichen Partei als finanzielle Belohnung gegeben. Der gefälschte Staatsstamm wird dauerhaft aus dem Protokoll gelöscht. Das Rollup-Netzwerk stellt den Zustand auf den letzten bekannten ehrlichen Zustand zurück und setzt den normalen Betrieb fort.

VI. Die Zeitverzögerung Handelskompromiss

Das Betrugsnachweissystem ist brillant, bringt aber ein massives Usability-Problem mit sich. Es erfordert Zeit.

Da das Netzwerk auf unabhängige Aufpasser angewiesen ist, um Betrug zu erkennen, muss es diesen Aufpassern genügend Zeit geben, um die Daten herunterzuladen, die Mathematik auszuführen und eine Herausforderung einzureichen. Wenn das Netzwerk Transaktionen sofort abschließen würde, könnte ein böswilliger Sequencer Mittel stehlen, bevor die Verifizierer überhaupt die Chance haben, die Zahlen zu überprüfen.

Deshalb erzwingen optimistische Rollups ein verpflichtendes Herausforderungsfenster. Die meisten großen Netzwerke, wie Arbitrum und Optimism, verwenden eine sieben Tage lange Wartezeit.

Wenn du Geld in ein optimistisches Rollup einzahlst, ist die Übertragung sofort. Wenn du innerhalb der Rollup-Umgebung handelst oder Token sendest, fühlt sich die Ausführung sofort an. Aber wenn du deine Mittel vom Layer 2-Netzwerk zurück zur Haupt-Ethereum-Kette abheben möchtest, stößt du auf eine Wand. Du musst sieben Tage warten.

Der Haupt-Ethereum-Smart Contract weigert sich einfach, deine Mittel freizugeben, bis das Herausforderungsfenster abgelaufen ist. Sobald die sieben Tage vergehen, ohne dass ein Verifier einen Betrugsnachweis einreicht, wird der Staatsstamm als dauerhaft gültig betrachtet, und deine Abhebung wird genehmigt. Diese erhebliche Reibung ist eine direkte und unvermeidbare Folge des optimistischen Sicherheitsmodells.

VII. Die Drittanbieter-Brückenlösung

Eine volle Woche zu warten, um auf dein eigenes Geld zuzugreifen, ist eine schreckliche Benutzererfahrung. Der freie Markt hat dieses Problem schnell erkannt und eine Lösung geschaffen. Das führte zur massiven Industrie der schnellen Cross-Chain-Brücken.

Unabhängige Liquiditätsanbieter haben spezielle Smart Contracts erstellt, um die Wartezeit zu umgehen. Wenn du ein Ethereum von Arbitrum zur Hauptkette abheben möchtest, verwendest du nicht die offizielle Abhebebrücke. Stattdessen sendest du dein Arbitrum-Ethereum an einen schnellen Brückenanbieter.

Der schnelle Brückenanbieter gibt dir sofort ein Ethereum auf der Hauptkette, abzüglich einer kleinen Servicegebühr. Der Anbieter nimmt dein Arbitrum-Ethereum und wartet selbst die sieben Tage.

Sie sind bereit, dieses Risiko einzugehen, weil sie ihre eigenen Verifier-Knoten betreiben. Wenn du um eine schnelle Abhebung bittest, überprüfen ihre Computer sofort die Mathematik im Arbitrum-Netzwerk. Da sie die Mathematik lokal überprüfen, wissen sie mit absoluter Sicherheit, dass die Transaktion legitim ist und dass die Mittel letztendlich freigegeben werden. Sie verwenden ihr eigenes Kapital, um dir sofortige Liquidität bereitzustellen, und sie erheben die Servicegebühr als Gewinn. Dies löst die Verzögerung der Benutzererfahrung, ohne die zugrunde liegende Sicherheitsarchitektur des Rollups zu brechen.

VIII. FIN

Um wirklich zu verstehen, wie optimistische Rollups funktionieren, musst du aufhören, die Sicherheit von Blockchains rein als kryptografische Wände zu betrachten und anfangen, sie als ein wirtschaftliches Anreizspiel zu sehen.

• Das Netzwerk geht standardmäßig von Unschuld aus, um die Transaktionsgeschwindigkeit zu maximieren und unnötige Berechnungskosten zu eliminieren.

• Das Netzwerk verlässt sich stark auf finanzielle Belohnungen, um unabhängige Akteure zu ermutigen, als unermüdliche Aufpasser zu agieren.

• Das Netzwerk beschränkt die Rolle der Haupt-Ethereum-Blockchain strikt und nutzt sie nur als letzten Richter für hochspezifische Streitigkeiten.

Optimistische Rollups verhindern Betrug nicht, indem sie mathematisch unmöglich gemacht werden. Sie verhindern Betrug, indem sie es finanziell ruinös machen, es zu versuchen, und hochprofitabel, es aufzudecken.