Um agente pode gerar um fluxo DeFi aparentemente completo, com as operações esperadas e até um limite de derrapagem de preço, e ainda assim autorizar uma transação cujo impacto no mercado é demasiado elevado. O novo artigo em pré-publicação DeFiFlowBench transforma esse problema num teste com execução, em vez de avaliar os fluxos apenas pela sintaxe ou pela estrutura.
Os autores criaram 207 pedidos que abrangem trocas de tokens, ordens limitadas, transferências entre cadeias e tarefas compostas. A conclusão mais útil para quem constrói sistemas deste tipo é direta: um fluxo pode estar estruturalmente correto e declarar mecanismos de proteção sem que isso torne segura a sua execução.
Estrutura correta não é o mesmo que resultado seguro
O DeFiFlowBench organiza a avaliação em vários níveis. Primeiro verifica se o fluxo contém os tipos de nós e ligações necessários. Depois confirma se os parâmetros indispensáveis têm valores concretos. Um terceiro nível verifica se as proteções exigidas estão declaradas e parametrizadas.
Só depois entra uma verificação de execução separada, num ambiente EVM local simplificado. Esta distinção impede que conformidade estática seja confundida com consequência económica. O ensaio usa um formador automático de mercado de produto constante e considera insegura uma troca executada quando o impacto da própria ordem no preço ultrapassa um limite fixo de 5%.
Nesse ambiente, os autores dizem ter observado entre 14 e 19 execuções inseguras nas variantes de geração direta, condicionada e com exemplo. Estes números pertencem ao protocolo experimental do artigo e não representam a taxa de falha de agentes DeFi em produção.
Derrapagem e impacto da ordem protegem contra problemas diferentes
O ponto técnico mais importante do trabalho é a diferença entre tolerância à derrapagem e impacto de preço. Um valor mínimo de saída calculado a partir de uma cotação já afetada pela dimensão da ordem pode proteger contra alterações do mercado entre a cotação e a execução. Não impede necessariamente que uma ordem grande faça o preço deslocar-se para além de um limite aceitável.
Por isso, um gerador pode aprender a acrescentar um parâmetro de derrapagem e produzir um fluxo que parece prudente, mantendo sem controlo o principal efeito económico da operação.
O DeFiFlowBench avalia separadamente uma barreira para o impacto de preço. O estudo também inclui situações em que o fluxo já contém um limite demasiado permissivo, porque introduzir um valor predefinido não resolve o problema quando existe um parâmetro inadequado.
Koan-Safe separa a proteção da geração
Os investigadores propõem o Koan-Safe, que divide o processo entre interpretação da intenção, geração do candidato e uma camada independente responsável por aplicar as proteções. Essa camada pode reparar componentes de segurança em falta e, quando necessário, acrescentar valores predefinidos para derrapagem, impacto de preço, confirmações de pontes e validade de ordens.
Em 75 pedidos reservados para teste, o artigo apresenta um resultado de 0,67 no seu indicador estático para a variante híbrida do Koan-Safe, face a 0,33 na melhor referência. Nos resultados guardados, o verificador local corrigido não registou execuções classificadas como inseguras para essa variante. Quando os autores mantêm o mesmo candidato e retiram a camada de proteção, relatam 14 a 17 execuções inseguras.
Os resultados são promissores, mas limitados ao ensaio. O ambiente não executa todo o grafo gerado num protocolo real e simplifica tokens, liquidez e encaminhamento. O próprio artigo sublinha que uma pontuação estática elevada ou a ausência de falhas observadas não constitui uma garantia geral de segurança.
O limite imposto pela política é a lição mais importante
A fragilidade da reparação estrutural aparece quando o valor existente já é demasiado permissivo. O Koan-Safe preenche parâmetros ausentes, mas não substitui automaticamente todos os limites perigosos definidos anteriormente pelo modelo ou pelo utilizador.
Os autores testam por isso, separadamente, um limite imposto por política numa grelha de 36 casos. Este controlo trata um tipo de falha que não desaparece apenas por completar a estrutura do fluxo.
A análise da Aipolix é que esta conclusão é aplicável muito para além da DeFi. O componente que gera o fluxo não deve definir sozinho os limites de segurança usados para avaliar esse mesmo fluxo. O agente pode propor parâmetros, mas a execução deve continuar sujeita a uma política externa com limites que o plano gerado não consegue enfraquecer.
Na área financeira, esse controlo pode ser um teto para o impacto de preço. Na gestão de infraestrutura pode limitar o alcance de uma alteração, proteger determinadas classes de recursos ou restringir janelas de mudança. Em sistemas de dados pode impor um máximo para o âmbito de uma divulgação. O princípio comum é que validade estrutural ou semântica não substitui o controlo sobre o efeito externo da ação.
A evidência continua a ser preliminar
O DeFiFlowBench é a primeira versão de um artigo em pré-publicação no arXiv, sem revisão por pares ou reprodução independente anunciada. O conjunto de avaliação foi criado pela própria equipa e o ambiente de execução simplifica deliberadamente o comportamento da DeFi real. O ensaio não demonstra que o fluxo satisfaz perfeitamente a intenção do utilizador, nem que permaneceria seguro perante liquidez real, protocolos implantados, MEV ou outras condições de produção.
O artigo aponta o repositório Koan como localização do código. O repositório descreve uma plataforma DeFi executável, mas a sua apresentação atual ainda não torna os componentes específicos do DeFiFlowBench e do Koan-Safe tão fáceis de inspecionar de forma independente quanto a metodologia detalhada do artigo. Isso reduz, por agora, a força da reprodutibilidade.
Para equipas que constroem agentes, o valor imediato está sobretudo na arquitetura: os testes devem medir as consequências da execução e a última barreira antes do efeito externo deve impor limites que o fluxo gerado não possa reduzir silenciosamente.