Um novo framework visa riscos ocultos em DeFi

Finanças Descentralizadas, ou DeFi, é um sistema financeiro aberto construído em blockchains públicas que utiliza código autoexecutável em vez de instituições financeiras tradicionais, como bancos e corretoras. Isso pode gerar grandes melhorias em eficiência e independência em relação ao sistema financeiro tradicional, mas também novos riscos.

O primeiro tipo de risco está ligado aos chamados “smart contracts”, que constituem a espinha dorsal do DeFi. Se mal escritos ou deliberadamente maliciosos, um smart contract defeituoso pode causar perdas financeiras. E, com pouca ou nenhuma instituição ou regulador protegendo os usuários de DeFi, a recuperação de fundos perdidos ou roubados pode ser difícil.

Felizmente, à medida que o DeFi amadureceu, surgiram padrões para projetos seguros de smart contracts, melhorando consideravelmente a segurança contra esses riscos.

No entanto, à medida que o DeFi se torna mais complexo, uma variedade de smart contracts é usada para construir diferentes protocolos DeFi. Isso cria um novo tipo de risco, em que a interação entre contratos recém‑implementados e a blockchain existente é utilizada para causar perdas econômicas.

Um novo artigo de pesquisadores italianos da Universidade de Cagliari e da Universidade de Trento propõe um novo framework para abordar esses riscos. O artigo, aceito para publicação no Journal of Logical and Algebraic Methods in Programming, tem o título “Um framework formal para a segurança econômica de composições DeFi”.

DeFi & Valor Máximo Extraível (MEV)

MEV Explicado

Para entender a situação dos smart contracts e do DeFi, os investidores precisam compreender o conceito de Valor Máximo Extraível (MEV).

MEV é o valor máximo que um adversário pode extrair ao interagir estrategicamente com um sistema de blockchain. É comumente associado a validadores, mineradores e sequenciadores que reordenam ou selecionam transações, mas também pode surgir quando usuários comuns exploram a lógica de smart contracts, dependências de protocolos, discrepâncias de preço ou acesso temporário a capital.

“Embora o MEV introduza dinâmicas que podem prejudicar os usuários e distorcer incentivos, ele também é um fenômeno transparente e observável inerente à infraestrutura de blockchain pública.”

Pranav Garimidi and Joseph Bonneau

Alterando o MEV com Novos Contratos

O MEV é de onde vem o novo vetor de riscos decorrente da integração de novos smart contracts com os antigos.

“Adversários podem explorar interações não intencionais entre protocolos para obter lucro econômico em detrimento dos usuários honestos.

Este é um problema crescente, à medida que o DeFi se expande e novas soluções criam novos riscos.

“Esses riscos são ainda mais agravados por plataformas emergentes que permitem aos usuários criar de forma fluida composições arbitrárias de protocolos DeFi”

Isso levanta uma questão fundamental para o DeFi que requer uma resposta sólida: sob quais condições uma composição DeFi é segura?

Por esse motivo, os pesquisadores que escreveram este estudo propõem um novo conceito para a composibilidade de DeFi, chamado “não-interferência de MEV”, que exige que interações com o estado atual da blockchain não aumentem o Valor Máximo Extraível (MEV) obtido a partir de um conjunto de contratos recém‑implementados.

Em seguida, aplicaram esse framework a composições representativas de DeFi (exchanges, market makers automatizados, opções, pools de empréstimo, roteadores e contratos de arbitragem) e demonstraram que ele distingue composições seguras das vulneráveis.

Da Análise de Blockchain ao Nível de Contrato

Para determinar a não-interferência de MEV, não basta analisar o MEV apenas no nível da blockchain. Em vez disso, é necessário verificar os princípios de não-interferência com os contratos existentes.

É por isso que os pesquisadores introduziram o conceito de local MEV. Isso é uma nova métrica de ataques econômicos que quantifica a perda máxima que adversários podem infligir a um determinado conjunto de contratos vítimas.

