Offchain Labs conteste l'initiative RISC-V de Vitalik Buterin avec un argument en faveur de WASM sur Ethereum L1

Offchain Labs soutient qu'Ethereum devrait séparer la livraison et les ensembles d'instructions de preuve pour maintenir une flexibilité à long terme.

L'équipe note que les changements rapides dans les conceptions de ZK-VM créent de l'incertitude quant au verrouillage d'Ethereum dans RISC-V.

WASM offre une stabilité structurelle, une compatibilité matérielle et de fortes fonctionnalités de validation pour l'exécution de contrats intelligents sur la chaîne.

Les chercheurs d'Offchain Labs ont avancé un défi détaillé à la proposition de Vitalik Buterin de déplacer la couche d'exécution d'Ethereum vers l'ensemble d'instructions RISC-V. Leur position a introduit une structure différente pour évaluer comment Ethereum gère le code des contrats intelligents. Les chercheurs ont présenté leurs conclusions lors d'une discussion en novembre sur Ethereum Research, où ils ont examiné comment WebAssembly peut fonctionner comme un format de livraison à long terme pour la couche 1 d'Ethereum.

Les chercheurs soulignent les rôles distincts des systèmes de livraison et de preuve.

L'équipe a expliqué comment les systèmes de contrats intelligents reposent sur deux couches différentes. Ils ont décrit un ensemble d'instructions de livraison qui détermine comment les contrats apparaissent sur la chaîne. Ils ont également détaillé un ensemble d'instructions de preuve utilisé par les machines virtuelles ZK pour vérifier l'exécution. Ils ont déclaré que ces rôles n'ont pas besoin de partager le même design.

Leur publication a décrit cette séparation comme une méthode qui préserve la flexibilité pour les futurs systèmes de preuve. Ils ont fait référence à des travaux en cours qui compilent des contrats WASM en RISC-V avant de les prouver. Ils ont ajouté que cette approche fonctionne déjà à l'intérieur des tests Arbitrum qui traitent les données de blocs en direct.

Les chercheurs ont examiné les changements rapides dans le développement de ZK-VM. Ils ont noté que les implementations RISC-V ont récemment évolué de conceptions 32 bits à des conceptions 64 bits. Ils ont déclaré que ce changement crée de l'incertitude concernant l'optimisation à long terme pour les systèmes de preuve. Ils se sont concentrés sur le risque d'incorporer un ISA orienté matériel unique dans la couche de base d'Ethereum, tandis que d'autres projets ZK-VM développent des structures de preuve alternatives. Ils ont mentionné les efforts de preuve orientés WASM comme celui de Ligero, Ligetron, comme exemples de nouvelles directions dans ce paysage.

Les coûts de preuve continuent de baisser dans l'écosystème

Le post décrit la baisse des coûts de preuve ZK. Les chercheurs ont déclaré que les coûts actuels se situent près de 0,025 $ pour chaque bloc Ethereum. Ils ont ajouté que les coûts continuent de baisser à mesure que les systèmes de preuve évoluent. Ils ont expliqué que ces chiffres réduisent le besoin de concevoir le format de livraison uniquement autour de l'efficacité de la preuve.

Ils ont noté que les constructeurs peuvent toujours collecter des frais de gaz et des MEV qui dépassent les dépenses de preuve dans des conditions normales de bloc. Les chercheurs ont souligné le format structuré du WASM. Ils ont expliqué que cette structure facilite les mises à jour de code sans casser les contrats existants. Ils ont ajouté que le WASM fonctionne efficacement sur le matériel courant utilisé par la plupart des nœuds Ethereum.

Ils ont également noté que WASM comprend une validation intégrée qui impose la sécurité des types au sein des environnements d'exécution. Ils ont mentionné sa large base d'outils, qui provient d'une utilisation extensive dans de nombreuses applications. Ils ont décrit WASM comme une couche stable qui relie les langages de contrat avec des systèmes d'exécution et de preuve divers.