Conçu et développé par IOHK en collaboration avec l'Université d'Edimbourg, l'Université d'Athènes et l'Université du Connecticut, Cardano SL (ou Cardano Règlement de la Couche) est une Preuve de l'Enjeu cryptocurrency basé sur le Haskell mise en œuvre du livre blanc “Ouroboros: A l'abri de la Preuve de l'Enjeu Blockchain Protocole” par Aggelos Kiayias, Alexander Russell, Bernardo David et Romain Oliynykov.