000 02863cam  2200409zi 4500
0019.944004
003CaOODSP
00520241010075810
006m     o  d f      
007cr mn|||||||||
008241010t20242024onca    ob   f000 0 eng d
040 |aCaOODSP|beng|erda|cCaOODSP
0410 |aeng|beng|bfre
0861 |aFB3-6/2024-10E-PDF
1001 |aDeng, Xun, |eauthor.
24510|aAnalysis of DeFi oracles / |cby Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas Veneris and Fan Long.
264 1|a[Ottawa] : |bBank of Canada = Banque du Canada, |c2024.
264 4|c©2024
300 |a1 online resource (ii, 21 pages) : |billustrations (some colour).
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
4901 |aStaff discussion paper = |lDocument d'analyse du personnel, |y1914-0568 ; |v2024-10
500 |aISSN assigned to different series.
500 |a"Last updated: July 9, 2024."
504 |aIncludes bibliographical references (pages 17-21).
5203 |a"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.
546 |aIncludes abstracts in English and French.
650 0|aFinancial services industry|xData processing.
650 0|aSmart contracts.
650 0|aBlockchains (Databases)
650 6|aServices financiers|xInformatique.
650 6|aContrats intelligents.
650 6|aChaînes de blocs.
7102 |aBank of Canada, |eissuing body.
830#0|aStaff discussion paper (Bank of Canada)|v2024-10.|w(CaOODSP)9.806273
85640|qPDF|s1.38 MB|uhttps://publications.gc.ca/collections/collection_2024/banque-bank-canada/FB3-6-2024-10-eng.pdf