HAI - A decentralized and overcollateralized stablecoin