Atacantes exploram descompasso entre descricao e execucao em votacoes de DAOs para desviar fundos
Pesquisadores descrevem os ataques DEMI (Description-Execution Mismatch), nos quais um proponente malicioso submete a votacao de uma DAO uma proposta com descricao em linguagem natural benigna, enquanto o codigo efetivamente executado transfere fundos ou toma o controle do protocolo. O framework de deteccao proposto simula o ciclo de governanca de cada DAO a partir do historico on-chain e usa um LLM para mapear evidencias textuais por acao, atingindo 81,7% de precisao media e 98,3% de recall em propostas reais do Ethereum.
O trabalho ataca uma forma de fraude especifica do universo cripto: a manipulacao do proprio processo de governanca descentralizada. Em uma DAO, membros votam propostas com base na descricao em linguagem natural que acompanha o codigo a ser executado, mas na pratica poucos votantes leem ou entendem o bytecode da transacao proposta. Um ataque DEMI explora exatamente essa lacuna de confianca: a proposta parece uma mudanca tecnica inofensiva (um ajuste de parametro, uma atualizacao de contrato), mas o codigo real desvia fundos do tesouro ou concede privilegios administrativos ao atacante.
Por dentro, o golpe se aproveita da assimetria entre o que e humanamente legivel e o que e computacionalmente executado, o mesmo principio por tras de golpes de phishing com assinaturas de transacao (blind signing) em carteiras cripto, em que a vitima aprova algo que nao entende de verdade. A diferenca aqui e que a "vitima" e o processo coletivo de votacao de uma DAO inteira, o que torna o ataque potencialmente mais lucrativo: uma unica proposta aprovada pode drenar um tesouro comunitario inteiro em vez de uma carteira individual.
O sistema de deteccao proposto pelos autores simula, para cada DAO, como uma proposta se comportaria se executada, usando o historico real de transacoes on-chain para construir um perfil de governanca especifico daquele protocolo. Em seguida, um LLM e usado nao para dar um veredito generico sobre a proposta, mas para localizar, acao por acao, se existe uma justificativa textual explicita na descricao para o que o codigo de fato faz, abordagem que os autores mostram ser mais precisa e mais dificil de enganar do que perguntar diretamente ao modelo se a proposta e maliciosa. Mesmo com um adversario que conhece o detector, o sistema resistiu a maior parte dos ataques adaptativos testados.
Para equipes que administram ou auditam tesourarias de DAOs, a recomendacao pratica e nao aprovar propostas apenas com base no resumo apresentado na interface de votacao: sempre que o valor em risco for relevante, e essencial simular a execucao real da proposta antes do voto, e desconfiar de propostas com descricoes vagas sobre "ajustes tecnicos" ou "atualizacoes de manutencao" que nao detalham explicitamente cada efeito colateral do codigo.