A theory of Lending Protocols in DeFi

• URL: http://arxiv.org/abs/2506.15295v1
• Date: Wed, 18 Jun 2025 09:25:33 GMT
• Title: A theory of Lending Protocols in DeFi
• Authors: Massimo Bartoletti, Enrico Lipparini,
• Abstract summary: Lending protocols are one of the main applications of Decentralized Finance (DeFi)<n>Unlike traditional lending systems, these protocols operate without relying on trusted authorities or off-chain enforcement mechanisms.<n>We propose a formal model of lending protocols that captures the essential features of mainstream platforms.
• Score: 0.4604003661048266
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Lending protocols are one of the main applications of Decentralized Finance (DeFi), enabling crypto-assets loan markets with a total value estimated in the tens of billions of dollars. Unlike traditional lending systems, these protocols operate without relying on trusted authorities or off-chain enforcement mechanisms. To achieve key economic goals such as stability of the loan market, they devise instead trustless on-chain mechanisms, such as rewarding liquidators who repay the loans of under-collateralized borrowers by awarding them part of the borrower's collateral. The complexity of these incentive mechanisms, combined with their entanglement in low-level implementation details, makes it challenging to precisely assess the structural and economic properties of lending protocols, as well as to analyze user strategies and attacks. Crucially, since participation is open to anyone, any weaknesses in the incentive mechanism may give rise to unintended emergent behaviours, or even enable adversarial strategies aimed at making profits to the detriment of legit users, or at undermining the stability of the protocol. In this work, we propose a formal model of lending protocols that captures the essential features of mainstream platforms, enabling us to identify and prove key properties related to their economic and strategic dynamics.

Related papers

• Cycles Protocol: A Peer-to-Peer Electronic Clearing System [2.981536105524476]
  We introduce Cycles, an open, decentralized clearing, settlement, and issuance protocol.<n> Cycles enables firms to overcome payment inefficiencies, reduce working capital costs, and leverage diverse assets and liquidity sources.
  arXiv  Detail & Related papers  (2025-07-30T00:48:50Z)
• A quantitative notion of economic security for smart contract compositions [0.4604003661048266]
  We introduce a quantitative security notion that measures how an attack on a single component can amplify economic losses of the overall system.<n>In particular, we analyse under-collateralized loan attacks in systems made of lending protocols and decentralized exchanges.
  arXiv  Detail & Related papers  (2025-05-25T07:10:55Z)
• Commit-Reveal$^2$: Randomized Reveal Order Mitigates Last-Revealer Attacks in Commit-Reveal [0.0]
  Commit-Reveal$2$ protocol employs a two-layer Commit-Reveal process to randomize the reveal order and mitigate the risk of such attacks.<n>We implement a prototype of the proposed mechanism and publicly release the code to facilitate practical adoption and further research.
  arXiv  Detail & Related papers  (2025-04-04T21:05:51Z)
• Causality Is Key to Understand and Balance Multiple Goals in Trustworthy ML and Foundation Models [91.24296813969003]
  This paper advocates integrating causal methods into machine learning to navigate the trade-offs among key principles of trustworthy ML.<n>We argue that a causal approach is essential for balancing multiple competing objectives in both trustworthy ML and foundation models.
  arXiv  Detail & Related papers  (2025-02-28T14:57:33Z)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  The Controller Area Network (CAN) bus leaves in-vehicle communications inherently non-secure. This paper reviews and compares the 15 most prominent authentication protocols for the CAN bus. We evaluate protocols based on essential operational criteria that contribute to ease of implementation.
  arXiv  Detail & Related papers  (2024-01-19T14:52:04Z)
• Decentralized Finance: Protocols, Risks, and Governance [7.642646077340122]
  We argue how shortcomings and frictions are being mitigated by the decentralized finance (DeFi) ecosystem. We highlight the pros and cons of the novel form of decentralized governance introduced via the ownership of governance tokens. We conclude by emphasizing the need for future research to focus on the scalability of existing blockchains.
  arXiv  Detail & Related papers  (2023-12-02T03:47:57Z)
• Auto.gov: Learning-based Governance for Decentralized Finance (DeFi) [14.697580721893809]
  "Auto$.$gov" is a learning-based governance framework that employs a deep Qnetwork reinforcement learning (RL) strategy to perform semi-automated, data-driven parameter adjustments.<n>In tests with real-world data, Auto$.$gov outperforms the benchmark approaches by at least 14% and the static baseline model by tenfold.
  arXiv  Detail & Related papers  (2023-02-19T12:11:41Z)
• Monotonic Improvement Guarantees under Non-stationarity for Decentralized PPO [66.5384483339413]
  We present a new monotonic improvement guarantee for optimizing decentralized policies in cooperative Multi-Agent Reinforcement Learning (MARL) We show that a trust region constraint can be effectively enforced in a principled way by bounding independent ratios based on the number of agents in training.
  arXiv  Detail & Related papers  (2022-01-31T20:39:48Z)
• Decentralized Basic Income: Creating Wealth with On-Chain Staking and Fixed-Rate Protocols [0.0]
  We evaluate the mechanisms behind the decentralized finance protocols for generating stable, passive income. Currently, such savings interest rates can be as high as 20% annually, payable in traditional currency values such as US dollars. We will discuss potential pitfalls, assess how these protocols may behave in market cycles, as well as suggest areas for further research and development.
  arXiv  Detail & Related papers  (2021-07-29T20:21:55Z)
• Explanations of Machine Learning predictions: a mandatory step for its application to Operational Processes [61.20223338508952]
  Credit Risk Modelling plays a paramount role. Recent machine and deep learning techniques have been applied to the task. We suggest to use LIME technique to tackle the explainability problem in this field.
  arXiv  Detail & Related papers  (2020-12-30T10:27:59Z)
• Decentralized Reinforcement Learning: Global Decision-Making via Local Economic Transactions [80.49176924360499]
  We establish a framework for directing a society of simple, specialized, self-interested agents to solve sequential decision problems. We derive a class of decentralized reinforcement learning algorithms. We demonstrate the potential advantages of a society's inherent modular structure for more efficient transfer learning.
  arXiv  Detail & Related papers  (2020-07-05T16:41:09Z)
• VCG Mechanism Design with Unknown Agent Values under Stochastic Bandit Feedback [104.06766271716774]
  We study a multi-round welfare-maximising mechanism design problem in instances where agents do not know their values. We first define three notions of regret for the welfare, the individual utilities of each agent and that of the mechanism. Our framework also provides flexibility to control the pricing scheme so as to trade-off between the agent and seller regrets.
  arXiv  Detail & Related papers  (2020-04-19T18:00:58Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.