Hoskinson afirma que la advertencia de Buterin sobre la IA podría retrasar las defensas cuánticas de internet

El fundador de Cardano, Charles Hoskinson, acusó al cofundador de Ethereum, Vitalik Buterin, de socavar la criptografía resistente a la computación cuántica con advertencias especulativas sobre avances matemáticos impulsados por la IA. En una publicación del 9 de octubre, Hoskinson cuestionó el escepticismo de Buterin hacia la criptografía basada en retículos. Hoskinson sostuvo que décadas de investigación en seguridad ya habían tenido en cuenta las debilidades conocidas de esta tecnología. Advirtió de que alentar a los desarrolladores a abandonar enfoques establecidos podría ralentizar las protecciones que ya se están desplegando en toda la infraestructura de internet y dejar los sistemas expuestos a futuros ataques cuánticos.

Buterin advirtió de que los descubrimientos matemáticos asistidos por IA podrían debilitar la criptografía diseñada para resistir a los ordenadores cuánticos. Dijo que la hoja de ruta «lean» a largo plazo de Ethereum se ha orientado hacia firmas y pruebas basadas en funciones hash, evitando los diseños basados en retículos. Hoskinson rechazó ese razonamiento y acusó a Buterin de estar demasiado comprometido con la orientación actual de la investigación de Ethereum como para reconsiderar el enfoque. La disputa se refiere a alternativas poscuánticas a las firmas de curva elíptica que usan Bitcoin y Ethereum.

La preocupación de Buterin se basa en parte en la factorización de enteros, en la que avances matemáticos como el tamiz general del cuerpo de números mejoraron drásticamente las técnicas para atacar el cifrado RSA. Buterin planteó que la IA podría condensar en mucho menos tiempo décadas de avances matemáticos comparables y revelar potencialmente atajos inesperados contra los sistemas basados en retículos. Hoskinson calificó el argumento contra los retículos de intuición sobre la estructura matemática basada en la historia del tamiz general del cuerpo de números. Dijo que este método surgió de técnicas relacionadas con las relaciones aritméticas y los números lisos. Añadió que no se ha demostrado ningún mecanismo comparable contra los problemas de retículos que sustentan los estándares poscuánticos modernos.

Hoskinson citó más de cuatro décadas de investigación, incluidos los avances en reducción de retículos y algoritmos de cribado. Dijo que esos avances mejoraron progresivamente los ataques, pero no produjeron un avance general capaz de derrotar sistemas configurados correctamente. El Instituto Nacional de Estándares y Tecnología de Estados Unidos estandarizó ML-KEM para el encapsulado de claves y ML-DSA para las firmas digitales en 2024. Hoskinson dijo que los parámetros de seguridad de esos estándares tienen en cuenta los ataques conocidos.

Hoskinson también rechazó la sugerencia ilustrativa de Buterin de que multiplicar por diez el tamaño de las claves podría proteger el cifrado de clave pública frente a avances matemáticos impulsados por la IA. Hoskinson calificó ese multiplicador de «numerología» y sostuvo que los parámetros de seguridad deben ajustarse en función de las mejoras medibles en los algoritmos de ataque. Un cambio en la eficiencia de los ataques podría justificar parámetros moderadamente mayores. Un avance matemático fundamental podría exigir sustituir por completo un algoritmo.

Hoskinson cuestionó la premisa de que la criptografía basada en funciones hash ofrezca mayor protección frente a descubrimientos matemáticos imprevistos. Citó las debilidades históricas de MD5 y SHA-1 como prueba de que las funciones hash pueden contener estructuras explotables. Sin embargo, esos fallos no demuestran que haya vulnerabilidades en construcciones modernas como SHA-256. Hoskinson también criticó Poseidon y Poseidon2, funciones hash diseñadas para un uso eficiente en pruebas de conocimiento cero y relevantes para la investigación criptográfica a más largo plazo de Ethereum. La Fundación Ethereum ha financiado investigaciones sobre la resistencia de Poseidon a los ataques algebraicos, incluidos estudios que utilizan bases de Gröbner y otros métodos de criptoanálisis. Hoskinson sostuvo que estos diseños también pueden ser objeto de descubrimientos matemáticos asistidos por IA y cuestionó por qué los sistemas basados en retículos deberían suscitar mayor escepticismo.

Las firmas basadas en funciones hash pueden permitir la autorización de transacciones resistente a la computación cuántica. Las técnicas de retículos también permiten el encapsulado de claves para el cifrado y otras construcciones criptográficas avanzadas. Por tanto, abandonar la investigación sobre retículos podría limitar las opciones de los desarrolladores para sistemas de privacidad, comunicaciones seguras y otras aplicaciones que requieren esas capacidades.