Cardano es una plataforma blockchain basada en prueba de participación diseñada para soportar aplicaciones descentralizadas (dApps), que cuenta con un libro mayor multiactivo y funcionalidad de contratos inteligentes. A diferencia de muchas otras blockchains, Cardano se construyó desde cero basándose en investigaciones académicas originales, con soluciones propuestas que pasan por revisión entre pares y presentación en conferencias internacionales antes del desarrollo. La plataforma hace hincapié en un enfoque basado en investigación y métodos formales para el diseño e implementación.