Un nouveau cadre cible les risques cachés dans la DeFi

La finance décentralisée, ou DeFi, est un système financier ouvert construit sur des blockchains publiques qui utilise du code auto‑exécuté au lieu d’institutions financières traditionnelles telles que les banques et les courtiers. Cela peut engendrer d’importantes améliorations d’efficacité et d’indépendance vis‑à‑vis du système financier traditionnel, mais aussi de nouveaux risques.

Le premier type de risque est lié aux soi‑disant « smart contracts » qui constituent l’épine dorsale de la DeFi. S’ils sont mal rédigés ou carrément malveillants, un seul smart contract défectueux peut entraîner des pertes financières. Et, avec peu ou pas d’institutions ou de régulateurs protégeant les utilisateurs de la DeFi, récupérer des fonds perdus ou volés peut être difficile.

Heureusement, à mesure que la DeFi mûrit, des normes pour la conception sécurisée de smart contracts ont émergé et ont grandement amélioré la sécurité face à ces risques.

Cependant, à mesure que la DeFi se complexifie, une variété de smart contracts est utilisée pour construire différents protocoles DeFi. Cela crée un nouveau type de risque, où l’interaction entre les contrats nouvellement déployés et la blockchain existante est exploitée pour provoquer des pertes économiques.

Un nouvel article de chercheurs italiens de l’Université de Cagliari et de l’Université de Trento propose un nouveau cadre pour traiter ces risques. Leur article, accepté pour publication dans le Journal of Logical and Algebraic Methods in Programming, porte le titre « Un cadre formel pour la sécurité économique des compositions DeFi ».

DeFi & Valeur Extractable Maximale (MEV)

MEV expliqué

Pour comprendre la situation des smart contracts et de la DeFi, les investisseurs doivent comprendre le concept de Valeur Extractable Maximale (MEV).

Le MEV est la valeur maximale qu’un adversaire peut extraire en interagissant stratégiquement avec un système blockchain. Il est généralement associé aux validateurs, mineurs et séquenceurs qui réordonnent ou sélectionnent les transactions, mais il peut également apparaître lorsque des utilisateurs ordinaires exploitent la logique des smart contracts, les dépendances de protocole, les écarts de prix ou un accès temporaire au capital.

« Bien que le MEV introduise des dynamiques pouvant désavantager les utilisateurs et fausser les incitations, il s’agit également d’un phénomène transparent et observable inhérent à l’infrastructure des blockchains publiques. »

Pranav Garimidi and Joseph Bonneau

Faire évoluer le MEV avec de nouveaux contrats

Le MEV est la source du nouveau vecteur de risques découlant de l’intégration de nouveaux smart contracts avec les anciens.

« Les adversaires peuvent exploiter des interactions imprévues entre protocoles pour obtenir un profit économique au détriment des utilisateurs honnêtes. »

C’est un problème croissant, à mesure que la DeFi s’étend et que de nouvelles solutions créent de nouveaux risques.

« Ces risques sont encore aggravés par les plateformes émergentes qui permettent aux utilisateurs de créer de façon transparente des compositions arbitraires de protocoles DeFi. »

Cela soulève donc une question fondamentale pour la DeFi qui nécessite une réponse solide : dans quelles conditions une composition DeFi est‑elle sécurisée ?

Pour cette raison, les chercheurs qui ont rédigé cette étude proposent un nouveau concept de composabilité DeFi, appelé “non‑interférence du MEV”, qui exige que les interactions avec l’état actuel de la blockchain n’augmentent pas la Valeur Extractable Maximale (MEV) obtenable à partir d’un ensemble de contrats nouvellement déployés.

Ils ont ensuite appliqué ce cadre à des compositions DeFi représentatives (échanges, teneurs de marché automatisés, options, pools de prêt, routeurs et contrats d’arbitrage), et ont démontré qu’il permet de distinguer les compositions sécurisées des compositions vulnérables.

De l’analyse au niveau de la blockchain à l’analyse au niveau du contrat

Pour déterminer la non‑interférence du MEV, il ne suffit pas de se contenter d’examiner le MEV au niveau de la blockchain. Il faut plutôt vérifier les principes de non‑interférence avec les contrats existants.

