O cofundador do Ethereum, Vitalik Buterin, diz que a IA não significa o fim da cibersegurança, argumentando, em vez disso, que modelos avançados poderiam ajudar a tornar o software cripto mais difícil de ser violado.

Em uma postagem de quarta-feira no X, Buterin argumentou que a IA não dará aos hackers uma vantagem insuperável, acrescentando que os detentores de cripto — incluindo ele próprio, com aproximadamente 90% de seu patrimônio líquido em cripto — estão apostando que as defesas de segurança podem acompanhar o ritmo.

"É uma visão cada vez mais comum que o hacking por IA significa que a cibersegurança está condenada", escreveu Buterin. "Eu discordo. Acredito que a cibersegurança é naturalmente favorável à defesa, uma vez que as pessoas se organizam."

Buterin argumentou que a IA poderia tornar a verificação formal — o uso de provas matemáticas para estabelecer que um software é seguro — prática mesmo para sistemas complexos.

"Se a IA pode provar Navier-Stokes e FLT, então a IA pode provar a declaração ‘este programa é seguro’ como um teorema matemático", escreveu ele. "Mesmo que o programa seja muito complicado."

Em outras palavras, Buterin acredita que uma IA sofisticada o suficiente para resolver problemas matemáticos notoriamente difíceis também poderia provar que mesmo softwares complexos atendem a requisitos de segurança claramente definidos.

Isso não significa, no entanto, que a segurança seja fácil, disse ele. A parte difícil é definir o que ‘seguro’ significa em primeiro lugar.

Desenvolvedores de blockchain estão usando cada vez mais agentes de IA para escanear código, testar exploits e verificar bugs antes que os atacantes possam agir, com pesquisadores descobrindo vulnerabilidades tanto na infraestrutura do Ethereum quanto no software do Bitcoin.

Desenvolvedores em todo o espaço cripto estão implementando IA de forma defensiva após vários incidentes que alimentaram temores de que a IA estivesse dando uma vantagem aos atacantes.

Em maio, o pesquisador de segurança Taylor Hornby usou o Claude Opus 4.8 da Anthropic para descobrir uma falha de quatro anos no pool de privacidade Orchard da Zcash que poderia ter permitido a falsificação ilimitada e indetectável de ZEC, embora os desenvolvedores não tenham encontrado evidências de que ela tivesse sido explorada antes de ser corrigida em junho.

A corrida entre atacantes e defensores acelerou em julho, quando pesquisadores da Ethereum Foundation disseram que agentes de IA haviam descoberto vulnerabilidades na infraestrutura crítica da rede. No mesmo mês, atacantes começaram a esvaziar carteiras Coldcard por meio de uma falha de firmware antiga que enfraqueceu a geração de sementes, roubando, no final das contas, cerca de US$ 130 milhões em Bitcoin. A fabricante da Coldcard, Coinkite, disse que a IA provavelmente ajudou a identificar o bug.

Em agosto, a ameaça havia se espalhado por todo o ecossistema de software Bitcoin. A Boltz suspendeu seu serviço de swap, afirmando que supostos atacantes estavam encontrando falhas mais rápido do que seus desenvolvedores podiam corrigi-las, enquanto a Core Lightning confirmou que várias vulnerabilidades identificadas em relatórios gerados por IA eram genuínas. Em resposta, a equipe voluntária Bitcoin Red Team usou auditorias assistidas por IA para sinalizar 4.962 vulnerabilidades potenciais em 390 projetos.

Buterin disse que a IA agora pode verificar programas inteiros em vez de componentes selecionados, uma abordagem que o Ethereum planeja seguir nos próximos anos.

"Não há futuro para blockchains — especialmente blockchains com escalabilidade e privacidade — sem fazer isso", disse ele. "Precisamos tornar o software realmente seguro. E já fizemos muito progresso."