ouroboros-consensus-protocol-0.12.0.0: Cardano consensus protocols