In den letzten Tagen war das Nexus @NexusLabs-Projekt sehr heiß, da es aufgrund der Einfachheit des Airdrop-Interaktionsprozesses „Ein-Klick-Mining“ und der großen Perspektiven des Projekts viel Aufmerksamkeit auf sich zog. Daher habe ich speziell nach Informationen gesucht, um zu lernen, und teile sie hier mit Ihnen. #Nexus #NEX #zkVM
Nexus bezeichnet sich selbst als ein großflächiges, parallelisiertes ZK (Zero-Knowledge)-Mining-Netzwerk, das von Daniel Marin, Jens Groth und anderen gegründet wurde, wobei die Gründer über starke Computer- und Kryptografie-Hintergründe verfügen.
Seit dem Projektstart im Jahr 2022 hat das Projekt insgesamt 27,2 Millionen Dollar an Finanzierung erhalten, angeführt von bekannten VCs wie Pantera Capital und Dragonfly.
Um zu verstehen, was mit „großflächigem parallelisiertem Zero-Knowledge-Nachweis (ZK) Mining-Netzwerk“ gemeint ist, muss man ZK verstehen. Hier ist mein einfaches Fazit über ZK-Wissen und warum Blockchain ZK benötigt.
📌Das Nexus-Projekt kann in zwei Teile unterteilt werden:
1. Nexus zkVM
Die zkVM einfach zu verstehen, bedeutet, dass jedes Programm oder jede Berechnung in die zkVM eingegeben wird, und sie wird einen ZK-Nachweisprozess und -ergebnis zurückgeben.
Entwickler müssen keine Kryptografie oder komplexe Zero-Knowledge-Entwicklungstechniken lernen, aber der Aufbau der zkVM selbst ist sehr kompliziert. Daher kann die komplexe Nexus zkVM Entwicklern, die ZK-Nachweise benötigen, viel Zeit sparen.
Der Hauptnachweisprozess ist wie folgt (hier wird nicht auf die spezifischen ZK-Nachweisprinzipien eingegangen, sondern nur auf den Nachweisgenerierungsprozess in der Nexus zkVM):
1、Schreiben -> Kompilieren
Der Entwickler schreibt zunächst ein normales Rust-Programm, verarbeitet es mit einem Precompiler, und verwendet dann das von Nexus bereitgestellte Kompilierungswerkzeug (Nexus Compiler), um es in ausführbaren Code für den Nexus Virtual Machine (NVM)-Befehlssatz zu kompilieren.
Unterscheiden Sie zwischen NVM und Nexus zkVM
Der Nexus Compiler wird Hochsprachen oder spezifische DSLs (Domain-Specific Languages) in eine möglichst einfache und effiziente Sequenz von Niedrigebene-Anweisungen kompiliert, um die nachfolgende Nachweisleistung zu maximieren.
2、Ausführung und Generierung von Ausführungsspuren (Trace)
Nach der Kompilierung wird das Programm in der NVM-Umgebung ausgeführt, und der gesamte Ausführungsprozess wird in einer Serie von „Ausführungsspuren“ aufgezeichnet. Diese Spur enthält Informationen über jede Zustandsänderung, Speicherzugriffe usw., um sich auf die nachfolgende Nachweisgenerierung vorzubereiten.
3、Chunking und Verteilung
NVM wird die gesamte Ausführungsspur in mehrere Blöcke (Chunks) aufteilen und diese Blöcke dann über den Orchestrator im Nexus-Netzwerk an verschiedene Teilnehmerknoten verteilen. Dies ermöglicht parallele Berechnungen in einem großflächigen Netzwerk und erhöht die Geschwindigkeit und Effizienz der Nachweisgenerierung.
4、Paralleler Nachweis und Aggregation
Jeder Knoten generiert unabhängig Nachweise (Teilnachweise) für den von ihm verantworteten Trace-Block.
Diese Teilnachweise werden schließlich im Netzwerk vom Orchestrator zu einem einheitlichen, einfachen Zero-Knowledge-Nachweis aggregiert, der die korrekte Ausführung des ursprünglichen Rust-Programms nachweist.
Durch den Einsatz von großflächiger Parallelisierung und rekursivem SNARK sind die endgültigen Nachweisergebnisse sehr klein, können aber die Richtigkeit des Berechnungsprozesses gewährleisten.
Anhang: Mechanismus zur Überprüfung der Speicher-Konsistenz
Nexus zkVM verwendet die auf Merkle-Bäumen basierende Vektorkommittierungsmethode, um die Richtigkeit der globalen Speicherlese- und -schreibvorgänge zu verfolgen und zu überprüfen.
Während mehrerer inkrementeller verifizierbarer Berechnungen (IVC) kann diese Merkle-Baumstruktur die Richtigkeit und Konsistenz jedes Speicherzugriffs gewährleisten, sodass sichergestellt ist, dass der globale Knotenstatus nicht manipuliert oder inkonsistent ist.
2. Nexus Network
Das Nexus Network ist das Netzwerk, das die „Ausführungsspuren-Blöcke“ verarbeitet und aus verschiedenen Berechnungsknoten und Orchestratoren besteht.
Der Orchestrator ist hauptsächlich dafür verantwortlich, die Netzwerkressourcen zu koordinieren, die Verifikationsaufgaben an verschiedene Knoten zu verteilen, die Arbeiten der Knoten zu validieren und die aktuellen Belohnungspunkte zu verwalten.
Berechnungsknoten müssen die von Nexus zkVM und dem Berechnungsorchestrator verteilten Aufgaben ausführen, Ergebnisse einreichen und durch korrektes Feedback Belohnungen erhalten.
📌Nun schauen wir uns an, wie der aktuelle Stand des Projekts ist.
Vor ein paar Tagen zog das zweite Testnetz von Nexus viele Miner an, und es gibt zwei Möglichkeiten, NEX-Punkte zu sammeln:
1、Webversion ausführen, offizielle Website öffnen und einfach auf Start klicken
2、Lokale Version ausführen, CLI-Befehlszeile zur Installation und Ausführung des Knotens verwenden
Derzeit bieten 30 Knoten-Anbieter im Testnetz Berechnungen an, darunter bekannte DePIN-Projekte wie zklink und io.net.
🔴Zusammenfassung
Im Vergleich zu Succinct erkennt man, dass Nexus die ultimative Version von Succinct ist, nur dass Succinct es langsam angehen will und zuerst das ZKP-Netzwerk in Blockchain-Netzwerken testen möchte, bevor es auf andere Branchen ausgedehnt wird.
Aber dieses Mal geht Nexus direkt zur Sache und hat die Ambition, ein globales Zero-Knowledge (ZK)-Nachweisgenerierungsnetzwerk zu schaffen.
Aber soweit ich weiß, wird die ZK-Technologie derzeit hauptsächlich im Blockchain-Bereich angewendet. Nexus unterstützt derzeit die Programmiersprachen Rust und Solidity, was es mit der Ethereum- und Solana-Ökologie vergleichbar macht. Man kann sagen, dass Nexus ein starker Konkurrent von Succinct ist.
Ich bin gespannt, wie sich die gesamte Entwicklung der zkVM-Rennstrecke gestalten wird!