Cardano's 'Djed' is a formally verified algorithmic stablecoin protocol. It uses smart contracts to ensure price stability, maintaining a reserve of base coins while minting and burning stablecoins and reserve coins to maintain the peg. Djed's design aims to prevent the price crashes that have affected some algorithmic stablecoins on other platforms.