Autor: Ac-Core, YBB Capital-Forscher; Übersetzer: Golden Finance xiaozou

Die Haupterzählrichtung der ETH hat sich von L1 zu L2 verschoben. Wenn wir sie auch als die ERC-20-Erzählung der „Ein-Klick-Ausgabe von Token“ interpretieren, können wir das Muster genauso gut etwas erweitern und uns eine verrückte Zukunft vorstellen „One-Click-Ausgabekette“! Arbitrum basiert auf der Tatsache, dass es kein anderer kann! Arbitrum ist mit seinem beispiellosen Ökosystem und seinem hohen TVL führend in der L2-Wettbewerbslandschaft, aber kann dieser vorübergehende Sieg lange anhalten? Im Gegensatz zu Arbitrum Orbit, einer anderen L3-Lösung, ist OP Stack eine „Superkette“, die L2 mit einem Klick erstellen kann. Dieser Artikel besteht aus drei Teilen, um eine umfassende Analyse der Sicherheitsprobleme von OP Stack, ZK-Elementen in OP und Rollup durchzuführen.

1. OP Stack eröffnet die „Superchain-Welt“

Wo beginnt die Erzählung vom nächsten Bullenmarkt? Beginnt es mit Hochleistungs-L1, Netzwerkschicht L3, L2 im ZK-System oder OP Stack Superchain? Das ist eine sehr interessante und zum Nachdenken anregende Frage. Der Titel Ether Killer war schon immer ein unüberwindbares Ziel für alle öffentlichen Ketten, aber darin sind viele Superkernel versteckt, und OP Stack ist einer davon.

(1) Was ist OP Stack?

  • Unter OP Stack versteht man eine Reihe von Open-Source-Softwarekomponenten, die es jedem ermöglichen, mithilfe von Optimisitc Rollup seine eigene L2-Blockchain auf Ethereum aufzubauen. OP Stack besteht aus vier Hauptkomponenten:

  • Mainnet: OP Mainnet ist ein kostengünstiges und schnelles Ethernet-L2-Netzwerk, das mit der Ethereum Virtual Machine EVM kompatibel ist.

  • Vertrag: ein intelligenter Vertrag, der die Kernlogik und -funktionen von OP Stack implementiert. Der OP-Vertrag umfasst das State Transition System (STS); die State Commitment Chain (SCC);

  • Dienste: Dienste, die Datenverfügbarkeit, Synchronisierung und Kommunikation zwischen L1 und L2 bereitstellen.

  • Tools: Tools zur Erleichterung der Entwicklung, des Testens, der Bereitstellung, der Überwachung und des Debuggens von OP-Stack-basierten Blockchains.

(2) Erstklassige Offenheit

OP Stack wird als forkbare, modulare und skalierbare Blockchain-Infrastruktur aufgebaut. Um diese Vision zu verwirklichen, müssen alle Arten von L2 in eine einzige Superchain integriert werden, wobei separate L2 in ein interoperables kombiniertes System integriert werden, und die Veröffentlichung von L2 wird so einfach sein wie die heutige Bereitstellung intelligenter Verträge auf Ethereum. Es kann das Narrativ der „One-Click-Token-Ausgabe“ in das „One-Click-Chain-Issuance“-Narrativ verwandeln. Im Wesentlichen ist Hyperchain ein horizontal skalierbares Blockchain-Netzwerk, das die Sicherheit von Ether sowie eine Kommunikationsschicht und Entwicklungstools teilt.

OP Stack wird der einheitliche modulare Entwicklungsstapel hinter Hyperchain und unzähligen miteinander verbundenen und kommunizierenden Blockchains sein. OP Stack wird vom Optimism Collective entwickelt und gepflegt und unterstützt ein gemeinsames Open-Source-System für neue konvergente Netzwerkbereitstellungen. Gleichzeitig handelt es sich auch um eine Reihe standardisierter Open-Source-Module. Das hört sich so an, als ob Cosmos vollständig auf der Sicherheit von Ethereum basiert, aber jetzt ist der OP Stack zum Cosmos Killer geworden, und die Komplementarität von ETH und ATOM ist weithin bekannt. Schauen wir uns als Nächstes die Definition von OP Stack im Detail an:

