Autor: @yyy

Coinbase kündigte an, in den Markt einzusteigen und einen L2 auf Basis des OP-Stacks zu bauen – @BuildOnBase. Die Stimmung „Bullish on Optimism“ wurde erneut entfacht. Bei dieser Gelegenheit wird dieser Tweet über die Herausforderungsphase des Optimismus sprechen.

Wie wir alle wissen, erfordert die Auszahlung der Second-Layer-Gelder von Optimism an das Ethereum-Hauptnetzwerk eine siebentägige Anfechtungsfrist.

Warum also genau 7 Tage? 3 Tage? Nicht 5 Tage?

Bevor wir diese Frage beantworten, wollen wir zunächst verstehen, warum eine Herausforderungsfrist erforderlich ist.

Rollups verbessern die Leistung des Ethereum-Mainnets, indem sie die Ausführungsschicht von Ethereum entkoppeln. Dies bedeutet, dass Transaktionen auf der zweiten Schicht ausgeführt werden. Um jedoch die Sicherheit des Ethereum-Hauptnetzwerks zu übernehmen, müssen auf der zweiten Schicht stattfindende Transaktionen im Hauptnetzwerk überprüft werden.

Einfach ausgedrückt muss das Ethereum-Mainnet bestätigen, dass die vom Sequenzer übermittelte Transaktion tatsächlich auf der zweiten Ebene stattgefunden hat, d. h. die Gültigkeit der Transaktion.

Rollup wird aufgrund unterschiedlicher Methoden zur Überprüfung der Transaktionsgültigkeit in zk-Rollup und Optimistic Rollup unterteilt.

Verifizierungsmethoden werden hauptsächlich in zwei Kategorien eingeteilt: Zero-Knowledge-Proof und Fraud Proof. Durch den Zero-Knowledge-Proof-Mechanismus sind Transaktionen nahezu augenblicklich endgültig.

Bei ORUs, die auf Betrugsnachweisen basieren, hängt die Endgültigkeit der Transaktion von der Länge des Herausforderungszeitraums ab, was erklärt, warum es 7 Tage dauert, bis Optimism-Gelder von der zweiten Schicht zum Hauptnetzwerk abgebucht werden.

Beim ORU-Mechanismus ist es optimistisch, dass alle vom Sequenzer übermittelten Rollup-Transaktionen gültig sind. Während des Anfechtungszeitraums kann der Verifizierer dann einen Betrugsnachweis einleiten, wenn er eine ungültige Transaktion feststellt.

Wenn nach Ablauf des Anfechtungszeitraums niemand Einwände erhebt, gilt die Transaktion standardmäßig als gültig und ist zu diesem Zeitpunkt endgültig.

Aber dauert die Challenge-Phase wirklich sieben Tage? Vereinfachen wir zunächst den gesamten Challenge-Prozess: Der Verifizierer entdeckt eine ungültige Transaktion, indem er die Statuswurzel rekonstruiert, und stellt dann einen Betrugsnachweis aus. Diese Reihe von Aktionen braucht Zeit, was bedeutet, dass der Challenge-Zeitraum nicht 0 sein darf.

Wir gehen davon aus, dass der obige Herausforderungsprozess sehr schnell ist und 10 Blöcke (ca. 2 Minuten) benötigt.

Natürlich ist eine so schnelle Reaktion nicht möglich. Wenn wir also die Zeit um das Zehnfache auf 100 Blöcke (ca. 20 Minuten) verlangsamen, ist diese Zeit viel kürzer als 50.400 Blöcke (7 Tage).

Die obige Diskussion basiert auf der idealsten Situation: Was passiert, wenn jemand im Netzwerk Böses tut? Wie lange dauert es, Übeltäter zu entdecken?

Oder anders gefragt: Wie lange muss die Challenge-Periode zumindest verlängert werden, um böses Verhalten zu verhindern? Das schlechte Verhalten besteht hier darin, zu verhindern, dass Validatoren betrügerische Beweise erhalten, indem über einen bestimmten Zeitraum hinweg eine große Anzahl von Transaktionen veröffentlicht wird, um Gas zu erhöhen.

Hier gehen wir von einer anderen Annahme aus und gehen davon aus, dass bei Optimism ein Risiko von 2 Milliarden US-Dollar besteht und der Täter bereit ist, 1 Million US-Dollar an Gas-Trinkgeldern (Vorranggebühren) pro Block auszugeben, um „Front-Run“-Transaktionen durchzuführen, die enthalten Betrugsbeweise.

Dann beträgt die maximale Zeit, in der das Netzwerk „gekapert“ werden kann, 2000 Blöcke (6,67 Stunden). Natürlich basieren die vorherigen Beispiele auf einigen sehr einfachen und groben Annahmen.

Es scheint, dass der Herausforderungszeitraum, egal wie man es betrachtet, nicht unbedingt sieben Tage betragen muss. Es ist schwierig, den nichtlinearen Zusammenhang zwischen der Länge des Herausforderungszeitraums und der Sicherheit zu verstehen.

Vielleicht ist 7 eine sehr bedeutungsvolle Zahl für den Gründer des Optimismus, so wie jeder vermutete, dass Satoshi Nakamoto während des 4-Jahres-Halbierungszyklus von Bitcoin ein Fußballbegeisterter war.

Kann also der Herausforderungszeitraum für ORUs auf 3–5 Tage verkürzt werden, ohne die Sicherheit zu beeinträchtigen? Ja, aber es ist nicht sehr für die Benutzererfahrung optimiert.

Wie wäre es mit einer Verkürzung des Challenge-Zeitraums auf 1-2 Tage? Es scheint, dass es sinnvoll sein kann, das Benutzererlebnis effektiv zu optimieren.

@0xMantle, ein von BitDAO inkubiertes ORU, kann den Herausforderungszeitraum auf 1-2 Tage verkürzen. Die Optimierungslogik des Challenge-Zeitraums basiert auf dem MPC-Schema.

Vereinfacht ausgedrückt übermittelt der Sequenzer den Transaktionsstapel nicht direkt an Ethereum, sondern übermittelt ihn zunächst an das MPC-Netzwerk, das von den MPC-Knoten gemeinsam signiert wird. Nach der Bestätigung, dass die Transaktion gültig ist, wird sie an Ethereum übermittelt.

Die Kernunterschiede sind also:

Optimism übermittelt den Batch mit der Statuswurzel als Ausführungsergebnis an Ethereum;

Mantle übermittelt Batches, die von MPC-Knoten gemeinsam signierte Zustandswurzeln enthalten, als Ausführungsergebnisse an Ethereum.

Der Zweck besteht darin, das Vertrauensrisiko von Rollup-Ausführungsergebnissen zu verringern.

Letztendlich handelt es sich bei der MPC-Verifizierung jedoch immer noch um eine Off-Chain-Verifizierungslösung, die besser als nichts ist und den Benutzern zusätzlichen psychologischen Komfort bietet.

Um eine unangemessene Metapher zu verwenden: Das MPC-Verifizierungsschema ähnelt einem dezentralen ZK-Schema. Die Sicherheit des ersteren basiert auf wirtschaftlichen Annahmen, während das letztere auf kryptografischer Verifizierung basiert.

Im Folgenden finden Sie einige Gedanken und Diskussionen zum Herausforderungszeitraum von ORUs. Sie sind nicht sehr logisch und sollten als Vorschläge verwendet werden. Übrigens freue ich mich immer noch darauf, in Zukunft ORUs (Time-Sharing-Levels) mit deutlich verkürzten Challenge-Zeiträumen zu sehen.