- Buterin contesta tese de que IA torna cibersegurança inviável
- Cofundador do Ethereum revela 90% do patrimônio em criptoativos
- Verificação formal assistida por IA é aposta central do argumento
A tese de que inteligência artificial vai destruir a cibersegurança ganhou um adversário de peso. Vitalik Buterin, cofundador do Ethereum, publicou na quarta-feira um texto longo no X rebatendo a ideia de que atacantes municiados por IA tornarão qualquer software indefensável.
“Virou uma opinião cada vez mais comum que o hacking por IA significa que a cibersegurança está condenada. Eu discordo”, escreveu ele na publicação no X.
O raciocínio é inverso ao do senso comum. Para Buterin, a mesma capacidade de raciocínio que permite a uma máquina encontrar falhas também permite provar matematicamente que um programa não tem falhas. Os dois lados terão IA. A questão é quem extrai mais valor dela.
Verificação formal é o núcleo da aposta
O argumento se apoia em verificação formal, técnica que demonstra por prova matemática que um software cumpre determinadas propriedades. Não é auditoria por amostragem nem teste de penetração. É prova.
Buterin comparou o desafio a problemas clássicos da matemática. “Se a IA consegue provar Navier-Stokes e o Último Teorema de Fermat, então a IA consegue provar a afirmação ‘este programa é seguro’ como um teorema matemático”, escreveu.
Ele já havia desenvolvido a ideia em ensaio publicado em maio, quando classificou a verificação formal assistida por IA como ferramenta transformadora para software crítico. A diferença agora é o tom: menos exercício teórico, mais posicionamento contra um consenso pessimista que se espalha entre desenvolvedores.
Vale lembrar que essa não é uma discussão abstrata para o setor. Contratos inteligentes perdem centenas de milhões por ano em exploits, e protocolos DeFi já usam verificação formal parcial em módulos sensíveis. O que Buterin propõe é escalar isso para o software inteiro — algo hoje caro e lento demais para ser prática padrão.
O problema não é provar, é definir
O próprio Buterin apontou o gargalo. Provar é uma coisa. Definir o que significa “seguro” é outra, bem mais complicada.
Ele usou o aplicativo de mensagens Signal como exemplo. Um atacante pode forjar mensagens, impedir que cheguem ao destinatário, reenviar mensagens antigas, comprometer um servidor, manipular o processo de descoberta de chave pública ou explorar uma brecha no sistema operacional.
A lista não para aí. Bancos de dados corrompidos, bibliotecas maliciosas, compiladores adulterados e vazamentos em nível de hardware entram na conta. E mesmo com o conteúdo criptografado, um adversário ainda pode descobrir quem conversa com quem.
“Até as definições podem ter mais de mil linhas de código e exigem reflexão profunda e cuidadosa”, admitiu Buterin. A especificação do que precisa ser protegido se torna, ela mesma, uma superfície de erro.
Buterin mantém 90% do patrimônio em cripto
O ponto mais concreto do texto foi a exposição pessoal. Buterin revelou que cerca de 90% do seu patrimônio líquido segue em criptoativos.
Segundo ele, qualquer pessoa que mantenha volumes relevantes em cripto está fazendo, implicitamente, a mesma aposta: sistemas digitais suficientemente seguros podem ser construídos mesmo diante de atacantes cada vez mais sofisticados. Quem acredita no contrário não deveria estar posicionado.
O ETH é negociado a US$ 2.444,94 (R$ 12.581,42), com alta de 1,8% em 24 horas. O Bitcoin está em US$ 76.614, equivalentes a R$ 394.247,98.
Debate chega ao Brasil por outro caminho
No mercado brasileiro, a discussão sobre IA e segurança em cripto tem sido puxada por outro ângulo. Executivos locais já argumentaram que a IA representa risco maior ao Bitcoin do que a computação quântica, justamente pela velocidade com que modelos encontram vulnerabilidades em código legado.
Há também um componente regulatório. Exchanges que operam no país passaram a responder ao Banco Central sob as novas normas de prestadoras de serviços de ativos virtuais, e requisitos de segurança da informação entram no escopo da autorização. Plataformas que dependem de contratos inteligentes auditados apenas por revisão manual tendem a enfrentar exigências maiores.
Enquanto isso, o ecossistema Ethereum lida com fragmentação técnica. A rede e a Base, da Coinbase, romperam acordo sobre abstração de contas e seguem padrões distintos — o tipo de divergência que multiplica superfícies de ataque em vez de reduzi-las.