Module sind Datenbits, die jeder Entwickler in den OP-Stack einfügen kann. „Standardisierung“ von Superchain bedeutet, dass ein Konsens über den Standard des Moduls besteht und jeder den Standard implementieren kann. Es ist außerdem vollständig Open Source, was bedeutet, dass jeder kostenlos Iterationen entwickeln und Pull-Anfragen senden kann. Entwickler können Module zwischen verschiedenen Ausführungs-, Konsens-, Abrechnungs- und Datenverfügbarkeitsebenen der Kette wechseln.

Genauso wie dYdX beschlossen hat, Ethereum zu verlassen und zur Cosmos-Anwendungskette zu wechseln, liegt der Hauptgrund darin, dass sie einen höheren Grad an Modularität in der Konsensschicht ihrer Kette wünschen, was meiner Meinung nach ein guter Anfang ist, um unabhängigere Dapps zu ermöglichen. Wählen Sie eine unabhängige entwickelte öffentliche Kette, deren berühmteste Luna ist, obwohl sie aus bestimmten Gründen letztendlich scheiterte. Glücklicherweise löst OP Stack dieses Problem, indem es den gespaltenen Code einfacher gestaltet, sodass Entwickler problemlos verschiedene Komponenten der Blockchain extrahieren und durch das Einbinden verschiedener Module ändern können.

(3) OP-Stack-Designprinzip

  • Effizienz: Mit OPStack können Sie alles erstellen und die Blockchain mit nur einem Klick veröffentlichen;

  • Einfachheit: Nutzen Sie wiederverwendbaren Code und Standard-Entwicklungstools, um die Sicherheit zu erhöhen, die Wartungskomplexität zu reduzieren und allgemeine Hindernisse zu verringern.

  • Skalierbarkeit: Optimism Collective wird den Hauptcode von OPStack vollständig als Open Source veröffentlichen.

In Bezug auf die Architektur kann OPStack von unten nach oben in sechs Schichten unterteilt werden, nämlich: DA-Schicht (Datenverfügbarkeit), Sortierschicht, Ableitungsschicht, Ausführungsschicht, Abrechnungsschicht und Governance-Schicht. Jede Schicht des OP Stack ist eine modulare API, die beliebig kombiniert und entkoppelt werden kann. Die kritischsten sind die DA-Schicht, die Ausführungsschicht und die Abwicklungsschicht, die den Hauptarbeitsablauf von OP Stack bilden.

  • DA-Schicht: Die Datenverfügbarkeitsschicht ist die ursprüngliche Datenquelle von OP Stack. Einzelne oder mehrere Datenverfügbarkeitsmodule können verwendet werden, um Eingabedaten zu erhalten. Die wichtigste DA-Schicht ist derzeit Ethereum, aber in Zukunft wird es weitere Ketten geben.

  • Ausführungsschicht: Die Statusstruktur im OP-Stack bietet die Möglichkeit für EVM oder die Verwendung anderer VMs, wodurch Unterstützung für auf Ethereum initiierte L2-Transaktionen hinzugefügt wird und gleichzeitig die Gesamtkosten für die Veröffentlichung von Transaktionen in Ethereum pro Transaktion erhöht werden.

  • Abwicklungsschicht: Diese Schicht sammelt L2-Transaktionsdaten auf dem OP-Stack und sendet die Informationen an die Zielkette, nachdem L2 die Informationen bestätigt hat, um die Abwicklung abzuschließen. Es wird erwartet, dass es in Zukunft auch Zugang zu ZK und anderen Gültigkeitsnachweismechanismen haben wird, um die Lücke zwischen verschiedenen Ketten zu schließen und sogar Siloinseln zwischen OP-System L2 und ZK-System L2 zu verbinden.

Den zahlreichen Projekten mit ZK-Elementen nach zu urteilen, die kürzlich vom OP entdeckt wurden, können wir uns mutig vorstellen, dass es kein Problem ist, wenn ein Optimistic-Rollup in ein ZK-Rollup umgewandelt werden soll. Ersetzen Sie einfach das Betrugsnachweismodul durch das Gültigkeitsnachweismodul der Abwicklungsschicht. Wenn eine Kette Celestia als Datenverfügbarkeitsschicht nutzen möchte, ist das kein Problem! Ersetzen Sie Ethereum durch Celestia. Wenn Sie die EVM in der Ausführungsschicht durch eine andere Art von virtueller Maschine ersetzen möchten, ist dies leider nur mit OP Stack technisch möglich. In diesem Mega-Chain-Szenario wurde ein heißer Trend geboren – „Polygon: Ich möchte der Kosmos von ZK L2 sein! Optimismus: Ich möchte der Kosmos von OP L2 sein! Kosmos: Wer bin ich dann?“

