Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Protocol.BFT

Contents

Classes
Type instances

Synopsis

data Bft c
data BftFields c toSign = BftFields {
- bftSignature ∷ !(SignedDSIGN (BftDSIGN c) toSign)
}
data BftParams = BftParams {
- bftSecurityParam ∷ !SecurityParam
- bftNumNodes ∷ !NumCoreNodes
}
data BftValidationErr = BftInvalidSignature String
forgeBftFields ∷ (BftCrypto c, Signable (BftDSIGN c) toSign) ⇒ ConsensusConfig (Bft c) → toSign → BftFields c toSign
class (Typeable c, DSIGNAlgorithm (BftDSIGN c), Condense (SigDSIGN (BftDSIGN c)), NoThunks (SigDSIGN (BftDSIGN c)), ContextDSIGN (BftDSIGN c) ~ ()) ⇒ BftCrypto c where
- type BftDSIGN c ∷ Type
data BftMockCrypto
data BftStandardCrypto
data BftValidateView c = ∀ 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
data family ConsensusConfig p ∷ Type

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 SelectView (Bft c) Source # type LedgerView (Bft c) Source # type ValidationErr (Bft c) Source # type ValidateView (Bft c) Source # Methods checkIsLeader ∷ ConsensusConfig (Bft c) → CanBeLeader (Bft c) → SlotNo → Ticked (ChainDepState (Bft c)) → Maybe (IsLeader (Bft c)) Source # tickChainDepState ∷ ConsensusConfig (Bft c) → 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 #
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.18.0.0-inplace" '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 CanBeLeader (Bft c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type CanBeLeader (Bft c) = CoreNodeId
type ChainDepState (Bft c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type ChainDepState (Bft c) = ()
data ConsensusConfig (Bft c) Source #	(Static) node configuration
Instance details Defined in Ouroboros.Consensus.Protocol.BFT data ConsensusConfig (Bft c) = BftConfig { bftParams ∷ !BftParams bftSignKey ∷ !(SignKeyDSIGN (BftDSIGN c)) bftVerKeys ∷ !(Map NodeId (VerKeyDSIGN (BftDSIGN c))) }
type IsLeader (Bft c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type IsLeader (Bft c) = ()
type LedgerView (Bft c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type LedgerView (Bft c) = ()
type SelectView (Bft c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type SelectView (Bft c) = BlockNo
type ValidateView (Bft c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type ValidateView (Bft c) = BftValidateView c
type ValidationErr (Bft c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type ValidationErr (Bft c) = BftValidationErr

data BftFields c toSign Source #

Constructors

BftFields
Fields bftSignature ∷ !(SignedDSIGN (BftDSIGN c) toSign)

Instances

Instances details

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 ⇒ 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 #
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, 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.18.0.0-inplace" '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 bftSecurityParam ∷ !SecurityParam Security parameter Although the protocol proper does not have such a security parameter, we insist on it. bftNumNodes ∷ !NumCoreNodes Number of core nodes

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.18.0.0-inplace" '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

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 #
Show BftValidationErr Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods showsPrec ∷ Int → BftValidationErr → ShowS # show ∷ BftValidationErr → String # showList ∷ [BftValidationErr] → ShowS #
Eq BftValidationErr Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods (==) ∷ BftValidationErr → BftValidationErr → Bool # (/=) ∷ BftValidationErr → BftValidationErr → Bool #
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.18.0.0-inplace" '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 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 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 BftValidateView c Source #

Constructors

∀ 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 (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 (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 (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 (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) #
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 #
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 #
ConsensusProtocol p ⇒ 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 #
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 (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.18.0.0-inplace" '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 (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.18.0.0-inplace" '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 (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.18.0.0-inplace" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))
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.18.0.0-inplace" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))
data ConsensusConfig (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics data ConsensusConfig (HardForkProtocol xs) = HardForkConsensusConfig { hardForkConsensusConfigK ∷ !SecurityParam hardForkConsensusConfigShape ∷ !(Shape xs) hardForkConsensusConfigPerEra ∷ !(PerEraConsensusConfig xs) }
data ConsensusConfig (Bft c) Source #	(Static) node configuration
Instance details Defined in Ouroboros.Consensus.Protocol.BFT data ConsensusConfig (Bft c) = BftConfig { bftParams ∷ !BftParams bftSignKey ∷ !(SignKeyDSIGN (BftDSIGN c)) bftVerKeys ∷ !(Map NodeId (VerKeyDSIGN (BftDSIGN c))) }
newtype ConsensusConfig (PBft c) Source #	(Static) node configuration
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT newtype ConsensusConfig (PBft c) = PBftConfig { pbftParams ∷ PBftParams }
newtype ConsensusConfig (ModChainSel p s) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel newtype ConsensusConfig (ModChainSel p s) = McsConsensusConfig { mcsConfigP ∷ ConsensusConfig p }