jakiro
Hintergrundeinführung
4 月 10 日，A16z Crypto 发布了零知识解决方案 Jolt，以加速和简化区块链扩展操作。
Jolt 集成了 SNARK（非交互式简洁零知识证明），可以让开发人员快速创建基于 SNARK 的 L2 解决方案。Das Team sagte auch, dass Jolt doppelt so schnell war wie die aktuellen ZKVMs.
Die ZK-Technologie ist eine der Hauptlinien der verschlüsselten Branche während des gesamten Zyklus.A16Z wurde im August letzten Jahres offiziell von Jolt bis dieses Jahr entlassen, was zeigt, dass dies zeigtZK-Rollup ist immer noch die langfreudende Schneespur.
ZK-Rollup hat viele Spieler, die in das Spiel eintreten, und hat eine unterteilte Technologiekategorie gebildet, um die Unterschiede zwischen Projekten zu unterscheiden.
Aus historischen Gründen hat EVM jedoch eine große Anzahl von unangemessenem Design. ZK-ROLLUP-Projekte, denen sie natürlich vor dem Gleichgewicht zwischen kompatiblerem EVM oder mehr kompatibler mit ZK stehen.
Das von Metis DAO geschlüpfte ZKM stammt aus einer unterer -Ebene -Perspektive und schlägt eine universelle ZKMIPS -Lösung vor.
ZKMIPS verwendet einen Bottom-Layer-MIPS-Befehlssatz, um den Programmausführungsprozess in ZKP-Konvertierung zu implementieren. Entwickler.
Dieser Artikel wird die Bemühungen und den Fortschritt von Metis zu ZK und dezentraler Sequenz tief interpretieren.
ZKM- und Hybrid -Rollups: Harmonie zwischen OP und ZK
Metis kann auf dem Markt eine gute Leistung erzielen.
Die ZKMIPS -Technologie von ZKM bietet eine solide Kompatibilitätsunterstützung für die Hybrid -Rollups von Metis, sodass Metis organische Fusion von ZK und EVM erreichen kann.
In Hybrid -Rollups umfasst die Schlüsselrolle:
-
Sequenzer: Verantwortlich für den Empfang und die Handhabung von Benutzertransaktionen, Ermittlung der besten Reihenfolge der Transaktionen und Veröffentlichung von Konsens- und Datenverfügbarkeitsebenen.
-
Antragsteller: Bewerten Sie Transaktionen und Statuswurzeln, die von Sequency eingereicht wurden, die in der staatlichen Kommissionskette (SCC) aufgezeichnet wurden.
-
Prüfer: Überprüfen Sie die Statuswurzel in der Rollup -Kette, um die Richtigkeit der Transaktion zu gewährleisten und Betrug zu verhindern.
In der Standard -L2 -Lösung wurde die Transaktion gesammelt und bearbeitet und dann die Transaktionsdaten im Ethereum Main Network (L1) veröffentlicht.In diesem Prozess muss L1 die endgültigen Daten überprüfen und bestätigen, um Sicherheit und Konsistenz zu gewährleisten.
>
(Quelle: https://mirror.xyz/msfew.eth/wqjaocfkptozlns8mbqacs4oeprroactnlanalvw)
Hybrid -Rollups werden während der Verarbeitung und Optimierung von L2 -Transaktionen eine gemischte Methode anwenden.
1. Die Initiative und Verarbeitung von Transaktionen:
-
Benutzer initiieren Transaktionen in L2.
-
Der Sequenzer empfielt und behandelte diese Transaktionen, um die Reihenfolge in der Standardhandelskette (CTC) zu bestimmen.
2. Statusübermittlung und -überprüfung:
-
Antragsteller bewerten die Zustandswurzel nach SCC nach der Transaktion.
-
Verifiker überprüft die Statuswurzel im SCC, um sicherzustellen, dass es genau ist.
3. Die Erzeugung und Überprüfung von null Wissensbeweis:
-
Prover liest Daten von L1 und generiert ZK, um zu beweisen, dass dies die wichtigste Merkmal von Hybrid -Rollups ist, sodass das System die Wirksamkeit von Transaktionen überprüfen kann, ohne spezifischen Transaktionsinhalten auszuschließen.
-
Sobald sich der ZK als generiert erwiesen hat, startet Verifier, wenn er nicht rechtzeitig eingereicht wird, mit dem Betrugsprozess und kann Sequenzer bestrafen.
4. Die endgültige Bestätigung von Daten und Status:
-
Nachdem ZK beweist, dass es überprüft wird, ist die Transaktion abgeschlossen.
-
L1 und L2 werden über die Smart Contract Bridge verbunden, um den Sicherheitstransfer von Fonds und Status zu gewährleisten.
Hybrid -Rollups -Design bietet mehrere wichtige Vorteile:
-
Effizienz- und Kostenvorteile: Durch die Nutzung von ZK beweisen Hybridrollups mit mehr Transaktionen und gleichzeitig weniger Gas.
-
Verbesserte Sicherheit: In Kombination mit herkömmlichen Betrugsbeweis und ZK -Proof kann es bei potenziellen böswilligen Verhaltensweisen die Sicherheit und Korrektheit von Transaktionen gewährleisten.
-
Skalierbarkeit: Mit rekursivem Beweis können Hybrid -Rollups große Transaktionen mit großen Maßstäben abwickeln, ohne die Leistung zu beeinträchtigen und breitere Blockchain -Anwendungen zu unterstützen.
-
Kompatibilität und Flexibilität: Unterstützen Sie mehrere intelligente Verträge und Programmiersprachen, damit Entwickler vorhandene Anwendungen auf Hybrid -Rollups problemlos migrieren können.
Die Kernidee von ZK besteht darin, den Programmausführungsprozess in ein mathematisches Zertifikat zu konvertieren, das einfach überprüft werden kann, damit jeder die Richtigkeit der Programmausführung ohne wiederholte Ausführung des Programms relativ stabile mathematische Beweise überprüfen kann.
Entwickler verwenden in der Regel fortgeschrittene Sprachen, um Programme zu entwickeln, während verschiedene Sprachen mit hoher Ebene einen unterschiedlichen „Dialog“ mit Hardware verwenden.
因此，现有的 ZK 项目的实现路径通常互不兼容。Scrollen Sie direkt Schaltungen für jeden Betriebscode von EVM und erreichen Sie ein Äquivalent der Betriebscode -Ebene, die die EVM genau widerspiegelt, aber eine große Menge an Engineering mit sich bringt.
Polygon ZKEVM erstellt eine benutzerdefinierte VM mit optimierter Leistung, die den EVM -Bytecode direkt in den Byte -Code von VM umwandelt, um das Äquivalent der Betriebscode -Ebene effizienter zu erreichen.
ZkSync hat ein eigenes VM (Syncvm) erstellt und eine eigene Zwischendarstellung (AIR) basierend auf dem Register definiert und dann einen speziellen Compiler erstellt, um YUL zu machen (eine Zwischensprache, die in verschiedene EVM -Versionen von Wörtern kompiliert werden kann, die der Code -Code ist in LLVM-IR zusammengestellt als Solidität mit niedrigerer Ebene angesehen und dann in eine benutzerdefinierte VM-Anweisung zusammengestellt, wodurch die Kompatibilität von Soliditätsebene erreicht wird.
Starknet gibt die EVM -Kompatibilität auf und verwendet eine eigene Sprache mit niedrigem Level (CAIRO), um benutzerdefinierte Smart Contract VM (Cairo VM) auszuführen, um eine extreme ZK -Effizienz zu erzielen.
Im Vergleich zur Lösung des obigen Projekts wählte ZKM eine tolerantere Straße: ZKMIPS.
MIPS, „Mikroprozessor mit ineinandergreifenden Pipeline -Stufen“ genannt, ist ein einfacher Microprozessor -Befehlssatz, der 1985 begann.
Das Grundprinzip von MIPS besteht darin, die komplexen Mikroprozessoranweisungen in die grundlegendste Form zu vereinfachen.
Im ZKMIPS -System wird dieser Befehlssatz verwendet, um die Umwandlung des Programms in ZK zu realisieren.
Der Implementierungsprozess von ZKMIPS lautet wie folgt:
-
Programm zur Konvertierung von MIPS: Erstens werden intelligente Verträge oder Programme, die von Advanced Programing Language (wie Solidität oder Rost) verfasst wurden, in MIPS -Befehlssets zusammengestellt.Dieser Schritt besteht darin, höhere Abstraktionsniveaus in bestimmte Vorgänge umzuwandeln, die auf Hardwareebene durchgeführt werden können.
-
ZK -Beweis erzeugen: Anschließend werden diese MIPS -Anweisungen verwendet, um einen entsprechenden Null -Wissen -Beweis zu erzeugen.Aufgrund der vereinfachten Merkmale von MIPS ist dieser Schritt effizienter bei der Berechnung, was schneller Beweise erzeugen kann, ohne die Sicherheit zu beeinträchtigen.
Zkmips Vorteil
-
Kompatibilität: ZKMIPS unterstützt nicht nur die kompatible Solidität von EVM, sondern auch andere Mainstream -Entwicklungssprachen wie Rost und Bewegung.Auf diese Weise können ZKMIPS eine breitere Palette von Blockchain -Entwicklungsökosystemen dienen und so mehr Anwendungsmöglichkeiten einbringen.
-
Kostenvorteile: Aufgrund der Effizienz des MIPS -Befehlssatzes kann ZKMIPS die Berechnungskosten bei der Erzeugung von Null -Wissen -Beweisen erheblich senken und die allgemeine Nachhaltigkeit des Systems erhöhen.
-
Rekursiver Beweis: ZKMIPS unterstützt rekursive Beweise dafür, dass mehrere Beweise eine einfachere Verwaltungseinheit zusammenfassen können, was sehr wichtig ist, um die Skalierbarkeit des Systems zu verbessern.
Tatsächlich wurden die Vorteile von MIPs durch Optimismus und andere Projekte integriert.Der Kanonenmechanismus von Optimism besteht darin, die ausgeführten Programme in MIPS umzuwandeln, um den Ausführungsprozess zu erleichtern, um Fehler zu finden und beim Anfehl des Ausführungsprozesses einfacher und effizienter zu formulieren.
Metis verfolgte diesen Trend und integrierte Kanone auch in sein Ökosystem, was auch die Praktikabilität und Effizienz der ZKMIPS -Technologie weiter überprüfte.
Dezentralisierungssequenz: Dezentralisierung und Nachhaltigkeit
Neben der Verwendung von Hybrid -Rollups zur Integration der Vorteile von OP und ZK drückte Metis auch aktiv in die Landung des Dezentralisierungssequenzers, um ein Ergebnis der dezentralen Dezentralisierung für Rollup festzulegen.
In dem herkömmlichen Rollup -Modell konzentriert sich ein einzelner Sequenzer zwar effektiv mit Transaktionen und Daten, sondern konzentriert sich auch auf große Leistung, was zu mehreren Risiken führen kann:
-
Betriebsrisiko: Wenn der Sequenzer fehlschlägt oder angegriffen wird, wird die Transaktionsverarbeitung des gesamten Systems blockiert.
-
Prüfungsrisiko: Sequencer kann Transaktionen selektiv behandeln oder verweigern, wodurch die Benutzer auf den Zugriff auf bestimmte Protokolle oder Dienste für dezentrale Finanzen (DEFI) beschränkt werden können.
-
Manipulationsrisiko: Bei der Transaktionssortierung kann die Sequenz für die Behandlung ihrer eigenen Transaktionen Priorität geben und unfaire Vorteile erzielen, indem sie die Transaktionskosten erhöhen, dh maximaler Extraktionswert (MEV).
Um die oben genannten Probleme zu lösen, hat Metis einen dezentralen Sequenzpool entwickelt, der aus mehreren Sequenzknoten besteht, um die Transaktionsaggregation, Sortierung und Ausführung gemeinsam zu vervollständigen.Dieses Design sorgt für Fairness und Transparenz des Systems:
-
Konsensmechanismus: Mehr als zwei Tiere des Sequenzknotens müssen einen Konsens über den Status eines jeden neuen Blocks erreichen und dann die Transaktionsstapel an das Hauptnetzwerk von Ethereum (L1) senden.
-
Multi -Party -Berechnung (MPC) Signatur: Bevor die Transaktionsstapel an L1 eingereicht werden, wird die Authentizität der Charge von der MPC -Signatur überprüft, um sicherzustellen, dass die Daten korrekt sind.
Der Vorteil des Dezentralisierungssequenzers:
-
Verbesserte Sicherheit: Durch die gemeinsamen Entscheidungsentscheidungen mehrerer Knoten wurde das Risiko eines Einzelpunktversagens verringert und die Robustheit und Sicherheit des Netzwerks erhöht.
-
Die Möglichkeit, Zensur und Manipulation zu reduzieren: Das Vorhandensein eines mehreren Sequenzers erschwert es einem einzelnen Knoten, Transaktionen zu manipulieren oder zu überprüfen und die Transaktionsfreiheit von Benutzern zu schützen.
-
Stabilität und überflüssig: Das System unterstützt die reibungslose Drehung des Sequenzers, minimiert die Auswirkungen von Fehlern oder Unterbrechungen und verbessert die Stabilität des gesamten Netzwerks.
Im dezentralen Sequenzmodell von Metis besteht jeder Knoten aus mehreren Schlüsselkomponenten:
-
L2 GETH (einschließlich OP-NODE): Verantwortlich für die Handelssortierung und Blockbaugruppe.
-
Adaptermodul: Vermittler, die mit anderen externen Modulen interagieren (hauptsächlich POS -Knoten).
-
Antragsteller (Antragsteller): Verantwortlich für den Aufbau einer Transaktionsstapel und übermittelt sie nach Erhalt der Anerkennung mehrerer Sequenzer an L1.
-
POS -Knoten: Koordinate zwischen Ethereum, Konsens und Metis -Schicht, um die Sicherheitssperrung und die Belohnung der Vermögenswerte sicherzustellen.
-
Konsensschicht: Einschließlich einer Gruppe von Tendern -POS -Knoten, die parallel zum Hauptnetzwerk von Ethereum laufen, um die Effizienz des Betriebs zu gewährleisten und den Prozess des Hauptnetzwerks nicht zu behindern.
>
(Quelle: https://ethresear.ch/t/pos-sequencer-decentralizing-an-optimistic-rollup/16760)))))))))
Durch dieses Design verbessert der dezentrale Sequenzpool von Metis nicht nur die Fairness und Transparenz der Transaktionsverarbeitung, sondern verbessert auch die Sicherheit und Stabilität des Netzwerks durch dezentrale Leistung.
Zusammenfassung und Ausblick
Die Vorteile von Metis in Bezug auf Technologie und Konzepte haben eine solide Grundlage für die Weiterentwicklung der Zukunft geschaffen.Es wird erwartet, dass die auf ZKMIPS basierenden Hybrid-Rollups die Kompatibilität mit ZK-Rollup lösen und immer vielfältigere Entwicklerökologie mitgebracht haben.
Die Weiterentwicklung des dezentralen Sequenzers zeigt die Vision des Teams der Dezentralisierung.Mit der kontinuierlichen Reife von Metis ‚Ökologie haben wir Grund zu der Annahme, dass Metis im zukünftigen L2 -Wettbewerb kontinuierlich dunkle Pferde leiten wird, was einen stetigen Strom von Wert für Benutzer und Entwickler schafft.
