Offchain Labs contraataca la presión de Vitalik Buterin por RISC-V con un caso para WASM en Ethereum L1

Offchain Labs argumenta que Ethereum debería separar los conjuntos de instrucciones de entrega y prueba para mantener la flexibilidad a largo plazo.

El equipo señala que los rápidos cambios en los diseños de ZK-VM crean incertidumbre sobre el bloqueo de Ethereum en RISC-V.

WASM ofrece estabilidad estructural, compatibilidad con hardware y características de validación sólidas para la ejecución de contratos inteligentes en la cadena.

Los investigadores de Offchain Labs avanzaron un desafío detallado a la propuesta de Vitalik Buterin de trasladar la capa de ejecución de Ethereum hacia el conjunto de instrucciones RISC-V. Su posición introdujo una estructura diferente para evaluar cómo Ethereum maneja el código de contratos inteligentes. Los investigadores presentaron sus hallazgos en una discusión de noviembre en Ethereum Research, donde examinaron cómo WebAssembly puede operar como un formato de entrega a largo plazo para la Capa 1 de Ethereum.

Los investigadores enfatizan roles distintos para los sistemas de entrega y prueba.

El equipo explicó cómo los sistemas de contratos inteligentes dependen de dos capas diferentes. Describieron un conjunto de instrucciones de entrega que determina cómo aparecen los contratos en la cadena. También detallaron un conjunto de instrucciones de prueba utilizado por las máquinas virtuales ZK para verificar la ejecución. Afirmaron que estos roles no necesitan compartir el mismo diseño.

Su publicación describió esta separación como un método que preserva la flexibilidad para futuros sistemas de prueba. Hicieron referencia a trabajos en curso que compilan contratos WASM en RISC-V antes de probarlos. Agregaron que este enfoque ya funciona dentro de las pruebas de Arbitrum que procesan datos de bloques en vivo.

Los investigadores examinaron los rápidos cambios en el desarrollo de ZK-VM. Notaron que las implementaciones de RISC-V recientemente pasaron de diseños de 32 bits a 64 bits. Afirmaron que este cambio genera incertidumbre en torno a la optimización a largo plazo para los sistemas de prueba. Se centraron en el riesgo de incrustar un ISA orientado al hardware en la capa base de Ethereum, mientras que otros proyectos de ZK-VM desarrollan estructuras de prueba alternativas. Hicieron referencia a los esfuerzos de prueba orientados a WASM, como Ligero's Ligetron, como ejemplos de nuevas direcciones en ese paisaje.

Los costos de prueba siguen cayendo en todo el ecosistema

La publicación describió la disminución en los costos de prueba ZK. Los investigadores afirmaron que los costos actuales están cerca de $0.025 por cada bloque de Ethereum. Agregaron que los costos continúan cayendo a medida que los sistemas de prueba evolucionan. Explicaron que estos números reducen la necesidad de diseñar el formato de entrega únicamente en torno a la eficiencia de la prueba.

Señalaron que los constructores aún pueden cobrar tarifas de gas y MEV que superen los gastos de prueba en condiciones normales de bloque. Los investigadores señalaron el formato estructurado de WASM. Explicaron que esta estructura facilita las actualizaciones de código sin romper los contratos existentes. Agregaron que WASM funciona de manera eficiente en el hardware común utilizado por la mayoría de los nodos de Ethereum.

También señalaron que WASM incluye una validación incorporada que impone la seguridad de tipos dentro de los entornos de ejecución. Hicieron referencia a su amplia base de herramientas, que proviene del uso extensivo en muchas aplicaciones. Describieron WASM como una capa estable que conecta los lenguajes de contrato con diversos sistemas de ejecución y demostración.