jakiro
Autor: Xpara, Forscher vier Säulen;
1, Proof System undOptimistischbeweisen
Kehren wir zum Fundament der Blockchain zurück.Die Blockchain ist im Wesentlichen eine Zustandsmaschine, und ihr Zustand wird sich mit der Änderung der Transaktion ändern, und der gemeinsame Zustand nach der Änderung wird von allen Teilnehmern verwendet.Es ist wichtig sicherzustellen, dass alle Teilnehmer einen Konsens über den Austauschstatus erzielen.Um einen Konsens besser zu erreichen und die Vertrauensbedürfnisse für eine bestimmte Partei zu beseitigen, konzentriert sich die Blockchain auf die Dezentralisierung.Diese Dezentralisierung kann jedoch die Skalierbarkeit einschränken und es für mehr Transaktionen erschweren.Diese Probleme sind die drei Schwierigkeiten der Blockchain.
Ethereum leitete als einer der frühesten Smart Contract -Blockchains die Schaffung von Rollup.Im Rollup -Modus ist es von Ethereum getrennt, aber es gibt immer noch ein System, das die Effektivität überprüft und Malware bestraft.Es gibt zwei Methoden zur Festlegung dieses Systems.Die erste ist die optimistische Methode.Die zweite Methode besteht darin, die Wirksamkeit von ZK zu beweisen.Obwohl die Seitenkette eine andere Wahl ist, schließe ich sie aus, da die Seitenkette von der Siedlung von Ethereum sehr niedrig ist.
Aufgrund des einfachen Implementierungsprozesses ist das optimistische Zertifikat (auch als Betrugszertifikat oder Fehlerzertifikat bezeichnet) die Hauptmethode für Aktualisierungen des Abrechnungsrollup -Status.
>
1.1Beweisen Sie den Status des Systems:ZKUndOp
Zu einer Zeit wird das ZK -Zertifizierungssystem schnell die dominierende Position einnehmen, und das optimistische Beweissystem verliert seinen Vorteil.Die Menschen freuen sich auf das ZK, dass das System eine Rollup mit geringeren Kosten und einer schnelleren endgültigen Gewissheit liefern kann.Diese Projekte umfassen ZKM, Risczero, Succint Labs und fließend.Obwohl ZK Rollup offensichtliche Vorteile hat, ist die Herausforderung, eine Sicherheitsversion mit Kosten -Effektivität zu entwickeln, enorm.Das Update virtueller Maschinen wie EVM hat ebenfalls Herausforderungen, da es schwierig ist, neue Funktionen zu verschmelzen, ohne Merkmale zu beschädigen.
Aufgrund dieser Herausforderungen ist das häufigste im Rollup -Ökosystem das optimistische Zertifizierungssystem, das die meisten TVL (etwa 75%des gesamten TVL von L2) ausmacht.Es ist nicht sicher, ob diese dominante Position in Zukunft fortgesetzt wird.Viele Maßnahmen zur Optimierung des Systems des Systems haben jedoch große Fortschritte gemacht.
>
1.2 optimistischWas wird die Zukunft des Systems sein?
Viele positive Forschung und Entwicklung sind im Gange.
· Kosten senken
· Dezentrale Sortier-, Herausforderung und endgültige Bestimmungsprozess
· Reduzieren Sie weiche Endgültigkeit und harte Endgültigkeit (hartes Ende)
Diese drei Felder haben große Anstrengungen gezeigt.
Vor weiterer Forschung ist es notwendig, die etablierten Konzepte und aktuellen Situationen gründlich zu verstehen.Zunächst sollten wir uns die Entwicklung und Entwicklung dieses Feldes ansehen und dann den Status quo des optimistischen Nachweises des Projekts untersuchen.
2SowieOptimistischBeweisen Sie die Geschichte der Entwicklung des Systems
Optimistisch beweist, dass das System nicht über Nacht erreicht wird.Viele Forscher und Entwickler haben hart daran gearbeitet, ein Roboter -Proof -System zu erstellen, um sicherzustellen, dass sie im tatsächlichen Betrieb nahtlos arbeiten können.Lassen Sie uns den Meilenstein überprüfen.
2.1Vergangenheit—————Spurengeschichte
Optimistic Rollup war ursprünglich eine Expansionslösung der Layer 2 -Erweiterung von Ethereum im Jahr 2019 von dem Ethereum -Forscher John Adler im Jahr 2019.Das Kernkonzept des optimistischen Rollups besteht darin, Computing und Datenspeicherung vom Ethereum -Hauptnetzwerk in die unabhängige L2 -Kette zu übertragen und gleichzeitig die Sicherheitsgarantie von Ethereum zu erbt.Die Hauptmotivation für die Entwicklung eines optimistischen Rollups besteht darin, das Problem der Überlastung und hohen Transaktionsgebühren im Hauptnetz von Ethereum zu berücksichtigen.Mit der zunehmenden Beliebtheit des Defi -Protokolls und des NFT steht Ethereum dem Problem der Expansion, das die Benutzererfahrung und die wirtschaftliche Effizienz behindert.
Optimistic Rolllp wird hauptsächlich experimentiert und von zwei Teams von Arbitrum und Optimismus entwickelt.Diese Rollup zielt darauf ab, komprimierte Transaktionsdaten und Ausgangswurzeln im Hauptnetzwerk Ethereum bereitzustellen, indem die Transaktion unter der Kette verarbeitet wird, um die Skalierbarkeit von Ethereum zu gewährleisten.Da sie die Kosten für Benutzer und DAPP reduzierten, übernahm die Ethereum -Community diese Rollup schnell.
>
Das Hauptmerkmal des optimistischen Rollups besteht darin, dass sie die „optimistische“ Methode verwenden -nach einer einfachen effektiven Inspektion der Transaktion gehen sie davon aus, dass alle Transaktionen standardmäßig und effektiv sind, und sie stützen sich auf den betrügerischen Beweismechanismus. Zeitraum (normalerweise 7 Tage) Die Wirksamkeit herausfordernder Transaktionen innerhalb.Wenn Betrugstransaktionen festgestellt werden, wird der Betrugsbeweis die Transaktion auf die richtige Weise erneut verwaltet.Diese optimistische Methode ermöglicht eine optimistische Rollup, um signifikante Skalierbarkeitsverbesserungen im Hauptnetzwerk von Ethereum zu erzielen.
In der Vergangenheit gab es viele Herausforderungen.Zunächst verwendeten Projekte wie Optimismus die von ihnen selbst modifizierten EVM (als OVM bezeichnet), was seine Kompatibilität mit EVM einschränkte.Diese Projekte werden weiterhin konzentrierte Methoden verwenden, um den Rollback- und Herausforderungsmechanismus zu lösen.Diese Methode bringt eine Sicherheitsbilanz mit, da die Transaktion kein unmittelbares Ende ist.
2.2Status Quo—————StKontinuierlicher Fortschritt, aber auch vor Herausforderungen stehen
Die neueste Entwicklung des optimistischen Proof -Systems hat die Effizienz und Skalierbarkeit der Ethereum L2 -Lösung (wie Arbitrum und Optimismus) erheblich verbessert.Zusätzlich zum Dencun -Upgrade von Ethereum trägt eine andere Optimierung der optimistischen Rollup auch bei der Verbesserung der Effizienz bei.Beispielsweise hat sich beispielsweise bei Arbitrum die Verbesserung seines Fehlerzertifizierungssystems verpflichtet, um die Integrität und Sicherheit von Daten zu gewährleisten.
Optimismus hat auch durch seine Superchain -Strategie erhebliche Fortschritte gemacht.Superchain verwendet benutzerdefinierte und Alt -DA -Lösungen, Cross -Chain -Nachrichtenübertragung und Sharing -Sortierung, um die nahtlose Interoperabilität und Skalierbarkeitsoptimierung zu fördern.
In jüngster Zeit hat die Verbesserung des optimistischen Rollup -Ökosystems die Transformation von einer nicht -interaktiven Betrugszertifizierung zur interaktiven Betrugszertifizierung gezeigt.Interaktive Beweise umfassen einen Rund -Strip -Dialog, um falsche Transaktionen effektiv zu identifizieren und zu korrigieren.Diese Änderung zielt darauf ab, die Berechnungskosten und Komplexität der Überprüfung in der Kette zu senken.
3, Das aktuelle Muster
>
Schauen wir uns den aktuellen Stand des Rollups an und konzentrieren uns auf Projekte und die Entwicklung von Projekten, die im Rahmen des optimistischen Proof -Systems ausgeführt werden.
Derzeit sind Arbitrum und Optimismus hauptsächlich für die Verbesserung des optimistischen Zertifizierungssystems verpflichtet.Andere Projekte wie Initia, Dymsion und Rollkit entwickeln ihre eigenen Rollup -Ökosystem -Frameworks.
Arbitrum und Optimismus versuchen, die Technologie betrügerischer Beweise zu verbessern, und andere Projekte erreichen auch interessante Methoden.Lassen Sie uns kurz ihre aktuellen Aktivitäten und Fortschritte skizzieren.
3.1 Arbitrum—————StMehrfachrunde ZertifizierungDeutlich
3.1.1 Multi-Runden-Beweis (mehrere Beweisrunden)
Das Proof -System von Arbitrum verwendet die Methode „Multi -Round -Betrugszertifikat“, um die Transaktion zu überprüfen.Dieser Prozess erfolgt hauptsächlich unter der Kette, und der endgültige Zustand wird auf der Blockchain von Ethereum aufgezeichnet, um die Transparenz zu verbessern.
Das Kernmerkmal des Systems ist „Assertion Tree“.Verwenden Sie die ETH, um Anleihenprüfungen zu veröffentlichen, um eine Erklärung (oder „Behauptung“) von Armbitrum abzugeben.Diese Behauptungen bilden eine Kette, und jede Behauptung basiert auf der letzten Behauptung.Wenn jedoch eine widersprüchliche Behauptung auftritt, spaltet der Assertion -Baum den Zweig auf, der angibt, dass es möglicherweise Betrug gibt.
Die Lösung dieser Streitigkeiten beinhaltet eine interaktive Proof -Technologie namens „Dissektion“.Die Überprüfungen, die an dem Streit verbunden sind, haben ihre Unterschiede systematisch eingeschränkt, bis nur noch eine Operation übrig war.Die Operation läuft dann auf dem Ethereum L1, um seine Wirksamkeit zu bestimmen.
Die spezifischen Schritte sind wie folgt:
· Zwei Überprüfungen unterscheiden sich vom Staat von Arbitrum.
· Sie reduzierten ihre Streitigkeiten allmählich auf nur einen Berechnungsschritt.
· Führen Sie dann diesen Schritt auf Ethereum L1 aus, um zu überprüfen, welche Überprüfung die richtige Überprüfung ist.
Die Methode von Arbitrum ist für seine Effizienz bekannt.Durch die Berechnung von umstrittenem und Inspektion vermeidet es den höheren Kostenprozess durch die gesamte Transaktion auf Ethereum. in der Kette.
3.1.2 Arbitrum BOLD
>
BOLD (Verzögerung in der Grenzliquidität) ist eine neue kontroverse Lösung, die auf das optimistische Roolup der Arbitrum -Kette zugeschnitten ist und die Bestätigung ohne Erlaubnis fördern soll.Dieser Mechanismus wird gelöst, indem der Streit im geplanten Zeitfenster sichergestellt wird, wodurch die verzögerten Angriffsrisiken verringert werden.
BOLD hat mehrere wichtige Merkmale und ist ein wichtiger Bestandteil seiner Funktionen.Zunächst wird die Verifizierung ohne Erlaubnis eingeführt, sodass jeder ehrliche Partei ihre Mittel überprüfen und bindet, um die korrekte Behauptung des L2 -Staates zu veröffentlichen.Diese Funktion ermöglicht ehrliche Authentiker, mit böswilligen Teilnehmern Kontroversen herauszufordern und zu gewinnen.Zweitens garantiert sich Fettdruck, dass der Streit in einem festen Zeitfenster beigelegt wird.Darüber hinaus wird der längste Zeitraum für die Beilegung des Streits bis zu zwei Herausforderungen und die zwei -Tage -Breitengrenze umfassen, die der Sicherheitsrat eingreifen kann.Schließlich unterstützt BOLD Arbitrum in der Rollup -Stufe der Stufe 2, um sicherzustellen, dass jeder den L2 -Status überprüfen und Betrug an Ethereum übermitteln kann, was die dezentralen Merkmale und die Sicherheit der Plattform verbessert.
Es ist sehr wichtig, dass die Beteiligung der mutigen Beteiligung ohne Erlaubnis einsetzt und jede ehrliche Partei ermutigt, am Verifizierungsprozess teilzunehmen.Diese Toleranz zielt darauf ab, durch eine diversifizierte Beteiligung und Reduzierung der Misserfolgspunkte eine größere Elastizität im Netzwerk zu fördern.Derzeit befindet sich BOLD in der Veröffentlichungsphase von Alpha und wird im öffentlichen Testnetzwerk eingesetzt.Es wurde auch zweimal geprüft.
3.2 Optimismus—————StFehlernachweisVM,,,,Kanone
>
Das fehlersichere System in OP-Stack zielt darauf ab, böswillige Aktivitäten im Netzwerk herauszufordern und zu reduzieren.Der bevorstehende Fehler zeigt, dass die virtuelle Maschine eine wichtige Verbesserung darstellt.Das System besteht aus drei Hauptteilen: Fehlerbeweis (FPP), Fehler beweisen die virtuelle Maschine (FPVM) und kontroverse Spielprotokolle.FPP überprüft die Rollup -Statusumwandlung, um den L2 -Ausgang (L1 -Eingang) zu überprüfen und die Kontroverse des L1 -Ausgangs zu organisieren.Diese modulare Architektur ermöglicht die unabhängige Entwicklung und Bereitstellung mehrerer Proofsysteme und einzigartiger kontroverser Spiele, die die Flexibilität und Sicherheit des Systems erheblich verbessern.
FPVM ist eine minimale und kombinierte Einheit in dieser Architektur.Die kontroversen Spielprotokolle koordinieren den Herausforderungsmechanismus durch äquivalente Zustandsumwandlung, um den Streit auf eine einzige Unterrichtsüberprüfung zu verringern, die wirksame Beweise für L1 EVM ermöglicht.Das System fördert einen Multi -Sicht der Zukunft, wie z. B. ZK -Zertifizierung und Aggregationsnachweis.
3.3 Initia-Senshrined Op-Stack,,,,Opinit
>
Initia ist eine Comsos L1 -Blockchain, die ein einheitliches, miteinander verflochtenes Rollup -Ökosystem baut.Initia ist dem Rollup -Ökosystem in Ethereum sehr ähnlich, ist jedoch für Rollup von unten nach oben ausgelegt.Die Authentifizierung des Initia L1 führt einen Sortierer bei Rollup aus, und die Aufklärung auf der Grundlage optimistischer Beweise ist in die L1 -Blockchain eingebettet.Sehen wir uns an, wie diese Rollups funktionieren.
Opinit Stack ist ein Rahmen, der darauf abzielt, das Minitia L2 auf der Grundlage der Initia L1 -Blockchain zu starten.Opinit Stack ist speziell von Cosmossdk erstellt.Durch die Verwendung des Initia L1 -Governance -Modells handelt es effektiv mit Streitigkeiten im Betrug, um eine zuverlässige Transaktionsüberprüfung und Streitbeilegung sicherzustellen.Genau wie bei Bedrols Challenge -System können die zulässigen Herausforderer unbefriedigende Leistung löschen.Darüber hinaus können die Ausgabemanien durch den L1 -Vorschlag geändert werden.
Die beiden Hauptmodi von Opinit Stack im Wesentlichen – Ophost und Opchild:
Das OPHOST -Modul ist für den L1 -Betrieb im Initia -Ökosystem unter Verwendung der Cosmos SDK -Funktion ausgelegt.Es enthält verschiedene Nachrichtentypen und RPC -Handler -Methoden zur Förderung von Kernaktivitäten wie Stapelübermittlung, Brückenerstellung, Ausgangsdatenvorschlag und Ausgabedeletion.
· Das OPCHILD -Modul konzentriert sich auf L2 -Operationen und bietet Mechanismen, die Token -Transfer- und Kostenpool -Management unterstützen.Es enthält außerdem spezifische Nachrichtentypen und RPC -Handler, mit denen Nachrichten ausgeführt werden, Tokenspeicher ermittelt und Token von L2 bis L1 gestartet werden, um sicherzustellen, dass die verbesserte L2 -Funktion in der Initia -Architektur erreicht wird.
3.4 Taiko—————StMulti -Round -System
>
Taiko ist ein Standard -optimistisches Rollup, das ein Multi -Zertifizierungs -System verwendet.Das System kombiniert die optimistische Methode und die Verwendung der ZK -Zertifizierung.
Dieser Prozess beginnt mit dem Antragsteller.Diese vorgeschlagenen Blöcke werden dem L1 -Vertrag ohne Gültigkeitsnachweis hinzugefügt.Anschließend hat der Prover die Möglichkeit, die Effektivität des vorgeschlagenen Blocks durch die Bereitstellung von Bonds in Frage zu stellen, was verpfändete Taiko -Token erfordert.Wenn ein Block während der Herausforderungsperiode nicht in Frage gestellt wird, wird er als gültig angesehen und schließlich auf L1 festgelegt und zur Anleihe des Proofers zurückgegeben.Wenn der Block in Frage gestellt wird, ist ZK erforderlich, um die Wirksamkeit des Blocks zu bestätigen.Der richtige Prover, egal ob es sich um den ersten Prover oder der Herausforderer handelt, erhält zusätzlich zur Rückbefestigung der Anleihe.Gleichzeitig wird die falsche Seite der anderen Partei bestraft, und ein Teil von ihnen wird durch Verbrennung verbrannt.
Interessanterweise wird Taiko schätzungsweise etwa 1%der Blöcke aufweist, um ZK zu beweisen, was dazu beiträgt, die Berechnungsaufwand zu reduzieren und dennoch gültige Garantien zu gewährleisten.Um seine Elastizität zu verbessern, unterstützt Taiko mehrere Beweise wie Plonk, Halo2 und SGX, um potenzielle Fehler oder Schwachstellen zu verhindern.Mit dieser Methode kann DAPP seine eigenen Vertrauensannahmen und Sicherheitsniveaus festlegen und den Beitrag von Taiko zur Skalierbarkeit und Sicherheit der Blockchain zeigen.
3.5andere-DymessionUndRollkit
3.5.1 Dymesion
Crack beweist, dass es sich um einen integralen Bestandteil des dymesionalen Ökosystems handelt, das darauf abzielt, die Integrität der staatlichen Umwandlung der Blockchain zu gewährleisten.Wenn der Rollup -Sortier in der Rollapp (Rollup in Dymession L1 eine Zustandswurzel veröffentlicht, überwachen alle Rollapp -Knoten diese Konvertierungen.Wenn eine ungültige Zustandsumwandlung festgestellt wird, werden diese Knoten erzeugt, indem die Blöcke im Block gesammelt werden, bis die Betrugszustandsumwandlungsliste generiert werden kann, um die einzige Betrugsbeweistransaktion zu generieren.
Diese Sammeltransaktion enthält Details wie Blockhöhe, Transaktionsindex, Blob -Share, Blob, die Beweise und Statusaussagen enthalten, und dann zur Überprüfung an Dymsion gesendet.Nach der Einreichung prüft der vollständige Knoten von Dymsion die Daten und kalkuliert die Statuskonvertierung erneut.Wenn sich die durch die berechnete Umwandlung erzeugte temporäre Zustandswurzel (ISR) vom Status des Veröffentlichungswesens unterscheidet, zeigt der Betrug, dass er überprüft wird, was zum Rollback des Streitstaates und der Strafe des verantwortlichen Sortierers führt.
Das aktuelle dymesionale Hauptnetzwerk ist bis zu ungefähr 120.000 Blöcke eingerichtet.Da derzeit die aktuelle Ausgabe von einem Block erzeugt wird, beträgt die endgültige Bestimmung etwa 8 Tage.
3.5.2 Rollkit
>
Der Statusbetrug von Rollkit erweist sich, um das Vertrauen in das Blockchain -Netzwerk durch Identifizierung von Betrugstransaktionen zu verringern.Sie werden verwendet, um nicht mit dem Zustand des gesamten Knotens und dem Sortierer übereinzustimmen.Der gesamte Knoten erstellt einen Beweis für die Überprüfung im gesamten Netzwerk.Wenn bestätigt wird, dass es nicht übereinstimmt, ist es erforderlich, Korrekturmaßnahmen zu ergreifen, um die Sicherheit zu verbessern und die Aufsicht zu dispergieren.
4Zukünftige Entwicklung: Probleme und Lösungen
Viele Menschen dachten einmal, dass optimistisches Rollup nicht so gut ist wie ZK Rollup.Da ZK Rollup zunehmend in die Produktion gesteckt wird, sind seine Sicherheits -Interoperabilität und eine schnellere endgültige Bestimmung und andere Vorteile bekannt, dass Menschen nicht nur zweifelhaft sind, sondern das Optimistische hat bewiesen, ob das System einen starken Rückgang verzeichnen wird.Ich glaube nicht, weil es viele positive Fortschritte bei den Hauptproblemen im optimistischen Beweissystem gab.
Schauen wir uns nun an, was diese Hauptprobleme sind und welche potenziellen Lösungen?
· Betriebszentrum
· Hohe Betriebskosten
· Langsame endgültige Bestimmung
4.1Dezentralisierung—————StKeine Lizenzüberprüfung
>
Im optimistischen Rollup -Projekt ist die Zentralisierung des Sortierers ein zentrales Problem, da es einen zentralisierten Kontrollpunkt und einen Vertrauenspunkt in einem dezentralen System umfasst.Im optimistischen Rollup ist der Sortierer dafür verantwortlich, die Transaktion zu sortieren, die Transaktion unter der Kette zu aggregieren und sie bei Ethereum zu unterwerfen.Diese zentrale Rolle gibt den Sortierern eine beträchtliche Kraft und Kontrolle, die einige zentrale Risiken mit sich bringen kann.
Die meisten Rollups verwenden heute einen zentralen Sortierer.In diesem Fall wird ein Sortierer normalerweise von einer einzigen Einheit oder einem einzelnen Gewebe betrieben, was zu mehreren potenziellen Problemen führen kann.Die meisten aktuellen Rollups, einschließlich OP-Mainnet und Arbitrum, sind nicht vollständig dezentralisiert.Sie sind auf bestimmte zentrale Einheiten angewiesen, um Handelspakete einzugeben und am Betrug Challenge -System teilzunehmen.Arbitrum verfügt jedoch über einen bauten Weg.
Der jüngste Explosions -Rollback -Vorfall ist ein gutes Beispiel, das die Vorteile und Nachteile der Zentralisierung zeigen kann.In diesem Vorfall wird hervorgehoben, dass die zentralisierte L2 -Lösung nicht genügend Benutzer -Exit -Strategien aufweist, was sehr riskant ist.Es ist deutlich zu erkennen, wenn Blast abgeschaltet wird und die Transaktion im Zusammenhang mit Hacking -Angriffen gelöscht wird.Die zentrale Entitätsrollup kann das gesamte Ökosystem beeinflussen.
4.1.2 Lösung 1: Es ist keine Lizenzüberprüfung erforderlich
Arbitrum und Optimismus sind die führenden optimistischen Rollup -Rahmenbauer.Sie alle bereiten sich auf die Veröffentlichung von Updates in diesem Jahr vor, damit der Überprüfungsprozess nicht zulässig ist.
· Arbitrum: Arbitrum ist verpflichtet, Überprüfungen zu erreichen, bei denen keine Lizenzen über ein neues Überprüfprotokoll mit dem Namen BOLD (Grenzliquiditätsverzögerung) erforderlich sind.Die Vereinbarung ermöglicht es jeder ehrlichen Partei, die korrekte Behauptung des L2 -Staates zu veröffentlichen, um am Überprüfungsprozess durch die Bindung ihrer Mittel teilzunehmen.Dadurch wird die Bedürfnisse der Authentifizierung der zentralen Entitätsverwaltung beseitigt und ermöglicht es, dass Streitigkeiten auf der Grundlage der Richtigkeit des Staates und nicht der Überprüfung gelöst werden.
· Optimismus: Optimismus zielt darauf ab, keine Lizenzüberprüfung durch Umwandlung in ein dezentrales Fehlerüberprüfungssystem zu implementieren.Der Optimismus stützte sich zunächst auf die Optimism Security Commission und die Optimism Foundation verwaltet.Um eine weitere Dezentralisierung zu erhalten, führte der Optimismus eine Kanone ein, bei der es sich um ein fehlerhaftes System unter der Kette handelt.Durch die Verwendung von Cannon versucht der Optimismus, von einem System zu wechseln, das eindeutig für ein System lizenziert werden muss, das an der Handelsüberprüfung und Konfliktlösung teilnehmen kann.Das System ermöglicht es jedem, an dem Überprüfungsprozess teilzunehmen, indem sie eine von der Anleihe unterstützte Auszahlung einreicht.
4.1.3 Lösung 2: Dentalisierung von Sortierern
Die Konzentrationseigenschaften von Sortierern (verantwortlich für den Bau und vorgeschlagenen Blöcke) haben die Zentralisierung aufmerksam gemacht.Um diese Herausforderungen zu bewältigen, zielt Rollup darauf ab, von einem einzelnen Sortiermodell zu den Einstellungen für Multi -ROW -Order zu wechseln, um Blöcke zuzuweisen, um die Verantwortlichkeiten zwischen mehreren unabhängigen Entitäten zu überprüfen und vorzuschlagen.Hier sind einige Methoden, die die Dezentralisierung von Sortierern erreichen können.
· Teilen von Sortierer: Outsourcing an dritte Teilnehmerdienste wie Espresso und Radius.
· Distributed SORTER Technology (DST): Verwenden Sie die Sortieraufgaben für Maschinengruppenverteilungen, um hochfehlerfreie zu liefern.Dies kann als ähnlich der DVT -Lösung (z. B. OBOL -Netzwerk) für POS -Verifizierung angesehen werden.
Unterschiedliche Rollups können unterschiedliche Prioritätsüberlegungen entsprechend ihren spezifischen Fällen haben, wie z. B. die maximalen dezentralen Merkmale, Flexibilität oder geografische Verteilung.Zum Beispiel können universelle Rollups wie Optimismus eine dezentralere Methode anwenden, aber die Verwendung eines speziellen Sortierersatzes (wie z. Sortierter gewährleisten die Zuverlässigkeit und verkürzen die Stoppzeit.Dieses Gebiet befindet sich noch im frühen Entwicklungsstadium.
>
4.2Niedrigere Kosten—————StDatenverfügbarkeit und interaktives Proof -System
Optimistische Rollup erfordert Speichertransaktionen, um den Status des Herausforderungsprozesses wieder zu bauen.Dies kann zu hohen Datenspeicherkosten führen, die die meisten Betriebskosten eines optimistischen Rollups darstellen.Die Menschen untersuchen dieses Problem jedoch aktiv, einschließlich der Anwendung mehr Komprimierungstechnologie oder der Verwendung von Alt DA (ersetzt Datenbenutzbarkeit ersetzt).Darüber hinaus hilft das interaktive Proof -System dazu, die Kosten für die Herausforderung zu senken, da die Berechnung der Herausforderungen stark reduziert wird.
4.2.1 Lösung 1: kostengünstige DA
Optimistische Rollup verwendet effektiv Ethereum -Blobs und andere Daten Usability (DA) -Lösungen (wie Celestia), um Probleme mit hoher Kost zu lösen, die mit der Freisetzung von Transaktionspaketdaten im Zusammenhang mit der Freisetzung von Transaktionspaketdaten gelöst werden.
Im Falle von Ethereum hat optimistische Rollup zuvor Transaktionsdaten als Calldata zum Hauptnetzwerk veröffentlicht, was enorme Kosten entspricht.Mit dem Upgrade von Dencun verwenden sie jetzt das neue Datenspeicherformat namens Blobs, wodurch die Gesamtkosten um mehr als 90%gesenkt werden.
>
Zusätzlich zur Verwendung von Ethereums eigenem Fortschritt ist optimistische Rollup auch in andere Daten Usability -Entscheidungen (wie Erfolg und Celestia) integriert.Durch die Deinstallation der Daten des Transaktionspakets zu Celestia kann optimistische Rollup die Abhängigkeit von einer höheren Speicherung für Ethereum verringern und damit die Kosten für die Datenfreigabe weiter verringern.Mit dieser Integration kann Rollup einen hohen Durchsatz und die Transaktionsgeschwindigkeit in hohem Niveau halten und gleichzeitig die Kosten für die Kosten beibehalten.
Mit dem Start von Rollup mit dem optimistischen Proof -System wird das Feld Alt DA nun immer mehr Aufmerksamkeit erhält.Da sich mehr Rollup auf die Freisetzung vorbereitet, wird sich das Alt -DA -Feld auch erheblich verstärken.Gegenwärtig ist es weder den Engpass der Betriebskosten noch den Engpass auszubauen.
4.2.2 Lösung 2: Interaktives Proof -System
Bei optimistischer Rollup kann der Herausforderer im Netzwerk die Effektivität der Ausgangswurzel in Frage stellen, wenn eine Transaktion vermutet wird.Während der Herausforderungsperiode müssen betrügerische Beweise vorgelegt werden, um die Richtigkeit der Transaktion nachzuweisen.Wenn sich die Transaktion als betrügerisch erwiesen hat, wird der Beweis in der Kette verifiziert, wodurch die Transaktion ungültig ist.Diese Methode stellt sicher, dass nur kontroverse Transaktionen in der Kette verifiziert werden müssen, damit die meisten Transaktionen unter der Kette gehalten werden.
Das interaktive Proof -System lädt die Teilnehmer ein, während der Verdächtigen eine Betrugsbescheinigung zu erstellen und einzureichen, dass eine Transaktion eine Betrugstransaktion ist.Verwalten von Rollups intelligenten Verträgen zur Bewertung dieser Beweise auf der Grundlage der vom Sortierer eingereichten Statusroste.Wenn die Abweichung gefunden wird, verwerfen Sie den falschen Status und stellen Sie das System in den vorherigen gültigen Zustand wieder her.Diese Methode sorgt für eine wirksame Überprüfung, ohne das Ethereum -Netzwerk unnötig zu berechnen.Gegenwärtig wird diese Berechnung in der Kette durchgeführt, was sehr teuer sein kann.Für Arbitrum wird die für die Herausforderung erforderliche Berechnung unter der Kette abgeschlossen, und das Endergebnis wird in der Kette freigegeben.Die Kosten können jedoch minimal sein, da die aktuelle optimistische Rollup fast keine Herausforderung gibt.
4.3Langsam letzte Gewissheit—————StSchnellausführung und gemischte Zertifizierungssystem
Die optimistische Rollow hat zwei Arten von endgültiger Determinismus -Aufenthalt und schneller Gewissheit.Die weiche Bestätigung bezieht sich auf den Ausgangszustand des Sortiererausführungszustands, und gleichzeitig werden Batch -Transaktionen auf Ethereum ausgestellt.Zu diesem Zeitpunkt gilt die Transaktion als „weich und sicher“, und Benutzer und Anwendungen auf Rollup können sich auf diese Transaktion mit Vertrauen verlassen.Es gibt jedoch eine Zeitspanne (normalerweise etwa 7 Tage), und während dieser Zeit kann jeder ein „Betrugszertifikat“ einreichen, um die Wirksamkeit der Transaktionen in Frage zu stellen.Wenn das betrügerische Zertifikat während der Herausforderungsperiode nicht eingereicht wird, wird das Transaktionspaket schwere Gewissheit und kann nicht zurückgerollt oder herausgefordert werden.Im Allgemeinen muss die native Brücke starr sein, um Vermögenswerte zu übertragen.
Beim Bau einer Brücke oder einer Multi -Ketten -DAPP kann die langsame und weiche Bestätigung der Geschwindigkeit zu Problemen führen.Dieses Problem löst durch schnellere Ausführung und gemischte Zertifizierungssysteme.
4.3.1 Lösung 1: Eine schnellere Ausführung durchführen
In Bezug auf die weiche Bestimmung beinhaltet dieser Prozess die Transformation des Ausführungsstatus und speichert das Transaktionspaket in Ethereum.Da die EVM -Spezifikation die parallele Ausführung und die Datenbankoptimierung nicht unterstützt, ist der Ausführungsprozess begrenzt.Projekte wie Megaeth und Heiko bauen jedoch eine parallele Ausführungsumgebung und nutzen das optimistische Zertifizierungssystem.
Darüber hinaus versucht Rollup, Handelspakete schneller durch kürzere Blöcke zu speichern.Für Arbitrum wird ein Block erzeugt, indem alle 250 Millisekunden ein Block erzeugt werden, oder ein Block kann pro 100 Millisekunden auf der konfigurierbaren Umlaufbahnkette erzeugt werden.Darüber hinaus verwendet das Design von Arbitrum ein einzigartiges „Sortier“ -Modell anstelle der traditionellen „Block Construction“ -Methode.Gleichzeitig können Sie auch schlechte MeVs entfernen.
4.3.2 Lösung 2: Mischproof -System
Das Hybrid -Zertifizierungssystem, insbesondere die Hybrid -Zertifizierungssysteme, die die ZK -Zertifizierung und eine optimistische Rollup kombinieren, verbessern die endgültige Sicherheit von Blockchain -Transaktionen erheblich, indem die von den Schlussfolgerungen erforderlichen Schlussfolgerungen erforderlich ist.Optimistische Rollup (wie diejenigen, die in OP -Stack im Optimismus verwendet werden) hängt im Wesentlichen von einer solchen Hypothese ab: Wenn es nicht in Frage gestellt wird, ist der Handel wirksam.Dies macht das Streit- oder Herausforderungsfenster wesentlich und kann mit potenziellen ungültigen Transaktionen umgehen.Diese Herausforderungsphase wird jedoch zu einer Verzögerung der Transaktionsbestimmung führen, da die Herausforderungsphase lang genug sein muss, um eine zuverlässige Überprüfung und die Unterstützung potenzieller Herausforderungen zu gewährleisten.
Zeth ist ein ZK -Blockprover, der auf RISC Zero ZKVM basiert.Dies verringert seine Abhängigkeit von dem für optimistischen Rollup erforderlichen langfristigen Streitfenster und hat die endgültige Bestimmungszeit stark verkürzt.
Tools wie Zeth stellen sicher, dass der Transaktionssortier- und Datenverfügbarkeitsmechanismus zuverlässig ist, und die Effizienz der L2 -Lösung (wie Optimismus) wird durch die Reduzierung der Herausforderungsphase von einigen Tagen auf mehrere Stunden oder sogar Minuten verbessert.Projekte wie ZKM haben auch ein gemischtes Proof -System für Metis entwickelt.
>
5, Freue mich auf die Zukunft—————StOptimistisches RollupWird es ersetzt?
Meiner Meinung nach wird optimistisches Rollup nicht schnell ersetzt.Viele Verbesserungen sind im Gange und können von anderen Ökosystemen zum Einfachheit halber übernommen werden.In zukünftigen Artikeln werde ich versuchen, den „Status des ZK -Zertifizierungssystems“ eingehend zu untersuchen, seine jüngste Entwicklung und die bevorstehende Version mit optimistischem Rollup zu vergleichen.Die Verwendung von Frameworks wie Arbitrum-Orbit und OP-Stack beschleunigt jedoch, dass jedes Ökosystem eine bessere Infrastruktur und Tools hat und eine bessere Koordination hat.
Ein Problem, das ich im Bereich Rollup gesehen habe, ist das Problem der Expansion.L1 -Projekte wie SEI, SUI und Solana entwickeln die Infrastruktur, um eine zuverlässige Parallel -Transaktionsausführung und Datenbankoptimierung zu erreichen, was darauf abzielt, die Öffentlichkeit zu erleichtern.Das aktuelle Rollup kann möglicherweise nicht so stark wie SUI verarbeiten und eine schnelle endgültige Sicherheit erreichen.Da Projekte wie Fuel Network, Megaeth und Heiko jedoch eine parallele Implementierung ermöglichen, können wir in Kürze die Leistungsverbesserung im Rollup -Bereich erwarten.
