jakiro
Auteur: Paul Veradittakit, partenaire de pantara;
Avant-propos
Le projet de mot de passe Zero-Knowledge est généralement divisé en deux catégories:
-
ZK dédié: Ceux-ci tentent d’améliorer l’évolutivité de la blockchain en prouvant des calculs spécifiques.Par exemple, la pile ZK-Rollup, ZKEVM pour les couches d’exécution et l’agrégation ZK prouvent, le règlement, etc.Ces sociétés incluent Zksyncra et Starknet.
-
GM ZK: Ces ZK essaient de prouver tout calcul, peu importe le langage de programmation utilisé, ils sont appelés ZKVM.Ils visent à permettre aux développeurs de livrer le projet ZK dans quelques jours (plutôt que quelques mois), ce qui leur permet de se concentrer sur la rédaction de code ordinaire, pas de circuit.
Ce dernier dépend de la construction d’un nouveau système à partir de la couche inférieure, qui oblige les leaders de l’industrie à étendre la pointe de la recherche ZK.Ces sociétés comprennent Risc Zero, Succincy et Nexus.
Il est difficile de construire une vérification et des calculs, donc ces entreprises se concentrent sur la construction d’une partie spécifique de la pile, telle que ZKVM, le réseau de reoxe ou des circuits personnalisés.Nexus s’occupe de ce problème sous une perspective complètement différente.Pour construire un Internet sûr, il faut la conception et l’utilisation de machines à connaissance zéro.Nous pensons que Nexus a les talents et l’originalité de l’ordinateur nouvellement vérifié à partir de zéro pour optimiser chaque couche de ZKVM, afin de construire l’ordinateur de vérification le plus rapide et le plus efficace.
Qu’est-ce que le calcul de la vérification?
Dans la société moderne, la vérité est difficile à vérifier.L’intelligence artificielle, la falsification profonde, le VPN, les pirates à distance et la pêche en ligne facilitent la vérité derrière le calcul.À l’heure actuelle, dans notre ordinateur, le CPU exécute des solutions de code et publie.En utilisant Nexus 0.0, l’entrée de code sortira des solutions et la preuve de connaissance zéro correspondante pour prouver que la solution est créée correctement, ce qui nous permet de déterminer que la sortie est efficace.De cette façon, toute information peut être prouvée que toute information est réelle et qu’il n’est pas nécessaire de divulguer des informations sur les informations sous-jacentes.
Progrès et jalon
Nexus est basé sur la recherche sur la preuve de connaissances zéro pendant des décennies.Dossiers médicaux, secrets militaires, activités d’identité et de navigation;La vérification et le calcul sont un terrain, mais il fait face à d’énormes obstacles.L’application ZK actuelle est très lente, elle ne peut exécuter aucun calcul et offre aux développeurs une mauvaise expérience.
Nexus 1.0 construit une machine qui prouve tout code de rouille et a conçu une pile technologique qui optimise l’innovation et l’évolutivité.L’objectif ultime est d’étendre la vérification pour s’adapter à toute application, même aussi grande qu’Internet.Nexus 0.0 fonctionne à 1 Hz (1 cycle de processeur par seconde) et est sorti en septembre 2023.À Ethdenver en février 2024, la nouvelle version de Nexus 1.0 s’étend à une vitesse de ~ 100 Hz, ce qui a augmenté d’environ 100 fois en seulement 5 mois.L’équipe espère augmenter la vitesse de Nexus ZKVM.
Cette croissance au niveau de l’indice provient de la conception modulaire du Nexus 1.0, permettant des optimisations distinctes de la preuve à chaque partie du provenant pour prouver que la recherche la plus récente et excellente entraîne le domaine de la preuve de connaissances zéro.Cela permet également à Nexus d’appliquer très facilement sa technologie à la blockchain.
Application cryptée
La modularisation de Nexus signifie qu’elle peut être utilisée pour les applications globales et peut également utiliser une seule pièce pour prendre en charge d’autres applications modulaires.Par exemple, la couche de compression combine de nombreuses épreuves grandes dans une preuve concise.Cette technologie dépend de Nova, qui est un schéma de pliage qu’il n’a pas été inventé avant que 2022 ne soit adopté un document de recherche.Nexus construit la seule implémentation de pliage de niveau de production au monde, permettant une agrégation récursive et de preuve efficace.Cette couche peut être utilisée indépendamment pour prendre en charge d’autres ZKVM.
Cette conception est également facile à intégrer avec le consensus de la blockchain actuel et les normes de sécurité.Par exemple, dans les machines virtuelles NVM ou NEXUS, la «pré-compilation» permet aux développeurs d’utiliser des machines d’extension d’instructions personnalisées pour pré-compiller des schémas communs, tels que Keccak-256 (pour créer et vérifier les transactions sur Ethereum).Cela signifie que Nexus peut intégrer et vérifier les calculs terminés sur les chaînes EVM (et de nombreuses autres).
Aujourd’hui, les applications ZK coûtent des millions de dollars pour générer et vérifier les certificats sur L1.Le réseau de nœuds Nexus Proof, Compression et Compiler améliorera considérablement les performances des applications ZK existantes.L’industrie ZK s’est développée rapidement et Nexus occupe la position principale du marché avec la conception de la première classe de toute la pile technologique de la compression prouvée.
Membre clé de l’équipe
L’équipe Nexus rassemble les talents les plus remarquables dans le domaine de la cryptographie et de l’informatique.
L’équipe de direction comprend:
-
Daniel Marin, PDG: De nouveaux diplômés à l’Université de Stanford, sous la direction du célèbre cryptologue Dan Boneh.
-
Jens Group, scientifique en chef: ancien directeur de Dfinity, professeur de collège à Londres, l’inventeur du ZK-Snark Groth16 le plus utilisé.
-
Alex Fowler, directeur stratégique: co-fondateur de Blockstream et ancien vice-président principal, Mozilla Chief Office Office.
-
Don Beaver, vice-président de la cryptologie: il était le principal cryptiste de Jump Crypto, ainsi que chercheur principal et scientifiques de Meta, Uber, Apple et Google.
Les experts en cryptographie de l’équipe de base comprennent:
-
Michel Abdalla: Senior Code Discipline, président de l’International Cryptology Research Association (IACR), ancien professeur d’école supérieure française et chercheur Dfinity.
-
Samuel Judson: ingénieur de cryptographie, titulaire d’un doctorat en cryptographie à l’Université de Yale, a étudié à Ruzica Piskac et a été ingénieur de sécurité Auth0.Il a écrit plus de 7 articles dans le ZKP, des méthodes formalisées et une IA.
-
Kristian Sosnin: ingénieur de cryptographie, qui a été l’ingénieur de la rouille des laboratoires et de la parité de la rust.
-
Vamsi Policharla: Ingénieur de cryptographie, qui étudie un doctorat en cryptographie à Berkeley, l’instructeur est Sanjam Garg.Il est le principal ingénieur de la rouille du Berkeley Code Study Group et a écrit plus de 4 articles ZKP.
-
Yinuo Zhang: Crypto Subject, étudiant actuellement un doctorat en cryptographie sous la direction de l’Université de Sanjam Garg de Berkeley.Il s’était auparavant interné dans A16Z Crypto ’23, engagé dans la recherche ZKVM et a écrit plus de 5 articles ZKP.
Nous pensons que si une équipe peut créer des calculs vérifiés sur l’échelle Internet, c’est l’équipe Nexus.
Pantera et LightSpeed Venture Partners ont annoncé le 10 juin 2024 qu’ils avaient conjointement mené un financement de 25 millions de dollars de Nexus.
Nexus 1.0 a été publié publiquement, ce qui signifie que n’importe qui ne peut utiliser que quelques lignes pour prouver n’importe quel programme de rouille.Essayez les étapes ici (https://docs.nexus.xyz/).
en conclusion
Nexus est surmonté le nouveau monde qui peut être évolutif avec les étoiles et la conception technique exquise.Nous pensons que Nexus est une étape importante pour les humains pour créer un Internet de sécurité à l’avenir.Zero Knowledge prouve que la vitesse a toujours été lente, universelle, et les développeurs ont une mauvaise expérience.
Nexus résout ces trois problèmes en combinant des décennies d’innovation avec une parallélisation élevée et un système modulaire.
Nous pensons que Nexus deviendra le premier choix pour la vérification et les calculs à haute efficacité, et nous assurera que les calculs des prochains milliards de billions sont sûrs, vérifiés et efficaces.