(4) OP-Stack-Gesetz

Der unbegrenzte Blockraum von Ethereum ist ein wichtiger Schritt zur Masseneinführung, bringt aber auch Fragmentierungsprobleme mit sich und die erlaubnislose Bereitstellung schafft neue Herausforderungen. Heutzutage bewegt sich jede neue OP-Stack-Kette in ihrer eigenen Umlaufbahn, ohne dass es eine direkte Möglichkeit gibt, Standards und Verbesserungen auszutauschen. Auch Nutzer und Bauherren stehen vor einer großen Herausforderung: die individuelle Bewertung zahlreicher unterschiedlicher Ketten hinsichtlich Sicherheit, Qualität und Neutralität. Um eine Superchain zu realisieren, muss sich OP Stack von einem unabhängigen, dezentralen Blockraum in ein einheitliches Kettenkollektiv verwandeln, das gemeinsam an einem offenen, dezentralen Blockraum arbeitet. Das Gesetz der Ketten legt die Leitprinzipien für optimistische Governance und Superchain fest. Optimistische Governance geht von der Verwaltung einer einzelnen Kette zu einem gemeinsamen Standard über, der mehrere Ketten regelt. Dadurch werden die Eigenschaften definiert, die für die Zugehörigkeit zu einer Superchain erforderlich sind, wobei der Schutz der Benutzer, die auf der Superchain Transaktionen durchführen, Vorrang hat. Grundsätzlich handelt es sich beim Gesetz der Ketten um einen Gesellschaftsvertrag (keinen Rechtsvertrag), daher ist eine aktive Diskussion in der Gemeinschaft von entscheidender Bedeutung. „Law of Chains wird es Superchain ermöglichen, die folgenden Eigenschaften zu garantieren:

  • Stellen Sie sicher, dass der Blockraum homogen, neutral und offen bleibt: Eine Verpflichtung gegenüber den Gesetzen der Kette ist eine Verpflichtung zum Schutz von Kettenbenutzern, Entwicklern und anderen Interessengruppen. Als Teil einer Superchain können Ketten jeder Größe durch Optimstic Governance unterstützt werden, um die Homogenität, Neutralität und Offenheit ihres Blockraums glaubwürdig zu demonstrieren.

  • Profitieren Sie von kontinuierlichen Verbesserungen: Durch gemeinsame Upgrades hat Hyperlink immer Zugriff auf die beste Technologie, ohne sich selbst um deren Wartung kümmern zu müssen.

  • Bereitstellung einer besseren, besser zugänglichen Infrastruktur: Da alle Ketten in einer Hyperchain zuverlässig einem Standard verpflichtet sind, können sie zusammenarbeiten, um die Verfügbarkeit und Erschwinglichkeit wichtiger Dienste wie Indizierung und Sortierung sicherzustellen.

(5) Kann OP Stack etwas an OP zurückgeben?

Welchen Nutzen haben OP-Token? Wenn sie der Basiskettenmethode folgen und einen Teil des Einkommens an das Optimismus-Kollektiv zurückgeben, dann wird die Einnahmequelle des „Finanzministeriums“ auf seinem eigenen „Wert“ basieren Durch die Schaffung weiterer Erzählungen und die letztendliche Rückmeldung an den Währungspreis ähnelt die Leistungslogik von OP auf dem Sekundärmarkt der von ATOM, aber diese Situation ist derzeit möglicherweise die idealste Situation und wird letztendlich von der Rückmeldung weiterer Ketten profitieren, wenn man Basechain als nimmt ein Beispiel. Dieses Gefühl erinnert uns an UNI, beide haben leistungsstarke Programme, aber der Token selbst hat keinen anderen Wert als Abstimmung und Governance. Im Gegensatz zum zentralisierten Ordnungsproblem, mit dem L2 derzeit konfrontiert ist, liegt der Wert der Ordnungsmacht immer noch bei Rullop-Token, auch wenn L2-Token nur für eine Form der Führungsauswahl (und nicht für Konsensabstimmungen) verwendet werden.

