We are joined by Charles Hoskinson, the CEO of IOHK, who walked us through the plans and motivations for Cardano, a third generation blockchain system with an internal cryptocurrency called Ada. We talked extensively about the decentralized governance challenges of blockchains and how Cardano seeks to address them. We also covered Ouroboros, Cardano's Proof of Stake algorithm, as well as the plans to apply the K framework in smart contract execution.