Cardano, merkeziyetsiz uygulamaların (dApp) desteklenmesi için tasarlanmış, çoklu varlık defteri ve akıllı sözleşme işlevlerine sahip bir pay kanıtı (Proof-of-Stake) blok zinciri platformudur. Birçok diğer blok zincirinden farklı olarak Cardano, orijinal akademik araştırmalara dayanarak baştan itibaren inşa edilmiştir; önerilen çözümler geliştirilmeden önce uluslararası konferanslarda değerlendirilmekte ve sunulmaktadır. Platform, tasarım ve uygulamada araştırma odaklı ve formel yöntemlere dayalı bir yaklaşımı vurgulamaktadır.