Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Byron.Node

Contents

Secrets
ProtocolInfo
Orphan instances

Synopsis

newtype PBftSignatureThreshold = PBftSignatureThreshold {
- getPBftSignatureThreshold ∷ Double
}
blockForgingByron ∷ ∀ (m ∷ Type → Type). Monad m ⇒ ProtocolParamsByron → [BlockForging m ByronBlock]
byronBlockForging ∷ ∀ (m ∷ Type → Type). 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
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT type Rep PBftSignatureThreshold = D1 ('MetaData "PBftSignatureThreshold" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "PBftSignatureThreshold" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPBftSignatureThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

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.26.0.0-inplace" 'True) (C1 ('MetaCons "PBftSignatureThreshold" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPBftSignatureThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

blockForgingByron ∷ ∀ (m ∷ Type → Type). Monad m ⇒ ProtocolParamsByron → [BlockForging m ByronBlock] Source #

byronBlockForging ∷ ∀ (m ∷ Type → Type). 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
Instance details Defined in Ouroboros.Consensus.Byron.Node type TentativeHeaderState ByronBlock = TentativeHeaderState (SelectViewDiffusionPipelining ByronBlock)
type TentativeHeaderView ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Node type TentativeHeaderView ByronBlock = TentativeHeaderView (SelectViewDiffusionPipelining ByronBlock)