Analysis of DeFi Oracles

Cette étude présente OVer, un cadre conçu pour analyser automatiquement le comportement des protocoles de finance décentralisée lorsqu’ils sont soumis à un oracle « biaisé ». OVer effectue d’abord une analyse symbolique d’un contrat donné et construit un modèle de contraintes. Ensuite, le cadre s’appuie sur un solveur de satisfiabilité modulo des théories pour définir les paramètres qui permettent son fonctionnement sûr. De plus, des mesures de sauvegarde peuvent être générées pour les contrats intelligents qui peuvent utiliser les valeurs de l’oracle, empêchant ainsi les attaques par manipulation de ce dernier. Les résultats empiriques montrent qu’OVer peut analyser avec succès les dix protocoles de référence sélectionnés, qui englobent une gamme variée de protocoles de finance décentralisée. En outre, l’étude montre que les paramètres actuels utilisés dans la majorité des protocoles de référence ne permettent pas de garantir la sécurité en cas de divergences importantes portées par l’oracle. Elle montre également que les mécanismes de contrôle ad hoc existants, comme l’introduction de délais, sont souvent insuffisants, voire nuisibles, pour protéger les protocoles contre de telles déviations dans le monde réel. Enfin, l’étude examine les considérations relatives à la conception des oracles de prix dans le cadre d’une éventuelle monnaie numérique basée sur la chaîne de blocs.