Research

Scientific Papers
Library from IOHK & Cardano

We have collected all the information and research papers and organized them for easy access to anyone who wants to educate themselves about the Cardano Project in depth.

All data is taken from Cardano.org

BYRON RESEARCH – Foundation

 

  1. SCRAPE: Scalable Randomness Attested by Public Entities
  2. Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
  3. The Bitcoin Backbone Protocol with Chains of Variable Difficulty∗
  4. A Formal Specification of the Cardano Ledger
  5. Specification of the Blockchain Layer

SHELLEY RESEARCH – Decentralization

 

  1. Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain
  2. Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability
  3. Stake-Bleeding Attacks on Proof-of-Stake Blockchains
  4. Secure Two-Party Computation over Unreliable Channels
  5. Decreasing Security Threshold Against Double Spend Attack in Networks with Slow Synchronization
  6. A Formal Specification of the Cardano Ledger
  7. Specification of the Blockchain Layer
  8. Engineering Design Specification for Delegation and Incentives in Cardano–Shelley AN IOHK TECHNICAL REPORT 
  9. Reward Sharing Schemes for Stake Pools
  10. Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol
  11. Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake

GOGUEN RESEARCH – Smart Contracts

 

  1. Towards a Smart Contract-based, Decentralized, Public-Key Infrastructure∗
  2. System F in Agda, for fun and profit
  3. Unraveling recursion: compiling an IR with recursion to System F
  4. Functional Blockchain Contracts