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

Offchain Labs, el desarrollador principal de la Layer 2 de Ethereum Arbitrum, ha desafiado la propuesta de Vitalik Buterin de migrar la capa de ejecución de Ethereum a RISC-V, publicando un detallado post técnico en el que argumenta 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, si bien RISC-V actualmente sobresale en la generación de pruebas ZK, eso no lo convierte en la opción adecuada para la entrega y almacenamiento de smart contracts en Ethereum.

El cofundador de Ethereum, Buterin, había planteado la idea de reemplazar el bytecode de la Ethereum Virtual Machine por el conjunto de instrucciones 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 pruebas ZK on-chain hasta 100 veces en algunos casos. 

"Apoyamos estos objetivos, pero cuestionamos la suposición implícita de Vitalik de que una sola ISA puede servir de manera óptima tanto para las pruebas ZK como para la entrega de smart contracts", 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 una "delivery ISA" (dISA), es decir, el formato para subir contratos on-chain, y una "proving ISA" (pISA) utilizada por las máquinas virtuales ZK. Ellos sostienen que no es necesario que sean iguales.

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 en RISC-V.

"Hoy podemos probar con ZK bloques reales en una blockchain que utiliza WASM como dISA, usando una ZK-VM basada en RISC-V como backend", afirma la publicación.

RISC-V puede que no siga siendo óptimo

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

Adoptar RISC-V en L1 podría encerrar a Ethereum en una tecnología de pruebas particular justo cuando surgen mejores alternativas, advierten, mientras que las ZK-VM basadas en WASM como Ligetron de Ligero ya están demostrando ventajas que las ISA orientadas a hardware pueden no igualar.

Mientras tanto, los costos de las pruebas ZK han caído a alrededor de $0,025 por bloque de Ethereum y siguen bajando, lo que hace menos crítico optimizar exclusivamente para la eficiencia de las pruebas, argumentan los investigadores. "Incluso si L1 requiriera múltiples pruebas ZK por bloque, este costo sería mínimo comparado con las tarifas de gas y el MEV que un builder podría recibir de un bloque", escribieron. 

Ventajas de WASM

El equipo destaca el diseño estructurado de WASM, que facilita modificar y optimizar el 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 tendrían que emularlo.

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

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