Falha de cinco anos na Coldcard expõe brecha em auditorias de carteiras de hardware

De acordo com Nick Percoco, diretor de segurança da Kraken, a falha de cinco anos na geração de sementes da Coldcard expôs uma fragilidade mais ampla na forma como as carteiras de hardware são testadas de forma independente. 

Em uma postagem no X no domingo, Percoco afirmou que o incidente deveria servir de "alerta" para os fabricantes de carteiras de hardware, e pediu testes independentes para verificar se a fonte de aleatoriedade aprovada é a mesma usada pelo firmware de produção. 

“Pede-se aos consumidores que confiem na implementação, por parte do fabricante, da função mais crítica do sistema, sem qualquer verificação independente de que o caminho de entropia aprovado é o que está sendo realmente executado”, disse Percoco. 

Seus comentários seguem um ataque em andamento que se acredita explorar frases-semente fracas geradas por dispositivos Coldcard afetados. Até domingo, mais de 4.500 endereços foram afetados, drenando quase US$ 90 milhões em Bitcoin . 

A falha no gerador de números aleatórios (RNG) da Coldcard permaneceu indetectada por cinco anos

Na quinta-feira, a Coinkite revelou uma falha de software que existe desde março de 2021, quando a Coldcard alterou seu processo de geração de sementes ao integrar uma nova biblioteca criptográfica. 

A migração, inadvertidamente, direcionou a criação de carteiras para um gerador MicroPython mais fraco que existia no código-fonte, em vez do gerador de números aleatórios verdadeiros (TRNG) pretendido pela Coldcard. 

"A maior parte da aleatoriedade no COLDCARD vinha de um PRNG que eu nem sabia que estava presente no código-fonte", disse a Coinkite em seu relatório pós-lançamento. "Ao mesmo tempo, o código TRNG cuidadosamente elaborado por mim estava sendo usado, mas por mera coincidência e apenas para coisas menos importantes."

A presença do gerador de números aleatórios pretendido permitiu que a vulnerabilidade passasse despercebida. As revisões de código confirmariam a existência e o funcionamento do código TRNG da Coldcard, mas não havia nenhuma verificação para garantir que esse era realmente o gerador de números aleatórios que estava sendo chamado. 

Essas verificações já são padrão em todo o restante do setor de segurança, disse Percoco, referindo-se ao NIST SP 800-90B, um padrão do governo dos EUA que especifica os requisitos para projetar, testar e validar geradores físicos de números aleatórios verdadeiros para segurança criptográfica, e ao BSI AIS-31, um padrão semelhante criado pelo Escritório Federal Alemão para Segurança da Informação.

“As carteiras de hardware não possuem um processo equivalente. Temos Critérios Comuns para elementos seguros, algumas certificações CSPN e auditorias patrocinadas por fornecedores. Nenhuma delas força sistematicamente a verificação de ponta a ponta de que a fonte de entropia validada é realmente a mesma que o firmware de produção utiliza”, disse ele. 

“O setor de pagamentos não permite que dispositivos de entrada de PIN sejam comercializados sem testes independentes em laboratório. O governo dos EUA não aceita módulos criptográficos sem validação da fonte de entropia. A autocustódia de ativos digitais não deve ser uma exceção”, afirmou Percoco. 

A Coldcard informou no domingo que suspendeu todos os envios de dispositivos desde que confirmou a vulnerabilidade na quinta-feira e destruiu todas as unidades restantes em suas instalações que continham o firmware afetado . 

No entanto, a Coinkite aconselhou os usuários com dispositivos afetados a não se desfazerem deles, pois "eles podem se tornar essenciais caso os fundos sejam recuperados".

“Nossa equipe jurídica coordenará, conforme necessário, com as autoridades policiais em diversas jurisdições para apoiar os esforços na identificação dos responsáveis.”