Puntos clave de la noticia:
- Buterin propuso reemplazar el árbol de estado hexario de Ethereum por una estructura binaria bajo la EIP-7864, aumentando la eficiencia en 100x.
- Este cambio reduciría en cuatro veces la longitud de las ramas Merkle y podría ahorrar más de 10.000 gas por transacción en las dapps de uso frecuente.
- A más largo plazo, Buterin plantea reemplazar el EVM por una máquina virtual RISC-V para eliminar los cuellos de botella en la generación de pruebas ZK.
Vitalik Buterin publicó una extensa propuesta técnica en la que identifica dos cambios estructurales que considera imprescindibles para el futuro de Ethereum: una modificación del árbol de estado y un reemplazo de su máquina virtual. Ambos apuntan al mismo problema de fondo: la arquitectura actual no está optimizada para un entorno donde la generación eficiente de pruebas ZK es una prioridad central.
El primero de los cambios está ya en desarrollo. La EIP-7864, en la que trabajan Guillaume Ballet y otros colaboradores, propone migrar del árbol hexario Merkle Patricia Tree basado en keccak a un árbol binario con una función de hash más eficiente. La diferencia técnica es muy considerable: las ramas Merkle se reducen cuatro veces, lo que abarata la verificación del lado del cliente y reduce el ancho de banda necesario para utilizar herramientas como Helios y PIR en el mismo factor.
A eso se suma la mejora de la función de hash: blake3 podría aportar un 3x adicional frente a keccak, mientras que una variante de Poseidon llegaría a 100x, aunque Buterin advierte que esta última requiere trabajo adicional de seguridad antes de estar lista para producción.
Buterin Quiere Cambiar los Cimientos de Ethereum
El diseño binario también introduce un esquema de almacenamiento basado en páginas que agrupa entre 64 y 256 slots contiguos. El encabezado de bloque y los primeros kilobytes de código y almacenamiento comparten la misma página, lo que permite que los contratos que leen sus primeros slots de almacenamiento se beneficien de eficiencia por lote en lugar de pagar costos individuales de acceso. Buterin estima que esto podría ahorrar más de 10.000 gas por transacción para las dapps que ya operan bajo ese patrón, que representan una porción considerable de los contratos activos desplegados.
El segundo cambio es más especulativo. Buterin propone reemplazar el EVM por RISC-V, la arquitectura que hoy utilizan los provadores ZK. Si la infraestructura de pruebas ya está escrita en RISC-V, una máquina virtual nativa en ese estándar elimina la limitación en lugar de gestionarla mediante precompilaciones acumuladas. Un intérprete RISC-V requiere apenas unos cientos de líneas de código, frente a la complejidad creciente del EVM.
El roadmap que esboza Buterin tiene tres etapas: primero, RISC-V solo para precompilaciones; luego, apertura para contratos desplegados por usuarios; finalmente, el EVM se retira y se reimplementa como un contrato inteligente escrito en la nueva VM. La retrocompatibilidad completa se preserva para los contratos existentes, con ajustes en costos de gas que Buterin considera menores frente al trabajo de escalabilidad en curso. Juntos, el árbol y la VM representan más del 80% del cuello de botella en la generación eficiente de pruebas, según el propio Vitalik.
