Cardano is a proof-of-stake blockchain platform designed to support decentralized applications (dApps), featuring a multi-asset ledger and smart contract functionality. Unlike many other blockchains, Cardano is built from the ground up based on original academic research, with proposed solutions undergoing peer review and presentation at international conferences before development. The platform emphasizes a research-driven and formal methods approach to design and implementation.