jakiro
Autor: 0xnatalie Quelle: ChainFeeds
Bei der Ermittlung der Skalierbarkeits- und Berechnungseffizienzlösung der Blockchain ist die ZKP -Technologie (Null -Knowledge Certificate) besonders wichtig.ZKVM (virtuelle Maschine mit Zero-Knowledge) ist eine der spezifischen Anwendungen dieser Technologie.ZKVM kann als universelle Computerplattform, die auf ZKP basiert, die Richtigkeit der Berechnung überprüfen, ohne die Details der Ausführungsdetails zu veröffentlichen.Es unterstützt auch die Aufgabe des großen Berechnungsvolumens außerhalb der Kette.Gegenwärtig entwickeln viele Projekte wie A16Z, Taiko, ZKM und andere Projekte ZKVM -Lösungen.
ZKVM EINLEITUNG
ZKVM ist eine Universal Computing -Plattform, die auf Null -Wissen -Beweis basiert, mit dem verschiedene Computeraufgaben ausgeführt werden können, einschließlich der Implementierung intelligenter Verträge, der Datenverarbeitung und des komplexen Algorithmusbetriebs.Seine Kernfunktion ist es, Null -Wissen -Beweise zu erzeugen.Durch die Snarks -Technologie können diese Beweise unter der Kette verifiziert werden.
Darüber hinaus ist das Design von ZKVM nicht auf Kryptowährungstransaktionen beschränkt Überprüfen Sie gleichzeitig die Richtigkeit der Verarbeitungslogik.
>
ZKVM vergleicht andere virtuelle Maschinen
Herkömmliche virtuelle Maschinen (VM) beziehen sich in der Regel auf eine vollständige Computerumgebung auf physischer Hardware.Diese virtuellen Maschinen erzielen ihre Funktionen hauptsächlich durch die Isolierung der Hardware -Virtualisierungstechnologie und des Betriebssystemebens.Sie beinhalten normalerweise nicht den Prozess der verschlüsselten Überprüfung von Anwendungen oder Daten, die darin ausgeführt werden.
Null -Knowledge Virtual Machine (ZKVM) verwendet Null -Knowledge -Proof -Technologie, um die Richtigkeit des Programmausführungsprozesses zu gewährleisten.Das Design von ZKVM konzentriert sich auf die Bereitstellung einer allgemeinen Computing -Verifizierungsplattform, die für verschiedene Anwendungsszenarien geeignet ist, und unterstützt eine Vielzahl von Programmiersprachen wie Rust, C/C ++ und GO können ihre vertrauten Sprachen verwenden, um Anwendungen zu erstellen.Der Computer- und Überprüfungsprozess ist häufig mehr Zeit -konsumieren .Obwohl die aktuelle ZK -Technologie bei einer einzigen Proof -Generation bei hohen Lastbedingungen erhebliche Fortschritte erzielt hat, ist die Fähigkeit, mit großen Transaktionen mit großem Gewalt umzugehen, immer noch begrenzt.Die Erzeugung jedes Beweises kann einige Sekunden bis einige Minuten dauern, was Beschränkungen für Anwendungen darstellt, die einen hohen Durchsatz erfordern (z. B. große Zahlungsverarbeitungssysteme).
ZKEVM ist eine spezifische Implementierung von ZKVM.Es ist vollständig mit den intelligenten Verträgen und Entwicklungstools von Ethereum kompatibel, wie Solida und Vyper.Daher ist ZKEVM eher einer spezifischen optimierten Version von Ethereum.
ZKVM -bezogenes Projekt
Trotz der Herausforderungen der ZK -Technologie zeigen einige Projektparteien immer noch ihre technische Stärke bei der Entwicklung von ZKVM -Lösungen.
Jolt: Ausgezeichnete Leistung
Am 9. April veröffentlichte A16Z die erste Implementierung des ZKVM -Lösungsrücks.
Im Gegensatz zu anderen ZKVM basierend auf dem Stark -Framework verwendet Jolt Lasso, um Parameter und Sumcheck -basierte Technologie zu finden.Diese Innovationsmethode vereinfacht nicht nur die Implementierung der neuen Anweisungen für virtuelle Maschine, sondern verbessert auch die Gesamtgeschwindigkeit des Systems.Das Design von Jolt betont die Benutzerfreundlichkeit und Effizienz.Darüber hinaus ist die Leistung von Jolt sehr gut.
RISC Zero: Effiziente Verarbeitungskomplexberechnungen
RISC Zero ist eine rekursive Snarkstruktur ZKVM, die durch eine rekursive Methode gekennzeichnet ist, die gegenseitig verschachtelt ist.In der Snarks -Technologie kann rekursive Beweise in kleinere und einfachere Management -Beweise unterteilt werden.Diese kleinen Nachweise können unabhängig verifiziert und schließlich zu einem vollständigen großen Beweis verschmolzen. Dieser Prozess beeinflusst nicht die Wirksamkeit des Beweises.Die Einzigartigkeit von RISC Zero liegt in seiner aktuellen rekursiven Methode. Mehrere Berechnungsschritte in mehreren Berechnungsschritten.
Eine weitere Einzigartigkeit von RISC Zero besteht darin, dass es den RISC-V-Befehlssatz verwendet, bei dem es sich um eine offene Standard-ISA (Anleitungs-Set-Architektur) handelt, die darauf abzielt, Skalierbarkeit und Skalierbarkeit zu erreichen.Diese Auswahl stellt sicher, dass RISC Zero umfangreiche Tools verwenden und Ökosysteme unterstützen kann, um den Zugriff und die Integration vorhandenen Systemen im Vergleich zu anderen ZKVMs zu erleichtern, die möglicherweise proprietäre oder universelle Architektur verwenden.
Im vergangenen Jahr haben sie eine Finanzierung von 40 Millionen US -Dollar erfolgreich abgeschlossen.此轮融资由 Blockchain Capital 领投 ， 其他知名投资者包括 Bain Capital Crypto 、 Galaxy Digital 、 iOSG Ventures 、 Rockawayx 、 Maven 11 、 Fenbushi Capital 、 Delphi Digital 等参与其中。
>
Prägnant: Entwickler freundlich
Das Torhöhe hat ZKVM SP1 entwickelt.SP1 unterstützt modulare Architektur und ermöglicht es Entwicklern, ihre Funktionen durch „Vor -Kompilation“ anzupassen und zu erweitern.Vor -Translation bezieht sich auf Module, die von Entwicklern hinzugefügt oder geändert werden können.
Darüber hinaus hat SP1 ein dezentrales Beweisnetzwerk erstellt, die Bereitstellung und Ausführung von Beweisen vereinfacht und damit den Schwellenwert der Verwendung erweiterter Verschlüsselungsmethoden verringert.Dieses Netzwerk ermöglicht es Entwicklern, Beweise zu generieren und effizient Beweise zu generieren und eine vereinfachte Methode bereitzustellen.
Im März absolvierte Succinalt eine Finanzierung von 55 Millionen US -Dollar.Die Finanzierung wurde von Paradigma angeführt.Am 13. Mai kündigte Locinct den Start des SP1 -Testnetzwerks an.
>
Taiko: Multi -Proof -System
Taiko hat begonnen, von ZKEVM zu ZKVM zu verwandeln.Das Konzept des mehreren Beweises wird von Vitalik vorgeschlagen, dass Taiko das erste Projekt ist, das dieses Konzept implementiert.Dieses System ermöglicht es Taikos ZKVM, mehrere Arten von Beweisen zu generieren, wodurch die Sicherheit und Robustheit des Systems verbessert wird.Selbst wenn es ein Problem mit einer Art von Beweisen gibt, können andere Arten von Beweisen weiterhin den normalen Betrieb des Systems gewährleisten und rechtzeitig einen falschen Zustandsumwandlung erkennen.Darüber hinaus wird das Halo2-KZG-Proof-System verwendet, sodass komplexe Computer- und großflächige Transaktionen die Effizienz und niedrige Kosten aufrechterhalten können.
Im März absolvierte Taiko die Finanzierung der Serie A in Höhe von 15 Millionen US -Dollar, die von Lightspeed -Fraktion, Hashed, Generation Ventures und Token Bay Capital und anderen beteiligt war.
>
ZKM: MIPS -Architektur ist einfach und stabil
ZKM ist das von der Metis Foundation geschlüpfte ZKVM -Projekt.Dieses Design macht ZKP kompatibler mit der internen Computerverarbeitungsmethode des Systems, beschleunigt die Betriebsgeschwindigkeit und verringert den Berechnungsaufwand im Zusammenhang mit der Implementierung des ZKP -Protokolls allein.Und der größte Teil des aktuellen ZKVM verwendet Rust Sprache, und ZKM bietet Golang -native Unterstützung.
MIPS (Mikroprozessor ohne ineinandergreifende Pipeline -Stufen) ist die erste Generation von optimierten Anweisungen für die Computerarchitektur.Der MIPS -Anweisungssatz ist relativ einfach und stabil und kann in verschiedenen Computergeräten und eingebetteten Systemen weit verbreitet sein.
ZKMIPS unterteilt das gesamte MIPS -Programm in mehrere Segmente.Die Anweisungen jedes Absatzes sind in vier Typen unterteilt und gehört zu den entsprechenden vier Modultabellen.ZKMIPS verwendet die Stark -Proof -Methode, um die Anweisungen in jeder Modultabelle unabhängig zu überprüfen, um sicherzustellen, dass jede Operation in der Tabelle korrekt ist und jede Anweisung im Programmsegment in der entsprechenden Modultabelle enthalten ist.Überprüfen Sie dann die Ausführungssequenz jedes Programmsegments, die der Ausführung des gesamten Programms entsprechen.Auf diese Weise können sogar die Programme unter der Kette in der Kette überprüft werden, was die Transparenz und das Vertrauen der Programmausführung verbessert.
ZKM hat kürzlich ein neues Trust auf den Markt gebracht, um die Interoperabilitätsinfrastruktur mit mehreren Ketten zu minimieren, wobei ZKMIPS ein Multi -Chain -Interoperabilitäts -Framework erstellt, das nicht vertrauenswürdig und dezentralisiert werden muss.Im Gegensatz zur dritten ZK -Brücke kann sie nur durch Vergnügen überprüft werden, aber alle Berechnungen können verifiziert werden, sodass sie sehr sicher ist.Der Schlüssel zu dieser Interoperabilität ist, dass es einen allgemeinen Beweismechanismus gibt, der einen Beweis für eine Blockchain erzeugen und dann auf einer anderen Blockchain überprüfen kann.Einer der Unterschiede zwischen ZKM und anderen ZKVM besteht darin, dass einer für alle operativen Null -Knowledge -Beweise erzeugt werden kann.ZKM setzt die Sicherheit in den Boden der CPU/MIPS -Architektur ein, sodass alle Software in dieser Architektur dieselbe Sicherheit genießen können, ohne dass jede Software keine Null -Wissen -Zertifizierung separat durchführen muss.
Darüber hinaus sind die Eigenschaften von ZKM:
-
Mit allen virtuellen Maschinen kompatibel: ZKM befindet sich unter jeder virtuellen Maschine, wodurch es mit verschiedenen Blockchain -Smart -Vertragsmotoren kompatibel ist, wie z.
-
Stecker: Entwickler können ZKM verwenden, ohne die vorhandene Codebibliothek zu ändern.Bietet eine niedrige Akzeptanz und ermöglicht verschiedene intelligente Vertragsprachen und sogar traditionelle Programmiersprachen.
-
Langzeitstabilität: Der MIPS -Befehlssatz ist stabil.
>
ZKVMs zukünftige Aussichten
Angesichts der kontinuierlichen Reife der Blockchain -Technologie und der kontinuierlichen Erforschung von Unternehmensgeschäften verbessert sich die Leistung von ZKVM ständig.Insbesondere zu dem Zeitpunkt, an dem die Datenempfindlichkeit und Nachfrage nach Cross -Chain -Sicherheit zunimmt, bietet ZKVM die Möglichkeit, sich an die Marktnachfrage anzupassen.Wir freuen uns darauf, verschiedene technische Schwierigkeiten zu überwinden, wie z. B. die Stromkreisoptimierung und die Optimierung des Systems selbst, sterben ZKVM, die sich perfekt an verschiedene Programmiersprachen anpassen, und bringen mehr Entwickler in die neue Ära von Web3.
