Vitalik Buterin diz que a IA não vai condenar a segurança cripto — ela pode torná-la muito mais forte. 🤖🔐 Mas é realista acreditar que algoritmos conseguirão proteger bilhões em ativos melhor que hackers também armados com IA? 🧵

Imagem indisponível

A tese do cofundador do Ethereum é provocativa: cibersegurança tende a favorecer a defesa quando as pessoas se organizam. Mas o setor, marcado por códigos fechados, equipes pequenas e auditorias caras, está organizado o bastante?

A arma defensiva seria a verificação formal: usar provas matemáticas para demonstrar que um software cumpre regras de segurança. Se a IA tornar isso viável em sistemas complexos, smart contracts poderiam deixar de depender só de auditorias pontuais.

Imagem indisponível

Só que existe uma pergunta incômoda: provar que um programa é “seguro” depende de definir, antes, o que segurança significa. E se a regra estiver errada, incompleta ou ignorar um ataque que ninguém imaginou? Matemática não conserta requisitos ruins.

O potencial não é abstrato. Pesquisadores já usam IA para escanear código, testar exploits e achar falhas em infraestrutura do Ethereum e software do Bitcoin. A corrida deixou de ser IA contra cripto: virou IA defensiva contra IA ofensiva.

Imagem indisponível

Um exemplo: Taylor Hornby usou o Claude Opus 4.8 para encontrar uma falha de quatro anos no pool de privacidade Orchard, da Zcash. O bug poderia permitir criar ZEC ilimitado sem detecção; foi corrigido em junho. Quantas falhas assim ainda estão escondidas?

Buterin afirma manter cerca de 90% do patrimônio em cripto — portanto, tem muito a perder se estiver errado. A questão decisiva não é se a IA será perfeita. É: projetos vão investir em defesa verificável antes do próximo hack, ou só depois dele?

Imagem indisponível