Gleichzeitig veröffentlichte das OP-Team am 25. Juli den Law of Chain-Vorschlag. Alle Ketten, die OP Stack nutzen, initiieren gemeinsame Governance-Modelle und Sequencer, in der Hoffnung, das „Profit-Feedback“-Modell zu standardisieren und mehr Umsatz für das gesamte OP-System zu bringen (wie). oben) Wie im Artikel OP Stack's Law beschrieben, entspricht es dem gemeinsamen Sicherheitsmodell von Cosmos.

(6) Der Unterschied zwischen OP Stack und ZK Stack

OP-Stack: Mehrkettige Einzelauswahl

Aus dem oben Gesagten ist leicht ersichtlich, dass OP Stack ein Multi-Chain-Modell ähnlich wie Cosmos verwendet, es gibt jedoch nur eine Option, da OP Stack verfolgt, dass jede Kette die Transaktionen anderer Ketten überprüfen muss, andernfalls ist dies der Fall Die Ergebnisse kommen später, daher sind ein einziger gemeinsamer Besteller, eine zentralisierte MEV-Verteilung und der Schutz vor Rechts- und Governance die einzigen Dinge, die es Optimistic Rollup ermöglichen, nahtlos zwischen verschiedenen Ketten zusammenzuarbeiten. Ein optimistisches Rollup ist die einzige Möglichkeit, eine nahtlose Interoperabilität zwischen verschiedenen Ketten zu erreichen.

ZK-Stapel: mehrere Ketten und mehrere Auswahlen

Im Gegensatz zu OP Stack kann ZK Stack auch mehrere Threads verketten, verfügt jedoch über mehrere Optionen, kann seinen eigenen Sequenzer auswählen, MEV auf seine eigene Weise ausführen und ist durch Mathematik und Code geschützt (Hinweis: OP Stack ist durch Fiat-Währung und Governance-Schutz geschützt ). Denn wenn ZK bestimmte gemeinsame Threads oder einen sehr kleinen Satz von Threads verwendet, können sie sich allein auf der Grundlage der Mathematik gegenseitig vertrauen, wodurch wissensfreie Beweise wertlos werden.

2. ZK-Element des OP-Stacks

OP Stack ist eine völlig offene Architektur, die es ermöglicht, zkvm, zkmips, zkwasm und zkevm im Ökosystem zu haben, aber im Vergleich zum „orthodoxen ZK“ verfügt OP Stack auch über einige andere ZK-Elemente. Wir kommen nicht umhin zu glauben, dass es in naher Zukunft eine wunderbare Verbindung zwischen OP-Rollup und ZK-Rollup geben könnte.

(1) Implementieren Sie wissensfreien Beweis (ZKP) für OP

Nach dem neuesten Entwicklungsstand plant das Mina-Team, sein eigenes Plonk-System + KZG-Engagement + Faltalgorithmus Nova zu verwenden, um zkmips vm auf OP Stack zu implementieren. Obwohl es sich hierbei erst um einen neuen Vorschlag handelt und es noch viele unausgereifte Aspekte gibt, lohnt es sich durchaus, ihn zu prüfen. Die Mission des Projektteams besteht darin, durch Zero-Index-Proofs eine sichere kettenübergreifende Kommunikation mit geringer Latenz zwischen L2-, L1- und OP-Ketten zu erreichen. Hierbei handelt es sich um einen Zero-Knowledge-Proof (ZKP) mit einer gut unterstützten Befehlssatzarchitektur (ISA), der das Verhalten der fehlertoleranten Optimism-Programme beweist und damit den Grundstein dafür legt, jedes auf dem OP Stack basierende Blockchain-System beweisen zu können.

Um diese Aufgabe zu erfüllen, ist die Implementierung eines Zero-Knowledge-Proof-Systems (ZKP) erforderlich, das OP-Fehlersicherheitsprogramme mithilfe einer vom Golang-Compiler unterstützten Befehlssatzarchitektur (ISA) wie MIPS, RISC-V oder WASM nachweisen kann. Darüber hinaus muss das Beweissystem den Zustandsübergang zwischen zwei Blöcken der Standardkonfigurations-OP-Stack-Kette nachweisen und damit beweisen, dass er in der Praxis machbar ist. Zusätzlich zur Zertifizierung der standardmäßigen Ausführungsspuren von ISA führt die Unterstützung von Fehlersicherungsprozessen zu weiteren Anforderungen.

