Được thiết kế và phát triển bởi IOHK kết hợp với các trường Đại học của Edinburgh, các trường Đại học của Athens và các trường Đại học của Connecticut, Cardano SL (hoặc xác suất thật giải Quyết Lớp) là một bằng Chứng của Cổ phần tệ dựa trên Haskell thực hiện các giấy trắng "Ouroboros: Một chứng minh An toàn bằng Chứng của Cổ phần Tìm giao Thức" bởi Aggelos Kiayias, Alexander Russell, Bernardo David và La mã Oliynykov.