Jonas Nick, da Blockstream Research, e o colaborador remix7531 lançaram o libshrincs, uma biblioteca de prova de conceito em C que implementa um componente-chave de um esquema de assinatura resistente a quantum projetado para o bitcoin. A biblioteca, anunciada em 11 de agosto no Delving Bitcoin, representa uma das tentativas mais rigorosas até agora de verificar formalmente código criptográfico destinado a proteger o bitcoin contra a chegada eventual de computadores quânticos poderosos.
O projeto é notável não apenas pelo que protege, mas também por como foi construído. As provas de segurança e correção foram em grande parte geradas com a ajuda de grandes modelos de linguagem, incluindo ChatGPT e Fable, sob supervisão humana.
O que o libshrincs realmente faz
Libshrincs implementa o WOTS+C, o componente de assinatura de única vez de um esquema mais amplo chamado SHRINCS. SHRINCS, proposto pela primeira vez em dezembro de 2025, é um esquema de assinatura que combina assinaturas baseadas em hash com estado e sem estado. O objetivo é manter os tamanhos das assinaturas compactos o suficiente para serem práticos para transações em bitcoin, enquanto ainda fornece resistência quântica.
No modo com estado, as assinaturas ocupam aproximadamente 324 bytes. O esquema também inclui um mecanismo de fallback sem estado, essencialmente uma rede de segurança caso o rastreamento do componente com estado seja mal gerenciado.
A biblioteca vem com provas verificadas por máquina de correção funcional e uma prova de segurança verificada usando o SSProve no Rocq. As provas são substanciais: aproximadamente 6.200 linhas de código VST (Verified Software Toolchain) e cerca de 13.400 linhas de código Rocq.
O ângulo da IA e por que isso importa
Modelos de linguagem de grande porte foram utilizados para gerar partes substanciais do código de verificação, com desenvolvedores humanos orientando e revisando a saída. A verificação formal em criptografia historicamente foi cara e lenta. Se métodos assistidos por IA puderem produzir confiavelmente esse tipo de saída, isso poderia reduzir drasticamente a barreira para a construção de software criptográfico verificado.
Limitações e o caminho à frente
Os pesquisadores são transparentes sobre o que o libshrincs ainda não consegue realizar. O teorema de segurança atual não fornece um limite pós-quântico completo no modelo de oráculo aleatório quântico (QROM). Ele também utiliza uma noção de segurança mais fraca em comparação com como as assinaturas SHRINCS seriam realmente implantadas na prática. Suposições numéricas de hash que fortaleceriam o argumento de segurança ainda não foram incorporadas.
Não há nenhuma afirmação de implantação em produção ou integração no Bitcoin Core. O trabalho está dentro da iniciativa mais ampla da Blockstream Research para desenvolver assinaturas resistentes a quantum tanto para o Bitcoin quanto para a rede de sidechain Liquid da Blockstream. Esforços relacionados incluem implementações em C++ e bibliotecas verificadoras Simplicity.