n this video, we're going to be talking about stable coins and our recent paper "Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin". Here in this explainer, David takes us through the core principles and give you a quick understanding of what it's all about. What is a stablecoin? What is the problem that stable coins are trying to solve? What are the challenges in doing this? And how is Djed looking to address these? To read the paper in full visit the IOHK research library: https://iohk.io/en/research/library/papers/djeda-formally-verified-crypto-backed-pegged-algorithmic-stablecoin/