El cofundador de Ethereum, Vitalik Buterin, ha respaldado la EIP-8288 como una forma propuesta de admitir criptografía compleja sin añadir repetidamente nuevas funciones de verificación a Ethereum, argumentando que la mayor parte del trabajo criptográfico pesado debería ocurrir fuera del proceso de ejecución principal de la red.
Resumen
- Vitalik Buterin quiere que Ethereum verifique criptografía compleja mediante pruebas agregadas en lugar de actualizaciones repetidas del protocolo.
- La EIP-8288 propone combinar firmas criptográficas y pruebas STARK antes de que los validadores de Ethereum verifiquen su validez colectiva de manera eficiente.
- La propuesta podría admitir firmas de billetera resistentes a la computación cuántica sin requerir precompilados de Ethereum separados para cada tipo de firma.
- Los desarrolladores de Ethereum no han aprobado la EIP-8288, que sigue siendo un borrador que requiere más implementación y consenso de la red.
- El sistema propuesto mantendría las pruebas grandes fuera de los datos de bloque mientras conserva los compromisos de transacción para su verificación.
En una serie de publicaciones del 19 de octubre en X, Buterin argumentó que la máquina virtual existente de Ethereum y las funciones criptográficas especializadas no son adecuadas para admitir cada nuevo sistema de firma o prueba. En su lugar, favoreció un diseño que permitiría a los usuarios generar pruebas localmente y enviarlas mediante un mecanismo de agregación.
La propuesta, EIP-8288, permitiría a Ethereum verificar que las operaciones criptográficas se realizaron correctamente sin incluir cada firma o prueba original en un bloque.
Vitalik Buterin describió este enfoque como parte de su visión de Ethereum como una computadora mundial criptográfica, donde una cantidad sustancial de computación puede ocurrir fuera de la cadena de bloques mientras sus resultados siguen siendo verificables.
La especificación sigue siendo un borrador y no ha recibido aprobación para su despliegue en la red principal de Ethereum.
Vitalik Buterin quiere menos trabajo criptográfico dentro de Ethereum
Los últimos comentarios de Vitalik Buterin se centran en cómo Ethereum maneja las operaciones criptográficas que requieren grandes cantidades de computación o datos.
Actualmente, los desarrolladores pueden usar la Máquina Virtual de Ethereum, o EVM, para ejecutar contratos inteligentes que verifican ciertas declaraciones criptográficas.
Ethereum proporciona precompilados, que son funciones integradas que realizan cálculos específicos de manera más eficiente que el código de contrato inteligente ordinario.
Estas funciones pueden ayudar a los desarrolladores a verificar firmas, hashes y pruebas de conocimiento cero.
Sin embargo, admitir métodos criptográficos adicionales directamente mediante precompilados puede requerir cambios en el protocolo de Ethereum.
Vitalik Buterin argumentó que ninguno de los dos enfoques debería convertirse en la solución predeterminada para cada nuevo sistema criptográfico.
Su preocupación se centra en la cantidad de datos que deben incluirse en los bloques de Ethereum cuando las aplicaciones envían firmas grandes o pruebas criptográficas para su verificación.
En la discusión del 19 de octubre, estimó que incluso con mejoras como PeerDAS y blocks-in-blobs, la red enfrentaría límites prácticos de alrededor de 8 megabytes por segundo antes de que los datos adicionales se volvieran difíciles de manejar.
La estimación representa la evaluación de Buterin sobre las futuras restricciones de ingeniería, no el rendimiento de transacciones medido actualmente en Ethereum.
Describió a Ethereum como una computadora mundial criptográfica en la que la cadena de bloques debería manejar solo la información que requiere ejecución y verificación compartidas.
La idea es coherente con su trabajo anterior sobre la reducción de la cantidad de computación que cada validador de Ethereum debe realizar de forma independiente.
En septiembre, crypto.news cubrió su visión de una computadora criptográfica, que describía la transición propuesta de Ethereum hacia la verificación basada en pruebas, la privacidad y un manejo más eficiente de los datos.
Sus comentarios de octubre se centraron en una propuesta específica para hacer que ese enfoque funcione en diferentes sistemas criptográficos.
EIP-8288 combinaría las pruebas antes de que lleguen a Ethereum
El mecanismo propuesto se describe en el EIP-8288, titulado Agregación de firmas y pruebas dentro del mempool.
Buterin y el investigador de Ethereum Thomas Coratger crearon la propuesta el 3 de junio de 2026.
Según la especificación oficial, el sistema permitiría a las transacciones declarar qué afirmaciones criptográficas deben verificarse sin incluir todo el material de prueba original en el bloque final.
Esas declaraciones identificarían el esquema de verificación, un hash que representa los datos relevantes y un hash asociado con la clave de verificación.
La red utilizaría estas referencias para conectar las transacciones con la evidencia de que las operaciones requeridas se realizaron correctamente.
Los usuarios generarían firmas o pruebas criptográficas fuera del entorno de ejecución principal de Ethereum.
La propuesta permite que estas pruebas se combinen de forma recursiva, lo que significa que una prueba puede establecer la validez de varias pruebas más pequeñas.
En lugar de verificar individualmente cada firma original y cada STARK, Ethereum verificaría una prueba agregada que cubra las dependencias de transacción relevantes.
Un STARK es una prueba criptográfica que permite a alguien demostrar que un cálculo se realizó correctamente sin requerir que cada verificador repita el cálculo completo.
El sistema de agregación propuesto utilizaría las herramientas de Lean Ethereum para generar y verificar estas pruebas.
El EIP-8288 describe un nuevo modo de marco de transacción que declararía dependencias criptográficas. La propuesta se basa en el EIP-8141, que introduce un marco para transacciones con múltiples pasos de ejecución y verificación.
A nivel de bloque, un STARK recursivo demostraría que se habían satisfecho las dependencias declaradas.
El sistema continuaría registrando la información necesaria de las transacciones y los compromisos criptográficos en Ethereum.
Sin embargo, su diseño previsto evitaría publicar las firmas y pruebas originales de gran tamaño como calldata ordinaria de transacción.
La propuesta no es un plan para eliminar todos los datos de transacción de la cadena de bloques ni para permitir que las aplicaciones operen sin registros verificables.
Las firmas resistentes a la computación cuántica son una parte importante de la propuesta
El EIP-8288 incluye soporte para firmas criptográficas diseñadas para resistir ataques de futuras computadoras cuánticas.
Actualmente, Ethereum depende de sistemas de firma digital establecidos para la autenticación de cuentas y el consenso de la cadena de bloques.
Los desarrolladores están investigando alternativas que seguirían siendo seguras si llegaran a estar disponibles computadoras cuánticas suficientemente potentes.
Algunas firmas resistentes a la computación cuántica propuestas son mucho más grandes que las firmas utilizadas en las transacciones convencionales de Ethereum.
Según el EIP-8288, las firmas basadas en hash en consideración pueden requerir aproximadamente 2–3 kilobytes y un estimado de 150.000–200.000 de gas para verificarse directamente.
Las firmas basadas en retículos presentan desafíos comparables en la discusión de costos de la propuesta.
Las pruebas STARK pueden requerir más de 128 kilobytes, y algunas configuraciones alcanzan aproximadamente 512 kilobytes cuando se optimizan para una generación rápida de pruebas.
Incluir grandes cantidades de este material directamente en las transacciones podría generar costos sustanciales de datos y ejecución.
Vitalik Buterin sostuvo que los usuarios deberían poder producir sus firmas preferidas localmente y demostrar su validez mediante la agregación de STARK.
Discutió la posibilidad de utilizar criptografía basada en retículos para cuentas y billeteras de Ethereum si se establecieran los supuestos de seguridad relevantes.
Su declaración del 19 de octubre se refería específicamente a la criptografía que podría demostrarse segura contra ataques relacionados con la IA. Esa condición es independiente de la definición estándar de resistencia a los ataques de computadoras cuánticas.
Una cobertura anterior sobre la hoja de ruta de Ethereum describió cómo la resistencia cuántica y la privacidad se habían convertido en prioridades para el desarrollo futuro de la red.
La hoja de ruta incluye cambios en la verificación de firmas y en los sistemas criptográficos que respaldan el consenso y la disponibilidad de datos de Ethereum.
EIP-8288 aborda parte de ese trabajo al proponer un método común para verificar múltiples esquemas criptográficos.
La agregación recursiva comenzaría antes de la producción de bloques
El proceso propuesto no depende únicamente de que un productor de bloques recopile cada firma y genere una única prueba final.
EIP-8288 describe una agregación recursiva que comienza en el mempool de Ethereum, donde las transacciones esperan antes de ser incluidas en los bloques.
Según el diseño, los usuarios enviarían transacciones junto con la evidencia criptográfica necesaria para autorizarlas.
Los participantes del mempool podrían validar la evidencia enviada, combinar varias pruebas en una y pasar el paquete resultante a otros participantes.
La especificación describe un intervalo de agregación de 1.000 milisegundos para este proceso.
Los constructores de bloques luego recopilarían las transacciones relevantes y las pruebas agregadas antes de construir un bloque de Ethereum.
Un STARK recursivo final cubriría las dependencias asociadas con las transacciones seleccionadas para su inclusión.
El borrador propone límites técnicos destinados a evitar que usuarios maliciosos saturen el sistema de agregación con requisitos excesivos de pruebas.
Por ejemplo, sus parámetros actuales permiten hasta 16 dependencias de firma especificadas y una dependencia de STARK por transacción.
La especificación también aborda la compatibilidad con FOCIL, un mecanismo propuesto de inclusión de transacciones diseñado para dificultar la censura.
Un análisis de Ethereum sobre la verificación basada en pruebas publicado en septiembre examinó la distinción entre verificar el resultado de un cálculo y garantizar que los datos subyacentes sigan siendo accesibles.
EIP-8288 aborda la verificación criptográfica mientras conserva la información de transacción necesaria para identificar y validar dependencias.
Su diseño introduce trabajo adicional para los participantes del mempool y los constructores de bloques, que necesitarían generar, actualizar y combinar pruebas. La sección de seguridad de la propuesta identifica la corrección de los circuitos de prueba, las funciones de hash y la verificación recursiva como supuestos que requieren una evaluación cuidadosa.
EIP-8288 sigue siendo un borrador que requiere aprobación de la red
El repositorio oficial de Propuestas de Mejora de Ethereum clasifica a EIP-8288 como una propuesta de borrador de la vía de estándares en la categoría central.
Su implementación alteraría las reglas de consenso de Ethereum porque los bloques que contengan el formato de prueba recursiva propuesto no serían comprendidos por los nodos que ejecuten software sin la actualización.
La especificación identifica a EIP-2718 y EIP-8141 como dependencias. Varios detalles de implementación siguen incompletos, incluidos los parámetros asociados con la clave de verificación agregada y el hash de dependencias.
La implementación de referencia de la propuesta figura como próxima. Los desarrolladores de Ethereum tendrían que completar el trabajo técnico, revisar los supuestos de seguridad y acordar la activación en la red antes de que el diseño pueda desplegarse. El repositorio no enumera actualmente una fecha aprobada de activación en la red principal para EIP-8288.
Los casos de prueba existentes de la propuesta cubren la verificación de firmas individuales, múltiples dependencias de pruebas, pruebas recursivas inválidas, la agregación en el mempool y la compatibilidad con las listas de inclusión de transacciones.
Su sección de compatibilidad hacia atrás establece que las transacciones ordinarias sin los nuevos marcos de verificación criptográfica conservarían su comportamiento existente.
Los nodos que no implementen las nuevas reglas rechazarían las transacciones que utilicen el modo de marco propuesto y los bloques que porten el encabezado de prueba recursiva.
Por lo tanto, la propuesta requiere una actualización coordinada de la red antes de que su sistema de agregación criptográfica pueda formar parte de las reglas de la red principal de Ethereum.
