द्वारा डिजाइन और विकसित IOHK साथ संयोजन के रूप में एडिनबर्ग विश्वविद्यालय, एथेंस विश्वविद्यालय और विश्वविद्यालय के कनेक्टिकट, सीardano SL (या Cardano निपटान परत) का एक सबूत है हिस्सेदारी cryptocurrency के आधार पर हास्केल के कार्यान्वयन सफेद कागज "Ouroboros: एक Provably सुरक्षित सबूत की हिस्सेदारी Blockchain प्रोटोकॉल द्वारा" Aggelos Kiayias, सिकंदर रसेल, Bernardo दाऊद और रोमन Oliynykov.