-
El nuevo diseño de SNARK comprimiría firmas poscuánticas en una sola prueba por bloque.
-
La migración poscuántica debe hacerse con firmas seguras que no afecten a la escalabilidad de ETH.
Justin Drake, investigador de la Fundación Ethereum (EF) y uno de los principales desarrolladores de este ecosistema, anunció este 13 de agosto que la red «está abandonando» la función hash Poseidon para reemplazarla por algoritmos tradicionales como SHA o BLAKE.
Poseidon, explica Drake, se diseñó en 2019 para abaratar y acelerar el procesamiento de las llamadas pruebas criptográficas SNARK, un tipo de prueba de conocimiento cero (ZK) que comprime grandes cantidades de datos en una verificación breve y que actualmente sostiene la validación y el escalado de gran parte de las transacciones del ecosistema Ethereum.
El cambio que anuncia Drake hacia algoritmos como SHA o BLAKE surge de un hallazgo clave en el diseño de esas pruebas SNARK, que ahora permite demostrar hashes tradicionales dentro de una SNARK con la misma eficiencia y bajo costo que antes solo lograba Poseidon.
El nuevo diseño de las pruebas SNARK apunta a comprimir un número arbitrario de firmas poscuánticas en una sola prueba compacta por bloque. Esto es clave para la migración de Ethereum: las firmas basadas en funciones hash seguras frente a la computación cuántica suelen ser mucho más grandes que las actuales, lo que podría saturar la red y reducir su capacidad, sin contar con los altos costos por comisión que estas conllevarían.
Gracias a esa compresión, la capa base de Ethereum podría adoptar esas firmas robustas sin sacrificar rendimiento ni escalabilidad. Esto resuelve uno de los principales obstáculos de la migración poscuántica: el proceso de reemplazar los sistemas criptográficos actuales (vulnerables a computadoras cuánticas) por otros que resistan esa teórica amenaza futura, sin que la red pierda capacidad ni velocidad.
¿Cómo el diseño de las pruebas SNARK cambió la ecuación?
Las pruebas SNARK tradicionales, incluidas las utilizadas por Poseidon, operan sobre campos primos, una estructura matemática basada en números primos grandes. Esa aritmética resulta costosa cuando hay que manipular datos bit a bit, algo que hacen constantemente los hashes tradicionales como SHA o BLAKE.
Los nuevos diseños de pruebas SNARK operan en cambio sobre campos binarios, que hacen aritmética sobre el número primo más pequeño posible, el 2. Esa estructura habla el mismo lenguaje que las llamadas operaciones booleanas que ejecutan los procesadores y los hashes tradicionales, lo que elimina buena parte del costo computacional que antes exigía Poseidon, de acuerdo con Justin Drake.
Según cifras que Drake compartió en su anuncio, ese enfoque permite probar cerca de «1 millón de operaciones de hash tradicionales» por segundo en una computadora portátil, con un sobrecosto de apenas 100 veces frente al cómputo nativo del procesador. Ni los propios investigadores especializados en campos binarios habían anticipado un salto de rendimiento así.
El cronograma hacia una Ethereum poscuántica
La flexibilidad de las pruebas SNARK, según explicó Drake, permite construir esquemas de firmas más complejos sin rediseñar el sistema desde cero. Entre los ejemplos que mencionó están las firmas de umbral, esquemas conocidos como ‘k-de-n’ (donde alcanza con el acuerdo de una cantidad mínima de partes de un grupo mayor), y las multifirmas.
Adicionalmente, Drake compartió un cronograma preliminar, que calificó como un borrador y no como un compromiso definitivo. Según ese plan, una máquina virtual ligera, llamada leanVM, alcanzaría un nivel productivo en 2027, con despliegues en las capas de consenso, datos y ejecución de Ethereum durante 2028.
Drake enmarcó esta decisión como una apuesta conservadora frente al avance del criptoanálisis asistido por inteligencia artificial, que en las últimas semanas debilitó a otros algoritmos candidatos poscuánticos que no se basan en hashes.
En julio, el modelo Claude Mythos Preview, de Anthropic, forzó el retiro del esquema de firmas HAWK del proceso de estandarización del Instituto Nacional de Estándares y Tecnología de Estados Unidos (NIST), según reportó CriptoNoticias. SQIsign, otro candidato del NIST, enfrentó semanas después un nuevo ataque académico sobre el problema matemático que sostiene su seguridad, aunque hasta el momento no fue retirado del proceso.
Por ahora, el anuncio de Drake refleja la postura de un investigador de la Fundación Ethereum y no un comunicado institucional formal. Tampoco implica un cambio inmediato para los rollups y las zkVM que ya operan hoy con Poseidon. Lo que sí queda planteado es un camino hacia una Ethereum cuya seguridad poscuántica dependería de herramientas criptográficas con décadas de estudio detrás, y no de un diseño hecho a medida hace apenas siete años.
Guarda lo que vale la pena descifrar