Compass Investments

Cuatro especialistas en desarrollo de Arbitrum de Offchain Labs han mostrado su desacuerdo con la postura de Vitalik Buterin sobre la implementación de la arquitectura de conjunto de instrucciones (ISA) RISC-V para el tier de ejecución de Ethereum.

En su opinión, WASM parece ser una mejor solución a largo plazo que RISC-V para el formato de contrato inteligente L1 de Ethereum, o “entrega ISA”.

Offchain Labs, un desarrollador clave de soluciones de capa 2 de Ethereum Arbitrum, se ha pronunciado en contra de la propuesta de Vitalik Buterin de trasladar la capa ejecutiva de Ethereum a RISC-V, publicando un detallado desglose técnico que argumenta la superioridad de WebAssembly (WASM) a largo plazo.

En un post del 20 de noviembre en Ethereum Research, cuatro expertos de Offchain Labs argumentan que, aunque RISC-V está funcionando bien actualmente en la generación de confirmaciones ZK, esto no lo convierte en la opción óptima para depositar y almacenar contratos inteligentes en la red Ethereum.

El cofundador de Ethereum, Buterin, sugirió en un post de abril en Ethereum Magicians que el bytecode de la máquina virtual de Ethereum se sustituyera por la arquitectura de conjunto de instrucciones (ISA) abierta RISC-V (pronunciada “risk-five”), argumentando que podría reducir potencialmente el coste de las pruebas ZK en cadena hasta cien veces en algunos casos. Compartimos estos objetivos, pero cuestionamos la conclusión infundada de Vitalik de que la misma ISA puede ser ideal tanto para las pruebas ZK como para la entrega de contratos inteligentes. Mario Alvarez, Matteo Campanelli, Tzahi Siedenberg y Daniel Lumi señalan. ¿Separación de entrega y prueba? La tesis principal del equipo es que debería haber una separación entre dISA (dISA) -el formato para subir contratos a la red- y pISA (pISA), el formato utilizado por las máquinas virtuales ZK. Consideran que estas funciones no deben combinarse.

Offchain Labs ya está construyendo un caso de prueba para apoyar esta idea: los bloques Arbitrum, incluidos los contratos inteligentes Stylus basados en WASM, se someten a la verificación ZK mediante la compilación de WASM en RISC-V y la posterior prueba de ejecución en RISC-V.

Hoy somos capaces de llevar a cabo pruebas reales de ZK en una blockchain que utiliza WASM como dISA, aplicando ZK-VM basada en RISC-V como lado del servidor,.

, decía la publicación.

el equipo se muestra escéptico ante la perspectiva de que RISC-V sea el punto final en el desarrollo de ZK-VM, señalando los rápidos cambios en el ámbito de las pruebas. El reciente paso de las versiones de 32 bits a 64 bits de RISC-V acentúa esta incertidumbre.

La fijación de RISC-V en L1 podría atar a Ethereum a una tecnología de prueba de concepto en particular, mientras que están surgiendo mejores alternativas, advierten, mientras que las ZK-VM basadas en WASM, como Ligetron de Ligero, ya están demostrando ventajas que las ISA basadas en hardware pueden no ser capaces de igualar.

Mientras tanto, el coste de la prueba de concepto ZK ha caído a alrededor de 0,025 dólares por bloque de Ethereum y sigue bajando, lo que hace que la optimización estrechamente enfocada para la eficiencia de la prueba de concepto sea menos prioritaria, dicen los investigadores.

Incluso si L1 requiriera múltiples pruebas ZK por bloque, estos costes serían insignificantes en comparación con las tarifas de gas y MEV que podría recibir un constructor de bloques,

escriben.

El equipo destaca el diseño estructurado de WASM, que facilita la introducción de cambios y la optimización del código sin romper la compatibilidad con los contratos existentes. Además, WASM funciona bien en hardware estándar, mientras que la mayoría de los nodos Ethereum carecen de procesadores RISC-V, lo que requiere emulación.

Las capacidades de validación de WASM garantizan la seguridad de tipo y evitan vulnerabilidades, y su maduro conjunto de herramientas se ha probado en miles de millones de escenarios de ejecución. Creemos que WASM puede convertirse en una especie de protocolo de Internet para contratos inteligentes, actuando como un punto intermedio ideal entre los diversos lenguajes de código fuente utilizados para crear contratos inteligentes y las diversas soluciones de servidor utilizadas para ejecutarlos y validarlos.