Konkret führt das Fault Proof-Programm das Konzept des vorab zugeordneten Oracle ein, das einen speziellen Systemaufruf verwendet, um externe Daten in das Programm zu laden. Jede fehlbarkeitssichere VM ist für die Implementierung eines Mechanismus verantwortlich, bei dem ein Hash einiger Daten an einer bestimmten Stelle im Speicher gespeichert und durch einen Systemaufruf ausgeführt wird. Anschließend wird ein Vorabbild dieses Hashs zur Programmverwendung in den Speicher geladen. Vorab zugeordnete Oracles werden auch für die anfängliche Eingabe in den Bootloader verwendet.

(2) Dezentraler Sortierversuch

Espresso Systems gab am 21. Juli 2023 offiziell auf Twitter bekannt, dass der Vorschlag zur Einrichtung einer dezentralen Sortierüberprüfung für die Wahl des OP Stack-Chefs angenommen wurde und zu einem Beitrag zu OP Stack und Superchain geworden ist. Eines der Hauptprotokolle des Projekts, HotShot, ist ein Hochgeschwindigkeits-Konsensprotokoll, das zur Umschuldung verwendet werden kann und es Ethereum-Validatoren ermöglicht, am Protokoll teilzunehmen, mit dem Ziel, den gleichen Umfang wie der Ethereum-Validator-Satz zu erreichen. Das Projekt entwickelte auch Espresso Sequencer, der voll funktionsfähiges zk-rollup, insbesondere den Polygon zkEVM-Zweig, integriert.

Was ist eine Führungswahl?

Unter Leader-Wahl versteht man die Fähigkeit in einem verteilten System, verschiedene Leader einzusetzen, die für die Schaffung des nächsten kanonischen Zustandsübergangs verantwortlich sind. In der Blockchain ermöglicht die Wahl des Anführers verschiedenen Blockproduzenten, Blöcke zu unterschiedlichen Zeiten zu generieren, und der Algorithmus zur Wahl des Anführers kann wettbewerbsfähig oder nicht wettbewerbsfähig sein.

Im Falle des Arbeitsnachweises bezieht sich der Algorithmus zur Wahl des kompetitiven Anführers auf einen Algorithmus, bei dem viele potenzielle Einheiten gleichzeitig um die Führung konkurrieren. Der nicht-kompetitive Wahlalgorithmus für Anführer bedeutet, dass es zu einem bestimmten Zeitpunkt nur einen bekannten Anführer gibt. Im Fall von Ether Gasper bedeutet der nicht-kompetitive Wahlalgorithmus für den Anführer, dass es zu einem bestimmten Zeitpunkt nur einen bekannten Anführer gibt . bekannte Einheit, und es gibt zu diesem Zeitpunkt keine andere Möglichkeit für eine andere potenzielle Einheit, die Führung zu übernehmen.

Im Falle der Trennung des Proposer-Netzwerks vom Builder-Netzwerk (d. h. das Block-Builder-Netzwerk ist nur für die Auswahl der Transaktionsreihenfolge verantwortlich, und das Proposer-Netzwerk ist nur für das Signieren von Blöcken verantwortlich). Dadurch wird die einzelne Entität, die zu einem bestimmten Zeitpunkt für die Generierung eines Blocks verantwortlich ist, in viele mögliche Entitäten umgewandelt und ermöglicht es ihnen, zu diesem Zeitpunkt um die profitabelsten potenziellen Blöcke im Builder-Netzwerk zu konkurrieren.

Für uns ist es schwierig, die verschiedenen Sekundäreffekte des Leader-Wahlmechanismus zwischen verschiedenen Op-Stack-Ketten zu verstehen. Derzeit ist die Wahl des Anführers der beliebteste Mechanismus, da sie eine stärker dezentrale Ordnung ermöglicht. Beachten Sie, dass dies auch keine Garantie dafür ist, dass der Sortierer absolut dezentral ist. Daher ist Vorsicht geboten, wenn Probleme mit dem dezentralen Sortierer in Betracht gezogen werden.

3. Ist Rollup wirklich sicher?

(1) Funktionsprinzip des Ethereum-Netzwerks

