Jonas Nick de Blockstream Research y el colaborador remix7531 han lanzado libshrincs, una biblioteca de prueba en C que implementa un componente clave de un esquema de firma resistente a la computación cuántica diseñado para bitcoin. La biblioteca, anunciada el 11 de agosto en Delving Bitcoin, representa uno de los intentos más rigurosos hasta la fecha de verificar formalmente código criptográfico destinado a proteger bitcoin frente a la llegada eventual de potentes computadoras cuánticas.
El proyecto es notable no solo por lo que protege, sino por cómo se construyó. Las pruebas de seguridad y corrección se generaron en gran parte con la ayuda de modelos de lenguaje grandes, incluyendo ChatGPT y Fable, bajo supervisión humana.
Lo que realmente hace libshrincs
Libshrincs implementa WOTS+C, el componente de firma de un solo uso de un esquema más amplio llamado SHRINCS. SHRINCS, propuesto por primera vez en diciembre de 2025, es un esquema de firma que combina firmas basadas en hash con estado y sin estado. El objetivo es mantener los tamaños de firma lo suficientemente compactos como para ser prácticos para transacciones de bitcoin, mientras se proporciona resistencia cuántica.
En modo con estado, las firmas ocupan aproximadamente 324 bytes. El esquema también incluye un mecanismo de respaldo sin estado, esencialmente una red de seguridad en caso de que el seguimiento del componente con estado se gestione incorrectamente.
La biblioteca incluye pruebas verificadas por máquina de corrección funcional y una prueba de seguridad verificada utilizando SSProve en Rocq. Las pruebas son sustanciales: aproximadamente 6,200 líneas de código VST (Verified Software Toolchain) y alrededor de 13,400 líneas de código Rocq.
El ángulo de la IA y por qué importa
Se utilizaron modelos de lenguaje de gran tamaño para generar partes sustanciales del código de verificación, con desarrolladores humanos guiando y revisando la salida. La verificación formal en criptografía ha sido históricamente costosa y lenta. Si los métodos asistidos por IA pueden producir de forma confiable este tipo de salida, podría reducir drásticamente la barrera para construir software criptográfico verificado.
Limitaciones y el camino por delante
Los investigadores son transparentes sobre lo que libshrincs aún no logra. El teorema de seguridad actual no proporciona un límite post-cuántico completo en el modelo de oráculo aleatorio cuántico (QROM). También utiliza una noción de seguridad más débil en comparación con cómo las firmas SHRINCS se implementarían realmente en la práctica. Las suposiciones numéricas de hash que fortalecerían el argumento de seguridad aún no se han incorporado.
No hay afirmaciones de implementación en producción ni integración en Bitcoin Core. El trabajo forma parte de la iniciativa más amplia de Blockstream Research para desarrollar firmas resistentes a la computación cuántica para Bitcoin y la red de sidechain Liquid de Blockstream. Los esfuerzos relacionados incluyen implementaciones en C++ y bibliotecas verificadoras de Simplicity.