ouroboros-consensus-protocol-0.1.0.0: Cardano consensus protocols.