I love what IOHK have been doing with Cardano. There are lots of really notable faces[1] and institutions working on this project, and I'm excited to see what they bring to the Haskell and greater mathematics communities.
Here is a good whiteboard summary of Cardano[2], by Charles Hoskinson, who is co-creator of Ethereum as well as Cardano and other associated notable works.
[1] - https://iohk.io/team/