Interviewé : Jens Groth, Scientifique en chef de Nexus
Entretien et rédaction : Alex, équipe de contenu OpenBuild
Avec la convergence accélérée de l’IA, du big data et du Web3, la vérification de l’authenticité de l’informatique à grande échelle devient un défi technique majeur pour le monde numérique. Nexus mène une quête de pointe pour construire une infrastructure informatique vérifiable qui fonctionne ensemble à l’échelle mondiale, en fusionnant des zkVM[1] de machines virtuelles à connaissance nulle avec un réseau de démonstration distribué [2] de créer un « supercalculateur » de confiance.
Dans cette édition de l'interview, OpenBuild s'entretient en profondeur avec le professeur Jens Groth[3], scientifique en chef de Nexus et autorité en cryptographie, sur l'évolution technologique du zkVM, la conception d'architectures de calcul distribué, et des questions clés telles que les chemins d'exécution fiables dans les scénarios d'IA. Il a également partagé comment Nexus parvient à équilibrer performance et évolutivité tout en garantissant la confidentialité, fournissant un soutien de base pour construire une civilisation numérique vérifiable.
En tant que pionnier dans le domaine des preuves à divulgation nulle de connaissance, le professeur Jens Groth a proposé en 2016 le système Groth16[4] largement utilisé, dont les résultats de recherche ont jeté des bases solides pour le développement du calcul zk d'aujourd'hui.
Logique de construction du monde vérifiable
OpenBuild : Pouvez-vous résumer la vision et la mission de Nexus en une phrase ?
Jens Groth : Nexus est une plateforme construisant l'infrastructure sous-jacente pour un « monde vérifiable ».
Nous pensons que toutes les activités numériques importantes à l’avenir, qu’il s’agisse de la génération de données, de la prise de décision par l’IA ou des transactions sur la chaîne, doivent être vérifiables, et Nexus construit la base technologique pour cela.
L'évolution technologique de zkVM 3.0
OpenBuild : Quelles sont les itérations techniques importantes de zkVM 3.0 par rapport aux deux versions précédentes ?
Jens Groth : C'est une réécriture complète de l'architecture sous-jacente à la performance d'exécution.
Nexus zkVM 3.0[5] cible l'ensemble d'instructions RISC-V[6], offrant une grande modularité, évolutivité, et soutenu par des normes formalisées pour garantir la sécurité et la standardisation.
De plus, nous avons introduit un runtime invité repensé, un mécanisme de vérification de mémoire efficace, et nous fournissons des capacités de preuve backend grâce à Stwo prover[7] de StarkWare[8]. Le résultat final est une rapidité 1000 fois supérieure à celle des versions 1.0 et 2.0, tout en étant plus facile à utiliser.
Réseau de puissance de calcul distribué auquel tout le monde peut participer
OpenBuild : Comment fonctionne le réseau de prover distribué de Nexus ? Les utilisateurs ordinaires peuvent-ils participer ?
Jens Groth : Tout à fait. Nous avons abaissé le seuil de puissance de calcul, permettant aux utilisateurs de se connecter au réseau en un clic via un ordinateur portable ou même un téléphone, contribuant ainsi des ressources de calcul inutilisées. Chaque appareil connecté augmente la puissance de calcul globale du réseau.
Nous ne sommes pas comme le « modèle de mineur » traditionnel de la blockchain, mais activons le potentiel des appareils mondiaux. Les utilisateurs qui contribuent leur puissance de calcul peuvent obtenir des points de récompense NEX Points[9] fournis par Nexus.
Chaîne d'outils de calcul vérifiable conviviale pour les développeurs
OpenBuild : Comment Nexus soutient-il les développeurs dans la création d'applications vérifiables basées sur zkVM ?
Jens Groth : Nous fournissons un SDK complet, une chaîne d'outils CLI ainsi qu'une documentation détaillée [10], aidant les développeurs à se lancer facilement dans la construction de programmes vérifiables.
Notre conception d'API intègre un mécanisme de protection contre les abus et équilibre performance, vérifiabilité et sécurité, avec pour objectif de faire de l'Exécution Vérifiable[11] une partie intégrante des capacités de développement.
La combinaison et la mise en œuvre avec les scénarios d'IA
OpenBuild : Comment Nexus sert-il les scénarios d'IA ? Quelles sont les applications typiques ?
Jens Groth : La question de la fiabilité de l'IA [12] devient un défi clé. La capacité de calcul vérifiable de Nexus peut être appliquée dans plusieurs scénarios :
• Vérification des agents AI : par exemple, vérifier si l'IA a effectué des réservations de vol dans le cadre de l'autorisation et du budget.
• Crypto Trading Assistant : Assurez-vous que les outils d’IA ne génèrent pas de « trading d’illusion ».
• Médias vérifiables : des images capturées par des caméras signent automatiquement les coordonnées géographiques et le temps, afin de prévenir les deepfakes.
Ces scénarios sont universels, Nexus s'engage à devenir la norme sous-jacente garantissant la fiabilité de ces applications AI [13].
Philosophie de conception : vie privée vs performance
OpenBuild : Comment Nexus fait-il un équilibre technique entre la protection de la vie privée et l'optimisation des performances ?
Jens Groth : Le coût principal du calcul vérifiable est la génération de preuves zk, un processus qui reste actuellement relativement coûteux. Nexus parallélise le traitement des calculs via un réseau de proveurs, réduisant considérablement la latence.
L'exécution locale de la Computation Vérifiable peut presque offrir une protection de la vie privée gratuitement, car les preuves zk sont à la fois compactes et ne révèlent pas de données sensibles. Le traitement distribué peut poser des risques pour la vie privée, c'est pourquoi nous étudions activement comment maintenir une double garantie de confidentialité et d'efficacité dans une architecture distribuée.
Feuille de route et planification future
OpenBuild : Quels sont les points clés de Nexus pour les 1 à 2 prochaines années ?
Jens Groth : Nous prévoyons de lancer un nouveau réseau de test cette année pour préparer le lancement officiel du réseau principal. En même temps, nous venons de créer le Verifiable AI Lab[14], afin d'explorer la combinaison approfondie de l'IA et du calcul vérifiable.
En matière d'expansion du marché, nous avons de grandes ambitions : nous espérons que l'ensemble du monde numérique se dirigera vers la vérifiabilité à l'avenir. Nous avons établi des partenariats avec plus de 50 projets et nous nous en tenons à la philosophie produit « livraison rapide, itération continue ».
Conclusion
À travers cette interview, on peut voir que Nexus ne fait pas une autre « chaîne », mais redéfinit la voie de « l’informatique de confiance » dans le monde numérique. Le réseau zkVM et le réseau de proover distribué qu’il a construits deviendront un nouveau paradigme de collaboration de confiance dans l’IA, le Web3 et même l’Internet traditionnel.
Le contenu est fourni à titre de référence uniquement, il ne s'agit pas d'une sollicitation ou d'une offre. Aucun conseil en investissement, fiscalité ou juridique n'est fourni. Consultez l'Avertissement pour plus de détails sur les risques.
Entretien avec Nexus | Jens Groth dévoile comment construire l'avenir du calcul vérifiable à l'échelle mondiale ?
Interviewé : Jens Groth, Scientifique en chef de Nexus
Entretien et rédaction : Alex, équipe de contenu OpenBuild
Avec la convergence accélérée de l’IA, du big data et du Web3, la vérification de l’authenticité de l’informatique à grande échelle devient un défi technique majeur pour le monde numérique. Nexus mène une quête de pointe pour construire une infrastructure informatique vérifiable qui fonctionne ensemble à l’échelle mondiale, en fusionnant des zkVM[1] de machines virtuelles à connaissance nulle avec un réseau de démonstration distribué [2] de créer un « supercalculateur » de confiance.
Dans cette édition de l'interview, OpenBuild s'entretient en profondeur avec le professeur Jens Groth[3], scientifique en chef de Nexus et autorité en cryptographie, sur l'évolution technologique du zkVM, la conception d'architectures de calcul distribué, et des questions clés telles que les chemins d'exécution fiables dans les scénarios d'IA. Il a également partagé comment Nexus parvient à équilibrer performance et évolutivité tout en garantissant la confidentialité, fournissant un soutien de base pour construire une civilisation numérique vérifiable.
En tant que pionnier dans le domaine des preuves à divulgation nulle de connaissance, le professeur Jens Groth a proposé en 2016 le système Groth16[4] largement utilisé, dont les résultats de recherche ont jeté des bases solides pour le développement du calcul zk d'aujourd'hui.
Logique de construction du monde vérifiable
OpenBuild : Pouvez-vous résumer la vision et la mission de Nexus en une phrase ?
Jens Groth : Nexus est une plateforme construisant l'infrastructure sous-jacente pour un « monde vérifiable ».
Nous pensons que toutes les activités numériques importantes à l’avenir, qu’il s’agisse de la génération de données, de la prise de décision par l’IA ou des transactions sur la chaîne, doivent être vérifiables, et Nexus construit la base technologique pour cela.
L'évolution technologique de zkVM 3.0
OpenBuild : Quelles sont les itérations techniques importantes de zkVM 3.0 par rapport aux deux versions précédentes ?
Jens Groth : C'est une réécriture complète de l'architecture sous-jacente à la performance d'exécution.
Nexus zkVM 3.0[5] cible l'ensemble d'instructions RISC-V[6], offrant une grande modularité, évolutivité, et soutenu par des normes formalisées pour garantir la sécurité et la standardisation.
De plus, nous avons introduit un runtime invité repensé, un mécanisme de vérification de mémoire efficace, et nous fournissons des capacités de preuve backend grâce à Stwo prover[7] de StarkWare[8]. Le résultat final est une rapidité 1000 fois supérieure à celle des versions 1.0 et 2.0, tout en étant plus facile à utiliser.
Réseau de puissance de calcul distribué auquel tout le monde peut participer
OpenBuild : Comment fonctionne le réseau de prover distribué de Nexus ? Les utilisateurs ordinaires peuvent-ils participer ?
Jens Groth : Tout à fait. Nous avons abaissé le seuil de puissance de calcul, permettant aux utilisateurs de se connecter au réseau en un clic via un ordinateur portable ou même un téléphone, contribuant ainsi des ressources de calcul inutilisées. Chaque appareil connecté augmente la puissance de calcul globale du réseau.
Nous ne sommes pas comme le « modèle de mineur » traditionnel de la blockchain, mais activons le potentiel des appareils mondiaux. Les utilisateurs qui contribuent leur puissance de calcul peuvent obtenir des points de récompense NEX Points[9] fournis par Nexus.
Chaîne d'outils de calcul vérifiable conviviale pour les développeurs
OpenBuild : Comment Nexus soutient-il les développeurs dans la création d'applications vérifiables basées sur zkVM ?
Jens Groth : Nous fournissons un SDK complet, une chaîne d'outils CLI ainsi qu'une documentation détaillée [10], aidant les développeurs à se lancer facilement dans la construction de programmes vérifiables.
Notre conception d'API intègre un mécanisme de protection contre les abus et équilibre performance, vérifiabilité et sécurité, avec pour objectif de faire de l'Exécution Vérifiable[11] une partie intégrante des capacités de développement.
La combinaison et la mise en œuvre avec les scénarios d'IA
OpenBuild : Comment Nexus sert-il les scénarios d'IA ? Quelles sont les applications typiques ?
Jens Groth : La question de la fiabilité de l'IA [12] devient un défi clé. La capacité de calcul vérifiable de Nexus peut être appliquée dans plusieurs scénarios :
• Vérification des agents AI : par exemple, vérifier si l'IA a effectué des réservations de vol dans le cadre de l'autorisation et du budget.
• Crypto Trading Assistant : Assurez-vous que les outils d’IA ne génèrent pas de « trading d’illusion ».
• Médias vérifiables : des images capturées par des caméras signent automatiquement les coordonnées géographiques et le temps, afin de prévenir les deepfakes.
Ces scénarios sont universels, Nexus s'engage à devenir la norme sous-jacente garantissant la fiabilité de ces applications AI [13].
Philosophie de conception : vie privée vs performance
OpenBuild : Comment Nexus fait-il un équilibre technique entre la protection de la vie privée et l'optimisation des performances ?
Jens Groth : Le coût principal du calcul vérifiable est la génération de preuves zk, un processus qui reste actuellement relativement coûteux. Nexus parallélise le traitement des calculs via un réseau de proveurs, réduisant considérablement la latence.
L'exécution locale de la Computation Vérifiable peut presque offrir une protection de la vie privée gratuitement, car les preuves zk sont à la fois compactes et ne révèlent pas de données sensibles. Le traitement distribué peut poser des risques pour la vie privée, c'est pourquoi nous étudions activement comment maintenir une double garantie de confidentialité et d'efficacité dans une architecture distribuée.
Feuille de route et planification future
OpenBuild : Quels sont les points clés de Nexus pour les 1 à 2 prochaines années ?
Jens Groth : Nous prévoyons de lancer un nouveau réseau de test cette année pour préparer le lancement officiel du réseau principal. En même temps, nous venons de créer le Verifiable AI Lab[14], afin d'explorer la combinaison approfondie de l'IA et du calcul vérifiable.
En matière d'expansion du marché, nous avons de grandes ambitions : nous espérons que l'ensemble du monde numérique se dirigera vers la vérifiabilité à l'avenir. Nous avons établi des partenariats avec plus de 50 projets et nous nous en tenons à la philosophie produit « livraison rapide, itération continue ».
Conclusion
À travers cette interview, on peut voir que Nexus ne fait pas une autre « chaîne », mais redéfinit la voie de « l’informatique de confiance » dans le monde numérique. Le réseau zkVM et le réseau de proover distribué qu’il a construits deviendront un nouveau paradigme de collaboration de confiance dans l’IA, le Web3 et même l’Internet traditionnel.
Lien de citation
[1]zkVM:
[2]réseau prover :
[3]Jens Groth:
[4]Groth16:
[5]Nexus zkVM 3.0:
[6]RISC-V:
[7]StarkWare:
[8]Stwo prover:
[9]Points NEX :
[10] document:
[11]Exécution vérifiable:
[12]Problèmes de fiabilité de l'IA :
[13]Fiabilité des applications AI :
[14]Laboratoire d'IA vérifiable: