Encontrar fallos en código de criptografía con Claude Code

A quién le sirve. Programadores con una prueba que falla y un error que no encuentran; el caso es de criptografía, pero la técnica vale para cualquier tipo de código.

Qué hicieron

Filippo Valsorda ejecutó Claude Code (Opus 4.1, sin instrucciones de sistema) sobre su nueva implementación en Go de ML-DSA, un método de firma digital. Su instrucción nombraba la orden de pruebas y la carpeta del código, describía el síntoma del fallo y le pedía que pensara a fondo. Claude leyó el código y rastreó el error. También probó una hipótesis con una pequeña prueba propia. Después repitió el proceso con otros dos errores de firma anteriores, con una sesión nueva para cada uno.

Cómo salió

Encontró los tres errores de un solo intento y sin ayuda. El de la verificación llevó minutos: los bits altos se tomaban dos veces. Sus arreglos propuestos eran mediocres, así que Valsorda los descartó y los reescribió él.

Conviene saber

Usa pruebas fallidas bien acotadas, empieza una sesión nueva para cada error independiente y trata lo que devuelve el agente como una pista para encontrar el error, no como un arreglo que integrar.

Qué necesitas

• Claude Code, con un plan de pago de Claude.
• Una prueba automática que falle de forma clara y acotada.
• El código y, si existe, una implementación de referencia o vectores de prueba, que son datos con resultados conocidos, para comparar.
• Alguien capaz de entender el código y decidir el arreglo.

Cómo hacerlo tú, paso a paso

1. Aísla el fallo en una prueba pequeña y clara que falle siempre.
2. Abre Claude Code en la carpeta del proyecto y pega el prompt de esta ficha con la ruta, el síntoma y la referencia de comparación.
3. Pide que piense a fondo, compare con la referencia y pruebe sus hipótesis con pequeñas pruebas propias.
4. Lee la explicación de la causa y comprueba que tiene sentido para ti.
5. Pídele un arreglo, pero que te enseñe las diferencias antes de cambiar ningún archivo.
6. Trata el arreglo como una pista. Si no te convence, reescríbelo tú, como hizo el autor.
7. Para otro error independiente, empieza una sesión nueva.

Tengo una prueba que falla en mi código de criptografía en [ruta], donde [describe el síntoma, por ejemplo resultado incorrecto con ciertos datos]. Investiga por qué falla, compáralo con [implementación de referencia o vectores de prueba] y propón un arreglo. Habrás terminado cuando las pruebas pasen y me hayas explicado la causa del error. Enséñame las diferencias antes de cambiar ningún archivo.

Consejos

• Usa pruebas fallidas bien acotadas. Cuanto más claro es el síntoma, mejor es la búsqueda.
• Empieza una sesión nueva por cada error independiente.
• En el caso, los arreglos propuestos eran mediocres y la ayuda real fue localizar el error. Trata el resultado como una pista, no como un arreglo para integrar.

Preguntas frecuentes

Fuentes

• words.filippo.io ↗
• La conversación en Hacker News, 1 de noviembre de 2025 ↗

En el directorio desde el 3 de octubre de 2026.