Cardano es una plataforma blockchain basada en el mecanismo de prueba de participación (Proof-of-Stake) diseñada para soportar aplicaciones descentralizadas (dApps), con un libro mayor multiactivo y funcionalidad de contratos inteligentes. A diferencia de muchas otras cadenas de bloques, Cardano está construida desde cero basándose en investigaciones académicas originales, y las soluciones propuestas pasan por revisiones entre pares y son presentadas en conferencias internacionales antes de su desarrollo. La plataforma destaca por su enfoque basado en investigación y en métodos formales en el diseño e implementación.