Das Prinzip des Ethereum-Netzwerks besteht darin, dass jeder Knoten jede ihm von Benutzern übermittelte Transaktion speichert und ausführt. Diese hochgradige Sicherheitsmethode macht das gesamte Netzwerk auch sehr teuer, sodass es notwendig ist, die Kapazität des gesamten Netzwerks zu erweitern und einzuführen Rollup-Lösung. Einfach ausgedrückt: Rollup = eine Reihe von Verträgen in L1 + ein eigener Netzwerkknoten in L2, d Eigene Ausführung aufrollen.

  • Der Smart Contract in der Kette zeigt, dass es sich bei seinem Vertrauensmodell um einen Smart Contract auf Ethereum handelt, der sich die Sicherheit von Ethereum leiht.

  • Off-Chain-Aggregator bedeutet, dass er Off-Chain-Transaktionen ausführt und aggregiert, große Transaktionsmengen komprimiert und sie schließlich im Ethereum-Mainnet platziert, wodurch das Ziel schnellerer und geringerer Kosten erreicht wird.

L2-Netzwerkknoten bestehen aus vielen Komponenten, von denen die Sequenzerkomponente die wichtigste ist. Es ist dafür verantwortlich, Transaktionsanfragen auf L2 zu empfangen, ihre Ausführungsreihenfolge zu bestimmen und die Transaktionssequenz für die Lieferung an den Rollup-Projektvertrag auf L1 zu stapeln. Es ist wichtig zu beachten, dass alle L2-Rollup-Orderer in Ethereum derzeit zentralisiert sind, wie in der Abbildung unten dargestellt.

(2) Zentralisiertes Sortierproblem

Der L2-Vollknoten kann die Transaktionssequenz auf zwei Arten erhalten: direkt vom Sequenzer oder durch Lesen des vom Sequenzer an L1 gesendeten Transaktionspakets (Batch), letzteres ist jedoch unveränderlicher. Da die Transaktionsausführung den Status des Blockchain-Ledgers ändert, muss der L2-Vollknoten zur Gewährleistung der Konsistenz zusätzlich zum Erhalten der Transaktionssequenz auch den Ledger-Status mit dem Sequencer synchronisieren. Daher besteht die Aufgabe des Sequenzers nicht nur darin, das Transaktionspaket an den Rollup-Vertrag von L1 zu senden, sondern auch das Statusaktualisierungsergebnis Stateroot/Statediff nach der Transaktionsausführung an L1 zu senden. Im Allgemeinen besteht die Aufgabe des Sequenzers darin, Transaktionen zu verarbeiten und den Blöcken in der Blockchain eine Transaktionsreihenfolge hinzuzufügen. Er ist für die Stapelverarbeitung von Transaktionen und die Veröffentlichung von Transaktionen im L1-Smart-Vertrag verantwortlich.

Für den vollständigen Knoten von L2 kann das L2-Blockchain-Ledger wiederhergestellt und die neueste Stateroot berechnet werden, solange die Transaktionssequenz und die anfängliche Stateroot von Rollup auf L1 erhalten werden. Im Gegenteil, wenn die vom L2-eigenen vollständigen Knoten berechnete Stateroot nicht mit der vom Sortierer an L1 veröffentlichten Stateroot übereinstimmt, bedeutet dies, dass der Sortierer Betrug begangen hat. Daher ist L1 dezentraler, vertrauenswürdiger und sicherer als das eigene Netzwerk von L2.

（3）Auf dem Stapel

Die Frage ist also: Ist L2 in der Lage, einige nicht vorhandene oder falsche Transaktionen zu fälschen, z. B. die Übertragung von Token-Assets von L2 an die Runner-Adresse des Sequenzers und die anschließende Übertragung dieser Token-Assets an L1, um Benutzer-Assets zu stehlen? Die Antwort lautet: Wenn man es tun will, ist es durchaus möglich. Daher wenden verschiedene Arten von Rollups angesichts möglicher Betrugsrisiken im Sortierer unterschiedliche Reaktionsmethoden an.

