Apprenez avec Nexus (NEX) : Construire un supercalculateur vérifiable pour l'Internet
Introduction : Nexus construit l'infrastructure pour le calcul vérifiable à l'échelle de l'Internet. Sa vision centrale est de permettre aux ordinateurs du monde entier de travailler ensemble en tant que réseau distribué de prouveurs, générant des preuves que les calculs ont été exécutés correctement. Au cœur de cette vision se trouve le Nexus zkVM, une machine virtuelle à preuves à connaissance nulle conçue pour prouver efficacement des calculs à grande échelle et rendre le calcul vérifiable pratique pour les développeurs et les applications.
Pourquoi le calcul vérifiable est important
Les systèmes numériques modernes dépendent du calcul. Des blockchains et des applications financières aux systèmes d'IA, aux services cloud et aux plateformes de données, les utilisateurs s'appuient de plus en plus sur des machines pour traiter des informations et prendre des décisions. Toutefois, dans de nombreux cas, les utilisateurs doivent faire confiance au fait qu'un calcul a été effectué correctement.
Cela crée un défi majeur : comment quelqu’un peut-il vérifier le résultat d’un calcul sans avoir à le relancer entièrement lui-même ?
Le calcul vérifiable offre une solution. Au lieu de produire uniquement une sortie, un système peut également générer une preuve cryptographique démontrant que la sortie a été correctement produite. Cela permet aux utilisateurs, applications et réseaux de vérifier le calcul avec une certitude mathématique.
Les preuves à divulgation nulle de connaissance poussent cette idée plus loin. Elles peuvent prouver qu'un calcul a été exécuté correctement sans révéler les entrées privées. Cela est particulièrement important pour les applications impliquant la vie privée, les données financières, l'identité, l'IA et l'infrastructure blockchain.
Nexus est construit autour de cette idée : un avenir où le calcul n'est pas seulement effectué, mais aussi prouvable.
Qu'est-ce que le Nexus zkVM ?
Le Nexus zkVM est une machine virtuelle à preuve à connaissance nulle conçue pour prouver des calculs à usage général. En termes simples, elle permet aux développeurs d'exécuter des programmes et de générer des preuves succinctes que ces programmes ont été exécutés correctement.
Contrairement aux systèmes conçus uniquement pour de petits programmes ou des cas d'utilisation restreints, le Nexus zkVM se concentre sur la preuve de calculs très volumineux, y compris des charges de travail comportant des milliards de cycles CPU. Pour y parvenir, il utilise la génération incrémentale de preuves et l'agrégation de preuves, permettant de décomposer un grand calcul en morceaux plus petits et de les prouver étape par étape.
Cela importe car les systèmes traditionnels à preuve à connaissance nulle font souvent face à des limites de performance. Prouver des programmes complexes peut être coûteux, lent et difficile à mettre à l'échelle. Nexus résout ce problème en concevant un zkVM capable de prendre en charge une preuve massivement parallélisée.
Le processus d'exécution du Nexus zkVM comprend plusieurs étapes clés :
-
Compilation : Les programmes sont compilés dans l'ensemble d'instructions de la Nexus Virtual Machine.
-
Exécution : Le programme s'exécute sur la machine virtuelle Nexus et génère une trace d'exécution.
-
Folding : les preuves sont générées et accumulées pour les blocs de calcul de manière fortement parallélisée.
-
Compression : la preuve accumulée finale est compressée en une preuve succincte.
Cette structure permet à Nexus de rendre la preuve à grande échelle plus pratique tout en préservant une expérience conviviale pour les développeurs.
La machine virtuelle Nexus : un modèle simple pour le calcul universel
Au cœur du Nexus zkVM se trouve la Nexus Virtual Machine, ou NVM.
Le NVM est une architecture de CPU virtuel simple, minimale et extensible. Il est conçu pour prendre en charge le calcul universel tout en maximisant les performances du prouveur. Autrement dit, il offre aux développeurs un modèle de calcul généraliste, tout en gardant la machine suffisamment simple pour rendre la génération de preuves plus efficace et plus facile à auditer.
Le NVM utilise un jeu d'instructions 32 bits simple et un modèle mémoire straightforward. Cette conception est importante car la performance du zkVM dépend fortement de la difficulté à prouver chaque étape de la machine. Une machine plus simple peut être plus facile à vérifier, plus facile à optimiser et plus adaptée à la génération de preuves à grande échelle.
Nexus introduit également des co-processeurs zkVM. Il s'agit d'extensions d'instructions personnalisées conçues pour accélérer des opérations spécifiques. Par exemple, les fonctions cryptographiques telles que SHA-256 ou ECDSA peuvent être coûteuses à prouver si elles sont émulées via des instructions CPU normales. Un co-processeur permet au système de gérer ces opérations de manière plus efficace, tout comme un matériel spécialisé peut accélérer certaines tâches.
Cela confère à Nexus deux avantages simultanément :
-
Une machine virtuelle à usage général pouvant prendre en charge de nombreux types de programmes.
-
Accélération spécialisée pour les opérations coûteuses à prouver normalement.
Le réseau Nexus : Un supercalculateur distribué vérifiable
Le réseau Nexus est conçu pour porter le zkVM à l'échelle de l'Internet.
Au lieu de compter sur une seule machine pour générer des preuves, le réseau Nexus agrège la puissance CPU et GPU de nombreux ordinateurs différents. Ces ordinateurs peuvent travailler ensemble pour produire et agréger des preuves en parallèle, transformant du matériel distribué en un supercalculateur vérifiable.
Cela ressemble dans l'esprit aux grands réseaux de calcul bénévole, mais avec une différence majeure : Nexus se concentre sur le calcul vérifiable. La sortie n'est pas seulement un résultat, mais aussi une preuve que le résultat a été calculé correctement.
Dans le modèle Nexus, la génération de preuve peut être divisée en plusieurs petits morceaux. Différents nœuds peuvent travailler sur différentes parties du calcul, et les preuves peuvent être accumulées dans une structure arborescente. Cela rend le système évolutif, car sa capacité de preuve peut croître avec la puissance de calcul totale fournie par le réseau.
Le whitepaper décrit le Nexus Network comme une étape vers l'unification des ordinateurs du monde entier en un seul superordinateur vérifiable. L'objectif à long terme est de rendre la génération de preuves suffisamment rapide et peu coûteuse pour des applications de production réelles.
Pourquoi Nexus est important
Nexus est important car il cible l'un des plus grands goulets d'étranglement de la technologie à preuve de connaissance nulle : l'évolutivité.
Les preuves à divulgation nulle de connaissance sont puissantes, mais historiquement difficiles à utiliser à grande échelle. Les développeurs ont souvent besoin de connaissances spécialisées, de circuits personnalisés ou d'infrastructures de preuve coûteuses. Nexus vise à réduire cette complexité en offrant aux développeurs un environnement basé sur un zkVM où ils peuvent prouver des programmes de manière plus naturelle.
Le projet se concentre également sur la mise en œuvre pratique. Le Nexus zkVM et le Nexus Network sont open-source et implémentés en Rust. Le whitepaper décrit la prise en charge de la preuve de programmes Rust, avec un flux de développement aussi simple que la preuve et la vérification via les outils Nexus.
Si le projet réussit, Nexus pourrait prendre en charge un large éventail d'utilisations :
-
Calcul d'IA vérifiable
-
Mise à l'échelle de la blockchain et systèmes de preuve
-
Calcul cloud minimisant la confiance
-
Applications préservant la vie privée
-
Processus financiers et de données vérifiables
-
Marchés de preuve distribués à grande échelle
En bref, Nexus ne se contente pas de créer un autre outil de blockchain. Il construit une infrastructure pour un avenir où le calcul lui-même peut être vérifié.
Récompenses de parrainage :
Invitez de nouveaux utilisateurs à participer à la campagne Learn & Earn et débloquez des récompenses supplémentaires. Pour chaque ami invité avec succès qui s'inscrit et effectue les transactions requises, vous recevrez une remise de 25 % sur les frais. Plus vous invitez d'utilisateurs qualifiés, plus vous pouvez gagner de récompenses. Pour plus de détails, consultez : https://www.kucoin.com/fr/referral
Comment inviter
Clause de non-responsabilité : les informations figurant sur cette page peuvent provenir de tiers et ne reflètent pas nécessairement les points de vue ou opinions de KuCoin. Ce contenu n’est fourni qu’à titre de référence et ne constitue aucune forme de déclaration ou de garantie, et ne doit pas être interprété comme un conseil en investissements. KuCoin n’est pas responsable des erreurs ou des omissions, ni des résultats découlant de l’utilisation de ces informations. Investir dans des actifs virtuels peut comporter des risques. Veuillez évaluer soigneusement les risques liés au produit et votre tolérance au risque en fonction de votre situation financière. Pour plus d’informations, veuillez consulter nos conditions d’utilisation et déclaration de divulgation des risques.