Compass Investments

– L’une des principales caractéristiques de zkVM 1.0 est un processus de test plus efficace. L’équipe en charge de la plateforme cite également comme avantage des mesures de performance plus élevées. Notamment, zkVM 1.0 est développé dans le langage Rust, qui permet de générer des preuves pour divers programmes.

Cette caractéristique permet le développement d’une logique complexe et supprime les contraintes généralement associées à la taille et au coût du gaz. L’objectif de la nouvelle plateforme pour RISC Zero est de décharger une grande partie du travail de calcul dans la chaîne DApps. Le zk-proofing permet de compacter les calculs et de réaliser des vérifications rapides. Dans le même temps, les vérificateurs n’effectuent pas le calcul de manière indépendante.

Dans l’ensemble, ce mécanisme joue un rôle important dans l’amélioration de l’évolutivité des applications de la blockchain. Il permet d’effectuer des opérations complexes en dehors de la chaîne tout en maintenant la vérification dans la blockchain. Il peut donc être utilisé dans des domaines où un calcul efficace et vérifiable est important, tels que les blockchains de couche 2 et les ponts inter-chaînes.

Typiquement, les zkEVM sont conçus pour les machines virtuelles Ethereum (EVM), et les zkVM sont des machines virtuelles qui utilisent la preuve de concept ZK pour les DApps. Outre le zkVM 1.0 récemment lancé, les zkVM existants comprennent Nexus zkVM, Jolt de la crypto-monnaie populaire Andreessen Horowitz (a16z) et SPI de Succinct Labs, qui a récemment fait partie de la collaboration Polygon et AggLayer. À vérifier.

Dans un avenir proche, zkVM 1.0 prendra en charge l’interopérabilité des DApps avec n’importe quelle blockchain dotée d’un vérificateur RISC ZERO intégré. Ainsi, les applications pourront fonctionner sur différentes chaînes telles qu’Ethereum, Base, OP, World Chain, Arbitrum et Starknet.

Pour célébrer le lancement de zkVM 1.0, RISC ZERO a organisé une cérémonie de configuration de confiance. Le code a également fait l’objet d’un audit tiers rigoureux, a indiqué le projet.

Actualités connexes : Space and Time (SXT), une startup californienne spécialisée dans les crypto-monnaies, a récemment publié une pile de preuve d’enjeu en ZK d’une durée inférieure à une seconde, appelée Proof of SQL (preuve de SQL).

L’accès à cet outil de preuve à connaissance nulle de haute performance est ouvert aux utilisateurs sur GitHub. Proof of SQL est conçu comme un nouveau prouveur ZK qui garantit cryptographiquement l’exactitude des requêtes SQL de calcul vers des bases de données contenant des données non autorisées.