设计和开发的 IOHK与爱丁堡大学，雅典大学，康涅狄格大学、Cardano SL (或卡尔达诺解决层)是一个证明的股份加密货币基于Haskell的执行情况的白皮书"大毒蛇：一个可证明的安全权益证明块链协议"通过阿格罗斯开放式Kiayias，亚历山大*拉塞尔,贝尔纳多*大卫和罗马Oliynykov的。