Nehmen wir als Beispiel Optimistic Rollup, das es L2-Vollknoten ermöglicht, Betrugsnachweise zu liefern, die beweisen, dass die vom Sequenzer in L1 veröffentlichten Daten falsch sind. Aber für Optimismus ohne Betrugsbeweis: Wenn eine Person wirklich L2-Benutzervermögenswerte über den Sequenzer stehlen möchte, muss sie den Sequenzer-Läufer lediglich Transaktionsaufträge fälschen lassen und die Vermögenswerte anderer Personen in L2 an seine eigene Adresse übertragen und diese dann schließlich übertragen gestohlene Token über den Rollup-Bridge-Vertrag an L1 übertragen.

Um dieses mögliche Problem zu lösen, besteht die derzeitige Lösung darin, sich auf Community-Mitglieder und soziale Medien zu verlassen, um einen sogenannten „Konsens“ zu erzielen, und sich auf das OP als offizielle Kreditbestätigung zu verlassen. Zusammenfassend lässt sich sagen, dass die Sicherheit von OP Rollup zumindest davon abhängt, dass ein ehrlicher L2-Knoten vorhanden ist, der Betrugsnachweise ausstellen kann, um sicherzustellen, dass der OP-Stack eine Multi-Chain-Einzelauswahl ist, wie im obigen „Der Unterschied zwischen OP-Stack und“ gezeigt ZK Stack“ ist Teil des Inhalts.

(4) ZK-Stapel

Lassen Sie uns den ZK-Stack erkunden. Im ZK-Rollup-Netzwerk gibt es einen Prover-Knoten, der Transaktionspakete speziell für den Sequenzer veröffentlicht und Gültigkeitszertifikate generiert. Diese Gültigkeitsnachweise verfügen über spezielle Verifizierungsverträge auf L1. Sobald das Transaktionspaket und der entsprechende Stateroot/Statediff-Nachweis durch den Validierungsvertrag überprüft wurden, ist die Transaktion abgeschlossen. Der Unterschied zum OP Stack besteht darin, dass ZK Rollup nicht nur auf L2-Vollknoten basiert, sondern auch einen Gültigkeitsnachweis verwendet, um das Problem des Sequenzerbetrugs zu lösen. Die offizielle Bridge von ZK Rollup erlaubt außerdem nur die Ausführung von Auszahlungstransaktionen, die durch Gültigkeitszertifikate überprüft werden, was offensichtlich viel zuverlässiger ist als Optimism, das heißt, ZK Stack ist mehrkettig und mehrfach ausgewählt, wie im „Unterschied zwischen OP“ gezeigt Abschnitt „Stack und ZK-Stack“ oben, wie im Inhalt angegeben.

Theoretisch wird die Sicherheit von ZK Rollup durch den Verifizierervertrag auf L1 garantiert, oder die endgültige Bestätigung der Transaktion erfolgt durch den L1-Knoten. Im Vergleich zur Sicherheit von OP Rollup, die zumindest darauf angewiesen ist, dass ein ehrlicher L2-Knoten Betrugsnachweise ausstellen kann, erben beide die Sicherheit von L1 (ETH), aber das ist im engeren Sinne vielleicht nicht der Fall, aber das ist vorerst das Optimum Lösung, und im Vergleich zu anderen öffentlichen Ketten hat Ethereum so viele Jahre der Entwicklung hinter sich, und seine Sicherheit ist zweifellos die vertrauenswürdigste. Im Vergleich zu anderen öffentlichen Ketten ist Ethereum zweifellos die vertrauenswürdigste und sicherste Kette.

