Modeling and Analysis of Crypto-Backed Over-Collateralized Stable Derivatives in DeFi

Paper: arXiv 2402.18119

Authors: Zhenbang Feng, Hardhik Mohanty, Bhaskar Krishnamachari

Abstract

In decentralized finance (DeFi), stablecoins like DAI are designed to offer a stable value amidst the fluctuating nature of cryptocurrencies. We examine the class of crypto-backed stable derivatives, with a focus on mechanisms for price stabilization, which is exemplified by the well-known stablecoin DAI from MakerDAO. For simplicity, we focus on a single-collateral setting. We introduce a belief parameter to the simulation model of DAI in a previous work (DAISIM), reflecting market sentiments about the value and stability of DAI, and show that it better matches the expected behavior when this parameter is set to a sufficiently high value. We also propose a simple mathematical model of DAI price to explain its stability and dependency on ETH price. Finally, we analyze possible risk factors associated with these stable derivatives to provide valuable insights for stakeholders in the DeFi ecosystem.

Complexity vs Empirical Score

• Math Complexity: 5.5/10
• Empirical Rigor: 4.5/10
• Quadrant: Lab Rats — theoretically deep, empirically untested

Why this score: The paper provides a decent mathematical foundation by modeling DAI price dynamics and introducing a market sentiment belief parameter into the DAISIM framework. However, its empirical rigor is somewhat limited by relying primarily on simplified single-collateral simulations rather than extensive historical market backtesting.

Research Flowchart

  flowchart TD
    A[Research Goal: Model DAI Price Stabilization & DeFi Risk Factors] --> B[Inputs: Single-Collateral ETH/DAI Market Data]
    B --> C[DAISIM Simulation Enhancement: Add Belief Parameter]
    B --> D[Mathematical Modeling of DAI vs ETH Price]
    C --> E[Calibrate Belief Parameter to Reflect Market Sentiment]
    D --> E
    E --> F[Findings: High Market Belief Drives Stability & Risk Factors Identified]

Cited References (13)

1. DAISIM: A Computational Simulator for the MakerDAO Stablecoin (2021)
2. What is stablecoin?: A survey on price stabilization mechanisms for decentralized payment systems (2019)
3. What keeps stablecoins stable? (2023)
4. Stablecoins 2.0: Economic foundations and risk-based models (2020)
5. The decentralized financial crisis (2020)
6. Simulating stablecoin systems with latent market confidence index (2018)
7. Demystifying Stablecoins: Cryptography meets monetary policy (2020)
8. The Maker Protocol: MakerDAO’s Multi-Collateral Dai (MCD) System (2020)

0 of 13 cited works are in the corpus; resolved via arXiv source bundles, Semantic Scholar and OpenAlex. Corpus-wide: 2518 linked papers.