Offchain Labs s’oppose à la proposition RISC-V de Vitalik et soutient WASM pour Ethereum L1

Offchain Labs, le principal développeur d’Arbitrum – la solution Layer 2 leader sur Ethereum – vient de formuler un argumentaire contre la proposition de Vitalik Buterin visant à migrer la couche d’exécution d’Ethereum vers l’architecture RISC-V. Dans un article technique publié le 20/11 sur Ethereum Research, l’équipe de recherche affirme que WebAssembly (WASM) est le choix qui offre les avantages à long terme les plus significatifs.

Selon les quatre chercheurs d’Offchain Labs – Mario Alvarez, Matteo Campanelli, Tsahi Zidenberg et Daniel Lumi – même si RISC-V présente actuellement un avantage pour la génération de preuves ZK, cela ne signifie pas que ce soit le format le plus approprié pour déployer et stocker des smart contracts sur Ethereum.

La proposition controversée de Vitalik

Vitalik Buterin avait proposé de remplacer le bytecode de l’Ethereum Virtual Machine par le jeu d’instructions open-source RISC-V dans un article publié sur Ethereum Magicians en avril dernier. Cette idée vise à réduire considérablement le coût de génération des preuves ZK, parfois jusqu’à 100 fois moins cher.

Cependant, Offchain Labs estime que l’hypothèse selon laquelle « une seule ISA servirait de manière optimale à la fois la génération de preuves et le déploiement de smart contracts » n’est pas pertinente.

Séparer « delivery ISA » et « proving ISA »

L’argument central de l’équipe est la nécessité de distinguer :

• Delivery ISA (dISA) : le format utilisé pour déployer les smart contracts on-chain.
• Proving ISA (pISA) : le format utilisé dans la machine virtuelle ZK pour générer les preuves.

Ces deux couches n’ont pas nécessairement besoin d’être identiques.

Offchain Labs indique avoir déjà construit un prototype pour démontrer cette approche : les blocs d’Arbitrum – y compris les smart contracts Stylus exécutés sur WASM – sont ZK-proved en compilant WASM vers RISC-V avant de générer la preuve d’exécution RISC-V.

« Nous pouvons ZK-prove des blocs réels sur la blockchain en utilisant WASM comme dISA via un backend ZK-VM basé sur RISC-V, » écrivent-ils.

RISC-V n’est peut-être pas la destination finale

Les chercheurs s’interrogent également sur le fait que RISC-V soit réellement l’aboutissement optimal des ZK-VM, alors que l’écosystème de génération de preuves évolue très rapidement. Le passage récent du RISC-V 32 bits au 64 bits montre que cette technologie n’est pas encore stabilisée.

Si Ethereum « fige » RISC-V au Layer 1, la blockchain pourrait se retrouver prisonnière d’une technologie de preuve obsolète dès l’apparition de solutions plus efficaces. Parallèlement, les ZK-VM basées sur WASM – comme Ligetron de Ligero – démontrent des avantages difficiles à égaler pour une ISA purement matérielle.

En outre, le coût de la génération de preuves ZK a déjà fortement chuté à environ 0,025 USD par bloc Ethereum et continue de baisser, rendant l’optimisation extrême pour la génération de preuves moins cruciale. « Même si le L1 exige plusieurs preuves ZK par bloc, ce coût reste minime par rapport aux frais de gas et au MEV que peut percevoir le builder, » note l’équipe.

Les avantages à long terme de WASM

Offchain Labs estime que WASM se distingue grâce à :

• Une structure claire, permettant d’optimiser ou de modifier sans casser les contrats existants.
• De bonnes performances sur le matériel courant, sans nécessiter d’émulation comme RISC-V.
• Des mécanismes de vérification solides, assurant la sécurité des types et réduisant les failles.
• Un écosystème d’outils mature, éprouvé sur des milliards d’environnements d’exécution.

L’équipe conclut : « Nous pensons que WASM peut devenir une sorte de protocole Internet pour les smart contracts – la couche d’abstraction idéale entre des langages de programmation variés et différents backends d’exécution ou de génération de preuves. »

Thạch Sanh