Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Byron.Node

Contents

Secrets
ProtocolInfo
Orphan instances

Synopsis

newtype PBftSignatureThreshold = PBftSignatureThreshold {
- getPBftSignatureThreshold ∷ Double
}
blockForgingByron ∷ Monad m ⇒ ProtocolParamsByron → [BlockForging m ByronBlock]
byronBlockForging ∷ Monad m ⇒ ByronLeaderCredentials → BlockForging m ByronBlock
data ByronLeaderCredentials = ByronLeaderCredentials {
- blcSignKey ∷ SigningKey
- blcDlgCert ∷ Certificate
- blcCoreNodeId ∷ CoreNodeId
- blcLabel ∷ Text
}
data ByronLeaderCredentialsError
mkByronLeaderCredentials ∷ Config → SigningKey → Certificate → Text → Either ByronLeaderCredentialsError ByronLeaderCredentials
mkPBftCanBeLeader ∷ ByronLeaderCredentials → CanBeLeader (PBft PBftByronCrypto)
data ProtocolParamsByron = ProtocolParamsByron {
}
defaultPBftSignatureThreshold ∷ PBftSignatureThreshold
mkByronConfig ∷ Config → ProtocolVersion → SoftwareVersion → BlockConfig ByronBlock
protocolClientInfoByron ∷ EpochSlots → ProtocolClientInfo ByronBlock
protocolInfoByron ∷ ProtocolParamsByron → ProtocolInfo ByronBlock

Documentation

newtype PBftSignatureThreshold Source #

Signature threshold. This represents the proportion of blocks in a pbftSignatureWindow-sized window which may be signed by any single key.

Constructors

PBftSignatureThreshold
Fields getPBftSignatureThreshold ∷ Double

Instances

Instances details

Generic PBftSignatureThreshold
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Associated Types type Rep PBftSignatureThreshold ∷ Type → Type # Methods from ∷ PBftSignatureThreshold → Rep PBftSignatureThreshold x # to ∷ Rep PBftSignatureThreshold x → PBftSignatureThreshold #
Show PBftSignatureThreshold
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods showsPrec ∷ Int → PBftSignatureThreshold → ShowS # show ∷ PBftSignatureThreshold → String # showList ∷ [PBftSignatureThreshold] → ShowS #
Eq PBftSignatureThreshold
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods (==) ∷ PBftSignatureThreshold → PBftSignatureThreshold → Bool # (/=) ∷ PBftSignatureThreshold → PBftSignatureThreshold → Bool #
NoThunks PBftSignatureThreshold
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → PBftSignatureThreshold → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftSignatureThreshold → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PBftSignatureThreshold → String Source #
type Rep PBftSignatureThreshold
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT type Rep PBftSignatureThreshold = D1 ('MetaData "PBftSignatureThreshold" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.21.0.0-inplace" 'True) (C1 ('MetaCons "PBftSignatureThreshold" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPBftSignatureThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

blockForgingByron ∷ Monad m ⇒ ProtocolParamsByron → [BlockForging m ByronBlock] Source #

byronBlockForging ∷ Monad m ⇒ ByronLeaderCredentials → BlockForging m ByronBlock Source #

Secrets

data ByronLeaderCredentials Source #

Credentials needed to produce blocks in the Byron era.

Constructors

ByronLeaderCredentials
Fields blcSignKey ∷ SigningKey blcDlgCert ∷ Certificate blcCoreNodeId ∷ CoreNodeId Only core nodes can produce blocks. The `CoreNodeId` is used to determine the order (round-robin) in which core nodes produce blocks. blcLabel ∷ Text Identifier for this set of credentials. Useful when the node is running with multiple sets of credentials.

Instances

Instances details

Show ByronLeaderCredentials Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods showsPrec ∷ Int → ByronLeaderCredentials → ShowS # show ∷ ByronLeaderCredentials → String # showList ∷ [ByronLeaderCredentials] → ShowS #

data ByronLeaderCredentialsError Source #

Instances

Instances details

Show ByronLeaderCredentialsError Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods showsPrec ∷ Int → ByronLeaderCredentialsError → ShowS # show ∷ ByronLeaderCredentialsError → String # showList ∷ [ByronLeaderCredentialsError] → ShowS #
Eq ByronLeaderCredentialsError Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods (==) ∷ ByronLeaderCredentialsError → ByronLeaderCredentialsError → Bool # (/=) ∷ ByronLeaderCredentialsError → ByronLeaderCredentialsError → Bool #

mkByronLeaderCredentials ∷ Config → SigningKey → Certificate → Text → Either ByronLeaderCredentialsError ByronLeaderCredentials Source #

Make the ByronLeaderCredentials, with a couple sanity checks:

That the block signing key and the delegation certificate match.
That the delegation certificate does correspond to one of the genesis keys from the genesis file.

mkPBftCanBeLeader ∷ ByronLeaderCredentials → CanBeLeader (PBft PBftByronCrypto) Source #

ProtocolInfo

data ProtocolParamsByron Source #

Parameters needed to run Byron

Constructors

ProtocolParamsByron
Fields byronGenesis ∷ Config byronPbftSignatureThreshold ∷ Maybe PBftSignatureThreshold byronProtocolVersion ∷ ProtocolVersion byronSoftwareVersion ∷ SoftwareVersion byronLeaderCredentials ∷ Maybe ByronLeaderCredentials

defaultPBftSignatureThreshold ∷ PBftSignatureThreshold Source #

See chapter 4.1 of https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/byronChainSpec/latest/download-by-type/doc-pdf/blockchain-spec

mkByronConfig ∷ Config → ProtocolVersion → SoftwareVersion → BlockConfig ByronBlock Source #

protocolClientInfoByron ∷ EpochSlots → ProtocolClientInfo ByronBlock Source #

protocolInfoByron ∷ ProtocolParamsByron → ProtocolInfo ByronBlock Source #

Orphan instances

BlockSupportsDiffusionPipelining ByronBlock Source #
Instance details Associated Types type TentativeHeaderState ByronBlock Source # type TentativeHeaderView ByronBlock Source # Methods initialTentativeHeaderState ∷ Proxy ByronBlock → TentativeHeaderState ByronBlock Source # tentativeHeaderView ∷ BlockConfig ByronBlock → Header ByronBlock → TentativeHeaderView ByronBlock Source # applyTentativeHeaderView ∷ Proxy ByronBlock → TentativeHeaderView ByronBlock → TentativeHeaderState ByronBlock → Maybe (TentativeHeaderState ByronBlock) Source #
BlockSupportsMetrics ByronBlock Source #
Instance details Methods isSelfIssued ∷ BlockConfig ByronBlock → Header ByronBlock → WhetherSelfIssued Source #
BlockSupportsSanityCheck ByronBlock Source #
Instance details Methods configAllSecurityParams ∷ TopLevelConfig ByronBlock → NonEmpty SecurityParam Source #
ConfigSupportsNode ByronBlock Source #
Instance details Methods getSystemStart ∷ BlockConfig ByronBlock → SystemStart Source # getNetworkMagic ∷ BlockConfig ByronBlock → NetworkMagic Source #
NodeInitStorage ByronBlock Source #
Instance details Methods nodeImmutableDbChunkInfo ∷ StorageConfig ByronBlock → ChunkInfo Source # nodeCheckIntegrity ∷ StorageConfig ByronBlock → ByronBlock → Bool Source # nodeInitChainDB ∷ IOLike m ⇒ StorageConfig ByronBlock → InitChainDB m ByronBlock → m () Source #
RunNode ByronBlock Source #
Instance details