Cardano Node
- User Guide
- Engineering Design Specification for Delegation and Incentives
- A Formal Specification of the Cardano Ledger
-
Networking Protocol(s)
- Repository: input-output-hk/ouroboros-network, includes specifications
- Specification: The Shelley Networking Protocol (Version 1.3.0, 16th July 2021)
- Low-Level Specifications