L'avenir de zkVM, pourquoi est-il basé sur l'architecture RISC-V ?

Source : hyperstructured.greg Il existe déjà des lecteurs sur la piste zkVM qui peuvent être mis en production, mais la plupart des gens entendent souvent « zkEVM » dans leurs oreilles, mais ils ne comprennent pas ce qu'est le mot « zkVM ». Cet article présente les avantages du jeu d'instructions sélectionné par la plupart des zkVM. Pour plus d'informations sur zkVM, vous pouvez en apprendre davantage à travers cet article. zkVM est plus général que zkEVM, ouvrant la possibilité d'écrire des programmes dans un langage général et d'écrire du code en dehors de la bibliothèque Solidity, et c'est devenu une piste populaire de nos jours. Les principaux projets sur la piste, RISC Zero, Succint, Lita et jolt construits par a16z, sont tous basés sur le jeu d'instructions RISC-V. Quels sont ses avantages ? Pourquoi l'avenir de zkVM sera-t-il basé sur l'architecture RISC-V ? Pourquoi @rv_inc crée-t-il des outils pour permettre une vérification formelle au niveau RISC-V ?

Le jeu d'instructions RISC-V présente principalement les avantages suivants :

Architecture ouverte et extensible :

RISC-V est une architecture de jeu d'instructions standard ouverte (ISA) qui peut être gratuitementutilisée pour tout type d'utilisation, hautement adaptable et personnalisable. Cela permet aux développeurs zkVM d'adapter l'architecture spécifiquement aux opérations de preuve, optimisant ainsi les performances et l'efficacité. Pourquoi Linux occupe-t-il la plus grande part des systèmes serveurs ? Le mot « gratuit » est vraiment important !

Modularité et flexibilité : 

La fonctionnalité modularity de

RISC-V permet aux développeurs zkVM d'implémenter uniquement les fonctionnalités dont ils ont besoin, évitant ainsi une complexité et une surcharge inutiles. Les avantages de la modularité ont été trop soulignés dans ce cycle et ne seront pas répétés ici.

Standardisation et prise en charge de l'écosystème :

RISC-V dispose d'un écosystème en croissance rapide avec une prise en charge étendue de la chaîne d'outils, y compris des compilateurs et des débogueurs, tels que @rv_inc qui construit une vérification formelle pour l'outil RISC-V ISA. Une écologie en développement rapide signifie un vaste espace d’innovation, ce qui peut parfois conduire à un effet synergique faisant d’une pierre deux coups.

Génération et vérification efficaces des preuves :

La simplicité de la conception de RISC-V permet d'exécuter plus efficacement les algorithmes complexes impliqués dans les preuves à connaissance nulle. En tirant parti de l'architecture du jeu d'instructions RISC-V, « zkVM » peut atteindre de meilleures performances en termes de vitesse et d'utilisation des ressources, qui sont essentielles à l'agrégation de 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, qui sont cruciales pour garantir la sécurité et l'exactitude de zkVM. En utilisant RISC-V, les développeurs pourront exploiter des outils et méthodes de vérification formelle pour créer des zkVM plus sécurisés.

Compatibilité multiplateforme :

La compatibilité entre RISC-V et diverses plates-formes matérielles (y compris X86, x64 et ARM, c'est-à-dire Windows, Mac et divers appareils électriques simples) signifie que zkVM peut se déployer sur une large gamme des environnements. Une telle flexibilité est essentielle pour prouver l’adoption généralisée de solutions convergées, car elle permet une intégration transparente dans des systèmes disparates.

Polyvalence linguistique :

RISC-V n'a pas de concept intégré d'adresses de portefeuille ou d'autres structures de blockchain. Le jeu d'instructions se compose principalement d'opérateurs qui déplacent les données entre les emplacements de mémoire et effectuent des opérations mathématiques sur les données. Dans le même temps, par rapport à EVM, l'émulateur RISC-V sous-jacent permet aux programmeurs d'écrire des programmes pour zkVM dans des langages tels que Rust, C/C++ et Go. Cela signifie que les programmeurs zkVM peuvent utiliser des bibliothèques associées développées par d'autres dans l'écosystème du langage. Comme la bibliothèque Rust développée pour Solana, etc.

Alors que le concept « d'informatique universelle » devient de plus en plus populaire, quel genre d'étincelle zkVM apportera-t-il à la concurrence féroce actuelle des VM (MoveVM, SVM, EVM, zkEVM...) ? Peut-il être largement adopté et s’implanter solidement ? Le premier joueur RISC Zero a fait ses débuts, et le reste sera vérifié avec le temps.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!