Cardano, merkeziyetsiz uygulamaları (dApp'ler) desteklemeyi amaçlayan, çoklu varlık muhasebesine ve akıllı sözleşme işlevselliğine sahip bir pay kanıtı (proof-of-stake) blok zinciri platformudur. Birçok diğer blok zincirinden farklı olarak Cardano, geliştirme öncesinde akran incelemesinden geçip uluslararası konferanslarda sunulan orijinal akademik araştırmalara dayanarak temelden inşa edilmiştir. Platform, tasarım ve uygulamada araştırma odaklı ve biçimsel yöntemlere önem vermektedir.