References

The following artifacts influence and/or describe the Consensus implementation.

• Technical reports
• From the IOG researchers:
  • Ouroboros BFT
  • Ouroboros Praos
  • Ouroboros Genesis
• Ledger specifications.
• Consensus (Praos) specification: Agda style, LaTeX style
• Quick reference table for all Cardano features. This includes the dates and first slot numbers of all eras and hard forks.
• IOG media:
  • The abstract nature of the consensus layer.
  • Writing a high-assurance blockchain implementation.
  • Semi-formal development of the cardano-wallet.
  • The Cardano Wallet.
  • Combinator makes easy work of Shelley hard fork.
  • 2020 July hard fork combinator presentation at Cardano2020:
    • Part 1
    • Part 2