Implementation and Evaluation of a Dilithium-Based Post-Quantum Blockchain Prototype

El mundo digital depende de un sistema de cerraduras y llaves para mantener seguros nuestro dinero, votos y secretos. Durante décadas, estas cerraduras se construyeron sobre acertijos matemáticos que eran fáciles de resolver para los humanos pero casi imposibles de descifrar incluso para las computadoras más potentes. Sin embargo, los científicos han sabido desde hace tiempo que un nuevo tipo de computadora, una que utiliza las extrañas reglas de la física cuántica, podría eventualmente romper estas cerraduras en segundos. Para prepararse para este futuro, los investigadores están diseñando nuevas cerraduras basadas en diferentes desafíos matemáticos que incluso las computadoras cuánticas no pueden resolver. Este proceso se llama criptografía post-cuántica. Pero simplemente cambiar la cerradura no es suficiente. Una cerradura es tan buena como la puerta en la que se asienta, las bisagras que la sostienen y las personas que deciden cuándo abrirla. Si el marco de la puerta es débil o las personas están confundidas, la cerradura más fuerte del mundo no mantendrá a nadie a salvo.

Un equipo de investigadores de la Universidad de Ciencia y Tecnología de Misr decidió probar esta idea construyendo un modelo funcional de un libro de contabilidad digital, un sistema a menudo llamado blockchain, que se utiliza para registrar votos y transacciones. Comenzaron con un prototipo que utilizaba una versión temprana de una nueva cerradura resistente a la cuántica y luego la cambiaron por la versión oficialmente estandarizada. Su objetivo no era solo ver si la nueva cerradura funcionaba, sino observar cómo se comportaba todo el sistema cuando se realizaba el cambio. Querían ver si el resto de la máquina —las partes que verifican identidades, cuentan votos y almacenan datos— podía manejar la transición sin romperse. Lo que descubrieron fue que la nueva cerradura funcionaba casi exactamente tan bien como la anterior, pero los problemas reales se escondían en los rincones del software, en cómo se escribían los datos y en cómo se comunicaban las diferentes partes del sistema.

Los investigadores comenzaron midiendo la velocidad bruta de la nueva cerradura, conocida como ML-DSA-44, frente a la versión anterior que habían estado utilizando. Realizaron miles de pruebas para ver qué tan rápido el sistema podía firmar un mensaje y verificar que la firma fuera auténtica. Los resultados mostraron que la nueva cerradura no era una mejora dramática ni un desastre; era ligeramente más lenta, aproximadamente entre un cinco y un ocho por ciento, pero la diferencia era lo suficientemente pequeña como para no ralentizar un sistema del mundo real. Esto fue un alivio, ya que significaba que el cambio criptográfico central era manejable. Sin embargo, el equipo se dio cuenta rápidamente de que la velocidad de la cerradura era la parte menos interesante de la historia. Los hallazgos más significativos provinieron de observar cómo el sistema manejaba los mensajes que pasaban a través de la cerradura.

En su modelo, el sistema estaba diseñado para finalizar una decisión, como aprobar un bloque de votos, una vez que se reunía cierta cantidad de confianza de un grupo de validadores. Los investigadores plantearon un escenario donde el ochenta por ciento de los validadores de confianza aprobaban un bloque que era en realidad erróneo e inválido. Debido a que el sistema estaba diseñado para confiar en las firmas, aceptó la aprobación y finalizó el bloque defectuoso. Esto sucedió en cada una de las veinte mil pruebas que realizaron. Las firmas eran matemáticamente perfectas, demostrando que los validadores de hecho habían enviado el mensaje, pero el sistema no verificó si el mensaje en sí tenía sentido. Era como un guardia de seguridad que verifica la identificación de un visitante perfectamente, pero no nota que el visitante está intentando entrar en una habitación en la que no tiene ningún derecho a estar. La cerradura funcionaba, pero la regla para abrir la puerta era defectuosa.

El equipo también descubrió un error sutil pero peligroso en la forma en que el sistema verificaba quién enviaba un mensaje. En una parte del código antiguo, el sistema le preguntaba a la persona que enviaba un mensaje: "¿Quién eres?", y luego usaba esa respuesta para encontrar la clave correcta para verificar la firma. El sistema nunca verificaba si el nombre que la persona daba coincidía realmente con el nombre escrito dentro del mensaje sellado que enviaba. En una prueba controlada, los investigadores enviaron veinte mil mensajes donde el remitente afirmaba ser una persona, pero el mensaje estaba firmado como si viniera de otra. El sistema antiguo aceptó todos ellos. Fue solo cuando los investigadores añadieron una simple comprobación para comparar los dos nombres que el sistema comenzó a rechazar los mensajes con discrepancias. Esto demostró que un sistema puede ser matemáticamente seguro pero seguir siendo vulnerable si confía en la información incorrecta para tomar sus decisiones.

Otro gran descubrimiento involucró cómo se almacenaban los datos. Los investigadores compararon tres formas diferentes de registrar los datos. Un método utilizaba un formato de texto común que convertía los datos binarios en largas cadenas de letras y números, haciendo que los archivos fueran mucho más grandes. Otro método utilizaba un formato más eficiente pero mantenía las mismas cadenas largas. El tercer método utilizaba el formato eficiente pero almacenaba los datos como bytes puros, tal como una computadora los ve naturalmente. Los resultados fueron sorprendentes: cambiar al formato de bytes puros redujo el tamaño de los registros casi a la mitad en comparación con la versión cargada de texto. Esto significaba que un sistema que utilizara el nuevo método necesitaría significativamente menos espacio de almacenamiento y podría mover datos más rápido, no porque la cerradura fuera mejor, sino porque la forma en que se empaquetaban los datos era más inteligente.

Finalmente, el equipo probó cómo se comportaba el sistema cuando las diferentes partes de la red se ejecutaban en procesos de computadora separados, simulando una red distribuida real. Introdujeron pequeños retrasos para imitar el tiempo que tarda un mensaje en viajar a través de una red. En una prueba específica, un mensaje llegó una fracción de segundo después de que el sistema ya hubiera tomado su decisión. El sistema marcó correctamente el mensaje como tardío, pero aun así lo contó para el resultado final. Esto creó una condición de carrera donde el resultado podía cambiar dependiendo del tiempo exacto de la red. Los investigadores corrigieron esta lógica y repitieron las pruebas, confirmando que el sistema ahora ignoraría correctamente los mensajes tardíos. Esto resaltó que incluso si la criptografía es perfecta, el tiempo en que un sistema deja de escuchar puede ser tan importante como la seguridad de los mensajes que escucha.

El estudio concluyó que la transición hacia un futuro resistente a la computación cuántica no consiste solo en intercambiar un algoritmo matemático. Es un viaje complejo que requiere revisar cada capa del sistema, desde la forma en que se escriben los datos hasta las reglas que gobiernan cómo se toman las decisiones. La nueva cerradura funcionó bien, pero los investigadores descubrieron que los riesgos reales estaban en la lógica de la aplicación, las verificaciones de identidad y la coordinación entre las diferentes partes del sistema. Para este prototipo, el éxito de la migración dependió tanto de corregir estos problemas circundantes como del rendimiento del nuevo esquema de firma. El trabajo sirve como un recordatorio de que, en el mundo digital, una cerradura fuerte es solo una parte de una puerta segura, y el resto del marco debe ser igual de fuerte.