Suunniteltu ja kehitetty IOHK yhdessä University of Edinburgh, Ateenan Yliopisto ja University of Connecticut, C -ardano SL (tai Cardano Ratkaisun Kerros) on Todiste Osuuden kryptovaluutta, joka perustuu Haskell valkoisen kirjan täytäntöönpanoa "Ouroboros: Todistettavasti Turvallinen Todiste Osuuden Blockchain Pöytäkirjan" Aggelos Kiayias, Alexander Russell, Bernardo David ja Roman Oliynykov.