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



Constants derived from security parameter

TODO: Find a better home for these



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

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