cardano-sl - Cryptographic currency implementing Ouroboros PoS protocol

Cardano SL (or Cardano Settlement Layer) is a cryptographic currency designed and developed by IOHK in conjunction with the University of Edinburgh, the University of Athens and the University of Connecticut. Cardano SL is based on the Haskell implementation of the white paper "Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol" by Aggelos Kiayias, Alexander Russell, Bernardo David and Roman Oliynykov.