Offchain Labs conteste la proposition RISC-V de Vitalik, affirme que WASM est meilleur pour Ethereum L1

Offchain Labs, le développeur principal d'Ethereum Layer 2 Arbitrum, a contesté la proposition de Vitalik Buterin de faire passer la couche d'exécution d'Ethereum à RISC-V, en publiant un article technique détaillé soutenant que WebAssembly (WASM) offre des avantages supérieurs à long terme.

Dans un article du 20 novembre sur Ethereum Research, quatre chercheurs d'Offchain Labs affirment que, bien que RISC-V excelle actuellement dans la génération de preuves ZK, cela n'en fait pas le bon choix pour la façon dont les Smart Contracts devraient être livrés et stockés sur Ethereum.

Le cofondateur d'Ethereum, Buterin, avait lancé l'idée de remplacer le bytecode de la Machine Virtuelle Ethereum par l'architecture d'ensemble d'instructions (ISA) open-source RISC-V (prononcé "risk-five") dans un article sur Ethereum Magicians en avril, soutenant que ce changement pourrait réduire les coûts de preuve ZK on-chain jusqu'à 100 fois dans certains cas. 

"Nous soutenons ces objectifs mais remettons en question l'hypothèse implicite de Vitalik selon laquelle un ISA peut servir de manière optimale à la fois la preuve ZK et la livraison de Smart Contract," ont écrit Mario Alvarez, Matteo Campanelli, Tsahi Zidenberg et Daniel Lumi.

Séparer la livraison de la preuve?

L'argument principal de l'équipe se concentre sur la distinction entre un "ISA de livraison" (dISA) — le format pour télécharger des contrats on-chain — et un "ISA de preuve" (pISA) utilisé par les machines virtuelles ZK. Ceux-ci n'ont pas besoin d'être identiques, soutiennent-ils.

Offchain Labs construit déjà un prototype qui prouve ce concept: les blocs Arbitrum, y compris les Smart Contracts Stylus basés sur WASM, sont prouvés par ZK en compilant d'abord WASM vers RISC-V, puis en prouvant l'exécution RISC-V.

"Nous pouvons prouver par ZK des blocs réels aujourd'hui dans une blockchain qui utilise WASM comme dISA, en utilisant un ZK-VM basé sur RISC-V comme backend," indique l'article.

RISC-V pourrait ne pas rester optimal

L'équipe se demande si RISC-V représente le point final de l'évolution des ZK-VM, notant que le paysage des preuves change rapidement. Les récents passages des implémentations RISC-V de 32 bits à 64 bits soulignent cette incertitude.

Consacrer RISC-V sur L1 pourrait verrouiller Ethereum dans une technologie de preuve particulière au moment même où de meilleures alternatives émergent, préviennent-ils, tandis que les ZK-VM basés sur WASM comme Ligetron de Ligero démontrent déjà des avantages que les ISA axés sur le matériel pourraient ne pas être en mesure d'égaler.

Pendant ce temps, les coûts de preuve ZK ont chuté à environ 0,025 $ par bloc Ethereum et continuent de baisser, rendant moins critique l'optimisation exclusivement pour l'efficacité de la preuve, soutiennent les chercheurs. "Même si L1 devait nécessiter plusieurs preuves ZK par bloc, ce coût serait minime par rapport aux frais de gaz et au MEV qu'un constructeur pourrait recevoir d'un bloc," ont-ils écrit. 

Les avantages de WASM

L'équipe souligne la conception structurée de WASM, qui facilite la modification et l'optimisation du code sans casser les contrats existants. WASM s'exécute également efficacement sur du matériel courant, tandis que la plupart des nœuds Ethereum n'exécutent pas de CPU RISC-V et devraient l'émuler.

Les capacités de validation de WASM assurent la sécurité des types et préviennent les vulnérabilités, tandis que son écosystème d'outils mature a été testé en conditions réelles à travers des milliards d'environnements d'exécution.

"Nous pensons que WASM peut être une sorte de Protocole Internet pour les Smart Contracts, servant de couche intermédiaire idéale entre les diverses langues sources dans lesquelles les Smart Contracts sont écrits et les divers backends utilisés pour exécuter et prouver les Smart Contracts," ont écrit les chercheurs.