Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis

Francesco De Sclavis, Giuseppe Galano, Aldo Glielmo +1

Stablecoins are digital assets designed to maintain a stable value, typically pegged to traditional currencies. Despite their growing prominence, many stablecoins have struggled to…