La Fondation =nil; affirme que son nouveau logiciel est un carburant pour les développeurs à connaissance nulle

La Fondation =nil;, lastartup d'infrastructure blockchain au nom ludique, a présenté jeudi une boîte à outils qui, selon elle, réduira radicalement le temps nécessaire aux développeurs pour créer des plateformes utilisant la cryptographie à connaissance nulle.

Le nouveau projet de =nil; appelé zkLLVM, est destiné à agir comme un compilateur pour les développeurs qui construisent des circuits à connaissance nulle – des algorithmes sophistiqués qui permettent à quelqu'un de garantir que quelque chose est vrai sans suivre les étapes pour le prouver.

La Technologies ZK existe depuis depuis les années 1980, mais son applicabilité aux Crypto – allant de la Politique de confidentialité des transactions à la mise à l'échelle de la blockchain – a alimenté une sorte de renaissance de ZK ces dernières années. Les avancées de la recherche sur ZK ont permis de lever des centaines de millions de dollars pour des startups comme Laboratoires Matter,StarkWare et Mina qui développent une infrastructure blockchain basée sur ZK, et CoinDesk a rapporté la semaine dernière que =nil; avait a levé 22 millions de dollarspour créer sa propre suite de produits à connaissance nulle.

Komarov dit que =nil; a créé zkLLVM pour réduire considérablement les charges de travail des développeurs ZK en leur permettant de transformer facilement le code écrit dans des langages de programmation familiers - comme C++ et Rust - en circuits à connaissance nulle entièrement fonctionnels.

L'écriture d'un circuit à connaissance nulle est généralement une tâche complexe et chronophage pour les développeurs. Elle nécessite généralement de se familiariser avec des langages de programmation spécialisés et des bibliothèques logicielles pointues et spécifiques à un domaine.

LLVM, qui signifie « machine virtuelle de bas niveau », désigne un ensemble de bibliothèques de code open source que les développeurs utilisent pour compiler leur code lisible par l'homme dans un format interprétable par un ordinateur. En nous appuyant sur le projet LLVM, « nous avons construit un compilateur à partir de langages courants déjà connus de tous » ; a déclaré son fondateur, Mikhaïl Komarov, à CoinDesk.

Le projet zkLLVM se connectera également automatiquement à =nil;récemment annoncéMarché de preuve ZK, qu'il a créé pour aider les équipes ZK à décentraliser leurs opérations et à externaliser certains types de calcul à des tiers.

Sur le même sujet : La Fondation =nil; lève 22 millions de dollars pour créer une place de marché pour les preuves à divulgation nulle de connaissance

La Fondation =nil; a publié le projet jeudi sur Github sous une licence open source, ce qui signifie que tout développeur peut utiliser ou modifier librement le code zkLLVM.

La Fondation =nil; affirme que sa Technologies sera particulièrement utile à la myriade d'entreprises qui se précipitent pour construire ce qu'on appelle zkEVM, une sorte de solution de mise à l'échelle Ethereum qui utilise la Technologies ZK pour réduire les frais et les temps d'attente de la blockchain.

Prenant comme exemple la plateforme zkEVM Scroll, Komarov a expliqué qu'ils construisaient leurs circuits manuellement à l'aide d'une bibliothèque logicielle spéciale développée pour le langage de programmation Rust. « Ils y ont consacré environ un an et demi, et beaucoup d'argent », a-t-il ajouté. « S'ils avaient eu accès à ce que nous avions créé un BIT plus tôt, ils n'auraient peut-être pu consacrer que quelques mois à la construction et au débogage. »

Sur le même sujet : L'essor soudain des rollups ZK compatibles EVM

Les circuits ZK sont de plus en plus utilisés pour sécuriser les FLOW d'actifs numériques de valeur, ce qui signifie que les erreurs de programmation peuvent s'avérer extrêmement coûteuses. Komarov a reconnu auprès de CoinDesk que zkLLVM devra faire ses preuves avant de gagner la confiance des développeurs. Lorsqu'une version antérieure du code source de zkLLVM a fuité en ligne, certains les développeurs ont déclaréils seraient méfiants à l’idée de faire confiance aux capacités de génération de circuits de =nil;, étant donné la complexité du code.

Komarov a également souligné que zkLLVM présente actuellement des limites pour la gestion de circuits particulièrement volumineux, des programmes plus complexes à traduire en langage à connaissance nulle. Il espère toutefois que le code de zkLLVM atteindra une maturité suffisante pour que les développeurs puissent enfin cesser de se concentrer sur les détails de la construction de circuits ZK et se concentrer sur d'autres aspects de leurs logiciels.