La société de capital-risque A16z lance Jolt, une « machine virtuelle à connaissance nulle »

Le géant du capital-risque de la Silicon Valley, Andreessen Horowitz (a16z), a fait l'actualité l'année dernière lorsqu'il a annoncé qu'il étaitse lancer dans la recherche en technologie de pointe– a abandonné son rôle d'investisseur pour se consacrer à la recherche et au développement en informatique à temps partiel. Mardi, l'entreprise a dévoilé les premiers fruits de cette incursion avec la publication d'une implémentation open source de « Jolt », sa machine virtuelle à connaissance nulle (zkVM).

En plus de positionner a16z comme une véritable entreprise de recherche et développement, le nouveau code pourrait aider les blockchains – et certaines des sociétés du portefeuille d'a16z – à faire évoluer leurs opérations.

Les machines virtuelles, communément appelées VM, sont des environnements informatiques logiciels qui servent de base aux blockchains et autres programmes. Le BIT « zéro connaissance » (ZK) de Jolt désigne une forme de supercherie cryptographique qui sous-tend la VM d'a16z, permettant à l'ordinateur virtuel de traiter et de vérifier les données tout en respectant des contraintes spécifiques en matière de Politique de confidentialité et de sécurité.

Jolt prend actuellement en charge l'architecture de jeu d'instructions RISC-V (ISA), une norme open source pour la conception de processeurs informatiques, et les applications écrites en langage de programmation Rust. Les programmeurs peuvent exécuter une application via Jolt pour « vérifier son exécution », explique Eddy Lazzarin, directeur technique d'a16z Crypto. Le programme « produira une preuve » prouvant que le résultat de ce programme provient bien de son exécution correcte. » L'argument principal d'A16z concernant Jolt est qu'il est « 10 fois » plus rapide que RISC Zero, son concurrent le plus proche.

Cryptographie ZK La blockchain a des applications en dehors de la blockchain, mais la recherche sur ZK a connu un essor parallèle à l'essor du secteur. Les « preuves ZK » – les preuves mathématiques générées par les programmes ZK – sont devenues la méthode dominante pour aider les blockchains à réduire les frais, à accélérer et à préserver la Politique de confidentialité des transactions.

Sur le même sujet : Que sont les preuves à connaissance nulle ?

La technologie alimente de nombreusesles soi-disant zkEVM – des zkVM spécifiques à l'environnement d'exécution d'Ethereum, connues sous le nom de Ethereum Virtual Machine, ou EVM – qui ont émergé ces dernières années pour rendre cette blockchain plus rapide et plus sécurisée. (A16z est un investisseur de Matter Labs, ONEun des principaux fabricants de zkEVM).

Les preuves ZK « font évoluer les blockchains en effectuant le travail difficile hors chaîne, et en laissant uniquement la blockchain vérifier les preuves », a expliqué Justin Thaler, chercheur a16z et professeur associé à l'Université de Georgetown, co-auteur des recherches Lasso et Jolt, dans une interview.l'année dernièreAvec les preuves ZK, « vous pouvez obtenir la garantie que ce travail a été effectué correctement, mais ne pas avoir tous les nœuds de blockchain du monde effectuant tout le travail. »

Bien que Jolt n'ait pas été optimisé pour Ethereum ni pour aucune autre blockchain, a16z affirme que sa technologie peut être intégrée aux zkEVM et autres applications ZK basées sur la blockchain. « Optimiser des circuits spécifiques les rend très fragiles. Il est très difficile et opaque de le faire correctement », a déclaré Lazzarin. « Nos techniques sont non seulement plus simples, mais aussi plus rapides. »

L'A16z s'est lancé pour la première fois dans son voyage de haute technologie enAoût de l'année dernière lorsqu'elle a annoncé une paire de projets : Jolt, ONE qui est lancé aujourd'hui, et Lasso, une méthode spéciale pour alimenter les systèmes ZK qui sous-tend une partie de la programmation de Jolt.

Sur le même sujet : Andreessen Horowitz se lance dans la recherche sur les Crypto technologies avec les projets ZK « Jolt » et « Lasso »

Selon Lazzarin, a16z s'est lancé dans son voyage de recherche en haute technologie en partie pour améliorer son image en tant qu'investisseur : « Je veux dire, pourquoi prendre de l'argent à quelqu'un qui n'est que de l'argent quand vous pouvez prendre de l'argent à quelqu'un qui est là avec vous à la pointe de la technologie, faisant les choses les plus difficiles possibles en Crypto? »

Mais selon Lazzarin, les initiatives de recherche d'a16z ne se limitent pas à cela. Le code de Jolt est open source, ce qui signifie que chacun peut théoriquement l'utiliser ou le réutiliser sans payer a16z. « Investisseurs à long terme, nous ne négocions T au jour le jour, à la semaine, ni même au mois », explique Lazzarin. « Nous bénéficions pleinement de l'évolution rapide du secteur au cours des cinq à dix prochaines années. Notre objectif est donc de faire progresser chacun grâce à des biens publics que nous ne monétiserons jamais. »