Vitalik Buterin defende que IA não compromete segurança das criptomoedas

Vitalik Buterin afastou preocupações crescentes de que os avanços em inteligência artificial colocam em risco a segurança das criptomoedas, defendendo que os mecanismos de defesa conseguem evoluir ao mesmo ritmo das ameaças. É a Decrypt quem dá conta de que, numa publicação na rede X esta quarta-feira, o co-fundador da Ethereum argumentou que a IA não dará aos ciberatacantes uma vantagem insuperável, observando que investidores em cripto - incluindo o próprio Buterin, com aproximadamente 90% do seu património líquido exposto ao setor - estão confiantes de que as defesas conseguem acompanhar a evolução das ameaças.

Segundo Buterin, existe uma perceção cada vez mais comum de que os ataques impulsionados por IA significam o fim da cibersegurança, ideia que o fundador rejeita categoricamente. Em sua perspetiva, a segurança cibernética favorece naturalmente os defensores "quando as pessoas arrumam a casa". O fundador sustenta que a IA poderia tornar prática a verificação formal - o uso de provas matemáticas para estabelecer que o software é seguro - mesmo para sistemas complexos. Argumenta que se a IA conseguir resolver problemas matemáticos famosamente difíceis como as equações de Navier-Stokes ou o Último Teorema de Fermat, deveria igualmente conseguir provar que um programa cumpre requisitos de segurança claramente definidos, independentemente da complexidade do código.

Apesar desta perspetiva otimista, Buterin reconheceu que alcançar segurança não é tarefa simples. A verdadeira dificuldade reside em definir o que "seguro" significa em primeiro lugar. A dificuldade de estabelecer essas definições permanece um obstáculo fundamental, mesmo com recurso a tecnologias avançadas de IA.

Em paralelo com a defesa de Buterin, desenvolvedores no ecossistema cripto começaram a utilizar agentes de IA de forma defensiva para analisar código, testar exploits e identificar vulnerabilidades antes que atacantes as descubram. Investigadores já descobriram falhas tanto na infraestrutura da Ethereum como no software do Bitcoin. Este movimento defensivo acelerou após vários incidentes que despertaram receios sobre o potencial ofensivo da IA. Em maio, o investigador de segurança Taylor Hornby utilizou o Claude Opus 4.8 da Anthropic para descobrir uma falha de quatro anos no pool de privacidade Orchard do Zcash que poderia ter permitido a contrafação ilimitada e indetectável da criptomoeda ZEC, ainda que os programadores não tivessem encontrado evidências de exploração antes da correção em junho.

A dinâmica entre atacantes e defensores intensificou-se em julho, quando investigadores da Ethereum Foundation revelaram que agentes de IA haviam identificado vulnerabilidades em infraestrutura crítica da rede. No mesmo mês, atacantes exploraram uma falha de firmware de anos na Coldcard, drenando aproximadamente 130 milhões de dólares em Bitcoin, com a empresa a sugerir que a IA provavelmente facilitou a descoberta do bug. Em agosto, a ameaça estendeu-se pelo ecossistema Bitcoin, levando o serviço de swap Boltz a suspender operações após suspeitar que atacantes localizavam falhas mais rapidamente do que os programadores conseguiam corrigi-las. Simultaneamente, a Core Lightning confirmou que várias vulnerabilidades em relatórios gerados por IA eram legítimas. Em resposta, o voluntário Bitcoin Red Team conduziu auditorias assistidas por IA que identificaram quase 5 mil potenciais vulnerabilidades em 390 projetos.

Buterin enfatizou que a IA consegue agora verificar programas completos em vez de apenas componentes isolados, um caminho que a Ethereum planeia prosseguir durante os próximos anos. O fundador alertou que não existe futuro viável para blockchains - particularmente aquelas com foco em escalabilidade e privacidade - sem implementar estas medidas. Concluiu afirmando que é imperativo tornar o software efetivamente seguro e que já se registaram progressos significativos nesta direção.