Cardano est une plateforme blockchain basée sur le mécanisme de preuve d'enjeu (Proof-of-Stake) conçue pour soutenir les applications décentralisées (dApps), dotée d'un grand livre multi-actifs et de fonctionnalités de contrats intelligents. Contrairement à de nombreuses autres blockchains, Cardano est construite de zéro sur la base de recherches universitaires originales, les solutions proposées faisant l'objet d'évaluations par les pairs et présentées lors de conférences internationales avant leur développement. La plateforme met l'accent sur une approche fondée sur la recherche et les méthodes formelles dans la conception et la mise en œuvre.