Framework multiagente KASS gera e valida exploits executáveis para contratos inteligentes automaticamente
KASS usa múltiplos agentes de IA para transformar vulnerabilidades reportadas em contratos inteligentes em provas de conceito executáveis, indo além da simples detecção estática. Testado contra 104 contratos do SmartBugs-Curated, o sistema gerou exploits funcionais para 94,23% dos casos e validou 9 de 11 vulnerabilidades reais com CVE atribuído.
Ferramentas de segurança para contratos inteligentes hoje, em sua maioria, apenas apontam a existência de uma possível falha, sem esclarecer se ela é de fato explorável, como o ataque se desenrolaria na prática ou qual dano concreto causaria — o que gera excesso de falsos positivos e dificulta a priorização por equipes de auditoria com tempo limitado.
O KASS (Knowledge-Augmented Attack Synthesis and Simulation) decompõe a geração automática de exploits em três etapas orquestradas por agentes de IA. Na etapa de planejamento, um mecanismo de retrieval-augmented generation busca conhecimento de auditorias reais para fundamentar as estratégias de ataque propostas. Na etapa de geração, restrições formais de geração e validação vinculam o plano de ataque a testes de prova de conceito executáveis, evitando planos puramente teóricos. Na etapa de testes, um ciclo duplo de refinamento hierárquico corrige erros no nível do código e, quando as premissas do ataque se mostram falsas na prática, aciona replanejamento na estratégia como um todo.
Em 104 contratos do conjunto SmartBugs-Curated, cobrindo quatro categorias de vulnerabilidade, o KASS gerou exploits executáveis para 94,23% dos casos testados — uma taxa superior à de ferramentas anteriores como REX e AdvSCanner em subconjuntos comparáveis, e também superior a uma linha de base reproduzida usando Claude Code sob o mesmo protocolo de avaliação. Em 11 contratos reais marcados com CVE, o sistema validou com sucesso 9 casos. Além dos exploits em si, o KASS produz planos de ataque estruturados que documentam o fluxo de exploração, quantificam perdas potenciais de ativos e servem como filtro semântico de falsos positivos para ferramentas de análise estática.
É mais um exemplo de agentes de IA sendo usados como ferramenta para automatizar a exploração ofensiva de vulnerabilidades de software — nesse caso, contratos inteligentes que controlam fundos reais em blockchain. Para equipes de auditoria e programas de bug bounty, isso acelera a priorização de achados genuinamente exploráveis. Mas o mesmo pipeline, sem controle de acesso, também reduz a barreira técnica para converter relatórios públicos de vulnerabilidade em exploits prontos para uso contra contratos ainda não corrigidos — encurtando a janela entre a divulgação de uma falha e sua exploração efetiva em produção, um risco particularmente sério em um domínio onde exploits bem-sucedidos movimentam ativos financeiros diretamente.