“Ao contrário do MEV clássico, que é definido para todo o estado da blockchain, o local MEV foca nos contratos cuja segurança está sob análise. Essa mudança de uma perspectiva global para uma local é o ingrediente chave da nossa abordagem.”

Esse framework os ajudou a analisar composições representativas de DeFi, pois utilizaram um conjunto de composições representativas de DeFi, incluindo exchanges, AMMs, opções binárias, pools de empréstimo, roteadores de swap e protocolos de arbitragem.

Rumo à Auditoria de Interações Econômicas

Os autores do estudo fornecem vários exemplos detalhados de como esse framework de análise pode ser usado para detectar vulnerabilidades e riscos de novos contratos, como manipulação de oráculo, ataques de flash‑loan, ou dependências anteriormente ocultas.

Isso incluiu um modelo adversário mais robusto (adversários ricos), no qual assume‑se que o adversário sempre possui tokens suficientes para infligir a perda máxima possível aos contratos vítimas.

No geral, isso oferece aos desenvolvedores uma base mais prática para testar se novas integrações expõem o capital dos usuários a ataques indiretos que aproveitam o efeito sobre contratos inteligentes existentes.

Deve‑se, porém, observar que este framework não é um sistema de segurança pronto para produção, mas apenas uma base formal. Também exclui a atividade da mempool, custos de gás, ataques de congelamento de tokens, precificação dinâmica e alguns comportamentos do Ethereum (ETH ) comportamentos como reentrância e dependências cíclicas.

Portanto, como costuma acontecer no DeFi, melhorar a segurança não decorre apenas de algoritmos perfeitos e composição matematicamente segura, mas também da adaptação à implantação real do Ethereum.

Investindo em Finanças Descentralizadas

Chainlink

Chainlink (LINK ) Chainlink é uma rede descentralizada que conecta contratos inteligentes de blockchain a dados do mundo real, APIs externas e sistemas de pagamento tradicionais. Chainlink é amplamente adotado por grandes infraestruturas de mercado, instituições financeiras e protocolos DeFi para viabilizar casos de uso avançados, incluindo Swift, Euroclear, MasterCard, Fidelity International, UBS, ANZ, Aave, GMX, Lido e muitos outros.

Fonte: Chainlink

Chainlink resolve um problema fundamental dos protocolos DeFi baseados em blockchain: as blockchains são ambientes isolados; por padrão, não podem acessar informações externas.

Isso os torna vulneráveis à “manipulação de oráculos de preços”, onde contratos inteligentes são executados com base em dados falsos, por exemplo, o preço incorreto de um ativo. Com a Chainlink, esses contratos inteligentes devem ser executados automaticamente com base em eventos do mundo real verificados.

Portanto, a Chainlink aborda diretamente esse tipo de risco de composabilidade. Isso torna a Chainlink útil para vários casos de uso:

• Fornecer preços de mercado altamente precisos e à prova de adulteração para criptomoedas, commodities e ações.
• Fornecer números aleatórios criptograficamente seguros diretamente on‑chain para jogos em blockchain e distribuições de NFTs.
• Protocolo de Interoperabilidade Cross‑Chain (CCIP) para comunicação entre redes blockchain ou com infraestruturas bancárias tradicionais como SWIFT.

Investidores no token LINK devem, porém, estar cientes de que os desenvolvedores utilizam tokens LINK para pagar operadores de nós Chainlink pela coleta, validação e entrega de dados.

Também devem estar cientes de que o LINK não fornece propriedade acionária direta, mas participação na infraestrutura relacionada.

Últimas Notícias e Desenvolvimentos sobre a Ação Chainlink (LINK)

Estudo Referenciado

^{1. Massimo Bartoletti, Riccardo Marchesin e Roberto Zunino. A formal framework for the economic security of DeFi compositions. Journal of Logical and Algebraic Methods in Programming. 23 de setembro de 2026. Artigo: 101171. 10.1016/j.jlamp.2026.101171}