Offchain Labs desafía la propuesta RISC-V de Vitalik, dice que WASM es mejor para Ethereum L1

Offchain Labs, el desarrollador principal de Ethereum Layer 2 Arbitrum, ha desafiado la propuesta de Vitalik Buterin de transicionar la capa de ejecución de Ethereum a RISC-V, publicando un detallado post técnico argumentando que WebAssembly (WASM) ofrece ventajas superiores a largo plazo.

En una publicación del 20 de noviembre en Ethereum Research, cuatro investigadores de Offchain Labs sostienen que aunque RISC-V actualmente sobresale en la generación de pruebas ZK, eso no lo convierte en la elección correcta para cómo los Smart Contracts deberían ser entregados y almacenados en Ethereum.

El cofundador de Ethereum, Buterin, había planteado la idea de reemplazar el bytecode de la Máquina Virtual de Ethereum con la arquitectura de conjunto de instrucciones (ISA) de código abierto RISC-V (pronunciado "risk-five") en una publicación en Ethereum Magicians en abril, argumentando que el cambio podría reducir los costos de prueba ZK en cadena hasta 100 veces en algunos casos. 

"Apoyamos estos objetivos pero cuestionamos la suposición implícita de Vitalik de que un ISA puede servir óptimamente tanto para la prueba ZK como para la entrega de contratos inteligentes", escribieron Mario Alvarez, Matteo Campanelli, Tsahi Zidenberg y Daniel Lumi.

¿Separar la entrega de la prueba?

El argumento central del equipo se centra en distinguir entre un "ISA de entrega" (dISA) — el formato para cargar contratos en cadena — y un "ISA de prueba" (pISA) utilizado por máquinas virtuales ZK. Estos no necesitan ser iguales, argumentan.

Offchain Labs ya está construyendo un prototipo que demuestra este concepto: los bloques de Arbitrum, incluidos los Smart Contracts basados en WASM de Stylus, son probados con ZK primero compilando WASM a RISC-V y luego probando la ejecución de RISC-V.

"Podemos probar con ZK bloques del mundo real hoy en una blockchain que usa WASM como dISA, utilizando un ZK-VM basado en RISC-V como backend", afirma la publicación.

RISC-V puede no seguir siendo óptimo

El equipo cuestiona si RISC-V representa el punto final de la evolución de ZK-VM, señalando que el panorama de pruebas está cambiando rápidamente. Los cambios recientes de implementaciones RISC-V de 32 bits a 64 bits destacan esta incertidumbre.

Consagrar RISC-V en L1 podría bloquear a Ethereum en una tecnología de prueba particular justo cuando surgen mejores alternativas, advierten, mientras que los ZK-VM basados en WASM como Ligetron de Ligero ya están demostrando ventajas que los ISA enfocados en hardware pueden no ser capaces de igualar.

Mientras tanto, los costos de prueba ZK han caído a alrededor de $0.025 por bloque de Ethereum y continúan bajando, lo que hace menos crítico optimizar exclusivamente para la eficiencia de prueba, argumentan los investigadores. "Incluso si L1 requiriera múltiples pruebas ZK por bloque, este costo sería mínimo en comparación con las tarifas de gas y MEV que un constructor podría recibir de un bloque", escribieron. 

Ventajas de WASM

El equipo destaca el diseño estructurado de WASM, que facilita la modificación y optimización del código sin romper los contratos existentes. WASM también se ejecuta eficientemente en hardware común, mientras que la mayoría de los nodos de Ethereum no ejecutan CPUs RISC-V y necesitarían emularlo.

Las capacidades de validación de WASM garantizan la seguridad de tipos y previenen vulnerabilidades, mientras que su maduro ecosistema de herramientas ha sido probado en batalla a través de miles de millones de entornos de ejecución.

"Creemos que WASM puede ser una especie de Protocolo de Internet para contratos inteligentes, sirviendo como una capa intermedia ideal entre los diversos lenguajes fuente en los que se escriben los contratos inteligentes y los diversos backends utilizados para ejecutar y probar contratos inteligentes", escribieron los investigadores.