On fait trop confiance aux technologies sans connaissance
Web3 a tellement mis l’accent sur le concept de base de la technologie sans connaissance qu’il repose désormais sur un piédestal, un projecteur braqué sur chaque développement. Mais ses avantages en matière d’évolutivité, de sécurité et de confidentialité ne le rendent pas fiable par défaut.
Les gens ne réalisent pas que la technologie à connaissance nulle (zk), dans un contexte Web3, est encore relativement nouvelle et non sans défauts. Les développeurs s’attaquent activement aux problèmes actuels de zk tech, mais la nature innovante de l’espace signifie qu’ils conceptualisent souvent plus vite qu’ils ne peuvent construire.
Continuer à faire confiance à la technologie zk sans pleinement comprendre ses problèmes est périlleux pour un avenir durable du Web3. Nous devons examiner minutieusement la technologie et ses inconvénients potentiels avant de nous y fier aveuglément.
Les héros ne devraient pas exister dans le Web3 – aucune technologie ne devrait être mise sur un piédestal.
Dans un avenir idéal, la technologie zk jouera un rôle plus intégré dans toutes les activités en chaîne. Cependant, la technologie existe actuellement presque comme une fonctionnalité ou un accessoire complémentaire, plutôt que comme quelque chose qui peut fondamentalement prendre en charge l’exécution en chaîne. En effet, le domaine et les produits développés sont encore relativement nouveaux.
Mais l’espace technologique zk est arrivé à un point où il risque de se compliquer excessivement. Il existe un écart de connaissances croissant entre les constructeurs zk et les utilisateurs Web3.
D’autres problèmes auxquels est confronté le développement de zk tech incluent l’optimisation des délais de mise sur le marché sans compromettre l’intégrité des projets. Les preuves et les circuits Zk manquent actuellement d’accessibilité, car les développeurs doivent apprendre des langages spécifiques à un domaine (DSL) pour permettre une preuve plus poussée de ces calculs.
Il s’agit d’un processus très gourmand en connaissances, l’exemple parfait étant les près d’un an et demi entre le lancement du testnet pré-alpha de Scroll et le lancement du réseau principal. En prenant le temps de procéder à une mise en œuvre appropriée et à un audit du code, le délai de mise sur le marché de Scroll a probablement été retardé par un processus d’examen intensif de son code de circuit zkEVM implémenté via un zkDSL personnalisé lié à Halo2.
C’est un problème, car seule une poignée de personnes dans le monde ont une connaissance directe des DSL et de la cryptographie. À mesure que nous intégrons davantage de développeurs à l’utilisation des technologies zk avancées, nous devons nous assurer que chaque composant de la technologie zk est vérifiable indépendamment.
Ensuite, il y a le défi de la configurabilité. Chaque mise à niveau nécessaire finit par être une refonte complète d’un système fraîchement construit, plutôt qu’une « mise à niveau » dans le sens où les développeurs s’appuient sur un framework existant.
Les projets compatibles Zk travaillent déjà sur des solutions qui simplifient le processus de construction pour les développeurs. Cela aiderait à résoudre des problèmes clés, notamment la lenteur de la mise sur le marché, les coûts liés à la génération de preuves en tant que partie indépendante, la configurabilité des circuits et la nature exigeante de l’apprentissage de langages cryptographiques spécifiques.
En savoir plus dans notre section avis : Il est temps pour les sociétés de sécurité blockchain d’unir leurs forces
Construire des moyens plus simples de compiler du code en circuits entièrement fonctionnels aussi facilement que possible est crucial pour garantir la composabilité d’une application compatible zk fonctionnelle. Des outils tels que les compilateurs peuvent rapidement aider à vérifier la fonctionnalité du code. Les développeurs peuvent également utiliser plusieurs langages de codage pour développer des applications plus efficaces.
Continuer à se concentrer sur l’évolutivité et la sécurité enlève du travail crucial sur d’autres questions en cours dans le domaine. Les failles de la technologie ZK sont ignorées simplement parce que l’industrie a désespérément besoin d’évolutivité et de sécurité, ignorant les inconvénients du coût et de la complexité.
La vérité est que la technologie zk doit se simplifier. Il devrait être possible pour les développeurs d’utiliser cette technologie même s’ils ne sont pas des experts en cryptographie ou en conception de circuits.
Les fournisseurs d’infrastructure Zk doivent créer des outils qui facilitent la création d’applications compatibles zk et simplifient le processus de création pour les développeurs.
La rationalisation des procédures de production et la réduction des coûts associés aux infrastructures constituent une solution à ces problèmes. Une autre solution pourrait être de fournir davantage de ressources et de soutien aux développeurs souhaitant s’intégrer dans l’espace, comme des programmes éducatifs et des opportunités de mentorat.
En fin de compte, même avec zk tech, ne vous contentez pas de faire confiance, mais vérifiez.
Cela va au-delà du règlement des transactions de base, cela devrait s’appliquer aux outils que nous utilisons pour créer ou compiler du code et cela devrait être davantage reconnu par les développeurs et les utilisateurs afin d’encourager l’intégrité entre les projets.
Nous pouvons éviter toute déception en adoptant une vision holistique de l’espace zk – l’avenir de zk promet des implémentations encore non testées pour valider en toute confiance presque tout. Les constructeurs doivent comprendre que ses capacités vont bien au-delà de l’évolutivité et de la sécurité.
Misha Komarov, fondateur de =nil ; Foundation, l’un des principaux développeurs d’infrastructures à connaissance nulle et d’évolutivité Ethereum telles que le compilateur de circuits natif de =nil; zkLLVM, Proof Market, « Placeholder » et le rollup éponyme zkSharding, =nil;. Misha est l’un des principaux développeurs d’infrastructures pour la génération efficace de preuves sans connaissance (ZKP). Il est chercheur et développeur dans les domaines de la cryptographie et des systèmes de gestion de bases de données (SGBD), développant une infrastructure vitale au sein de technologies à connaissance nulle telles que le compilateur de circuits natif de =nil; zkLLVM, Proof Market et « Placeholder ».
Ne manquez pas la prochaine grande actualité – rejoignez notre newsletter quotidienne gratuite.
