Analysis of DeFi oracles / by Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas Veneris and Fan Long. : FB3-6/2024-10E-PDF
"This paper presents OVer, a framework designed to automatically analyze the behaviour of decentralized finance (DeFi) protocols when subjected to a "skewed" oracle input. OVer firstly performs a symbolic analysis on the given contract and constructs a model of constraints. Then, the framework leverages a satisfiability modulo theory solver to identify parameters that allow its secure operation. Furthermore, guard statements can be generated for smart contracts that may use the oracle values, thus effectively preventing oracle manipulation attacks. Empirical results show that OVer can successfully analyze all 10 benchmarks collected, which encompass a diverse range of DeFi protocols. Additionally, this paper illustrates that current parameters used in the majority of benchmarks are inadequate to ensure safety when confronted with significant oracle deviations. It shows that existing ad-hoc control mechanisms such as introducing delays are often insufficient or even detrimental to protect the DeFi protocols against the oracle deviation in the real world. Moreover, this paper delves into the design considerations of price oracles within a potential blockchain-based digital currency"--Abstract, page ii.
Lien permanent pour cette publication :
publications.gc.ca/pub?id=9.944004&sl=1
| Ministère/Organisme | Bank of Canada, issuing body. |
|---|---|
| Titre | Analysis of DeFi oracles / by Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas Veneris and Fan Long. |
| Titre de la série | Staff discussion paper = Document d'analyse du personnel, 1914-0568 ; 2024-10 |
| Type de publication | Série - Voir l'enregistrement principal |
| Langue | [Anglais] |
| Format | Électronique |
| Document électronique | |
| Note(s) | ISSN assigned to different series. "Last updated: July 9, 2024." Includes bibliographical references (pages 17-21). Includes abstracts in English and French. |
| Information sur la publication | [Ottawa] : Bank of Canada = Banque du Canada, 2024. ©2024 |
| Auteur / Contributeur | Deng, Xun, author. |
| Description | 1 online resource (ii, 21 pages) : illustrations (some colour). |
| Numéro de catalogue |
|
| Descripteurs | Financial services industry -- Data processing. Smart contracts. Blockchains (Databases) Services financiers -- Informatique. Contrats intelligents. Chaînes de blocs. |
Demander des formats alternatifs
Pour demander une publication dans un format alternatif, remplissez le formulaire électronique des publications du gouvernement du Canada. Utilisez le champ du formulaire «question ou commentaire» pour spécifier la publication demandée.- Date de modification :