Resumo Técnico: SolAgent

Declaração do Problema

Contratos inteligentes servem como a espinha dorsal da web descentralizada, gerenciando bilhões em ativos digitais. No entanto, sua natureza imutável significa que qualquer vulnerabilidade pode levar a perdas financeiras catastróficas. Embora os Grandes Modelos de Linguagem (LLMs) tenham demonstrado proficiência em geração de código geral, eles enfrentam dificuldades significativas com os requisitos rigorosos do desenvolvimento em Solidity. Os atuais LLMs de propósito geral e frameworks multi-agentes frequentemente produzem código que é sintaticamente plausível, mas funcionalmente incorreto ("alucinações") ou que contém vulnerabilidades de segurança sutis. Além disso, os frameworks de agentes existentes normalmente carecem de integração com ferramentas de verificação específicas do domínio e falham em lidar com as complexas estruturas de dependência de projetos reais de Solidity, levando a altas taxas de falha de compilação e garantias de segurança inadequadas.

Metodologia

Os autores propõem o SolAgent, uma ferramenta especializada de framework multi-agente aumentada por ferramentas, projetada para mimetizar o fluxo de trabalho de especialistas humanos no desenvolvimento de contratos inteligentes. O SolAgent aborda as limitações da geração de passagem única através de um mecanismo de refinamento de loop duplo e integração de ferramentas especializadas.

Arquitetura Central

1. Colaboração Multi-Agente: O sistema emprega uma arquitetura de dois agentes:

   • Agente de Codificação (Coding Agent): Gera a implementação inicial em Solidity com base nos requisitos do usuário.
   • Agente de Refinamento (Refining Agent): Melhora iterativamente o código analisando o feedback de ferramentas externas e modificando a implementação para corrigir bugs e otimizar o uso de gás.

2. Refinamento Aumentado por Ferramentas (Loop Duplo):

   • Loop Interno (Correção e Eficiência): Utiliza o Forge (Foundry) para compilar o código e executar testes unitários. O agente recebe feedback sobre falhas de compilação, erros de asserção de teste e rastreios de pilha (stack traces) para garantir a correção funcional.
   • Loop Externo (Segurança): Aproveita o Slither, um analisador estático, para detectar vulnerabilidades de segurança (categorizadas por severidade). O agente utiliza esse feedback para remediar problemas como reentrada (reentrancy) ou estouros de inteiros (integer overflows).
   • Consciência de Contexto: Os agentes são equipados com ferramentas de sistema de arquivos (Listar Diretório, Ler Arquivo) para explorar estruturas de projeto, resolver dependências e compreender o contexto da base de código, uma capacidade frequentemente ausente em agentes gerais.

3. Mecanismo de Parada Dinâmica: Para evitar loops infinitos ou degradação, o framework emprega um algoritmo de parada dinâmica. O refinamento cessa se:

   • Todos os testes passam e nenhuma vulnerabilidade crítica permanece (Sucesso).
   • A taxa de sucesso estagna por $N$ rodadas consecutivas.
   • A similaridade do feedback entre rodadas consecutivas excede um limite (indicando que o agente está preso em um loop).

4. Destilação de Fluxo de Trabalho: Para democratizar o acesso e reduzir custos computacionais, os autores destilam as trajetórias de interação de alta qualidade geradas pelo SolAgent em um modelo menor e de código aberto (Qwen3-8B). Eles utilizam duas estratégias de dados:

   • Contexto Total (Full-Context): Usando requisitos detalhados e rotulados por humanos.
   • Contexto Comprimido (Compressed-Context): Usando requisitos funcionais resumidos para melhorar a eficiência de tokens.
     O modelo destilado é treinado para produzir código seguro e correto em uma única passagem, efetivamente "comprimindo" a inteligência multi-agente.

Principais Contribuições

1. Framework Multi-Agente Aumentado por Ferramentas: O SolAgent é apresentado como o primeiro framework a integrar ferramentas de compilação específica de domínio (Forge) e análise estática (Slither) diretamente em um fluxo de trabalho de geração e refinamento de contratos inteligentes de ponta a ponta.
2. Mecanismo de Refinamento de Loop Duplo: O artigo introduz um mecanismo que otimiza simultaneamente a correção funcional e a segurança, abordando o "triângulo impossível" da geração de passagem única, onde os modelos frequentemente sacrificam um em favor do outro.
3. Avaliações Extensas e Destilação: Os autores estabelecem um novo estado da arte no Benchmark SolEval+ (derivado de projetos reais de alta qualidade) e demonstram que as trajetórias geradas pelo SolAgent podem destilar efetivamente capacidades em modelos menores de código aberto.

Resultados Experimentais

Os experimentos foram conduzidos no Benchmark SolEval+, composto por 81 arquivos e 1.188 casos de teste executáveis.

• Correção Funcional: O SolAgent alcançou uma taxa de Pass@1 de 64,39% (usando Claude-Sonnet-4.5 como base), superando significativamente os LLMs comuns (~25%), IDEs de IA como GitHub Copilot e frameworks de agentes existentes (ex: MetaGPT, Qwen-Agent). Também manteve uma taxa de compilação superior a 90%, comparada aos ~30-45% das linhas de base (baselines).
• Segurança: Comparado às linhas de base escritas por humanos, o SolAgent reduziu as vulnerabilidades de segurança em até 39,77% (especificamente com GPT-5-Mini). A integração do feedback do Slither mostrou-se crítica, pois a remoção deste aumentou significativamente as vulnerabilidades na análise "Min-Vuln".
• Eficiência de Gás: O SolAgent manteu uma eficiência de gás competitiva, com razões de média aparada (trimmed mean) próximas a 1.0 em relação às linhas de base, indicando que o foco em correção e segurança não ocorreu às custas de um consumo excessivo de gás.
• Eficácia da Destilação: O modelo destilado Qwen3-8B (SolAgent-tracker-v2) alcançou um Pass@1 de 1,31%, igualando o desempenho do muito maior Qwen3-32B, demonstrando a eficácia da transferência de trajetórias de agentes para modelos menores.

Significância e Alegações

O artigo afirma que o SolAgent representa um avanço significativo na geração automatizada de contratos inteligentes ao preencher a lacuna entre as capacidades generativas dos LLMs e os rigorosos requisitos de correção e segurança do desenvolvimento blockchain.

• Confiabilidade: Ao mimetizar fluxos de trabalho de especialistas humanos através de refinamento iterativo e uso de ferramentas, o SolAgent produz código que não é apenas sintaticamente correto, mas funcionalmente robusto e seguro.
• Acessibilidade: Os resultados da destilação sugerem que os processos de raciocínio de alta qualidade de sistemas multi-agentes complexos podem ser transferidos para modelos menores de código aberto, tornando a geração de contratos inteligentes seguros mais acessível e econômica para organizações menores e desenvolvedores individuais.
• Especialização de Domínio: O trabalho destaca a necessidade de soluções de "descompasso de domínio" (domain mismatch), argumentando que agentes de propósito geral falham em ambientes de alto risco como Solidity sem loops de verificação especializados e integração de ferramentas conscientes de contexto.

Os autores concluem que, embora o SolAgent estabeleça um novo estado da arte, trabalhos futuros focarão em estender o framework para suportar sistemas de múltiplos contratos complexos e integrar ferramentas de verificação formal para garantir uma segurança ainda mais forte.