Relevant research papers and specifications

Cardano is a third-generation blockchain platform that aims to provide the community with more advanced features than any protocol yet developed. As a proof-of-stake blockchain, it is built with the rigor of high-assurance formal development methods and aims to achieve the scalability, interoperability, and sustainability needed for real-world applications. Cardano is the first platform to evolve out of scientific philosophy based on discovery, peer review, and cryptographic research.

Building a strong foundation in the blockchain industry, Cardano has an ethos of openness and transparency. All the research and technical specifications that underpin Cardano are publicly published and available to the community.

Cardano’s development roadmap is divided into 5 eras that focus on the foundation, decentralization, smart-contract and multi-asset ledger deployment, scalability, and governance of a pioneering blockchain environment. Relevant research papers and specifications according to the Cardano development roadmap are outlined below.


A period dedicated to building a foundational federated network that enabled the purchase and sale of ada. The network ran the proof-of-stake Ouroboros consensus protocol.

Relevant research papers:

Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol

Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol

Relevant specifications:

A Formal Specification of the Cardano Ledger

Specification of the Blockchain Layer

Formal Specification for a Cardano Wallet

Cardano on-the-wire Specification

Small Step Semantics for Cardano


A period of growth and development for the network focused on ensuring greater decentralization, which will lead to enhanced security and a more robust environment once the majority of nodes are run by network participants.

Relevant research papers:

Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain

Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability

Stake-Bleeding Attacks on Proof-of-Stake Blockchains

Reward Sharing Schemes for Stake Pools

Account Management in Proof of Stake Ledgers

Flexible Formality: Practical Experience with Agile Formal Methods

Coalition-Safe Equilibria with Virtual Payoffs

Relevant specifications:

Engineering Design Specification for Delegation and Incentives in Cardano–Shelley

A Specification of the Non-Integral Calculations in the Shelley Ledger


The Goguen era will introduce smart-contract functionality to build decentralized applications while supporting multi-functional assets, fungible, and non-fungible token standards.

Relevant research papers:

The Extended UTXO Model

UTXOma: UTXO with Multi-Asset Support

Native Custom Tokens in the Extended UTXO Model

Functional Blockchain Contracts

Scripting Smart Contracts for Distributed Ledger Technology

Marlowe: financial contracts on blockchain

Marlowe: implementing and analysing financial contracts on blockchain

Unraveling recursion: compiling an IR with recursion to System F

System F in Agda, for fun and profit

Translation Certification for Smart Contracts


An era of optimization, improving the scalability and interoperability of the network. Enhancing the network performance, Basho will introduce sidechains, new blockchains, interoperable with the main Cardano chain, with immense potential to extend the network’s capabilities.

Relevant research papers:

Proof-of-Stake Sidechains

Hydra: Fast Isomorphic State Channels

Interhead Hydra: Two Heads are Better than One

Mithril: Stake-based Threshold Multisignatures

Babel Fees via Limited Liabilities

Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin


A development era enabling the Cardano network to become a self-sustaining system. Voltaire will introduce a voting and treasury system that will enable network participants to use their stake and voting rights to influence the future development of the blockchain.

Relevant research papers:

A Treasury System for Cryptocurrencies: Enabling Better Collaborative Intelligence

Updatable Blockchains

SoK: Blockchain Governance

© IOHK 2015 - 2022

Cardano Logo

Cardano is an open-source project.

Cardano is a software platform ONLY and does not conduct any independent diligence on, or substantive review of, any blockchain asset, digital currency, cryptocurrency or associated funds. You are fully and solely responsible for evaluating your investments, for determining whether you will exchange blockchain assets based on your own judgement, and for all your decisions as to whether to exchange blockchain assets with Cardano. In many cases, blockchain assets you exchange on the basis of your research may not increase in value, and may decrease in value. Similarly, blockchain assets you exchange on the basis of your research may fall or rise in value after your exchange.

Past performance is not indicative of future results. Any investment in blockchain assets involves the risk of loss of part or all of your investment. The value of the blockchain assets you exchange is subject to market and other investment risks