O que é o Mythos da Anthropic e por que ele importa para a segurança em DeFi?

Mythos é o sistema interno de IA da Anthropic desenvolvido para pesquisa automatizada de vulnerabilidades. Ele consegue analisar bases de código complexas, encadear múltiplas falhas de baixa severidade em exploits críticos e raciocinar sobre implementações criptográficas como TLS e AES-GCM em velocidades que nenhum auditor humano consegue acompanhar. Para o DeFi, isso significa que o custo de encontrar exploits cai drasticamente, quebrando as premissas econômicas por trás de defesas baseadas em fricção, como timelocks e auditorias periódicas.

As auditorias de smart contracts em DeFi ainda valem a pena em 2026?

As auditorias continuam sendo uma higiene básica necessária, mas não são mais suficientes como defesa primária. Elas cobrem um snapshot estático da base de código, demandam meses de antecedência e sistematicamente deixam passar bugs de interação entre contratos, que é justamente onde ocorre a maioria dos grandes ataques. Protocolos operando em escala precisam de monitoramento contínuo assistido por IA e verificação formal além das auditorias tradicionais.

O que é o Project Glasswing e como ele enfrenta as ameaças cripto geradas por IA?

Project Glasswing é uma iniciativa de pesquisa em segurança de IA nativa do ecossistema cripto que desenvolve frameworks de monitoramento em tempo real projetados para acompanhar a velocidade dos ataques assistidos por IA. Em vez de revisões periódicas, o foco está em monitoramento de invariantes, fuzzing contínuo e pipelines de detecção automatizada capazes de sinalizar comportamentos anômalos antes que um exploit seja concluído.

DeFi

Anthropic Mythos vs Segurança DeFi: A Pilha de Auditoria Está Quebrada

By Anurag Verma•April 27, 2026

Mythos da Anthropic vs. Segurança DeFi: A Pilha de Auditoria Está Quebrada

Esta semana, o ecossistema DeFi absorveu mais de US$ 750 milhões em perdas em um conjunto de hacks de protocolo que, na superfície, pareciam a história de sempre: controles de acesso mal configurados, brechas de reentrância, falhas na lógica de bridges. Mas os vetores de ataque estão ficando mais precisos, o tempo entre a descoberta e o esvaziamento está se comprimindo, e as ferramentas do lado do atacante estão prestes a receber uma atualização séria.

O Mythos da Anthropic, seu sistema de IA interno criado para pesquisa automatizada de vulnerabilidades, não apenas encontra bugs mais rápido. Ele raciocina em toda a base de código, encadeia primitivas de exploit e opera em uma velocidade em que as defesas existentes do DeFi não são lentas — são estruturalmente irrelevantes. Isso não é uma melhoria marginal às ferramentas de ataque existentes. É uma mudança de categoria.

A semana de US$ 750 milhões não é uma coincidência de timing. É uma prévia do que acontece quando a assimetria ofensa-defesa na segurança DeFi se amplia, em vez de se estreitar.

Por Que a Pilha de Fricção do DeFi Nunca Foi Segurança de Verdade

O modelo dominante de segurança DeFi é teatro de fricção. Funciona assim: tornar os exploits irritantes o suficiente para que a maioria dos atacantes não se incomode, e caros o suficiente para que os que tentam possam ser detectados antes de esvaziarem tudo.

Os mecanismos reais são:

Multisig: exige que M de N detentores de chaves assinem, adicionando overhead de coordenação
Timelocks: atrasa a execução de atualizações e grandes transferências em 24-72 horas
Auditorias: revisões periódicas de código por empresas como Trail of Bits, Certik, OpenZeppelin

Isso funciona contra atacantes oportunistas com habilidade técnica moderada. Não funciona contra um sistema de IA que consegue ler uma base de código Solidity de 50.000 linhas em segundos, identificar interações de estado não óbvias entre contratos e gerar uma cadeia de exploit funcional antes que qualquer analista humano termine sua primeira passagem.

A pilha de fricção foi projetada em torno da economia de atacantes humanos. O Mythos muda completamente a função de custo.

O Que o Mythos Realmente Faz à Superfície de Ataque

Conforme detalhado na prévia técnica do Mythos da Anthropic, o sistema consegue analisar implementações TLS, sinalizar padrões de reutilização de nonce AES-GCM e rastrear cadeias de dependência em pilhas de software complexas — o tipo de análise TLS e AES-GCM do Mythos que antes exigia um criptógrafo sênior e várias semanas.

Para o DeFi, isso se traduz em alguns vetores de ameaça concretos:

Encadeamento de exploits entre contratos: A maioria dos grandes hacks em 2024-2025 explorou interações entre contratos, não bugs em um único contrato. IA de classe Mythos consegue modelar essas interações de forma holística. O incidente do Kelp DAO que cobri anteriormente, em que uma configuração incorreta do DVN do LayerZero custou US$ 292 milhões, é exatamente o tipo de interação entre múltiplos sistemas que o Mythos foi criado para encontrar.
Encadeamento de zero-days em velocidade de máquina: Vulnerabilidades de zero-day de IA em cripto não são teóricas. A preocupação é um sistema de IA que identifica três problemas individualmente de baixa severidade e os combina em um caminho de exploit crítico que nenhum auditor humano teria conectado.
Superfície de ataque de oráculos e bridges: A lógica de bridge é densa, mal especificada e toca múltiplos sistemas externos. É onde auditores humanos consistentemente deixam coisas passar. É também onde sistemas de raciocínio automatizado têm mais alavancagem.

Nada disso requer que o Mythos seja implantado maliciosamente. As mesmas capacidades disponíveis para pesquisadores da Anthropic estarão disponíveis, de alguma forma, para todos dentro de 18-24 meses.

