Vitalik Buterin promueve la EIP-8288, una propuesta para trasladar la verificación criptográfica fuera de la ruta principal de Ethereum y reducir potencialmente en más de un 99% el costo de las transacciones privadas resistentes a la computación cuántica.
Una verificación fuera del recorrido principal
El planteamiento parte de separar la verificación criptográfica del camino principal que siguen las operaciones en Ethereum. Según la propuesta, este cambio permitiría aliviar la carga asociada a las transacciones que incorporan privacidad y mecanismos diseñados para resistir la computación cuántica.
La reducción señalada no se presenta como un resultado garantizado, sino como el potencial de la EIP-8288. El objetivo sería superar el 99% de ahorro en el costo de ese tipo de transacciones mediante una reorganización de la forma en que se generan y comprueban las pruebas criptográficas.
El papel de las pruebas STARK recursivas
La propuesta dependería del uso de pruebas STARK recursivas. Este sistema permitiría concentrar o encadenar pruebas criptográficas para que la verificación final no tenga que ejecutarse íntegramente dentro de la ruta principal de Ethereum.
En este diseño, la red recibiría una prueba cuyo procesamiento se realizaría mediante una estructura distinta a la verificación directa de cada operación. La fuente no detalla el funcionamiento completo del mecanismo, pero vincula esta arquitectura con la posibilidad de reducir de forma drástica el costo de las transacciones privadas con resistencia frente a la computación cuántica.
Dependencias técnicas y adopción pendiente
La EIP-8288 no dependería únicamente de las pruebas STARK recursivas. El plan también contempla mempools coordinados, es decir, una coordinación en la gestión de las transacciones pendientes antes de su incorporación al procesamiento de la red.
Además, la propuesta podría apoyarse en la adopción de un lenguaje común para el protocolo, descrito en la fuente como “RISC-like”. Su eventual uso formaría parte de la infraestructura necesaria para hacer viable el esquema planteado.
Por tanto, el ahorro estimado está condicionado a varias piezas técnicas: la verificación externa a la ruta principal, las pruebas STARK recursivas, la coordinación de los mempools y la posible adopción de ese lenguaje común. La iniciativa representa un plan promovido por Buterin, pero la información disponible no indica que sus efectos estén ya implementados ni que la reducción de costos esté asegurada.
