Pourquoi l'avenir du zkVM repose-t-il sur l'architecture RISC-V ?
TechFlow SélectionTechFlow Sélection
Pourquoi l'avenir du zkVM repose-t-il sur l'architecture RISC-V ?
RISC Zero, Succinct, Lita et Jolt d'a16z sont tous basés sur l'ensemble d'instructions RISC-V. Quels sont ses avantages ?
Dédié à des analyses Web3 approfondiesAuteur : hyperstructured.greg
Traduction : Alex Liu, Foresight News
L'entreprise d'infrastructure ZK RISC Zero, ayant levé 40 millions de dollars, a officiellement lancé aujourd'hui zkVM 1.0, une version prête pour la production de son zkVM universel. Le segment zkVM compte désormais un acteur opérationnel, mais beaucoup entendent souvent parler de « zkEVM », sans vraiment comprendre ce qu'est un « zkVM », qui n'en diffère pourtant que par un seul caractère. Cet article présente les avantages du jeu d'instructions choisi par la majorité des zkVM ; pour en savoir plus sur les zkVM, vous pouvez consulter cet article.
Les zkVM sont plus universels que les zkEVM, ouvrant la possibilité d'écrire des programmes dans des langages généraux et du code en dehors de la bibliothèque Solidity. Ils sont désormais devenus un domaine très prisé. Les projets leaders tels que RISC Zero, Succint, Lita, ainsi que Jolt développé par a16z, s'appuient tous sur l'architecture RISC-V. Quels en sont les avantages ? Pourquoi l'avenir des zkVM repose-t-il sur RISC-V ? Et pourquoi @rv_inc construit-il des outils permettant la vérification formelle au niveau RISC-V ?
Le jeu d'instructions RISC-V présente principalement les avantages suivants :
Une architecture ouverte et extensible :
RISC-V est une architecture de jeu d'instructions (ISA) standardisée et ouverte, pouvant être utilisée gratuitement pour tout type d'application. Elle est hautement adaptable et personnalisable. Cela permet aux développeurs de zkVM de concevoir une architecture spécifiquement optimisée pour les opérations de preuve, améliorant ainsi performance et efficacité. Pourquoi Linux domine-t-il le marché des serveurs ? Le mot « gratuit » est véritablement crucial !
Modularité et flexibilité :
La nature modulaire de RISC-V permet aux développeurs de zkVM d'implémenter uniquement les fonctionnalités nécessaires, évitant ainsi une complexité et des coûts superflus. L'avantage de la modularité a été suffisamment souligné durant ce cycle, nous n'y reviendrons donc pas.
Standardisation et soutien écosystémique :
RISC-V bénéficie d'un écosystème en pleine croissance, avec un large soutien en matière d'outils, notamment des compilateurs et débogueurs. Par exemple, @rv_inc développe actuellement des outils de vérification formelle ciblant l'ISA RISC-V. Un écosystème en développement rapide signifie un vaste espace d'innovation, parfois porteur d'effets synergiques à plusieurs bénéfices.
Efficacité dans la génération et la vérification des preuves :
La simplicité de conception de RISC-V facilite l'exécution plus efficace des algorithmes complexes impliqués dans les preuves à connaissance nulle. En exploitant l'architecture ISA de RISC-V, les « zkVM » peuvent atteindre de meilleures performances en termes de vitesse et d'utilisation des ressources, ce qui est essentiel pour l'agrégation des preuves.
Sécurité et vérification formelle :
L'architecture claire et bien définie de RISC-V facilite l'application des techniques de vérification formelle, cruciales pour garantir la sécurité et la justesse des zkVM. En utilisant RISC-V, les développeurs peuvent tirer parti d'outils et méthodes de vérification formelle afin de construire des zkVM plus sûrs.
Compatibilité multiplateforme :
La compatibilité de RISC-V avec diverses plateformes matérielles (y compris X86, x64 et ARM, soit les systèmes Windows, Mac, ainsi que divers appareils électroniques courants) signifie que les zkVM peuvent être déployés dans un large éventail d'environnements. Cette flexibilité est essentielle à l'adoption généralisée des solutions d'agrégation de preuves, car elle permet une intégration transparente dans différents systèmes.
Universalité linguistique :
RISC-V ne contient pas nativement de concepts comme les adresses de portefeuille ou autres structures blockchain. Ce jeu d'instructions se compose principalement d'opérateurs déplaçant des données entre emplacements mémoire et effectuant des opérations mathématiques. De plus, comparé à l'EVM, l'émulateur RISC-V sous-jacent permet aux programmeurs d'écrire des programmes pour zkVM en Rust, C/C++ ou Go. Cela signifie que les développeurs de zkVM peuvent utiliser des bibliothèques existantes développées dans ces écosystèmes linguistiques, telles que les bibliothèques Rust créées pour Solana, entre autres.
Alors que le concept de « calcul universel » gagne progressivement en popularité, quel impact les zkVM auront-ils sur la compétition intense entre machines virtuelles (MoveVM, SVM, EVM, zkEVM...) ? Parviendront-ils à une adoption significative et à s'imposer durablement ? Le premier concurrent, RISC Zero, est déjà sur la ligne de départ. Le reste appartient désormais au temps de le confirmer.
Bienvenue dans la communauté officielle TechFlow
Groupe Telegram :https://t.me/TechFlowDaily
Compte Twitter officiel :https://x.com/TechFlowPost
Compte Twitter anglais :https://x.com/BlockFlow_News
@youfelll
