IA reduz drasticamente o custo de encontrar vulnerabilidades, dividindo a indústria de criptomoedas em duas facções

A criptomoeda está se dividindo em dois caminhos de segurança: correção ágil e imutabilidade minimalista.

Escrito por: @Bankless

Compilado por: AididiaoJP, Foresight News

A capacidade da IA de encontrar vulnerabilidades se tornou tão forte que a indústria de criptomoedas teve que reorganizar suas estratégias de segurança.

Vamos começar pela rede Bitcoin. Em 22 de outubro, o Bitcoin Core integrou uma mudança de estratégia de segurança, especificamente para vulnerabilidades que podem ser descobertas com um simples aviso para LLM (modelos de linguagem de grande escala). No passado, esses problemas poderiam ser mantidos em segredo por até um ano; agora, a correção e a publicação devem ser aceleradas. O autor da mudança, Antoine Poinsot, foi direto: LLM está "reduzindo significativamente a barreira para descobrir certos tipos de problemas".

Este não é um caso isolado. Dois vulnerabilidades críticas em PHP descobertas com modelos de IA colocaram cerca de 1,3 milhão de hosts expostos na internet em risco. A Initia suspendeu toda a rede: atacantes usaram o que o cofundador Zon chamou de "bug do Dia 0" para cunhar moedas e transferir cerca de 2,7 milhões de dólares entre cadeias. Não se pode confirmar se a IA foi usada neste ataque, mas afirmar que ela participou de alguma forma não é uma suposição ousada.

Os dados também estão indo na mesma direção. O banco de dados de incidentes de hackers da DefiLlama mostra que, até 2026, já houve 112 ataques que ultrapassaram 1 milhão de dólares; em 2025, o total foi de 70. A pesquisa da Anthropic sobre contratos inteligentes descobriu que a "renda de exploração de vulnerabilidades" de modelos de ponta em ambientes simulados dobra aproximadamente a cada 1,3 meses.

Com os atacantes tendo à disposição caçadores de vulnerabilidades incansáveis e em constante evolução, o que fazer? A indústria de criptomoedas está se dividindo em duas respostas muito diferentes.

Facção Ágil: Pode mudar a qualquer momento

A primeira resposta é manter a flexibilidade: ser capaz de corrigir rapidamente e também de parar rapidamente.

Starknet é o exemplo mais claro atualmente. Na quinta-feira, sua comunidade votou para estudar a transformação em uma L1 pós-quântica independente. Uma das razões é a esperança de atualizar a criptografia em seu próprio ritmo. A StarkWare afirma: "Não podemos depender de Ethereum para correr rápido o suficiente para garantir nossa segurança." O CEO Eli Ben-Sasson agora estima que a chegada da computação quântica seja em "dois anos" e acredita que a IA está acelerando essa linha do tempo.

Pesquisadores do Ethereum também estão em alerta. No início deste mês, Justin Drake instou a indústria a se preparar para o "modo bunker", que envolve transferir fundos para novos endereços mais seguros. O contexto é uma onda de avanços matemáticos impulsionados por IA.

Mas a agilidade tem um preço. Cada chave de administrador, cada caminho de atualização, é tanto uma superfície de ataque quanto um ponto de dependência. Mudar as regras pode criar novos bugs. Portanto, o Ethereum retirou Glamsterdam da rede de testes Hoodi esta semana, pois pesquisas mostraram que suas mudanças de Gas poderiam alterar o comportamento de contratos já implantados.

Facção Minimalista: Reduzir a superfície de ataque ao mínimo

A segunda resposta é reduzir o alvo.

A declaração do desenvolvedor do Ethereum, Ross (z0r0z), na quinta-feira foi direta: mover o código da infraestrutura digital crítica para a blockchain pública, permitindo que todos verifiquem o que realmente aconteceu; depois, avançar para sem servidor; e até mesmo escrever os aplicativos no código da blockchain, fazendo com que eles funcionem da mesma forma a cada execução. Essa ideia de repente não parece tão estranha.

Isso, claro, é um pouco ambicioso. Mas é essencialmente o "teste de soltar as mãos" de Ross: se os construtores desaparecerem amanhã, o sistema ainda pode funcionar com segurança? Quanto menor, mais certo e mais fácil de verificar o código, menos lugares vulneráveis existem e menos entidades precisam ser confiáveis. Ross acrescentou em uma resposta: "Os desenvolvedores devem concentrar sua energia em códigos mais simples."

A mesma intuição também aparece na criptografia do Ethereum. Vitalik disse que o roteiro do Ethereum já se voltou para "apenas hash", em parte porque o hash foi projetado para não ter estruturas que permitam a exploração matemática acelerada por IA.

O lado oposto também é evidente. Códigos públicos e imutáveis também podem ser lidos por atacantes de IA; uma vez online, não há como corrigir. Portanto, o minimalismo é melhor aplicado quando o código é pequeno o suficiente para ser exaustivamente verificado.

Prova de IA, tornando o "imutável" menos assustador

Agora chegamos à verificação formal. A verificação formal é a prova matemática de que o código não viola certas regras.

Historicamente, a verificação formal foi extremamente cara. A construção do núcleo do sistema operacional seL4 levou apenas dois anos de trabalho, mas a verificação levou 20 anos. No entanto, a nova pesquisa publicada na quinta-feira pela Anthropic e Theorem mostra que esse caminho está se tornando mais barato: usando Claude para verificar 239 pontos de entrada em 123 bibliotecas de código aberto, sob certas suposições, não importa qual seja a entrada, até 64MB, esses pontos de entrada não falharão. Todo o processo levou apenas algumas semanas.

Os custos também existem. A escala da prova aumenta com o crescimento do código. No trabalho mencionado, uma prova típica tem cerca de 600.000 linhas, correspondendo a cerca de 18.000 instruções de máquina, e pode consumir centenas de milhões de tokens de IA. Além disso, a prova cobre apenas as propriedades que você especifica, não exclui todos os bugs.

Mas é importante notar quem mais se beneficia: códigos pequenos e de uso único. Essa é exatamente a classe de código que os minimalistas querem colocar na blockchain. Se a IA continuar a reduzir os custos de prova, o "imutável" não será tão preocupante, pois o código não precisará ser corrigido cada vez mais.

Claro, sistemas como L1 e rollup são grandes e continuam a evoluir, ainda dependem da agilidade. Apenas sob o novo paradigma da IA, o "teste de soltar as mãos" está se tornando cada vez mais como a medida central da estratégia de segurança, e não apenas um ideal de descentralização. Essas tendências merecem atenção contínua.

Este conteúdo é fornecido apenas para fins informativos gerais e não constitui aconselhamento financeiro, de investimento, jurídico ou tributário. Quaisquer eventos, recompensas, promoções online ou informações relacionadas mencionadas neste documento não devem ser consideradas uma recomendação, solicitação ou convite para comprar, vender, negociar ou realizar qualquer outra transação com criptoativos. Criptoativos são altamente voláteis e podem resultar em perdas. A disponibilidade dos serviços, produtos e eventos relacionados da WEEX pode variar conforme a região. É de sua responsabilidade garantir que sua participação esteja em conformidade com as leis e regulamentações locais aplicáveis.