Claude resolvió un misterio criptográfico de NIST de 25 años en menos de 30 minutos

Claude resolvió un enigma criptográfico que llevaba 25 años abierto en menos de 30 minutos.

En 2000, el gobierno de EE. UU. publicó curvas elípticas de NIST como P-256, utilizadas en ECDSA, uno de los estándares de firma digital más comunes del mundo. Bitcoin también usa ECDSA, pero con otra curva, secp256k1, que no pertenece a las curvas de NIST.

La NSA proporcionó esos números sin explicaciones, lo que durante años alimentó sospechas de que fueron elegidos deliberadamente para crear una puerta trasera. Según una versión extendida, el empleado de la NSA Jerry Solinas los generó a partir de una frase de broma como “Suban el sueldo a Bob y Jerry”. Murió en 2023 sin recordar los detalles, y empleados de Anthropic ya habían intentado comprobar esa teoría sin éxito.

Entonces, un empleado pidió a una versión interna de investigación de Claude que averiguara cómo se obtuvieron esos números, sin revelarle la frase sospechosa.

Claude encontró la respuesta: no existió ninguna frase. Los números fueron generados con un generador de números seudoaleatorios común del lenguaje C, usando como valor inicial el tiempo del reloj del sistema del ordenador. La generación ocurrió entre mayo de 1997 y abril de 1998. Ahora cualquier persona puede reproducir esos números. Más detalles en la investigación de Anthropic.

Anthropic subraya que este hallazgo no rompe la seguridad de los sistemas existentes ni crea nuevas vulnerabilidades. Al contrario, la teoría de una puerta trasera intencionada se vuelve mucho menos plausible, por lo que no se requieren cambios.

Aun así, algunas preguntas siguen abiertas. Por ejemplo, todavía no se sabe por qué se descartaron otros números que también funcionaban para la tarea.

Lo más impresionante es el método de resolución.

Muchos investigadores pasaron años buscando la supuesta frase. Esa hipótesis se convirtió en el punto de partida alrededor del cual se construyeron casi todas las búsquedas.

Claude siguió otro camino. En lugar de buscar una frase, el modelo inferió cómo un programa escrito en 1997 podría generar números así y luego comprobó su hipótesis.

Y, de ese modo, resolvió el problema.