Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Constants derived from security parameter
TODO: Find a better home for these
Synopsis
Documentation
kSlotSecurityParam ∷ BlockCount → SlotCount Source #
Security parameter expressed in number of slots. It uses chain quality
property. It's basically blkSecurityParam / chainQualityThreshold
.
kUpdateStabilityParam ∷ BlockCount → SlotCount 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
kChainQualityThreshold ∷ Fractional f ⇒ BlockCount → f Source #
Minimal chain quality (number of blocks divided by number of slots) necessary for security of the system.
kEpochSlots ∷ BlockCount → EpochSlots Source #
Number of slots inside one epoch