Performance Analysis of Quantum-Secure Digital Signature Algorithms in Blockchain

Resumen Técnico: Análisis de Rendimiento de Algoritmos de Firma Digital con Seguridad Cuántica en Blockchain

Planteamiento del Problema
La seguridad a largo plazo de las blockchains públicas depende en gran medida de los supuestos de dureza de sus esquemas de firma digital subyacentes. Las implementaciones actuales, como Bitcoin y Ethereum, utilizan criptografía de curva elíptica (ECC), específicamente firmas ECDSA o Schnorr sobre secp256k1. Estos esquemas son vulnerables al algoritmo de Shor, que puede resolver eficientemente el problema del logaritmo discreto en computadoras cuánticas de gran escala. Esto crea un riesgo de "almacenar ahora, descifrar después", donde los adversarios podrían recolectar datos de transacciones actuales y falsificar firmas una vez que se materialicen las capacidades cuánticas. Si bien la criptografía post-cuántica (PQC) ofrece soluciones, la literatura existente se centra principalmente en propiedades criptográficas y micro-benchmarks (rendimiento de librerías independientes). Existe una brecha en la comprensión de cómo estos esquemas se comportan cuando se integran en sistemas de blockchain reales, donde los costos están influenciados por el volumen de transacciones, el tamaño de los bloques y la latencia de validación.

Metodología
Para abordar esta brecha, el autor desarrolló un prototipo de blockchain de nodo único local diseñado para aislar el impacto de los algoritmos de firma digital en el rendimiento del sistema. El prototipo implementa un modelo basado en cuentas similar a Ethereum, pero omite las capas de consenso y redes para centrarse estrictamente en la sobrecarga criptográfica.

• Diseño del Sistema: El sistema utiliza un patrón de fábrica para abstraer el esquema de firma, lo que permite el cambio transparente entre algoritmos sin alterar la lógica de la aplicación (wallets, transacciones, bloques).
• Algoritmos Evaluados: El estudio se centra en cuatro esquemas de firma basados en retículos (lattices):
  • CRYSTALS-Dilithium (ML-DSA): Estandarizado por el NIST (ML-DSA-44, 65, 87).
  • Falcon: Estandarizado por el NIST (Falcon-512, 1024).
  • Hawk: Un esquema basado en retículos más reciente (Hawk-512, 1024).
  • HAETAE: Evaluado únicamente mediante micro-benchmarks independientes, ya que su implementación de referencia era incompatible con la cadena de herramientas MSVC del prototipo.
• Flujo de Trabajo Experimental:
  1. Generación de Claves: 100 iteraciones por esquema para medir el tiempo de generación.
  2. Firma de Transacciones: Creación de 1,000 transacciones por bloque, midiendo el tiempo promedio de firma.
  3. Validación de Bloques: Validación repetida (100 veces) de un bloque de 1,000 transacciones para medir el tiempo total de validación de bloque y derivar la latencia de verificación por transacción.
  4. Métricas: Los datos recolectados incluyen tamaños de clave/firma, tamaños de transacción/bloque serializados y métricas de tiempo (en microsegundos) para la generación de claves, firma y verificación.

Contribuciones Clave

1. Implementación del Prototipo: El artículo presenta un prototipo de tipo blockchain que separa la lógica de la aplicación de la técnica de firma subyacente, permitiendo una comparación justa de los algoritmos de seguridad cuántica en un contexto de sistema.
2. Benchmarking Integrado: Describe una metodología que combina datos de micro-benchmarks (keygen, sign, verify) con métricas a nivel de blockchain (latencia de validación, tamaño de creación de bloque), yendo más allá de las pruebas aisladas de librerías.
3. Análisis Comparativo: El trabajo proporciona una comparación de rendimiento detallada de ML-DSA, Falcon y Hawk dentro de un entorno de blockchain, extendiendo el análisis para incluir a HAETAE mediante pruebas independientes.

