Falha no RNG da Coldcard acende debate sobre auditorias assistidas por IA
CEO da Coinkite, NVK, defende sua auditoria baseada em IA após o exploit de $116 milhões na Coldcard, enquanto o desenvolvedor de Bitcoin, Luke Dashjr, argumenta que as vulnerabilidades poderiam ser descobertas por revisores humanos.
Traduzido do inglês. Ler o original
Principais pontos
- Coinkite afirma que um modelo de IA descobriu um defeito no gerador de números aleatórios que auditorias humanas não perceberam.
- O desenvolvedor do Bitcoin Core, Luke Dashjr, publicou nove questões concretas que havia relatado previamente à Coinkite, contestando a narrativa de IA exclusiva.
- A vulnerabilidade, rastreada a uma mudança de firmware de 2021, permitiu o roubo de cerca de $140 milhões em Bitcoin e gerou ação legal.
Os wallets de hardware Coldcard sofreram uma falha crítica no gerador de números aleatórios (RNG) que permitiu que atacantes reconstruíssem chaves privadas e roubassem cerca de $140 milhões em Bitcoin. O CEO da Coinkite, Rodolfo “NVK” Novak, defendeu o processo de segurança da empresa, dizendo que um novo modelo de IA identificou o defeito depois que múltiplas revisões humanas falharam em detectá-lo. O desenvolvedor de Bitcoin, Luke Dashjr, desafiou publicamente essa afirmação, divulgando uma lista de nove pontos de preocupação com o RNG que ele havia compartilhado previamente com a Coinkite em mensagens privadas.
BTC / USD
Auditoria baseada em IA versus revisão humana
NVK postou no X que pelo menos 15 revisões externas — incluindo auditorias pagas dos modelos Mk4 (2022) e Q (2024) — examinaram o hardware, firmware e código de geração de entropia da Coldcard. Ele citou um “Cybersecurity Harness” baseado em OpenAI que gerou 85 possíveis descobertas, argumentando que apenas esse modelo sofisticado identificou o defeito na geração de sementes. Segundo a crypto.news, NVK escreveu: “A verdade desconfortável é que foi preciso um novo modelo de IA para encontrar o que os humanos não conseguiram.”
Rebatimento de nove pontos de Dashjr
Em um thread no X, Luke Dashjr listou nove questões específicas que acredita que um revisor competente teria percebido. Os itens variam de um comentário TODO na rotina de inicialização do RNG a bits de erro de semente e relógio ignorados no chip STM32, e processamento pós‑processamento insuficiente exigido para uso criptográfico. Ele também destacou que a verificação random_buffer não cobre chamadas diretas a rng_get, e que o RNG substituto no firmware carecia de asserções em tempo de execução. Dashjr enfatizou que suas descobertas foram compartilhadas privadamente com a Coinkite antes de se tornarem públicas e que não afirmou que todos os itens fossem exploráveis.
Contexto técnico da falha
A vulnerabilidade originou-se de uma mudança de firmware em março de 2021 que transferiu a geração de sementes do RNG de hardware para uma ferramenta de software (Yasmarang) alimentada pelo número de série do chip e por um temporizador. Isso reduziu a entropia efetiva para tão baixa quanto 40 bits em dispositivos Mk2/Mk3 mais antigos, muito abaixo dos 128 bits de segurança assumidos pelo BIP‑39. Os atacantes conseguiram reconstruir chaves privadas offline, levando a uma série de roubos iniciados em 30 de julho de 2026, nos quais cerca de 1 816 BTC (aproximadamente $38 milhões) foram furtados de mais de 5 200 endereços, de acordo com TRM Labs e Galaxy Research.
Resposta legal e de remediação
Usuários da Coldcard foram instruídos a gerar novas sementes, fazer backup de forma segura e migrar fundos usando as últimas versões de firmware (5.6.3 para Mk4/Mk5 e 1.5.3Q para Q). A Coinkite observa que atualizações de firmware não podem reparar sementes fracas geradas anteriormente. Uma ação coletiva foi ajuizada em Ontário por um dono de wallet, Amir Reza Naderi, alegando que a Coinkite sabia do problema de RNG desde maio de 2025 e não avisou os clientes. A Coinkite nega a alegação e diz que um post‑mortem técnico detalhado ainda está em preparação.

Discussão 0