C’est pourquoi les chercheurs ont introduit le concept de MEV localIl s’agit d’une nouvelle mesure des attaques économiques qui quantifie la perte maximale que les adversaires peuvent infliger à un ensemble donné de contrats victimes.

« Contrairement au MEV classique qui est défini pour l’ensemble de l’état d’une blockchain, le MEV local se concentre sur les contrats dont la sécurité est analysée. Ce passage d’une perspective globale à une perspective locale est l’élément clé de notre approche. »

Ce cadre les a aidés à analyser des compositions DeFi représentatives, puisqu’ils ont utilisé un ensemble de compositions DeFi représentatives, incluant des échanges, des AMM, des options binaires, des pools de prêt, des routeurs d’échange et des protocoles d’arbitrage.

Vers l’audit des interactions économiques

Les auteurs de l’étude fournissent de nombreux exemples détaillés montrant comment ce cadre d’analyse peut être utilisé pour détecter des vulnérabilités et des risques liés aux nouveaux contrats, tels que manipulation d’oracle, attaques par flash‑loan, ou des dépendances auparavant cachées.

Cela incluait un modèle d’adversaire plus robuste (adversaires fortunés), dans lequel on suppose que l’adversaire possède toujours suffisamment de jetons pour infliger la perte maximale possible aux contrats victimes.

Dans l’ensemble, il fournit aux développeurs une base plus pratique pour tester si de nouvelles intégrations exposent le capital des utilisateurs à des attaques indirectes tirant parti de l’effet sur les contrats intelligents existants.

Il convient toutefois de noter que ce cadre n’est pas un système de sécurité prêt pour la production, mais simplement une base formelle. Il exclut également l’activité du mempool, les coûts de gaz, les attaques de gel de jetons, la tarification dynamique, et certains comportements d’Ethereum (ETH ) tels que la réentrance et les dépendances cycliques.

Ainsi, comme souvent dans la DeFi, l’amélioration de la sécurité ne provient pas uniquement d’algorithmes parfaits et de compositions mathématiquement sécurisées, mais aussi de l’adaptation aux déploiements Ethereum du monde réel.

Investir dans la finance décentralisée

Chainlink

Chainlink (LINK ) Chainlink est un réseau décentralisé qui connecte les contrats intelligents blockchain à des données du monde réel, des API externes et des systèmes de paiement traditionnels. Chainlink est largement adopté par les principales infrastructures de marché, institutions financières et protocoles DeFi pour débloquer des cas d’usage avancés, notamment Swift, Euroclear, MasterCard, Fidelity International, UBS, ANZ, Aave, GMX, Lido et bien d’autres.

Source : Chainlink

Chainlink résout un problème fondamental des protocoles DeFi blockchain : les blockchains sont des environnements isolés ; par défaut, elles ne peuvent pas accéder à des informations externes.

Cela les rend vulnérables à la « manipulation des oracles de prix », où les contrats intelligents sont exécutés selon de fausses données, par exemple le mauvais prix d’un titre. Avec Chainlink, ces contrats intelligents doivent s’exécuter automatiquement sur la base d’événements réels vérifiés.

Par conséquent, Chainlink répond directement à cette forme de risque de composabilité. Cela rend Chainlink utile pour plusieurs cas d’usage :

• Fournir des prix de marché très précis et infalsifiables pour les cryptomonnaies, les matières premières et les actions.
• Fournir des nombres aléatoires cryptographiquement sécurisés directement sur la chaîne pour les jeux blockchain et les distributions de NFT.
• Protocole d’interopérabilité inter‑chaînes (CCIP) pour la communication entre réseaux blockchain ou avec l’infrastructure bancaire traditionnelle comme SWIFT.

Les investisseurs du token LINK doivent toutefois être conscients que les développeurs utilisent les tokens LINK pour payer les opérateurs de nœuds Chainlink pour la récupération, la validation et la livraison des données.

Ils doivent également savoir que le LINK ne fournit pas de participation directe au capital, mais une participation à l’infrastructure associée.

Dernières actualités et développements sur le stock Chainlink (LINK)

Étude référencée

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