Resultados Experimentales
Los experimentos se realizaron en un entorno Windows x86_64 utilizando la librería liboqs para ML-DSA y Falcon, e implementaciones de referencia para Hawk y HAETAE.

• Métricas de Tamaño (Almacenamiento/Ancho de Banda):
  • ML-DSA: Exhibe la mayor huella de datos. Para un bloque de 1,000 transacciones, los tamaños oscilan entre ~5.1 MB (ML-DSA-44) y ~9.9 MB (ML-DSA-87).
  • Falcon: Ofrece firmas significativamente más compactas. Un bloque Falcon-512 es aproximadamente de 2.5 MB, y Falcon-1024 es de ~4.9 MB.
  • Hawk: Proporciona las firmas más compactas entre los esquemas integrados. Hawk-512 resulta en un tamaño de bloque de ~2.65 MB, con firmas (555 bytes) más pequeñas que tanto Falcon como ML-DSA en niveles de seguridad comparables.
• Métricas de Tiempo (Rendimiento):
  • Generación de Claves: ML-DSA es el más rápido (sub-milisegundo), mientras que Falcon es el más lento (5.7 ms para Falcon-512, 16.8 ms para Falcon-1024) debido al complejo muestreo de retículos. Hawk se encuentra en un punto intermedio.
  • Firma: Hawk es el firmante más rápido (0.03 ms para Hawk-512), seguido de Falcon (0.21 ms) y ML-DSA (0.28 ms).
  • Verificación: Esta es la métrica crítica para los nodos validadores. Hawk-512 (0.047 ms) y Falcon-512 (0.052 ms) son significativamente más rápidos que las variantes de ML-DSA (0.10 ms a 0.23 ms).
  • Validación de Bloque: Para un bloque de 1,000 transacciones, los tiempos de validación oscilaron entre ~47 ms (Hawk-512) y ~234 ms (ML-DSA-87).
• HAETAE (Independiente): Los micro-benchmarks indican que HAETAE tiene claves y firmas más pequeñas que ML-DSA, pero más grandes que Falcon/Hawk. Los tiempos de verificación (0.07–0.16 ms) lo sitúan entre las variantes más rápidas de Falcon/Hawk y la más lenta de ML-DSA-87.

Significancia y Reivindicaciones
El artículo afirma modestamente que no existe un único esquema post-cuántico que domine todas las métricas de rendimiento y tamaño. En su lugar, la elección depende de compromisos específicos:

• ML-DSA ofrece el diseño más simple y la estandarización del NIST, pero incurre en mayores costos de almacenamiento y verificación.
• Falcon y Hawk proporcionan un rendimiento superior en términos de velocidad de verificación y compacidad de datos, lo cual es crucial para blockchains de alto rendimiento y nodos con restricciones de ancho de banda. Sin embargo, conllevan una mayor complejidad de implementación (especialmente la generación de claves de Falcon) y, en el caso de Hawk, la falta de estandarización.
• HAETAE muestra potencial para la eficiencia de tamaño, pero requiere más trabajo de integración para ser evaluado completamente en un contexto de blockchain.

El autor concluye que los profesionales deben equilibrar la complejidad de la implementación, la sobrecarga de tamaño y la latencia de verificación al seleccionar una firma post-cuántica para la migración a blockchain. El estudio destaca que, si bien ML-DSA es un estándar viable, esquemas como Falcon y Hawk pueden ofrecer compromisos más atractivos para cargas de trabajo intensivas en verificación.

Limitaciones y Trabajo Futuro
El artículo reconoce que el prototipo es un sistema de un solo nodo sin redes ni consenso, lo que significa que no captura los retrasos de propagación de bloques ni las restricciones de ancho de banda de par a par (peer-to-peer). El trabajo futuro pretende extender el prototipo a un entorno de múltiples nodos, evaluar diversas cargas de trabajo (por ejemplo, contratos inteligentes) e integrar HAETAE portándolo a la cadena de herramientas actual o moviéndose a un entorno Linux. Además, futuros estudios considerarán el uso de memoria y el consumo de energía en dispositivos embebidos.