Les oracles sont des constructions utilisées en finance décentralisée pour établir le prix des actifs les uns par rapport aux autres. Cependant, certains contiennent des défauts qui peuvent conduire à des attaques par manipulation. Ces attaques exploitent les modèles d’évaluation des cours intégrés dans les oracles pour escroquer les créateurs et les utilisateurs. Nous vérifions automatiquement les défauts, qui peuvent être atténués pour améliorer la sécurité de la monnaie numérique.