Auditorias de Smart Contracts DeFi Já Estão Mostrando Sua Idade

O setor de auditoria não está acompanhando o ritmo. Uma auditoria Tier-1 típica custa US$ 50.000-US$ 300.000, leva 4-8 semanas e cobre um snapshot fixo da base de código. Os protocolos enviam atualizações constantemente. A auditoria frequentemente já está desatualizada antes que a tinta seque.

Pior, auditorias criam falsa confiança. Como a análise da Olympix sobre por que auditorias de smart contracts falham documenta, a Euler Finance foi auditada. A Ronin foi auditada. A Nomad foi auditada. O hack de US$ 625 milhões da bridge Ronin em 2022 passou despercebido precisamente porque os auditores revisaram os contratos de forma isolada, não o processo de gerenciamento de chaves de validadores do qual dependiam.

Dizer "fomos auditados" em 2026 terá aproximadamente o mesmo sinal de segurança que dizer "usamos HTTPS" em 2015. É higiene básica, não uma postura de defesa.

A obsolescência das auditorias de smart contracts DeFi não está chegando — ela já chegou para protocolos que operam em escala, um padrão confirmado pela pesquisa de estado de segurança Web3 da Olympix mostrando que a maioria dos exploits vem de contratos auditados. A questão é se as equipes se adaptam ou continuam comprando a mesma cobertura cara e insuficiente.

Project Glasswing e os Frameworks de Risco de IA que Surgem em Resposta

Nem todos estão dormindo. O Project Glasswing, uma iniciativa de pesquisa de segurança em IA nativa de cripto, está trabalhando em frameworks de monitoramento contínuo assistido por IA projetados para operar na velocidade das ameaças geradas por IA. O insight central está correto: se a IA consegue encontrar exploits em tempo real, a camada de detecção e resposta também precisa operar em tempo real.

Isso significa afastar-se de auditorias periódicas em direção a:

Monitoramento de invariantes: verificações on-chain que sinalizam quando o estado do contrato viola as condições esperadas
Verificação formal: provas matemáticas de correção para a lógica central do protocolo, não apenas revisão informal
Pipelines de fuzzing contínuo: geração automatizada de testes executada a cada commit, não apenas no momento da auditoria

Alguns protocolos já chegaram lá. A arquitetura de hooks do Uniswap v4 foi projetada com verificação formal em mente. O MakerDAO investiu pesadamente em modelagem de segurança econômica. Mas esses são casos excepcionais. O protocolo DeFi mediano em 2025 ainda está sendo lançado com uma única auditoria e um timelock de 48 horas, considerando isso suficiente.

A Matemática do Timelock Não Funciona Mais

Aqui está o problema estrutural com os timelocks especificamente: eles pressupõem que um analista humano tem tempo para revisar uma transação pendente, identificá-la como maliciosa e coordenar uma resposta antes que ela seja executada.

Com 48-72 horas, isso é plausível. Uma equipe de segurança competente consegue se mobilizar, avaliar e responder.

Agora modele um atacante usando encadeamento de exploits de IA em DeFi para identificar uma vulnerabilidade, criar um exploit, preparar uma proposta de governança que parece legítima e só revelar seu payload malicioso por meio de um caminho de execução condicional que se ativa após o timelock. O timelock não falhou — a premissa de velocidade de análise que o sustenta é que falhou.

A superfície de ataque de governança é a próxima grande fronteira. Espero pelo menos um exploit significativo na camada de governança em 2026 que exponha exatamente essa lacuna.

Como a Pilha de Defesa Realmente Precisa Ser

A segurança baseada em fricção precisa dar lugar à segurança baseada em correção. O caminho prático tem três camadas:

Camada 1, Verificação formal no núcleo do protocolo. Não tudo, mas a lógica de liquidação, os invariantes contábeis, os padrões de controle de acesso. Certora e Halmos estão prontos para produção. Não há desculpa para um protocolo com US$ 500 milhões em TVL não os utilizar.

Camada 2, Monitoramento contínuo assistido por IA. Ferramentas como Forta Network, Hexagate e Hypernative estão fazendo trabalho real aqui. Elas capturam comportamento on-chain anômalo antes que ele se complete. Essa é a camada de detecção que precisa escalar para corresponder às ameaças em velocidade de IA.

Camada 3, Resposta a incidentes que consegue se mover mais rápido que uma votação de DAO. Mecanismos de pausa que se ativam na detecção automatizada, não após uma proposta de governança. Multisigs de emergência com playbooks de resposta pré-autorizados. A resposta rápida da equipe Euler em 2023, recuperando US$ 197 milhões por meio de negociação, funcionou em parte porque havia um responsável claro que conseguia agir rapidamente. A maioria dos protocolos não tem isso.

A infraestrutura de pagamentos de agentes de IA que cobri na peça sobre x402 e trilhos de pagamento autônomos também é relevante aqui: à medida que agentes de IA transacionam autonomamente on-chain, a superfície de ataque para exploits assistidos por IA escala com o volume de transações, não apenas com a contagem de protocolos.

A Verdadeira Questão É Quem Se Adapta Primeiro

O Mythos da Anthropic representa um reconhecimento público de que sistemas de IA agora operam na fronteira da pesquisa de vulnerabilidades. As mesmas capacidades analíticas vão se proliferar. Sempre proliferam.

Os protocolos DeFi que sobreviverão aos próximos dois anos serão aqueles que tratam a segurança como um problema de engenharia contínuo, não como um checkbox de conformidade. Os que não o fizerem fornecerão os estudos de caso.

A semana de US$ 750 milhões não é o pior cenário. É a linha de base em torno da qual estamos nos normalizando antes que as ferramentas fiquem mais baratas e mais acessíveis. A janela para reconstruir a pilha de defesa está aberta, mas não ficará por muito tempo.