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

The author explores the modeling and analysis of crypto-backed stable derivatives, focusing on mechanisms for price stabilization, particularly examining DAI from MakerDAO. The core argument revolves around introducing a belief parameter to better understand DAI's value and stability.