Genau wie beim Blockchain-Dreieck scheint es in der gesamten Benutzererfahrung des „Produkts“ ein Dreieck aus Sicherheit, Einfachheit und Effizienz zu geben, und ZK Stack ist mehr als OP Stack davon überzeugt, dass der Einsatz von Mathematik und Code die allgemeine Sicherheit verbessern kann was die Gesamtkomplexität erheblich erhöht. Es gibt also auch einige Klischees über ZK:

  • Latenzproblem: ZK Rollup muss auch das Verzögerungsproblem der Veröffentlichung von Daten durch L2-Knoten auf L1 lösen. So wie Kartons für den Expressversand vorbereitet werden müssen, fallen jedes Mal feste Kosten an, wenn der Sequenzer oder Prüfer Daten an L1 sendet. Um die Kosten zu senken, versuchen Sortierer und Prüfer, die Anzahl der häufigen Datenfreigaben auf L1 zu reduzieren, warten jedoch, bis eine große Datenmenge gleichzeitig angezeigt wird, und packen sie dann zur Freigabe zusammen.

  • Geschwindigkeitsproblem: ZK Rollup steht vor der Herausforderung, Gültigkeitsnachweise nur langsam zu generieren. Während der Sequenzer Tausende von Transaktionen in einer Sekunde ausführen kann, kann die Erstellung von Gültigkeitsnachweisen für diese Transaktionen Stunden dauern. Um dieses Problem zu lösen, wendet das Mainstream-ZK-Rollup-Netzwerk eine innovative Methode an: die Aufgabe der Beweiserstellung wird in mehrere kleine Aufgaben zerlegt, die von verschiedenen Prüferknoten parallel verarbeitet werden, was die Geschwindigkeit der Beweiserstellung erheblich verbessert.

  • Kostenproblem: Um die Gesamtkosten zu senken, verfolgen viele ZK-Rollup-Lösungen die Strategie, „mehrere Beweise zusammenzufassen und sie gleichzeitig an L1 zu senden“. Das bedeutet, dass der Prüfer den Beweis nicht sofort nach seiner Generierung an L1 sendet, sondern auf die Generierung mehrerer Beweise wartet und diese zusammenfasst, um sie an den Prüfervertrag auf L1 zu senden. Durch diese Aggregation kann ein Beweis die durch mehrere Beweise generierten Rechenschritte enthalten und verifizieren, wodurch die Gesamtdatenkosten weiter gesenkt werden.

  • Problem mit dem Transaktionsvolumen: Wenn nicht genügend Transaktionen initiiert werden, verzögert der Sequenzer möglicherweise die Veröffentlichung von Daten auf L1. Beispielsweise senden einige Rollup-Netzwerke in Zeiten geringer Marktaktivität möglicherweise nur alle halbe Stunde eine Reihe von Transaktionen an L1. Dieses Problem kann jedoch in einigen anderen Rollup-Schemata, wie z. B. Starknet, effektiv gelöst werden, das die Datenkosten senkt, indem es die Häufigkeit von Statediff-Veröffentlichungen verringert.

In Bezug auf die Frage, welche dezentrale Sortierlösung besser geeignet ist, ist Modularität möglicherweise die beste Lösung, da Modularität eine größere Anpassbarkeit bedeutet. Derzeit sind fünf wichtige dezentrale Tools verfügbar:

  • Einzelsortierer und POA

  • Basierend auf Rollup

  • DVT x Sequenzer

  • Gemeinsamer Sortierer

  • Bootstrap eines neuen Sortiersatzes

Wir glauben, dass viele der oben genannten Probleme nicht nur in Zukunft durch Technologie gelöst werden können. Um beispielsweise die Generierungszeit von Gültigkeitsnachweisen zu verkürzen, verspricht Optimism, in naher Zukunft ein betrugssicheres System herauszubringen, und der Danksharding-Plan von Ethereum wird auch die Datenkosten für das Rollup erheblich reduzieren und auch das Problem der dezentralen Sortierung überwinden Gemeinsam werden sie wirksame Lösungen für die oben genannten Probleme bieten.

4. Wie wird sich die Erzählung entwickeln?

Hyperchain und Super-Erweiterungen waren schon immer die Expansionsrichtung, auf die jeder achtete. Obwohl sich diese Projekte noch in einem frühen Entwicklungsstadium befinden, bringen sie alle eine stärkere Erzählung in Ethereum. Jetzt können wir sehen, dass OP Stack mehr Akzeptanz gefunden hat und viele öffentliche Starketten sich OP Stack angeschlossen haben, wie Coinbase, opBNB, Zora, Worldcoin und viele andere öffentliche Ketten, die gute Markenempfehlungen für OP Stack abgegeben haben. Kürzlich, am Abend des 26. Juni, kündigte zkSync die Einführung von ZK Stack an, einem modularen Open-Source-Framework zum Erstellen benutzerdefinierter ZK-Rollups. Es wird von vielen auch als die Killeranwendung angesehen, mit der das zkSync-Team die Nummer eins bewältigt OP-Stapel. Auf der einen Seite steht der OP-Stack, der den First-Mover-Vorteil hat, und auf der anderen Seite der ZK-Stack, der mathematische Vorteile hat. Kurz gesagt, der Wert von L2 kann in Rollup-Token akkumuliert werden begonnen. Was denken Sie über diesen Krieg ohne Rauch?