Cardano is combining peer reviewed cryptographic research with an implementation in highly secure Haskell code.