{"id":518,"date":"2026-09-13T04:38:04","date_gmt":"2026-09-13T04:38:04","guid":{"rendered":"https:\/\/hoge.gg\/pt\/ia-encontrou-bug-primeiro-post-mortem-cripto-2026\/"},"modified":"2026-09-13T04:38:04","modified_gmt":"2026-09-13T04:38:04","slug":"ia-encontrou-bug-primeiro-post-mortem-cripto-2026","status":"publish","type":"post","link":"https:\/\/hoge.gg\/pt\/ia-encontrou-bug-primeiro-post-mortem-cripto-2026\/","title":{"rendered":"A IA encontrou o bug primeiro: o novo post-mortem cripto"},"content":{"rendered":"Em 2026, dois dos maiores desastres de seguran\u00e7a do ano terminaram com uma frase que nunca antes tinha aparecido num post-mortem de cripto: o bug foi encontrado por intelig\u00eancia artificial. Primeiro foi a Coldcard, cujo fabricante, a Coinkite, sugeriu que o atacante teria usado IA para desenterrar uma falha de entropia adormecida havia cinco anos, num roubo que passou os 130 milh\u00f5es de d\u00f3lares (acima de 112 milh\u00f5es de euros). Depois foi a Liquid Network, a sidechain de Bitcoin da Blockstream, onde cerca de 4.000 BTC (\u00e0 volta de 265 milh\u00f5es de euros na altura) sa\u00edram da federa\u00e7\u00e3o por causa, nas palavras do pr\u00f3prio Adam Back, de uma corre\u00e7\u00e3o mal feita a um bug que a IA tinha encontrado.O post-mortem, a aut\u00f3psia p\u00fablica que a cripto transformou num g\u00e9nero pr\u00f3prio, ganhou assim uma personagem nova. N\u00e3o \u00e9 o atacante an\u00f3nimo, nem o investigador forense que segue o rasto das moedas, nem sequer o auditor que assinou o relat\u00f3rio antes do desastre. \u00c9 a m\u00e1quina que l\u00ea c\u00f3digo, e que agora aparece dos dois lados da mesa: como a ferramenta que encontra a falha, como a arma que se suspeita ter sido usada no ataque e, cada vez mais, como autora e leitora da pr\u00f3pria aut\u00f3psia.Este texto \u00e9 sobre essa mudan\u00e7a. N\u00e3o sobre se a IA vai salvar ou afundar a cripto, uma pergunta a que ningu\u00e9m responde honestamente hoje, mas sobre uma coisa concreta e verific\u00e1vel: em 2026, os relat\u00f3rios de incidente come\u00e7aram a invocar a IA como causa, como m\u00e9todo e como defesa, e isso mexe com um g\u00e9nero que sempre se apoiou na ideia de que uma aut\u00f3psia p\u00fablica torna toda a gente mais segura.

O ano em que o post-mortem ganhou um novo suspeito<\/h2>Conv\u00e9m recordar para que serve este g\u00e9nero antes de o ver mudar. Quando um protocolo \u00e9 atacado, raramente h\u00e1 um tribunal, uma seguradora ou um regulador a quem recorrer de imediato. Em vez disso, a comunidade produz um documento: a cronologia ao minuto, a causa-raiz, o rasto das carteiras, a decis\u00e3o sobre reembolsos. \u00c9 a aut\u00f3psia. Substitui, na pr\u00e1tica, o processo formal que a cripto quase nunca tem. Ao longo de 2026 esse ritual n\u00e3o parou de crescer, mas os n\u00fameros por baixo dele mudaram de forma.A TRM Labs contabilizou cerca de 972 milh\u00f5es de d\u00f3lares (\u00e0 volta de 840 milh\u00f5es de euros) perdidos em 207 incidentes no primeiro semestre de 2026, um recorde no n\u00famero de casos ainda que o valor total tenha ficado abaixo dos 2,3 mil milh\u00f5es de d\u00f3lares do primeiro semestre de 2025, com a Coreia do Norte respons\u00e1vel por perto de 643 milh\u00f5es de d\u00f3lares, dois ter\u00e7os do total, segundo a an\u00e1lise semestral da TRM Labs<\/a>. Muitos casos, valores individuais mais pequenos, e um deslocamento claro: o dinheiro deixou de sair sobretudo por bugs de contrato e passou a sair por chaves comprometidas, engenharia social e falhas operacionais.A mudan\u00e7a cultural mais interessante do ano, por\u00e9m, n\u00e3o est\u00e1 no total roubado. Est\u00e1 no facto de os pr\u00f3prios projetos terem come\u00e7ado a escrever a sigla IA nas certid\u00f5es de \u00f3bito. Um fabricante de hardware que sugere que a m\u00e1quina encontrou a falha antes dos seus engenheiros. Um fundador que atribui um rombo de centenas de milh\u00f5es a uma corre\u00e7\u00e3o feita sobre um bug que a IA tinha assinalado. Dois epis\u00f3dios, com semanas de intervalo, em que a aut\u00f3psia deixou de ser s\u00f3 sobre c\u00f3digo humano e passou a ser, tamb\u00e9m, sobre uma intelig\u00eancia que l\u00ea esse c\u00f3digo melhor e mais depressa do que n\u00f3s.

Coldcard: a aut\u00f3psia onde a IA \u00e9 a principal suspeita<\/h2>A partir de 30 de julho de 2026, um atacante come\u00e7ou a esvaziar carteiras Coldcard, o hardware wallet de Bitcoin mais associado ao lema do m\u00e1ximo cuidado com a autocust\u00f3dia. Na primeira vaga, drenou 1.082 BTC de 1.196 endere\u00e7os em 41 minutos, segundo o The Hacker News<\/a>. O total foi crescendo ao longo de v\u00e1rios dias e de v\u00e1rias vagas: a TRM Labs<\/a> falou em cerca de 116 milh\u00f5es de d\u00f3lares, enquanto a TechCrunch<\/a> confirmou que a cifra ultrapassara os 130 milh\u00f5es de d\u00f3lares (acima de 112 milh\u00f5es de euros), com Tom Robinson, cofundador da Elliptic, a considerar a estimativa \u00abaproximadamente correta\u00bb.A causa-raiz n\u00e3o foi uma chave roubada nem um contrato mal escrito. Foi um erro de compila\u00e7\u00e3o de 2021. Segundo o relat\u00f3rio t\u00e9cnico da Coinkite<\/a>, uma migra\u00e7\u00e3o para a biblioteca libsecp256k1 trocou a gera\u00e7\u00e3o das seeds da fun\u00e7\u00e3o pr\u00f3pria da Coldcard por um gerador gen\u00e9rico do MicroPython. O problema: uma diretiva de pr\u00e9-processador testava se uma macro que ativa o gerador de n\u00fameros aleat\u00f3rios por hardware estava definida, e n\u00e3o se o seu valor era diferente de zero. A macro estava definida mas a zero, por isso o teste nunca disparou e o firmware ca\u00eda silenciosamente para um gerador de n\u00fameros pseudo-aleat\u00f3rios por software. O resultado: seeds com cerca de 40 bits de entropia efetiva nos modelos Mk2 e Mk3, e \u00e0 volta de 72 bits nos Mk4, Mk5 e Q, quando o padr\u00e3o seguro s\u00e3o 128. Entropia suficientemente fraca para um atacante conseguir reconstruir chaves \u00e0 escala.Foi aqui que entrou a frase in\u00e9dita. Rodolfo Novak, o NVK, cofundador da Coinkite, avan\u00e7ou que o atacante poder\u00e1 ter usado IA para encontrar a falha, e que a pr\u00f3pria revis\u00e3o de c\u00f3digo assistida por IA que a Coinkite tinha corrido sobre o mesmo reposit\u00f3rio, semanas antes, n\u00e3o a tinha detetado. Em declara\u00e7\u00f5es citadas pela Bitcoin Magazine<\/a>, Novak escreveu: \u00abacreditamos que esta \u00e9 a realidade s\u00f3bria do novo paradigma da IA. A revis\u00e3o de c\u00f3digo assistida por IA j\u00e1 encontra bugs latentes a uma velocidade que ultrapassa at\u00e9 os especialistas mais experientes da ind\u00fastria.\u00bb E deixou um aviso que se tornaria o subtexto de todo o ano: \u00abse o vosso firmware \u00e9 open-source ou alguma vez foi p\u00fablico, assumam que j\u00e1 est\u00e1 a ser lido por atacantes e defensores por igual.\u00bb\u00c9 preciso ser rigoroso com o que se sabe e o que n\u00e3o se sabe. O m\u00e9todo concreto do atacante nunca foi tornado p\u00fablico, por isso a tese da IA \u00e9 exatamente isso, uma tese do fabricante, e n\u00e3o um facto provado. Mas o caso capturou a imagina\u00e7\u00e3o por uma raz\u00e3o simb\u00f3lica poderosa: uma v\u00edtima, num relato \u00e0 Forbes<\/a>, dizia ter feito \u00abtudo certo\u00bb, nunca ter partilhado a seed, nunca ter ligado o dispositivo \u00e0 internet, e ainda assim ter sido drenada. Quando o utilizador impec\u00e1vel perde tudo por causa de um bit mal configurado num guarda de compila\u00e7\u00e3o, a pergunta deixa de ser \u00abquem falhou\u00bb e passa a ser \u00abo que \u00e9 que nos consegue proteger de um advers\u00e1rio que l\u00ea o c\u00f3digo todo\u00bb.

Liquid: quando corrigir um bug encontrado por IA abre outro<\/h2>Se a Coldcard p\u00f4s a IA no lugar do suspeito, a Liquid Network p\u00f4-la na origem da cadeia de eventos, de uma forma ainda mais desconfort\u00e1vel. A 6 de setembro de 2026, no bloco 4.050.336, um atacante conseguiu cunhar cerca de 4.000 L-BTC sem lastro e retirou perto de 4.000 dos aproximadamente 4.200 BTC que a federa\u00e7\u00e3o guardava para cobrir a moeda, \u00e0 volta de 265 milh\u00f5es de euros na altura, deixando as reservas quase vazias. N\u00e3o foram chaves roubadas: 11 dos 15 signat\u00e1rios da federa\u00e7\u00e3o assinaram uma sa\u00edda que parecia v\u00e1lida, porque a valida\u00e7\u00e3o de consenso deu luz verde a uma prova falsa.A causa-raiz foi uma colis\u00e3o de chave de cache na verifica\u00e7\u00e3o de rangeproofs do software Elements. A chave que identificava cada prova na cache omitia campos essenciais, o gerador do ativo e o scriptPubKey, de modo que uma prova forjada conseguia reutilizar um veredito \u00abv\u00e1lido\u00bb j\u00e1 guardado em cache e assim cunhar L-BTC sem cobertura. Havia ainda um pormenor que ligaria este caso ao tema da divulga\u00e7\u00e3o respons\u00e1vel: o commit que corrigia o bug foi fundido no reposit\u00f3rio p\u00fablico cerca de quatro dias antes do ataque, mas a federa\u00e7\u00e3o corria uma vers\u00e3o anterior. \u00c9 a cl\u00e1ssica janela entre a publica\u00e7\u00e3o do patch e a sua aplica\u00e7\u00e3o, o intervalo em que um atacante que leia o commit sabe exatamente onde est\u00e1 a falha antes de todos os n\u00f3s estarem protegidos.E a IA? Adam Back, fundador e CEO da Blockstream, explicou que o bug explor\u00e1vel surgiu, nas suas palavras, \u00abdevido a uma corre\u00e7\u00e3o incorreta de um bug encontrado por IA que tamb\u00e9m era um bug n\u00e3o cr\u00edtico\u00bb, conforme reportado pelo CryptoTimes<\/a> quando a Liquid reiniciou os blocos a 10 de setembro. A leitura fina \u00e9 importante: n\u00e3o se trata de a IA ter atacado a Liquid, mas de a IA ter assinalado uma falha original e inofensiva, cuja corre\u00e7\u00e3o humana introduziu, por sua vez, a falha grave que foi explorada. A m\u00e1quina encontra; o humano corrige mal; o buraco abre-se na corre\u00e7\u00e3o. \u00c9 uma sequ\u00eancia que qualquer engenheiro reconhece, agora com a IA no primeiro elo.Esta vers\u00e3o dos factos n\u00e3o passou sem contesta\u00e7\u00e3o. Gregory Maxwell, antigo programador da Blockstream, analisou as transa\u00e7\u00f5es p\u00fablicas e o reposit\u00f3rio e argumentou que a pr\u00f3pria corre\u00e7\u00e3o ter\u00e1 introduzido a vulnerabilidade de colis\u00e3o porque os novos campos adicionados ao hash n\u00e3o ficaram devidamente separados. O atacante, que reclama ser white-hat, manteve cerca de 598,5 BTC (\u00e0 volta de 40 milh\u00f5es de euros) e pediu uma recompensa de 10%. A Blockstream recusou, com uma frase que n\u00e3o deixa margem, reportada pelo The Block<\/a>: \u00abn\u00e3o vamos pagar pela devolu\u00e7\u00e3o de propriedade roubada.\u00bb Toda a dimens\u00e3o \u00e9tica deste bra\u00e7o-de-ferro, o r\u00f3tulo de white-hat como alavanca de negocia\u00e7\u00e3o, foi dissecada na nossa cobertura de white-hat ou roubo no caso Liquid<\/a>; aqui interessa outra coisa: pela primeira vez, um rombo desta dimens\u00e3o come\u00e7a a hist\u00f3ria com a express\u00e3o \u00abum bug encontrado por IA\u00bb.

O padr\u00e3o que estas duas frases revelam<\/h2>Dois casos n\u00e3o fazem uma lei, mas fazem um padr\u00e3o digno de reparo, sobretudo quando s\u00e3o dois dos maiores do ano e ambos envolvem Bitcoin puro, longe do habitual territ\u00f3rio dos contratos de DeFi. Em ambos, a aut\u00f3psia deixou de terminar apenas em \u00aberro humano\u00bb ou \u00abc\u00f3digo vulner\u00e1vel\u00bb e passou a incluir uma entidade n\u00e3o humana na explica\u00e7\u00e3o. E em ambos, a alega\u00e7\u00e3o sobre a IA \u00e9 dif\u00edcil de verificar de forma independente: na Coldcard \u00e9 uma teoria sobre o m\u00e9todo do atacante; na Liquid \u00e9 uma caracteriza\u00e7\u00e3o, disputada, sobre a origem do bug.
Incidente<\/th>Perda<\/th>Causa-raiz t\u00e9cnica<\/th>Papel atribu\u00eddo \u00e0 IA<\/th>Quem o diz<\/th>Estatuto<\/th><\/tr><\/thead>
Coldcard (jul-ago 2026)<\/td>Mais de 130 M$ (mais de 112 M\u20ac)<\/td>Fallback do RNG para software (guarda de compila\u00e7\u00e3o de 2021)<\/td>Atacante ter\u00e1 usado IA para achar a falha; revis\u00e3o interna com IA n\u00e3o a viu<\/td>Coinkite \/ NVK<\/td>Teoria do fabricante, n\u00e3o confirmada<\/td><\/tr>
Liquid (set 2026)<\/td>~4.000 BTC (~265 M\u20ac)<\/td>Colis\u00e3o de chave de cache na verifica\u00e7\u00e3o de rangeproof<\/td>Bug original (n\u00e3o cr\u00edtico) encontrado por IA; corre\u00e7\u00e3o humana criou o exploit<\/td>Adam Back \/ Blockstream<\/td>Caracteriza\u00e7\u00e3o disputada<\/td><\/tr>
Bybit (fev 2025)<\/td>~1,5 mil M$ (~1,3 mil M\u20ac)<\/td>Compromisso da interface do Safe (cadeia de fornecimento)<\/td>Nenhum papel de IA alegado<\/td>FBI \/ Sygnia<\/td>Contraste: aut\u00f3psia sem IA<\/td><\/tr><\/tbody><\/table><\/figure>A linha da Bybit est\u00e1 ali de prop\u00f3sito. O maior roubo da hist\u00f3ria da cripto, cerca de 1,5 mil milh\u00f5es de d\u00f3lares em fevereiro de 2025, foi um post-mortem exemplar de transpar\u00eancia e n\u00e3o menciona IA em lado nenhum: foi uma cadeia de fornecimento comprometida, c\u00f3digo malicioso injetado numa interface. A diferen\u00e7a de 2026 n\u00e3o \u00e9 que a IA passou a atacar; \u00e9 que a IA passou a ser nomeada no relat\u00f3rio, como causa ou como m\u00e9todo. Essa nomea\u00e7\u00e3o \u00e9, ela pr\u00f3pria, o novo fen\u00f3meno cultural.

Do outro lado da mesa: a IA que audita<\/h2>Seria enganador contar s\u00f3 metade. A mesma tecnologia que aparece como suspeita nas aut\u00f3psias est\u00e1 a reconfigurar quem as pode evitar. A Trail of Bits, uma das auditoras de seguran\u00e7a mais respeitadas do setor, publicou em mar\u00e7o de 2026 um relato de como se tornou \u00abAI-native\u00bb. Os n\u00fameros s\u00e3o impressionantes: come\u00e7aram com cerca de 5% de ades\u00e3o interna e 95% de resist\u00eancia, e um ano depois, nos projetos onde o c\u00f3digo e o \u00e2mbito o permitem, os auditores apoiados por IA passaram de encontrar \u00e0 volta de 15 bugs por semana para 200, com 94 plugins, 201 skills e 84 agentes especializados constru\u00eddos para o efeito, segundo o blogue da Trail of Bits<\/a>.Dan Guido, cofundador e CEO da empresa, resume h\u00e1 anos a filosofia que a IA agora amplifica numa \u00fanica frase, citada numa entrevista \u00e0 Decential<\/a>: \u00abnunca quero encontrar o mesmo bug duas vezes.\u00bb O objetivo de uma aut\u00f3psia, na sua leitura, nunca foi s\u00f3 explicar o desastre, foi transformar a li\u00e7\u00e3o num teste autom\u00e1tico que impede a repeti\u00e7\u00e3o. A IA promete acelerar exatamente essa transforma\u00e7\u00e3o, lendo o c\u00f3digo \u00e0 velocidade da m\u00e1quina e propondo o teste que fecha a porta.H\u00e1 uma ironia limpa em tudo isto. As mesmas capacidades que, do lado da defesa, produzem 200 bugs por semana s\u00e3o, do lado do ataque, exatamente o que a Coinkite temia. A ferramenta n\u00e3o tem lado; tem quem a aponta. E a assimetria que decide o resultado \u00e9 simples de enunciar e dif\u00edcil de resolver: um atacante precisa de encontrar uma falha explor\u00e1vel; um defensor precisa de encontrar todas. Quando ambos correm o mesmo tipo de modelo sobre o mesmo c\u00f3digo p\u00fablico, a corrida passa a ser sobre quem l\u00ea primeiro e quem corrige mais depressa.

J\u00e1 n\u00e3o \u00e9 hip\u00f3tese: a IA encontra falhas a s\u00e9rio<\/h2>Antes de aceitar qualquer \u00aba IA encontrou o bug\u00bb de um comunicado de crise, \u00e9 justo perguntar se a m\u00e1quina realmente consegue tal coisa, ou se \u00e9 uma desculpa moderna para um erro embara\u00e7oso. A resposta, fora do universo cripto e vinda de fontes de alt\u00edssima credibilidade, \u00e9 que consegue. O agente Big Sleep, da Google DeepMind e do Project Zero, descobriu e travou a explora\u00e7\u00e3o de uma vulnerabilidade de dia-zero cr\u00edtica no SQLite, catalogada como CVE-2025-6965, no que a Google descreveu como a primeira vez que um sistema de IA impediu diretamente um ataque no mundo real; desde novembro de 2024 j\u00e1 tinha encontrado v\u00e1rias falhas reais em software open-source, de acordo com o balan\u00e7o de seguran\u00e7a da Google<\/a>.E n\u00e3o \u00e9 um caso isolado de uma empresa a promover a sua tecnologia. Na final do AI Cyber Challenge da DARPA, a ag\u00eancia de investiga\u00e7\u00e3o de defesa dos Estados Unidos, sistemas aut\u00f3nomos de racioc\u00ednio competiram para encontrar e corrigir vulnerabilidades em software cr\u00edtico. O sistema Atlantis, da equipa Team Atlanta, venceu depois de encontrar seis falhas de dia-zero s\u00f3 no SQLite3, e todos os sistemas finalistas foram disponibilizados como open-source, segundo a pr\u00f3pria DARPA<\/a>. Ou seja: a capacidade de uma IA ler uma base de c\u00f3digo grande e desenterrar bugs genu\u00ednos, in\u00e9ditos e explor\u00e1veis, deixou de ser promessa em 2025 e 2026. \u00c9 demonstr\u00e1vel, repet\u00edvel e, no caso da DARPA, aberta a quem a quiser usar, nos dois sentidos.\u00c9 este pano de fundo que torna as frases de Novak e de Back plaus\u00edveis em vez de fantasiosas. N\u00e3o temos prova de que a IA atacou a Coldcard nem de que causou, sozinha, o buraco da Liquid. Mas j\u00e1 n\u00e3o \u00e9 preciso suspender a descren\u00e7a para aceitar que uma ferramenta destas leia o Elements ou o firmware da Coldcard e encontre, numa tarde, algo que passou cinco anos despercebido a humanos competentes.

A nova assimetria: quem l\u00ea o c\u00f3digo primeiro<\/h2>A cripto foi constru\u00edda sobre um valor quase religioso: o c\u00f3digo aberto. Publica-se o contrato, o cliente, o firmware, e a comunidade audita. Durante uma d\u00e9cada, isso foi sobretudo uma vantagem: mais olhos, menos bugs. A IA vira parte dessa equa\u00e7\u00e3o do avesso. Se todo o c\u00f3digo p\u00fablico pode ser lido por um modelo em minutos, ent\u00e3o a mesma abertura que convida os defensores convida, \u00e0 mesma velocidade, os atacantes. Foi precisamente isto que Novak quis dizer com o seu aviso para assumir que o firmware p\u00fablico \u00abj\u00e1 est\u00e1 a ser lido por atacantes e defensores por igual\u00bb.O ponto mais perigoso desta assimetria \u00e9 o intervalo entre a corre\u00e7\u00e3o e a aplica\u00e7\u00e3o. No caso Liquid, o commit que corrigia o bug esteve p\u00fablico dias antes de a federa\u00e7\u00e3o atualizar. Um humano a vasculhar commits de seguran\u00e7a \u00e0 procura de pistas \u00e9 lento; uma IA a correlacionar, em massa, commits de corre\u00e7\u00e3o recentes com n\u00f3s que ainda n\u00e3o aplicaram o patch \u00e9 outra coisa. O velho problema do \u00abn-day\u00bb, a falha j\u00e1 conhecida mas ainda n\u00e3o corrigida em todo o lado, fica muito mais afiado quando o advers\u00e1rio consegue transformar um patch p\u00fablico numa arma antes de os defensores terminarem a atualiza\u00e7\u00e3o. A divulga\u00e7\u00e3o respons\u00e1vel, que sempre viveu num equil\u00edbrio delicado, passa a correr contra um rel\u00f3gio que a m\u00e1quina acelera.Nem todos os ataques, claro, dependem de ler c\u00f3digo. Muitos manipulam o pre\u00e7o que se forma on-chain<\/a>, atrav\u00e9s de or\u00e1culos e de liquidez fina, um vetor que a IA-de-leitura-de-c\u00f3digo n\u00e3o previne diretamente. Mas para a fam\u00edlia de falhas que vive dentro do pr\u00f3prio programa, l\u00f3gica, aritm\u00e9tica, valida\u00e7\u00e3o, a corrida de leitura \u00e9 agora o campo de batalha central, e a vantagem tende para quem tiver os melhores modelos e a melhor telemetria em tempo real.

O post-mortem virou corpus de treino<\/h2>H\u00e1 uma segunda camada, mais subtil, em que a IA e o post-mortem se cruzam. O g\u00e9nero produziu, ao longo de dez anos, um arquivo imenso e p\u00fablico: os obitu\u00e1rios da rekt.news, a base de dados de incidentes da SlowMist, o registo de mais de 500 hacks da DefiLlama, e taxonomias leg\u00edveis por m\u00e1quina como o OWASP Smart Contract Top 10 de 2026, onde, por exemplo, a reentr\u00e2ncia caiu do segundo para o oitavo lugar porque uma d\u00e9cada de aut\u00f3psias produziu defesas maduras, enquanto o controlo de acessos se manteve em primeiro, segundo a lista da OWASP<\/a>. Esse arquivo foi escrito para humanos aprenderem. Agora \u00e9, tamb\u00e9m, material de treino e contexto para modelos.Isto tem uma consequ\u00eancia que a cultura ainda mal come\u00e7ou a digerir. Cada post-mortem detalhado que explica, com precis\u00e3o, como uma falha foi explorada \u00e9 simultaneamente uma li\u00e7\u00e3o para os defensores e um manual para quem quiser adaptar o padr\u00e3o a outro alvo. Sempre foi assim, em parte; a novidade \u00e9 a escala e a velocidade com que uma IA consegue ingerir todo o corpus e generalizar dele. A abertura que fez a for\u00e7a do g\u00e9nero \u00e9 a mesma que agora o transforma num conjunto de treino para os dois lados.
Dimens\u00e3o<\/th>IA do lado da defesa<\/th>IA do lado do ataque<\/th><\/tr><\/thead>
Quem a usa<\/td>Auditoras (Trail of Bits, CertiK), Google Project Zero, equipas de bug bounty<\/td>Atacantes (suspeito), red teams, investigadores independentes<\/td><\/tr>
O que faz melhor<\/td>Varrer grandes bases de c\u00f3digo, achar bugs de l\u00f3gica e aritm\u00e9tica repet\u00edveis<\/td>Ler c\u00f3digo p\u00fablico em massa, correlacionar commits de corre\u00e7\u00e3o com falhas por corrigir<\/td><\/tr>
Prova p\u00fablica em 2026<\/td>Trail of Bits: de ~15 para 200 bugs por semana; Big Sleep achou um dia-zero real no SQLite; AIxCC<\/td>Coldcard (teoria) e Liquid (bug de origem); sem exploit p\u00fablico confirmado como obra de IA<\/td><\/tr>
Onde falha<\/td>N\u00e3o v\u00ea chaves roubadas, engenharia social nem falhas operacionais<\/td>Tamb\u00e9m n\u00e3o resolve o fator humano; depende de c\u00f3digo exposto para ler<\/td><\/tr><\/tbody><\/table><\/figure>

O que a IA n\u00e3o v\u00ea: chaves, pessoas e opera\u00e7\u00f5es<\/h2>\u00c9 tentador, com dois casos ruidosos, concluir que a IA passou a explicar tudo. N\u00e3o passou, e os pr\u00f3prios n\u00fameros desmentem-no. O grande deslocamento de 2026 n\u00e3o foi para os bugs de c\u00f3digo, foi para longe deles. Os exploits de contrato representaram cerca de 125 dos 207 incidentes do primeiro semestre, mas uma fatia pequena do valor; j\u00e1 os compromissos de infraestrutura, de chaves e operacionais foram perto de 15% dos incidentes e \u00e0 volta de 76% do valor roubado, segundo a mesma TRM Labs<\/a>. Os dois maiores roubos do semestre, a Drift e a KelpDAO, ambos atribu\u00eddos \u00e0 Coreia do Norte, n\u00e3o foram bugs de c\u00f3digo: foram meses de engenharia social a comprometer pessoas.Aqui est\u00e1 o limite duro. Uma IA que l\u00ea Solidity ou C n\u00e3o deteta um engenheiro que foi enganado durante seis meses, uma assinatura cega dada por um signat\u00e1rio de multisig, nem uma credencial de administrador colhida num port\u00e1til dom\u00e9stico. A parte da seguran\u00e7a cripto que mais dinheiro perde em 2026 \u00e9 precisamente a parte que o post-mortem capta pior, porque n\u00e3o deixa um rasto limpo on-chain e depende da honestidade da v\u00edtima ao contar o que aconteceu. A IA melhora a aut\u00f3psia do c\u00f3digo; a aut\u00f3psia das pessoas continua t\u00e3o dif\u00edcil como sempre foi.Por outras palavras: mesmo que a corrida de leitura de c\u00f3digo se resolvesse amanh\u00e3 a favor dos defensores, o vetor dominante do dinheiro roubado ficaria intocado. \u00c9 por isso que a moldura mais honesta n\u00e3o \u00e9 \u00aba IA vai acabar com os hacks\u00bb, mas \u00aba IA muda a fronteira do que \u00e9 encontr\u00e1vel, e empurra os atacantes com recursos para o terreno que nenhuma m\u00e1quina de ler c\u00f3digo alcan\u00e7a\u00bb.

Confiar numa aut\u00f3psia com a IA no banco dos r\u00e9us<\/h2>H\u00e1 um risco espec\u00edfico, quase liter\u00e1rio, em p\u00f4r a IA no centro de uma aut\u00f3psia: ela \u00e9 uma explica\u00e7\u00e3o convenientemente dif\u00edcil de contestar. Dizer \u00abo atacante usou IA\u00bb ou \u00aba IA tinha encontrado o bug\u00bb transfere parte da responsabilidade para uma entidade sem rosto e sem interesse pr\u00f3prio, e \u00e9 quase imposs\u00edvel de refutar publicamente, porque o m\u00e9todo do atacante raramente \u00e9 conhecido e a mem\u00f3ria de uma sess\u00e3o de IA n\u00e3o fica registada numa cadeia p\u00fablica. A frase soa moderna, humilde at\u00e9, e ao mesmo tempo fecha a discuss\u00e3o.Isto obriga o leitor de post-mortems a fazer as mesmas perguntas de sempre, com uma exig\u00eancia acrescida. Quem faz a alega\u00e7\u00e3o tem incentivo para a fazer? No caso Liquid, a caracteriza\u00e7\u00e3o de Back sobre o \u00abbug encontrado por IA\u00bb foi imediatamente contestada por Gregory Maxwell, que localizou o erro na corre\u00e7\u00e3o e n\u00e3o na origem. No caso Coldcard, a tese do atacante-com-IA \u00e9 do fabricante, o mesmo que enviou o firmware defeituoso durante cinco anos. N\u00e3o significa que estejam a mentir; significa que a IA, como personagem, precisa de ser tratada com o mesmo ceticismo que aplicar\u00edamos a qualquer parte interessada. \u00c9 a mesma pergunta que atravessa o drama das DAO e o vil\u00e3o que falta<\/a>: quando a culpa fica sem um rosto concreto, \u00e9 mais f\u00e1cil todos seguirem em frente.A boa not\u00edcia \u00e9 que a verifica\u00e7\u00e3o tamb\u00e9m disp\u00f5e de melhores ferramentas. Um relat\u00f3rio que diz \u00aba IA encontrou isto\u00bb pode, cada vez mais, ser confirmado por terceiros que corram os seus pr\u00f3prios modelos sobre o mesmo c\u00f3digo p\u00fablico. A aut\u00f3psia continua a valer o que sempre valeu: tanto quanto a comunidade a conseguir reproduzir de forma independente. A diferen\u00e7a \u00e9 que reproduzir, agora, tamb\u00e9m \u00e9 uma tarefa que uma m\u00e1quina pode acelerar.

A IA tamb\u00e9m acelerou o rel\u00f3gio da divulga\u00e7\u00e3o<\/h2>Uma mudan\u00e7a menos falada, mas pr\u00e1tica, \u00e9 a do tempo. A cultura do post-mortem sempre premiou a rapidez: a Bybit publicou relat\u00f3rios forenses preliminares poucos dias depois do roubo e ganhou reputa\u00e7\u00e3o por isso. Com a IA a comprimir o trabalho de an\u00e1lise, a expectativa dos leitores sobe. Se uma m\u00e1quina consegue ler o c\u00f3digo, reconstruir a cronologia e propor uma causa-raiz em horas, um sil\u00eancio de dias come\u00e7a a ser interpretado, com ou sem justi\u00e7a, como incompet\u00eancia ou oculta\u00e7\u00e3o.Esta press\u00e3o informal contrasta com a \u00fanica obriga\u00e7\u00e3o formal que existe na Europa, e que se aplica apenas a uma parte do setor. Ao abrigo do regulamento DORA, um prestador de servi\u00e7os de criptoativos regulado tem de notificar a autoridade competente de um incidente grave em prazos curtos, uma notifica\u00e7\u00e3o inicial poucas horas ap\u00f3s a classifica\u00e7\u00e3o, um relat\u00f3rio interm\u00e9dio em 72 horas e um relat\u00f3rio final ao fim de um m\u00eas, segundo a documenta\u00e7\u00e3o oficial sobre o DORA<\/a>. Repare-se na diferen\u00e7a: essa comunica\u00e7\u00e3o \u00e9 privada, para o regulador, e cobre plataformas centralizadas. Para um protocolo descentralizado, uma sidechain ou um fabricante de hardware, n\u00e3o h\u00e1 rel\u00f3gio nenhum imposto por lei. A rapidez com que a Liquid ou a Coldcard falaram foi uma escolha, n\u00e3o uma obriga\u00e7\u00e3o. E \u00e9 sobre essa escolha, cada vez mais medida em horas, que a IA passou a exercer press\u00e3o.

Reguladores: MiCA, DORA, CMVM e uma IA sem selo<\/h2>Para um investidor em Portugal, a conclus\u00e3o pr\u00e1tica \u00e9 dura mas clara. Nenhum regulador certifica quem faz auditorias de seguran\u00e7a, e muito menos as ferramentas de IA que essas auditorias passaram a usar. A MiCA regula os prestadores de servi\u00e7os de criptoativos e os emitentes, n\u00e3o o c\u00f3digo dos protocolos nem os m\u00e9todos de revis\u00e3o; o DORA cobre a resili\u00eancia operacional das tecnologias de informa\u00e7\u00e3o dos prestadores regulados, n\u00e3o define padr\u00f5es de auditoria de c\u00f3digo nem de uso de IA. A CMVM, enquanto supervisora de conduta de mercado, e o Banco de Portugal, no registo de prestadores e nas stablecoins, atuam sobre entidades registadas ao abrigo da Lei n.\u00ba 69\/2025, cujo per\u00edodo transit\u00f3rio para os antigos VASP terminou a 1 de julho de 2026. Um fabricante de hardware como a Coinkite ou uma federa\u00e7\u00e3o como a da Liquid n\u00e3o caem nessa malha.O resultado \u00e9 que, para a esmagadora maioria destes incidentes, a aut\u00f3psia p\u00fablica continua a ser a \u00fanica forma de presta\u00e7\u00e3o de contas que existe de facto. A jurisdi\u00e7\u00e3o da CMVM e do Banco de Portugal, descrita na p\u00e1gina de fintech da CMVM<\/a>, cobre a conduta dos prestadores, n\u00e3o a qualidade do firmware de uma carteira nem a dilig\u00eancia de uma equipa de c\u00f3digo aberto. Quando a m\u00e1quina que encontra o bug n\u00e3o tem selo, e o produto que falha n\u00e3o tem supervisor, o relat\u00f3rio volunt\u00e1rio e a reputa\u00e7\u00e3o s\u00e3o o tribunal. Quem decide, na pr\u00e1tica, quando um patch entra e como \u00e9 comunicado \u00e9 a mesma governa\u00e7\u00e3o sem voto<\/a> que manda, informalmente, no Bitcoin e no Ethereum.H\u00e1 uma pe\u00e7a regulat\u00f3ria europeia que toca a IA, o Regulamento da Intelig\u00eancia Artificial, mas o seu foco s\u00e3o sistemas de IA de alto risco em contextos como o emprego, o cr\u00e9dito ou a biometria, e n\u00e3o a utiliza\u00e7\u00e3o de modelos para rever software de c\u00f3digo aberto. Por agora, a IA que audita e a IA que ataca vivem, ambas, num espa\u00e7o sem certifica\u00e7\u00e3o. Para o utilizador, isso significa que a dilig\u00eancia n\u00e3o pode ser delegada: mesmo o hardware wallet \u00abque faz tudo certo\u00bb pode falhar por um bit mal posto, e a seguran\u00e7a de quem custodia o pr\u00f3prio dinheiro exige a mesma disciplina que se pede a uma tesouraria cripto<\/a>: procedimentos, redund\u00e2ncia e a suposi\u00e7\u00e3o de que qualquer sistema pode falhar.

Conclus\u00e3o: o autopsista \u00e9 uma m\u00e1quina<\/h2>Em 2026, a cripto acrescentou uma personagem ao seu g\u00e9nero mais honesto. O post-mortem, que come\u00e7ou por copiar a cultura de aut\u00f3psia sem culpados da engenharia de software e depois lhe juntou a negocia\u00e7\u00e3o on-chain com o atacante, tem agora uma m\u00e1quina no elenco: como suspeita, como origem de bugs, como auditora e como leitora \u00e1vida de todos os relat\u00f3rios que j\u00e1 se escreveram. N\u00e3o \u00e9 fic\u00e7\u00e3o cient\u00edfica; \u00e9 o que dizem os comunicados da Coinkite e da Blockstream, e o que provam a Google e a DARPA fora da cripto.O que isto exige de n\u00f3s \u00e9 duplo. Dos que escrevem aut\u00f3psias, mais rigor, porque \u00aba IA encontrou o bug\u00bb n\u00e3o pode ser um ponto final que dispensa a prova; da comunidade que as l\u00ea, mais ceticismo e mais reprodu\u00e7\u00e3o independente, agora que reproduzir tamb\u00e9m \u00e9 uma tarefa acelerada por m\u00e1quina. A promessa \u00e9 sedutora: se a IA conseguir finalmente ligar as milhares de aut\u00f3psias dispersas num corpo de conhecimento que se acumula, o sonho de Guido de nunca encontrar o mesmo bug duas vezes fica ao alcance. A amea\u00e7a \u00e9 a imagem espelhada: a mesma capacidade, apontada ao mesmo c\u00f3digo aberto, do outro lado.A cripto passou dez anos a aperfei\u00e7oar a arte de dissecar os seus mortos. A pergunta de 2026 n\u00e3o \u00e9 se vai continuar a faz\u00ea-lo, vai, mas quem segura o bisturi, e se o autopsista que l\u00ea o c\u00f3digo melhor do que n\u00f3s trabalha para os defensores ou para quem chegou primeiro. Por enquanto, a resposta honesta \u00e9: para ambos, ao mesmo tempo.

Perguntas Frequentes<\/h2>

A IA foi mesmo respons\u00e1vel pelos hacks da Coldcard e da Liquid?<\/h3>N\u00e3o h\u00e1 prova de que uma IA tenha executado, sozinha, qualquer dos ataques. No caso Coldcard, o fabricante Coinkite avan\u00e7ou a teoria de que o atacante ter\u00e1 usado IA para encontrar a falha de entropia, mas o m\u00e9todo concreto nunca foi tornado p\u00fablico. No caso Liquid, Adam Back afirmou que o bug explor\u00e1vel nasceu de uma corre\u00e7\u00e3o mal feita a um bug que a IA tinha encontrado, uma caracteriza\u00e7\u00e3o que foi disputada por antigos programadores da Blockstream. Em ambos, a IA aparece como parte da explica\u00e7\u00e3o, n\u00e3o como facto provado.

O que \u00e9 um post-mortem de protocolo em cripto?<\/h3>\u00c9 o relat\u00f3rio p\u00fablico que uma equipa, uma comunidade ou investigadores forenses produzem depois de um ataque, com a cronologia ao minuto, a causa-raiz t\u00e9cnica, o rasto das carteiras e as decis\u00f5es sobre reembolsos. Como raramente existe recurso imediato a tribunais, seguradoras ou reguladores, esta aut\u00f3psia funciona, na pr\u00e1tica, como o principal mecanismo de presta\u00e7\u00e3o de contas do setor.

A intelig\u00eancia artificial consegue mesmo encontrar bugs de seguran\u00e7a reais?<\/h3>Sim, e h\u00e1 provas de fontes cred\u00edveis fora da cripto. O agente Big Sleep, da Google, descobriu e travou a explora\u00e7\u00e3o de uma vulnerabilidade de dia-zero real no SQLite, e sistemas aut\u00f3nomos na final do AI Cyber Challenge da DARPA encontraram v\u00e1rias falhas in\u00e9ditas em software cr\u00edtico. Do lado da ind\u00fastria cripto, a auditora Trail of Bits relatou ter passado de cerca de 15 para 200 bugs por semana nos projetos onde usa IA de forma intensiva.

Se o c\u00f3digo \u00e9 aberto, a IA n\u00e3o ajuda mais os atacantes do que os defensores?<\/h3>\u00c9 o receio central de 2026. Como todo o c\u00f3digo p\u00fablico pode ser lido por um modelo em minutos, a mesma abertura que convida os defensores convida os atacantes \u00e0 mesma velocidade. O ponto mais cr\u00edtico \u00e9 a janela entre a publica\u00e7\u00e3o de uma corre\u00e7\u00e3o e a sua aplica\u00e7\u00e3o em todos os n\u00f3s: uma IA consegue transformar um patch p\u00fablico numa arma antes de a atualiza\u00e7\u00e3o terminar. A defesa mant\u00e9m a vantagem apenas se corrigir e aplicar mais depressa do que o advers\u00e1rio consegue explorar.

Algum regulador em Portugal certifica auditorias de seguran\u00e7a ou ferramentas de IA?<\/h3>N\u00e3o. A MiCA e o DORA regulam prestadores de servi\u00e7os de criptoativos e a sua resili\u00eancia operacional, n\u00e3o o c\u00f3digo dos protocolos nem os m\u00e9todos de auditoria. A CMVM e o Banco de Portugal supervisionam entidades registadas ao abrigo da Lei n.\u00ba 69\/2025, mas n\u00e3o t\u00eam jurisdi\u00e7\u00e3o sobre um fabricante de hardware wallets ou uma sidechain descentralizada. O Regulamento da Intelig\u00eancia Artificial da UE foca sistemas de alto risco noutros dom\u00ednios, n\u00e3o a revis\u00e3o de software. Na pr\u00e1tica, nem a IA que audita nem a IA que ataca t\u00eam hoje qualquer selo oficial.