Was ist zkVM? Erfahren Sie mehr über zkVM in diesem Artikel

zkVM wurde veröffentlicht, um diese Probleme sehr gut zu lösen, aber was ist zkVM? Es gibt immer noch viele Leute, die die Realität nicht verstehen. ZkVM ist eine virtuelle Maschine, die einen wissensfreien Beweis verwendet, um Sicherheit, Überprüfbarkeit und Vertrauenswürdigkeit zu gewährleisten Eingabe des alten Zustands und Programms.

Was ist zkVM?

zkVM ist eine virtuelle Maschine, die die Sicherheit vertrauenswürdiger Funktionen durch wissensfreien Nachweis gewährleisten kann, d. h. durch Eingabe des Originalzustands und Ausgabe eines neuen Zustands durch das Programm. zkVM erreicht Benutzerfreundlichkeit, Vielseitigkeit, Einfachheit und Rekursion. Entwickler müssen keine wissensfreie Entwicklung beherrschen und können die Turing-Vollständigkeit erreichen. Es ist nicht erforderlich, die Schaltung der gesamten virtuellen Maschine wiederholt zu generieren.

zkVM ist eine allgemeine Computerplattform, die auf wissensfreien Beweisen basiert und verschiedene Computeraufgaben ausführen kann, einschließlich der Ausführung intelligenter Verträge, Datenverarbeitung und komplexer Algorithmusoperationen. Seine Kernfunktion besteht darin, wissensfreie Beweise zu generieren, die die Richtigkeit von Berechnungen überprüfen, ohne Ausführungsdetails preiszugeben. Durch die SNARK-Technologie können diese Beweise außerhalb der Kette überprüft werden, und der Prüfer muss nicht den gesamten Berechnungsprozess auf der Blockchain erneut ausführen und teure Berechnungskosten zahlen.

Das Design von zkVM ist nicht auf Kryptowährungstransaktionen beschränkt. Seine Vielseitigkeit ermöglicht den Einsatz in einer Vielzahl von Anwendungsszenarien, wie z. B. medizinische Datenverarbeitung, Lieferkettenmanagement, geheime Abstimmungssysteme usw. Diese Anwendungen müssen alle Daten sicherstellen Überprüfen Sie gleichzeitig die Richtigkeit der Verarbeitungslogik.

Was sind die zkVM-Projekte?

Zu den aktuellen zkVM-Projekten gehören hauptsächlich Jolt, RISCZero, Succinct usw. Trotz der Herausforderungen der zk-Technologie gibt es immer noch einige Projekte auf dem Markt, die ihre technische Stärke bei der Entwicklung von zkVM-Lösungen unter Beweis gestellt haben. Der Nachmittag ist eine detaillierte Einführung:

1. Jolt

Jolt ist eine neue Art von zkVM. Sein Hauptmerkmal besteht darin, dass es schnell läuft und für Entwickler einfacher zu erweitern und Code-Audits durchzuführen ist.

Im Gegensatz zu anderen zkVMs, die auf dem STARK-Framework basieren, nutzt Jolt Lasso-Suchparameter und eine auf Summenprüfungen basierende Technologie. Dieser innovative Ansatz vereinfacht nicht nur die Implementierung neuer Anweisungen für virtuelle Maschinen, sondern erhöht auch die Gesamtgeschwindigkeit des Systems.

Das Design von Jolt legt Wert auf Benutzerfreundlichkeit und Effizienz. Die Codebasis ist sehr rationalisiert. Jede CPU-Anweisung in Jolt kann mit nur 50 Zeilen Rust-Code implementiert werden. Darüber hinaus ist die Leistung von Jolt auch in vorläufigen Benchmark-Tests sehr gut und kann wissensfreie Beweise mehr als fünfmal schneller als RISC Zero und zweimal schneller als SP1 durchführen.

2. RISC Zero

RISC Zero ist eine zkVM mit einer rekursiven SNARK-Struktur, die sich durch eine rekursive Methode auszeichnet, die die Verschachtelung von Beweisen unterstützt. In der SNARK-Technologie kann die Rekursion komplexe Beweise in kleinere, besser handhabbare Beweise zerlegen. Diese kleinen Beweise können unabhängig verifiziert und schließlich zu einem vollständigen großen Beweis kombiniert werden, ein Prozess, der die Gültigkeit des Beweises nicht beeinträchtigt. RISCZero ist einzigartig in seinem Ansatz zur Implementierung der Rekursion, indem es mehrere Beweisebenen nahtlos in eine einzige Beweiskette integriert, was nicht nur die Rechenlast und die Menge der zu verarbeitenden Daten reduziert, sondern auch den Verifizierungsprozess über mehrere Rechenschritte hinweg aufrechterhält . Sicherheit und Integrität.

Ein weiteres einzigartiges Merkmal von RISC Zero ist die Verwendung des RISC-V-Befehlssatzes, einer offenen Standard-ISA (Instruction Set Architecture), die auf Skalierbarkeit und Erweiterbarkeit ausgelegt ist. Diese Wahl stellt sicher, dass RISC Zero ein breites Ökosystem an Tools und Support nutzen kann, was den Zugriff und die Integration in bestehende Systeme einfacher macht als andere zkVMs, die möglicherweise proprietäre oder weniger allgemeine Architekturen verwenden.

3. Succinct

Succinct hat zkVM SP1 entwickelt, das für die Ausführung von in Rust oder einer anderen von LLVM kompilierbaren Sprache geschriebenen Code angepasst ist und eine größere Flexibilität und Benutzerfreundlichkeit bietet. SP1 unterstützt eine modulare Architektur, die es Entwicklern ermöglicht, die Funktionalität durch „Vorkompilierung“ anzupassen und zu erweitern. Unter Vorkompilierung versteht man bestimmte Module, die von Entwicklern hinzugefügt oder geändert werden können. Diese Module erweitern die Funktionalität der virtuellen Kernmaschine, sodass diese bestimmte Aufgaben oder Vorgänge effizienter bewältigen kann.

Darüber hinaus baut SP1 ein dezentrales Prüfernetzwerk auf, das die Bereitstellung und Ausführung von Beweisen vereinfacht und dadurch die Schwelle für die Verwendung fortschrittlicher Verschlüsselungsmethoden senkt. Das Netzwerk bietet einen optimierten Ansatz, indem es Entwicklern die effiziente Erstellung von Proofs mit nur einem Klick ermöglicht.

Das obige ist der detaillierte Inhalt vonWas ist zkVM? Erfahren Sie mehr über zkVM in diesem Artikel. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!