Vitalik Buterin, cofundador do Ethereum, diz que a inteligência artificial não significa o fim da cibersegurança, argumentando, em vez disso, que modelos avançados poderiam ajudar a tornar o software de criptomoedas mais difícil de ser violado.Em uma publicação de quarta-feira no X, Buterin argumentou que a IA não dará aos hackers uma vantagem intransponível, acrescentando que os detentores de cripto – incluindo ele próprio, com cerca de 90% do seu patrimônio em criptomoedas – estão apostando que as defesas de segurança podem acompanhar o ritmo.“É uma visão cada vez mais comum de que a invasão 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 organizem.”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 afirmação ‘este programa é seguro’ como um teorema matemático”, escreveu ele. “Mesmo que o programa seja muito complicado.”Em outras palavras, Buterin acredita que a 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, contudo, que a segurança seja fácil, disse ele. A parte difícil é definir o que “seguro” significa em primeiro lugar.Os desenvolvedores de blockchain estão cada vez mais usando agentes de IA para escanear códigos, testar exploits e verificar bugs antes que os invasores 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 a IA defensivamente, após vários incidentes que alimentaram temores de que a IA estivesse dando aos invasores uma vantagem.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 tenha sido explorada antes de ser corrigida em junho.A corrida entre invasores e defensores acelerou em julho, quando pesquisadores da Fundação Ethereum disseram que agentes de IA haviam descoberto vulnerabilidades na infraestrutura crítica da rede. No mesmo mês, invasores começaram a esvaziar carteiras Coldcard por meio de uma falha de firmware antiga que enfraqueceu a geração de sementes, roubando, por fim, aproximadamente US$ 130 milhões em Bitcoin. A Coinkite, fabricante da Coldcard, disse que a IA provavelmente ajudou a identificar o bug.Em agosto, a ameaça se espalhou por todo o ecossistema de software do Bitcoin. A Boltz suspendeu seu serviço de swap, afirmando que supostos invasores estavam encontrando falhas mais rapidamente 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 pode agora verificar programas inteiros, em vez de apenas selecionar componentes, uma abordagem que o Ethereum planeja seguir nos próximos anos.“Não há futuro para as blockchains – especialmente as blockchains com escalabilidade e privacidade – sem fazer isso”, disse ele. “Precisamos tornar o software realmente seguro. E já fizemos muitos progressos.”* Traduzido e editado com autorização do Decrypt.Invista em Ethereum, a criptomoeda gigante que impulsiona a tecnologia do futuro. Comece no MB com a segurança de uma plataforma líder no Brasil. O seu futuro começa agora!O post Fundador do Ethereum, Vitalik Buterin diz que IA não condenará a segurança cripto apareceu primeiro em Portal do Bitcoin.