Nexus Interview｜Jens Groth reveals how to build the future of globally verifiable computing?
TechFlow SélectionTechFlow Sélection
Nexus Interview｜Jens Groth reveals how to build the future of globally verifiable computing?
En tant que pionnier important du domaine des preuves à connaissance nulle, le professeur Jens Groth a proposé en 2016 le système largement utilisé Groth16, dont les recherches ont jeté des bases solides pour le développement actuel du calcul zéro-connaissance (zk).
Dédié à des analyses Web3 approfondiesInterviewé : Jens Groth, scientifique en chef de Nexus
Interview et rédaction : Alex, équipe éditoriale d'OpenBuild
Dans un contexte où l’IA, le Big Data et le Web3 convergent rapidement, la vérification de l’authenticité des calculs à grande échelle devient un défi technologique central pour le monde numérique. Nexus mène une exploration de pointe — construire une infrastructure mondiale de calcul vérifiable fonctionnant de manière collaborative, combinant une machine virtuelle à connaissance nulle (zkVM)[1] et un réseau de prouveurs distribués[2], afin de créer un « supercalculateur » fiable.
Dans cet entretien exclusif, OpenBuild discute en profondeur avec Jens Groth[3], scientifique en chef de Nexus et expert reconnu en cryptographie, sur des sujets clés tels que l’évolution technique de la zkVM, la conception d’architecture de calcul distribué et les voies d’exécution fiable dans les scénarios d’IA. Il partage également comment Nexus parvient à équilibrer confidentialité, performances et évolutivité, fournissant ainsi une base fondamentale pour une civilisation numérique vérifiable.
En tant que pionnier majeur du domaine des preuves à connaissance nulle, le professeur Jens Groth a proposé en 2016 le système largement utilisé Groth16[4], dont les recherches ont posé des bases solides pour le développement actuel du calcul zk.
La logique de construction d’un monde vérifiable
OpenBuild : Pourriez-vous résumer en une phrase la vision et la mission de Nexus ?
Jens Groth : Nexus est une plateforme qui construit l’infrastructure fondamentale pour un « monde vérifiable ».
Nous croyons que toutes les activités numériques importantes à l’avenir — qu’il s’agisse de génération de données, de décisions d’IA ou de transactions blockchain — devront être garanties par la vérifiabilité. Nexus construit précisément cette base technologique.
L’évolution technique de zkVM 3.0
OpenBuild : Quelles sont les principales améliorations techniques de zkVM 3.0 par rapport aux deux versions précédentes ?
Jens Groth : Il s’agit d’une refonte complète, allant de l’architecture de base aux performances d’exécution.
La zkVM 3.0 de Nexus[5] cible le jeu d’instructions RISC-V[6], offrant une forte modularité, extensibilité et accompagnée d’une spécification formelle pour assurer sécurité et standardisation.
De plus, nous avons introduit un runtime invité repensé, un mécanisme efficace de vérification de la mémoire, et tirons parti du système de preuve Stwo de StarkWare[7][8] comme moteur de preuve backend. Le résultat final est une vitesse jusqu’à 1000 fois supérieure aux versions 1.0 et 2.0, tout en étant plus facile à utiliser.
Un réseau de puissance de calcul distribué accessible à tous
OpenBuild : Comment fonctionne le réseau de prouveurs distribués de Nexus ? Les utilisateurs ordinaires peuvent-ils y participer ?
Jens Groth : Absolument. Nous avons abaissé le seuil de puissance de calcul : les utilisateurs peuvent se connecter au réseau d’un simple clic depuis leur ordinateur portable ou même leur téléphone mobile, en contribuant leurs ressources informatiques inutilisées. Chaque appareil ajouté renforce la puissance globale du réseau.
Nous différerons du modèle « mineur » traditionnel des blockchains en activant le potentiel des appareils du monde entier. Les utilisateurs contribuant à la puissance de calcul reçoivent des points d’incitation NEX Points[9] fournis par Nexus.
Une chaîne d’outils de calcul vérifiable conviviale pour développeurs
OpenBuild : Comment Nexus aide-t-il les développeurs à créer des applications vérifiables basées sur la zkVM ?
Jens Groth : Nous fournissons un SDK complet, une suite d’outils CLI et une documentation détaillée[10] pour aider les développeurs à démarrer facilement la création de programmes vérifiables.
Notre conception d’API intègre des mécanismes anti-utilisation abusive et trouve un équilibre entre performance, vérifiabilité et sécurité. Notre objectif est que l’exécution vérifiable[11] devienne une capacité standard dans le développement logiciel.
Intégration et mise en œuvre dans des scénarios d’IA
OpenBuild : Comment Nexus sert-il les cas d’usage liés à l’IA ? Quelles sont les applications typiques ?
Jens Groth : La question de la fiabilité de l’IA[12] devient un défi crucial. La capacité de calcul vérifiable de Nexus peut s’appliquer à plusieurs scénarios :
• Vérification des agents IA : par exemple, vérifier si une IA a bien réservé un vol dans les limites autorisées et budgétaires.
• Assistant de transaction crypté : garantir qu’un outil IA ne génère pas de « transactions hallucinées ».
• Médias vérifiables : par exemple, une photo prise par une caméra signée automatiquement avec ses coordonnées géographiques et horodatage, pour prévenir les deepfakes.
Ce sont des cas d’usage généraux. Nexus vise à devenir la norme de base assurant la fiabilité de ces applications d’IA.
Philosophie de conception : confidentialité contre performance
OpenBuild : Comment Nexus équilibre-t-il techniquement protection de la vie privée et optimisation des performances ?
Jens Groth : Le coût principal du calcul vérifiable est la génération de la preuve zk, processus encore coûteux aujourd’hui. Nexus réduit significativement la latence en parallélisant les calculs via son réseau de prouveurs.
L’exécution locale d’un calcul vérifiable permet presque gratuitement de protéger la vie privée, car la preuve zk elle-même est compacte et ne divulgue aucune donnée sensible. Toutefois, le traitement distribué peut présenter des risques pour la confidentialité. C’est pourquoi nous étudions activement comment maintenir à la fois confidentialité et efficacité dans une architecture distribuée.
Feuille de route et perspectives futures
OpenBuild : Quels sont les objectifs principaux de Nexus pour les 1 à 2 prochaines années ?
Jens Groth : Nous prévoyons de lancer un nouveau réseau test cette année, en préparation du déploiement officiel du réseau principal. Par ailleurs, nous venons de créer le Verifiable AI Lab[14] afin d’explorer une intégration approfondie entre l’IA et le calcul vérifiable.
Sur le plan du développement du marché, nos ambitions sont grandes : nous espérons que tout le monde numérique deviendra vérifiable à l’avenir. Nous collaborons déjà avec plus de 50 projets et restons fidèles à notre philosophie produit : « livrer rapidement, itérer continuellement ».
Conclusion
Cet entretien montre que Nexus ne cherche pas à créer une nouvelle « chaîne », mais à redéfinir la manière dont le calcul fiable fonctionne dans le monde numérique. Sa zkVM et son réseau de prouveurs distribués deviendront un nouveau paradigme de collaboration fiable dans les domaines de l’IA, du Web3, voire d’Internet traditionnel.
Liens de référence
[1]zkVM:https://nexus.xyz/zkvm
[2]prover réseau:https://blog.nexus.xyz/nexus-launches-worlds-first-open-prover-network/
[3]Jens Groth:http://www0.cs.ucl.ac.uk/staff/j.groth/
[4]Groth16:https://eprint.iacr.org/2016/260
[5]Nexus zkVM 3.0:https://blog.nexus.xyz/zkvm-3-0-and-beyond-toward-modular-distributed-zero-knowledge-proofs/
[6]RISC-V:https://riscv.org/
[7]StarkWare:https://starkware.co/
[8]Stwo prover:https://github.com/starkware-libs/stwo
[9]NEX Points:https://docs.nexus.xyz/layer-1/network-devnet/nex-points
[10]documentation:https://docs.nexus.xyz/home
[11]Verifiable Executio:https://blog.nexus.xyz/the-nexus-execution-layer-incrementally-verifiable-computation/
[12]problème de fiabilité de l’IA:https://hbr.org/2024/05/ais-trust-problem
[13]fiabilité des applications IA:https://blog.nexus.xyz/nexus-zkmcp-verifiable-model-execution/
[14]Verifiable AI Lab:https://blog.nexus.xyz/nexus-verifiable-ai-lab/
Bienvenue dans la communauté officielle TechFlow
Groupe Telegram :https://t.me/TechFlowDaily
Compte Twitter officiel :https://x.com/TechFlowPost
Compte Twitter anglais :https://x.com/BlockFlow_News
