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

Le géant du capital-risque de la Silicon Valley, Andreessen Horowitz (a16z), a fait l'actualité l'année dernière en annonçant qu'il se lançait dans la recherche technologique approfondie , en supprimant son plafond d'investisseur pour devenir chercheur et constructeur en informatique à temps partiel. Mardi, la société a dévoilé certains des premiers fruits de cette incursion avec la publication d'une implémentation de code open source pour « Jolt », sa machine virtuelle à connaissance nulle (zkVM).

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

Les machines virtuelles, communément appelées VM, sont des environnements informatiques logiciels qui servent de base aux blockchains et à d'autres programmes. Le BIT « zéro connaissance » (ZK) de Jolt fait référence à une forme de supercherie cryptographique qui alimente la machine virtuelle d'a16z sous le capot – permettant à l'ordinateur virtuel de traiter et de vérifier les données tout en adhérant à des contraintes particulières en matière de Politique de confidentialité et de sécurité.

Jolt prend actuellement en charge l'architecture de jeu d'instructions (ISA) RISC-V – une norme open source pour la conception de processeurs informatiques – et les applications écrites dans le langage de programmation Rust. Les programmeurs peuvent exécuter une application via Jolt pour "vérifier son exécution", a expliqué Eddy Lazzarin, CTO chez a16z Crypto. Le programme "produira une 'preuve' qui prouve que le résultat de ce programme provient effectivement de l'exécution correcte de ce programme". La grande affirmation de l'A16z avec Jolt est qu'il est « 10 fois » plus rapide que RISC Zero, son concurrent le plus proche.

La cryptographie ZK a des applications en dehors de la blockchain, mais la recherche ZK a explosé parallèlement à l'essor du secteur. Les soi-disant « preuves ZK » – les preuves mathématiques produites par les programmes ZK – sont devenues la méthode dominante pour aider les blockchains à réduire les frais, à augmenter les vitesses et à préserver la Politique de confidentialité des transactions.

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

Cette technologie alimente de nombreux zkEVM – des zkVM spécifiques à l'environnement d'exécution d'Ethereum, connus sous le nom de machine virtuelle Ethereum , 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 dans Matter Labs, ONEun des principaux fabricants de zkEVM).

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

Bien que Jolt n'ait pas été optimisé pour Ethereum ou toute autre blockchain, a16z insiste sur le fait que sa technologie peut être intégrée aux zkEVM et à d'autres applications ZK basées sur la blockchain. "Le réglage fin de 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 plus rapides."

A16z s'est lancé pour la première fois dans son aventure technologique profonde en août de l'année dernière en annonçant deux 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 technologies Crypto avec les projets ZK « Jolt » et « Lasso »

Selon Lazzarin, a16z s'est lancé dans la recherche en technologie profonde en partie pour améliorer sa cachette 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 juste là. avec vous à la pointe, faisant les choses les plus difficiles possibles en Crypto?"

Mais ce n'est pas la seule façon dont Lazzarin pense que les initiatives de recherche d'a16z peuvent contribuer à améliorer les résultats financiers de l'entreprise. Le code de Jolt est open source, ce qui signifie que n'importe qui peut théoriquement l'utiliser ou le réutiliser sans payer 16z. "Parce que nous sommes des investisseurs à long terme, nous ne négocions T au jour le jour, de semaine en semaine, ni même de mois en mois", a déclaré Lazzarin. "Nous en bénéficierons davantage si l'espace progresse le plus rapidement au cours des cinq à dix prochaines années. Notre motivation est donc uniquement de faire progresser tout le monde grâce à des biens publics que nous ne monétiserons jamais."