Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Shelley.Node.Common

Contents

Orphan instances

Description

Node configuration common to all (era, protocol) combinations deriving from Shelley.

Synopsis

data ProtocolParamsShelleyBased c = ProtocolParamsShelleyBased {
- shelleyBasedInitialNonce :: Nonce
- shelleyBasedLeaderCredentials :: [ShelleyLeaderCredentials c]
}
class (ShelleyCompatible proto era, TxLimits (ShelleyBlock proto era), EraCrypto era ~ c) => ShelleyEraWithCrypto c proto era
data ShelleyLeaderCredentials c = ShelleyLeaderCredentials {
- shelleyLeaderCredentialsInitSignKey :: SignKeyKES c
- shelleyLeaderCredentialsCanBeLeader :: PraosCanBeLeader c
- shelleyLeaderCredentialsLabel :: Text
}
shelleyBlockIssuerVKey :: ShelleyLeaderCredentials c -> VKey 'BlockIssuer c

Documentation

data ProtocolParamsShelleyBased c Source #

Parameters common to all Shelley-based ledgers.

When running a chain with multiple Shelley-based eras, in addition to the per-era protocol parameters, one value of ProtocolParamsShelleyBased will be needed, which is shared among all Shelley-based eras.

Constructors

ProtocolParamsShelleyBased
Fields shelleyBasedInitialNonce :: Nonce The initial nonce, typically derived from the hash of Genesis config JSON file. WARNING: chains using different values of this parameter will be mutually incompatible. shelleyBasedLeaderCredentials :: [ShelleyLeaderCredentials c]

class (ShelleyCompatible proto era, TxLimits (ShelleyBlock proto era), EraCrypto era ~ c) => ShelleyEraWithCrypto c proto era Source #

Needed in '*SharedBlockForging' because we can't partially apply equality constraints.

Instances

Instances details

(ShelleyCompatible proto era, TxLimits (ShelleyBlock proto era), EraCrypto era ~ c) => ShelleyEraWithCrypto c proto era Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Common

data ShelleyLeaderCredentials c Source #

Constructors

ShelleyLeaderCredentials

Fields

shelleyLeaderCredentialsInitSignKey :: SignKeyKES c
The unevolved signing KES key (at evolution 0).
Note that this is not inside ShelleyCanBeLeader since it gets evolved automatically, whereas ShelleyCanBeLeader does not change.
shelleyLeaderCredentialsCanBeLeader :: PraosCanBeLeader c
shelleyLeaderCredentialsLabel :: Text
Identifier for this set of credentials.
Useful when the node is running with multiple sets of credentials.

shelleyBlockIssuerVKey :: ShelleyLeaderCredentials c -> VKey 'BlockIssuer c Source #

Orphan instances

ConfigSupportsNode (ShelleyBlock proto era) Source #
Instance details Methods getSystemStart :: BlockConfig (ShelleyBlock proto era) -> SystemStart getNetworkMagic :: BlockConfig (ShelleyBlock proto era) -> NetworkMagic
ShelleyCompatible proto era => NodeInitStorage (ShelleyBlock proto era) Source #
Instance details Methods nodeImmutableDbChunkInfo :: StorageConfig (ShelleyBlock proto era) -> ChunkInfo nodeCheckIntegrity :: StorageConfig (ShelleyBlock proto era) -> ShelleyBlock proto era -> Bool nodeInitChainDB :: IOLike m => StorageConfig (ShelleyBlock proto era) -> InitChainDB m (ShelleyBlock proto era) -> m ()