Cardano teams up with Ergo blockchain, which uses UTXO-based accounting like Cardano&Bitcoin, to work on a stablecoin contract called Djed which is the first formally verified crypto-backed algorithmic stablecoin contract that acts as an autonomous bank