cardano-ledger-byron-1.0.1.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.ProtocolConstants

Description

Constants derived from security parameter

TODO: Find a better home for these

Synopsis

Documentation

kSlotSecurityParamBlockCountSlotCount Source #

Security parameter expressed in number of slots. It uses chain quality property. It's basically blkSecurityParam / chainQualityThreshold.

kUpdateStabilityParamBlockCountSlotCount Source #

Update stability parameter expressed in number of slots. This is the time between an protocol version update receiving its final endorsement and being accepted, and is set to double the security param.

This extra safety margin is required because an update in the protocol version may trigger a hard fork, which can change "era"-level parameters such as slot length and the number of slots per epoch. As such, the consensus layer wishes to always have a margin between such an update being _certain to happen_ and it actually happening.

For full details, you can see https://github.com/intersectmbo/cardano-ledger/issues/1288

kChainQualityThresholdFractional f ⇒ BlockCount → f Source #

Minimal chain quality (number of blocks divided by number of slots) necessary for security of the system.

kEpochSlotsBlockCountEpochSlots Source #

Number of slots inside one epoch