SoK: Lending Pools in Decentralized Finance.
Massimo Bartoletti,James Hsin-yu Chiang,Alberto Lluch Lafuente +2 more
- pp 553-578
Reads0
Chats0
TLDR
In this paper, the authors systematize the existing knowledge about lending pools, leveraging a new formal model of interactions with users, which reflects the archetypal features of mainstream implementations.Abstract:
Lending pools are decentralized applications which allow mutually untrusted users to lend and borrow crypto-assets. These applications feature complex, highly parametric incentive mechanisms to equilibrate the loan market. This complexity makes the behaviour of lending pools difficult to understand and to predict: indeed, ineffective incentives and attacks could potentially lead to emergent unwanted behaviours. Reasoning about lending pools is made even harder by the lack of executable models of their behaviour: to precisely understand how users interact with lending pools, eventually one has to inspect their implementations, where the incentive mechanisms are intertwined with low-level implementation details. Further, the variety of existing implementations makes it difficult to distill the common aspects of lending pools. We systematize the existing knowledge about lending pools, leveraging a new formal model of interactions with users, which reflects the archetypal features of mainstream implementations. This enables us to prove some general properties of lending pools, and to precisely describe vulnerabilities and attacks. We also discuss the role of lending pools in the broader context of decentralized finance and identify relevant research challenges.read more
Citations
More filters
Proceedings ArticleDOI
Empirical Analysis of EIP-1559: Transaction Fees, Waiting Times, and Consensus Security
TL;DR: A rigorous and comprehensive empirical study to examine the effect of EIP-1559, one of the earliest-deployed TFMs that depart from the traditional first-price auction paradigm, and finds that when Ether’s price is more volatile, the waiting time is significantly higher.
Journal ArticleDOI
SoK: Blockchain Decentralization
Luyao Zhang,Xinshi Ma,Yulin Liu +2 more
TL;DR: A systematization of knowledge (SoK) on blockchain decentralization is explored by comprehensively analyzing existing studies in various aspects, and a decentralization index for blockchain transactions is proposed.
Journal ArticleDOI
SoK: Decentralized Exchanges (DEX) with Automated Market Maker (AMM) Protocols
TL;DR: In this paper , a general automated market maker (AMM) framework is proposed to describe the economics and formalize the system's state-space representation, and the authors employ their framework to systematically compare the top automated market makers' mechanics, illustrating their conservation functions, as well as slippage and divergence loss functions.
Book ChapterDOI
From Banks to DeFi: the Evolution of the Lending Market
TL;DR: In this article , the authors enumerate the challenges of traditional money markets led by banks and lending platforms, and present advantageous characteristics of DeFi lending protocols that might help resolve deep-rooted issues in the conventional lending environment.
Proceedings ArticleDOI
SoK: Yield Aggregators in DeFi
TL;DR: In this article , a general framework for yield farming strategies with empirical analysis is presented, focusing on the protocols and tokens used by aggregators, and the sources of yield and translate those into three example yield farming strategy, followed by simulations of yield farming performance.
References
More filters
Journal ArticleDOI
On the security of public key protocols
Danny Dolev,Andrew Chi-Chih Yao +1 more
TL;DR: Several models are formulated in which the security of protocols can be discussed precisely, and algorithms and characterizations that can be used to determine protocol security in these models are given.
Book ChapterDOI
A Survey of Attacks on Ethereum Smart Contracts SoK
TL;DR: This work analyses the security vulnerabilities of Ethereum smart contracts, providing a taxonomy of common programming pitfalls which may lead to vulnerabilities, and shows a series of attacks which exploit these vulnerabilities, allowing an adversary to steal money or cause other damage.
Proceedings ArticleDOI
Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability
Philip Daian,Steven Goldfeder,Tyler Kell,Yunqi Li,Xueyuan Zhao,Iddo Bentov,Lorenz Breidenbach,Ari Juels +7 more
TL;DR: This work highlights the large, complex risks created by transaction-ordering dependencies in smart contracts and the ways in which traditional forms of financial-market exploitation are adapting to and penetrating blockchain economies.
Journal ArticleDOI
An Analysis of Uniswap markets
TL;DR: A simple formal analysis of constant product markets and their generalizations is given, showing that, under some common conditions, these markets must closely track the reference market price.
Book ChapterDOI
SoK: Transparent Dishonesty: Front-Running Attacks on Blockchain
TL;DR: In this article, the authors consider front-running to be a course of action where an entity benefits from prior access to privileged market information about upcoming transactions and trades and show evidence of abnormal miner's behavior indicative of frontrunning token purchases.