2021
DOI: 10.1007/978-3-662-63958-0_40
|View full text |Cite
|
Sign up to set email alerts
|

SoK: Lending Pools in Decentralized Finance

Abstract: Decentralised Finance (DeFi) applications constitute an entire financial ecosystem deployed on blockchains. Such applications are based on complex protocols and incentive mechanisms whose financial safety is hard to determine. Besides, their adoption is rapidly growing, hence imperilling an increasingly higher amount of assets. Therefore, accurate formalisation and verification of DeFi applications is essential to assess their safety. We present a tool for the formal analysis of one of the most widespread DeFi… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
21
0
1

Year Published

2021
2021
2023
2023

Publication Types

Select...
6
2
2

Relationship

0
10

Authors

Journals

citations
Cited by 40 publications
(22 citation statements)
references
References 30 publications
0
21
0
1
Order By: Relevance
“…The mechanics and properties of DeFi lending protocols are investigated in several studies [21], [8], [47], [57], [34]. Gudgeon et al [21] coin the phrase Protocol for Loanable Funds (PLFs), to name protocols that form distributed ledgerbased markets for loanable funds.…”
Section: Related Workmentioning
confidence: 99%
“…The mechanics and properties of DeFi lending protocols are investigated in several studies [21], [8], [47], [57], [34]. Gudgeon et al [21] coin the phrase Protocol for Loanable Funds (PLFs), to name protocols that form distributed ledgerbased markets for loanable funds.…”
Section: Related Workmentioning
confidence: 99%
“…Daian et al [23] firstly introduce the potential impact of MEV on security. Many works analyzed the MEV extraction in various blockchain infrastructures [7,8,11]. Chen et al [19] investigated and systematized the vulnerabilities, attacks, and defenses of the Ethereum system security.…”
Section: Consensus Securitymentioning
confidence: 99%
“…Trading liquidity is provided by 'liquidity providers' which lock crypto assets in the pursuit of trading fee returns. While the primary context for the formal literature on blockchain based AMM has been provided by Angeris and Chitra et al [13]- [15] the field has attracted new work on adjacent topics such as liquidity provisioning [16]- [18] and token weighted voting systems [19].…”
Section: Decentralized Exchanges and Automated Market Makersmentioning
confidence: 99%