ouroboros-consensus-0.1.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Protocol.BFT

Synopsis

Documentation

data Bft c Source #

Basic BFT

Basic BFT is very simple:

  • No support for delegation (and hence has no need for a ledger view)
  • Requires round-robin block signing throughout (and so has no need for any chain state or cryptographic leader proofs).
  • Does not use any stateful crypto (and so has no need for node state)

Instances

Instances details
Generic (ConsensusConfig (Bft c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type Rep (ConsensusConfig (Bft c)) :: Type -> Type #

Methods

from :: ConsensusConfig (Bft c) -> Rep (ConsensusConfig (Bft c)) x #

to :: Rep (ConsensusConfig (Bft c)) x -> ConsensusConfig (Bft c) #

BftCrypto c => NoThunks (ConsensusConfig (Bft c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

noThunks :: Context -> ConsensusConfig (Bft c) -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> ConsensusConfig (Bft c) -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (ConsensusConfig (Bft c)) -> String Source #

BftCrypto c => ConsensusProtocol (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type ChainDepState (Bft c) Source #

type IsLeader (Bft c) Source #

type CanBeLeader (Bft c) Source #

type LedgerView (Bft c) Source #

type ValidationErr (Bft c) Source #

type ValidateView (Bft c) Source #

Methods

chainSelConfig :: ConsensusConfig (Bft c) -> ChainSelConfig (Bft c) Source #

checkIsLeader :: ConsensusConfig (Bft c) -> CanBeLeader (Bft c) -> SlotNo -> Ticked (ChainDepState (Bft c)) -> Maybe (IsLeader (Bft c)) Source #

tickChainDepState :: ConsensusConfig (Bft c) -> Ticked (LedgerView (Bft c)) -> SlotNo -> ChainDepState (Bft c) -> Ticked (ChainDepState (Bft c)) Source #

updateChainDepState :: ConsensusConfig (Bft c) -> ValidateView (Bft c) -> SlotNo -> Ticked (ChainDepState (Bft c)) -> Except (ValidationErr (Bft c)) (ChainDepState (Bft c)) Source #

reupdateChainDepState :: ConsensusConfig (Bft c) -> ValidateView (Bft c) -> SlotNo -> Ticked (ChainDepState (Bft c)) -> ChainDepState (Bft c) Source #

protocolSecurityParam :: ConsensusConfig (Bft c) -> SecurityParam Source #

ChainSelection (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type ChainSelConfig (Bft c) Source #

type SelectView (Bft c) Source #

Methods

preferCandidate :: proxy (Bft c) -> ChainSelConfig (Bft c) -> SelectView (Bft c) -> SelectView (Bft c) -> Bool Source #

compareCandidates :: proxy (Bft c) -> ChainSelConfig (Bft c) -> SelectView (Bft c) -> SelectView (Bft c) -> Ordering Source #

type Rep (ConsensusConfig (Bft c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "BftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "bftParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BftParams) :*: (S1 ('MetaSel ('Just "bftSignKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (BftDSIGN c))) :*: S1 ('MetaSel ('Just "bftVerKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NodeId (VerKeyDSIGN (BftDSIGN c)))))))
type ChainDepState (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type ChainDepState (Bft c) = ()
type IsLeader (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type IsLeader (Bft c) = ()
type CanBeLeader (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type CanBeLeader (Bft c) = CoreNodeId
type LedgerView (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type LedgerView (Bft c) = ()
type ValidationErr (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type ValidationErr (Bft c) = BftValidationErr
type ValidateView (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type ValidateView (Bft c) = BftValidateView c
type ChainSelConfig (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type ChainSelConfig (Bft c) = ()
type SelectView (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type SelectView (Bft c) = BlockNo
data ConsensusConfig (Bft c) Source #

(Static) node configuration

Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

data ConsensusConfig (Bft c) = BftConfig {}

data BftFields c toSign Source #

Constructors

BftFields 

Fields

Instances

Instances details
BftCrypto c => Eq (BftFields c toSign) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

(==) :: BftFields c toSign -> BftFields c toSign -> Bool #

(/=) :: BftFields c toSign -> BftFields c toSign -> Bool #

BftCrypto c => Show (BftFields c toSign) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

showsPrec :: Int -> BftFields c toSign -> ShowS #

show :: BftFields c toSign -> String #

showList :: [BftFields c toSign] -> ShowS #

Generic (BftFields c toSign) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type Rep (BftFields c toSign) :: Type -> Type #

Methods

from :: BftFields c toSign -> Rep (BftFields c toSign) x #

to :: Rep (BftFields c toSign) x -> BftFields c toSign #

(BftCrypto c, Typeable toSign) => NoThunks (BftFields c toSign) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

noThunks :: Context -> BftFields c toSign -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> BftFields c toSign -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (BftFields c toSign) -> String Source #

BftCrypto c => Condense (BftFields c toSign) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

condense :: BftFields c toSign -> String Source #

type Rep (BftFields c toSign) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type Rep (BftFields c toSign) = D1 ('MetaData "BftFields" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "BftFields" 'PrefixI 'True) (S1 ('MetaSel ('Just "bftSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN (BftDSIGN c) toSign))))

data BftParams Source #

Protocol parameters

Constructors

BftParams 

Fields

Instances

Instances details
Generic BftParams Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type Rep BftParams :: Type -> Type #

Methods

from :: BftParams -> Rep BftParams x #

to :: Rep BftParams x -> BftParams #

NoThunks BftParams Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

noThunks :: Context -> BftParams -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> BftParams -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy BftParams -> String Source #

type Rep BftParams Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type Rep BftParams = D1 ('MetaData "BftParams" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "BftParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "bftSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam) :*: S1 ('MetaSel ('Just "bftNumNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

data BftValidationErr Source #

Constructors

BftInvalidSignature String 

Instances

Instances details
Eq BftValidationErr Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

(==) :: BftValidationErr -> BftValidationErr -> Bool #

(/=) :: BftValidationErr -> BftValidationErr -> Bool #

Show BftValidationErr Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

showsPrec :: Int -> BftValidationErr -> ShowS #

show :: BftValidationErr -> String #

showList :: [BftValidationErr] -> ShowS #

Generic BftValidationErr Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type Rep BftValidationErr :: Type -> Type #

Methods

from :: BftValidationErr -> Rep BftValidationErr x #

to :: Rep BftValidationErr x -> BftValidationErr #

NoThunks BftValidationErr Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

noThunks :: Context -> BftValidationErr -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> BftValidationErr -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy BftValidationErr -> String Source #

type Rep BftValidationErr Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type Rep BftValidationErr = D1 ('MetaData "BftValidationErr" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "BftInvalidSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

forgeBftFields :: (BftCrypto c, Signable (BftDSIGN c) toSign) => ConsensusConfig (Bft c) -> toSign -> BftFields c toSign Source #

Classes

class (Typeable c, DSIGNAlgorithm (BftDSIGN c), Condense (SigDSIGN (BftDSIGN c)), NoThunks (SigDSIGN (BftDSIGN c)), ContextDSIGN (BftDSIGN c) ~ ()) => BftCrypto c Source #

Crypto primitives required by BFT

Associated Types

type BftDSIGN c :: Type Source #

Instances

Instances details
BftCrypto BftMockCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type BftDSIGN BftMockCrypto Source #

BftCrypto BftStandardCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type BftDSIGN BftStandardCrypto Source #

data BftStandardCrypto Source #

Instances

Instances details
BftCrypto BftStandardCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type BftDSIGN BftStandardCrypto Source #

type BftDSIGN BftStandardCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type BftDSIGN BftStandardCrypto = Ed448DSIGN

data BftMockCrypto Source #

Instances

Instances details
BftCrypto BftMockCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type BftDSIGN BftMockCrypto Source #

type BftDSIGN BftMockCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type BftDSIGN BftMockCrypto = MockDSIGN

data BftValidateView c Source #

Constructors

forall signed.Signable (BftDSIGN c) signed => BftValidateView (BftFields c signed) signed 

bftValidateView :: (SignedHeader hdr, Signable (BftDSIGN c) (Signed hdr)) => (hdr -> BftFields c (Signed hdr)) -> hdr -> BftValidateView c Source #

Convenience constructor for BftValidateView

Type instances

data family ConsensusConfig p :: Type Source #

Static configuration required to run the consensus protocol

Every method in the ConsensusProtocol class takes the consensus configuration as a parameter, so having this as a data family rather than a type family resolves most ambiguity.

Defined out of the class so that protocols can define this type without having to define the entire protocol at the same time (or indeed in the same module).

Instances

Instances details
Generic (ConsensusConfig (ModChainSel p s)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Associated Types

type Rep (ConsensusConfig (ModChainSel p s)) :: Type -> Type #

Methods

from :: ConsensusConfig (ModChainSel p s) -> Rep (ConsensusConfig (ModChainSel p s)) x #

to :: Rep (ConsensusConfig (ModChainSel p s)) x -> ConsensusConfig (ModChainSel p s) #

Generic (ConsensusConfig (WithLeaderSchedule p)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

Associated Types

type Rep (ConsensusConfig (WithLeaderSchedule p)) :: Type -> Type #

Methods

from :: ConsensusConfig (WithLeaderSchedule p) -> Rep (ConsensusConfig (WithLeaderSchedule p)) x #

to :: Rep (ConsensusConfig (WithLeaderSchedule p)) x -> ConsensusConfig (WithLeaderSchedule p) #

Generic (ConsensusConfig (Bft c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type Rep (ConsensusConfig (Bft c)) :: Type -> Type #

Methods

from :: ConsensusConfig (Bft c) -> Rep (ConsensusConfig (Bft c)) x #

to :: Rep (ConsensusConfig (Bft c)) x -> ConsensusConfig (Bft c) #

Generic (ConsensusConfig (HardForkProtocol xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Associated Types

type Rep (ConsensusConfig (HardForkProtocol xs)) :: Type -> Type #

Methods

from :: ConsensusConfig (HardForkProtocol xs) -> Rep (ConsensusConfig (HardForkProtocol xs)) x #

to :: Rep (ConsensusConfig (HardForkProtocol xs)) x -> ConsensusConfig (HardForkProtocol xs) #

Generic (ConsensusConfig (PBft c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

Associated Types

type Rep (ConsensusConfig (PBft c)) :: Type -> Type #

Methods

from :: ConsensusConfig (PBft c) -> Rep (ConsensusConfig (PBft c)) x #

to :: Rep (ConsensusConfig (PBft c)) x -> ConsensusConfig (PBft c) #

(ConsensusProtocol p, ChainSelection s) => NoThunks (ConsensusConfig (ModChainSel p s)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Methods

noThunks :: Context -> ConsensusConfig (ModChainSel p s) -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> ConsensusConfig (ModChainSel p s) -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (ConsensusConfig (ModChainSel p s)) -> String Source #

ConsensusProtocol p => NoThunks (ConsensusConfig (WithLeaderSchedule p)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

Methods

noThunks :: Context -> ConsensusConfig (WithLeaderSchedule p) -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> ConsensusConfig (WithLeaderSchedule p) -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (ConsensusConfig (WithLeaderSchedule p)) -> String Source #

BftCrypto c => NoThunks (ConsensusConfig (Bft c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

noThunks :: Context -> ConsensusConfig (Bft c) -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> ConsensusConfig (Bft c) -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (ConsensusConfig (Bft c)) -> String Source #

CanHardFork xs => NoThunks (ConsensusConfig (HardForkProtocol xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> ConsensusConfig (HardForkProtocol xs) -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> ConsensusConfig (HardForkProtocol xs) -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (ConsensusConfig (HardForkProtocol xs)) -> String Source #

NoThunks (ConsensusConfig (PBft c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

Methods

noThunks :: Context -> ConsensusConfig (PBft c) -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> ConsensusConfig (PBft c) -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (ConsensusConfig (PBft c)) -> String Source #

type Rep (ConsensusConfig (ModChainSel p s)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type Rep (ConsensusConfig (ModChainSel p s)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigS") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainSelConfig s)) :*: S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))
type Rep (ConsensusConfig (WithLeaderSchedule p)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

type Rep (ConsensusConfig (WithLeaderSchedule p)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.LeaderSchedule" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "WLSConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "wlsConfigSchedule") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LeaderSchedule) :*: (S1 ('MetaSel ('Just "wlsConfigP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConsensusConfig p)) :*: S1 ('MetaSel ('Just "wlsConfigNodeId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CoreNodeId))))
type Rep (ConsensusConfig (Bft c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "BftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "bftParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BftParams) :*: (S1 ('MetaSel ('Just "bftSignKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (BftDSIGN c))) :*: S1 ('MetaSel ('Just "bftVerKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NodeId (VerKeyDSIGN (BftDSIGN c)))))))
type Rep (ConsensusConfig (HardForkProtocol xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam) :*: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs)))))
type Rep (ConsensusConfig (PBft c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PBftParams)))
data ConsensusConfig (WithLeaderSchedule p) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

data ConsensusConfig (WithLeaderSchedule p) = WLSConfig {}
data ConsensusConfig (Bft c) Source #

(Static) node configuration

Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

data ConsensusConfig (Bft c) = BftConfig {}
data ConsensusConfig (HardForkProtocol xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data ConsensusConfig (HardForkProtocol xs) = HardForkConsensusConfig {}
data ConsensusConfig (PBft c) Source #

(Static) node configuration

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

data ConsensusConfig (PBft c) = PBftConfig {}
data ConsensusConfig (ModChainSel p s) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

data ConsensusConfig (ModChainSel p s) = McsConsensusConfig {}