jakiro
Autor: Paul Veradittakit, Pantara -Partner;
Vorwort
Null -Knowledge -Passwort -Projekt ist im Allgemeinen in zwei Kategorien unterteilt:
-
Dediziertes ZK: Diese Versuche, die Skalierbarkeit der Blockchain durch nachweisliche Berechnungen zu verbessern.Zum Beispiel zk-Rollup-Stack, ZKEVM für Ausführungsschichten und ZK beweisen Aggregation, Siedlung usw.Zu diesen Unternehmen zählen Zksyncra und Starknet.
-
GM ZK: Diese ZK versuchen, Berechnungen zu beweisen, unabhängig davon, welche Programmiersprache verwendet wird, sie werden als ZKVM bezeichnet.Sie wollen Entwicklern ermöglichen, das ZK -Projekt innerhalb weniger Tage (und nicht einige Monate) zu liefern, um sich auf das Schreiben von normalem Code und nicht auf das Schreiben von Codes zu konzentrieren.
Letzteres hängt davon ab, ein neues System aus der unteren Schicht aufzubauen, bei dem die Branchenführer die Spitze der ZK -Forschung erweitern müssen.Zu diesen Unternehmen gehören RISC Zero, Succinalt und Nexus.
Es ist schwierig, Überprüfungen und Berechnungen aufzubauen, daher konzentrieren sich diese Unternehmen auf den Aufbau eines bestimmten Teils des Stapels, wie z.Nexus befasst sich mit diesem Problem aus einer völlig anderen Perspektive.Um ein sicheres Internet zu erstellen, erfordert das Design und die Verwendung von Null -Wissen -Maschinen.Wir glauben, dass Nexus über die Talente und die Originalität des neu verifizierten Computers von Grund auf neu ist, um jede ZKVM -Ebene zu optimieren, um den schnellsten und effizientesten Überprüfungscomputer zu erstellen.
Was ist Überprüfungsberechnung?
In der modernen Gesellschaft ist die Wahrheit schwer zu überprüfen.Künstliche Intelligenz, tiefe Fälschung, VPN, Remote -Hacker und Online -Fischerei machen die Wahrheit hinter der Berechnung leichter als je zuvor.Derzeit führt die CPU auf unserem Computer Code aus und gibt Lösungen aus.Unter Verwendung von Nexus 0.0 gibt die Codeeingabe Lösungen aus und entsprechend Null -Wissen -Beweis, um zu beweisen, dass die Lösung korrekt erstellt wird, sodass wir feststellen können, dass der Ausgang wirksam ist.Auf diese Weise können alle Informationen nachgewiesen werden, dass Informationen real sind und keine Informationen über die zugrunde liegenden Informationen offenlegen müssen.
Fortschritt und Meilenstein
Nexus basiert seit Jahrzehnten auf der Forschung zu Null -Wissen -Proof.Krankenakten, militärische Geheimnisse, Identität und Browseraktivitäten;Die Überprüfung und Berechnung ist eine Tonhöhe, aber es ist mit riesigen Hindernissen konfrontiert.Die aktuelle ZK -Anwendung ist sehr langsam, kann keine Berechnung ausführen und bietet Entwicklern eine schlechte Erfahrung.
Nexus 1.0 baut eine Maschine auf, die einen Rostcode beweist und einen Technologiestapel entwickelt hat, der Innovation und Skalierbarkeit optimiert.Das ultimative Ziel ist es, die Überprüfung zu erweitern, um sich an jede Anwendung anzupassen, auch so groß wie das Internet.Nexus 0.0 läuft bei 1 Hz (1 CPU -Zyklus pro Sekunde) und kam im September 2023 heraus.Bei Ethdenver im Februar 2024 läuft die neue Version von Nexus 1.0 mit einer Geschwindigkeit von ~ 100 Hz, die in nur 5 Monaten um etwa das 100 -mal zugenommen hat.Das Team hofft, die Geschwindigkeit von Nexus ZKVM zu erhöhen.
Dieses Wachstum des Index -Levels stammte aus dem modularen Design des Nexus 1.0 und ermöglichte separate Optimierungen von den Beweisen für jeden Teil des Nachweises, um zu beweisen, dass die neuesten und hervorragenden Forschungsergebnisse auf dem Gebiet des Null -Knowledge -Proofs.Dies ermöglicht Nexus auch, seine Technologie sehr leicht auf die Blockchain anzuwenden.
Verschlüsselte Anwendung
Die Modularisierung von Nexus bedeutet, dass sie für Gesamtanwendungen verwendet werden kann und auch einen einzelnen Teil zur Unterstützung anderer modularer Anwendungen verwenden kann.Beispielsweise kombiniert die Kompressionsschicht viele große Beweise zu einem präzisen Beweis.Diese Technologie hängt von NOVA ab, einem Faltungsschema, das erst 2022 erfunden wurde.Nexus baut die einzige implementierende Falten -Implementierung der Welt auf, die eine effiziente rekursive und nachweisende Aggregation ermöglicht.Diese Schicht kann unabhängig voneinander verwendet werden, um andere ZKVM zu unterstützen.
Dieses Design ist auch einfach in den aktuellen Blockchain -Konsens- und Sicherheitsstandards zu integrieren.In NVM- oder Nexus-virtuellen Maschinen können Entwickler beispielsweise in „Vorkompilierung“ benutzerdefinierte Anleitungsmaschinen zu vorgefertigten gemeinsamen Schemata wie Keccak-256 verwenden (zum Erstellen und Überprüfen von Transaktionen auf Ethereum).Dies bedeutet, dass Nexus die in den EVM- (und viele anderen) Ketten durchgeführten Berechnungen integrieren und überprüfen kann.
Heute kosten ZK -Anwendungen Millionen von Dollar, um Zertifikate auf L1 zu generieren und zu überprüfen.Das NEXUS -Proof-, Komprimierungs- und Compiler -Knoten -Netzwerk wird die Leistung bestehender ZK -Anwendungen erheblich verbessern.Die ZK -Industrie hat sich rasant entwickelt, und Nexus nimmt die marktführende Position mit dem ersten Design -Design aus dem gesamten Technologiestapel von nachgewiesenen zur Komprimierung ein.
Schlüsselmitglied des Teams
Das Nexus -Team vereint die herausragendsten Talente im Bereich Kryptographie und Informatik.
Das Managementteam umfasst:
-
Daniel Marin, CEO: Frische Absolventen der Stanford University, unter der Anleitung des berühmten Kryptologen Dan Boneh.
-
Jens Group, Chefwissenschaftlerin: ehemaliger Direktor von Dfinity, Professor für College in London, der Erfinder der am häufigsten verwendeten ZK-Snark Groth16.
-
Alex Fowler, Chief Strategic Officer: Blockstream Co -Funder und ehemaliger Senior Vice President, Mozilla Chief Privacy Officer.
-
Don Beaver, Vizepräsident der Kryptologie: Er war der Chefkryptiker von Jump Crypto sowie Senior Forscher und Wissenschaftler von Meta, Uber, Apple und Google.
Zu den Kryptographie -Experten des Kernteams gehören:
-
Michel Abdalla: Senior Code Discipline, Vorsitzender der International Cryptology Research Association (IACR), ehemaliger französischer Professor für höher normale Schule und Forscher Dfinity.
-
Samuel Judson: Cryptography Engineer hat einen Doktortitel in Kryptographie an der Yale University, studiert von Ruzica Piskac und diente als Auth0 -Sicherheitsingenieur.Er schrieb mehr als 7 Artikel in ZKP, formalisierte Methoden und KI.
-
Kristian Sosnin: Kryptographieingenieur, der als Rust Engineer of Matter Labs and Parity gedient hat.
-
Vamsi Policharla: Kryptographieingenieur, der in der Kryptographie in Berkeley promoviert, ist der Ausbilder Sanjam Garg.Er ist der Kerntechniker der Berkeley Code Study Group und schrieb mehr als 4 ZKP -Papiere.
-
Yinuo Zhang: Krypto -Fach, der derzeit eine Doktorarbeit in Kryptographie unter der Anleitung der Sanjam Garg University of Berkeley studiert.Zuvor hatte er in A16Z Crypto ’23 teilgenommen, sich mit ZKVM -Forschung engagiert und mehr als 5 ZKP -Papiere schrieb.
Wir glauben, dass es das Nexus -Team ist, wenn ein Team über verifizierte Berechnungen auf der Internetskala erstellen kann.
Pantera und Lightspeed Venture Partners gaben am 10. Juni 2024 bekannt, dass sie gemeinsam eine Finanzierung von Nexus in Höhe von 25 Millionen US -Dollar leiteten.
Nexus 1.0 wurde öffentlich veröffentlicht, was bedeutet, dass jeder nur wenige Zeilen verwenden kann, um ein Rostprogramm zu beweisen.Probieren Sie die Schritte hier aus (https://docs.nexus.xyz/).
abschließend
Nexus wird die neue Welt überwinden, die mit Sternen und exquisitem technischem Design skalierbar sein kann.Wir glauben, dass Nexus ein wichtiger Schritt für Menschen ist, um in Zukunft ein Sicherheits -Internet zu schaffen.Null Wissen beweist, dass die Geschwindigkeit immer langsam, universell war und die Entwickler schlechte Erfahrung haben.
Nexus löst diese drei Probleme, indem sie jahrzehntelange Innovation mit hoher Parallelisierung und modularem System kombiniert.
Wir glauben, dass Nexus die erste Wahl für die Überprüfung und Berechnungen mit hoher Effizienz sein wird und sicherstellen, dass die nächsten Billionen Berechnungen sicher, verifiziert und effizient sind.
