Offchain Labs a critiqué l'initiative de Buterin de passer d'EVM à RISC-V - La Crypto Monnaie

Le principal développeur du réseau Arbitrum L2, Offchain Labs, a présenté sa propre approche pour moderniser la machine virtuelle Ethereum (EVM).

Une équipe de chercheurs a proposé de passer d'Ethereum à WASM au lieu de l'architecture RISC-V proposée par Vitalik Buterin. À leur avis, RISC-V est bien adapté pour générer des preuves sans connaissance, mais ne constitue pas une option optimale pour exécuter et stocker des contrats intelligents de plateforme.

Buterin a précédemment déclaré que RISC-V résoudrait un certain nombre de problèmes liés à la mise à l'échelle de la première couche de la blockchain et réduirait le coût du ZK de 100 fois.

« Nous soutenons ces objectifs, mais remettons en question l'hypothèse de Vitalik selon laquelle une architecture à commande unique peut servir de manière optimale à la fois les preuves sans connaissance et l'exécution de contrats intelligents », ont écrit Mario Alvarez, Matteo Campanelli, Tzachi Zidenberg et Daniel Lumi.

Les développeurs ont identifié plusieurs avantages fondamentaux de l'architecture WebAssembly :

• conception modulaire — permet de moderniser et d'optimiser le code exécutable, tout en conservant une compatibilité ascendante totale avec les contrats existants ;
• chaîne croisée-efficacité — fonctionne sur du matériel serveur standard, contrairement à RISC-V, qui nécessite une émulation sur la plupart des nœuds Ethereum ;
• validation stricte — la sécurité de type intégrée empêche toute une classe de vulnérabilités au niveau de l'exécution ;
• préparation à la production — L'écosystème d'outils a été testé dans des milliards d'environnements d'exécution réels.

« WASM a le potentiel de devenir un protocole universel pour les contrats intelligents – une norme intermédiaire idéale qui connecte une variété de langages de programmation avec divers systèmes d'exécution et de vérification », a souligné l'équipe.

Avantages contre

L'argument clé des chercheurs est la différence entre « exécutable » (dISA) Et « prouver l’ISA » (pISA). Les experts estiment que l'unification de ces architectures n'est pas nécessaire, car elles résolvent des problèmes différents.

Offchain Labs crée un modèle axé sur cette approche. Les blocs d'arbitrage avec les contrats intelligents Stylus basés sur WASM sont soumis à une vérification ZK via un processus en deux étapes :

1. Compilation de WASM vers RISC-V.
2. Générer des preuves d'exécution de RISC-V.

« Aujourd'hui, nous sommes déjà en mesure de vérifier de vrais blocs de blockchain grâce aux preuves ZK, où WASM est utilisé comme architecture exécutable, et ZK-VM basé sur RISC-V fonctionne comme un backend informatique », ont expliqué les experts.

L'équipe a également souligné l'évolution rapide du paysage des technologies de preuve, se demandant si RISC-V est le point final de l'évolution de ZK-VM. Ils ont cité comme exemple la récente transition des implémentations RISC-V 32 bits vers 64 bits, démontrant que les normes continuent d'évoluer.

Selon les chercheurs, fixer l'architecture sur L1 pourrait limiter la flexibilité d'Ethereum à l'avenir, l'empêchant de s'adapter aux technologies de preuve plus avancées qui émergeront inévitablement.

Les ZK-VM basées sur WASM comme Ligetron de Ligero démontrent déjà des avantages fonctionnels potentiellement inaccessibles avec les modèles centrés sur le matériel.

Le coût des preuves sans connaissance est tombé à environ 0,025 $ par bloc et continue de baisser.

«Même si plusieurs preuves ZK sont nécessaires par bloc, ces coûts resteront insignifiants au regard des redevances gazières et des revenus du gaz. MEVque le validateur reçoit », ont expliqué les experts.

Rappelons qu'en avril, le fondateur de Cardano, Charles Hoskinson, avait évalué positivement la proposition de Buterin visant à remplacer EVM par l'architecture RISC-V.

Vous avez trouvé une erreur dans le texte ? Sélectionnez-le et appuyez sur CTRL+ENTRÉE