Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.OCert
Synopsis
- data OCert crypto = OCert {
- ocertVkHot :: !(VerKeyKES crypto)
- ocertN :: !Word64
- ocertKESPeriod :: !KESPeriod
- ocertSigma :: !(SignedDSIGN crypto (OCertSignable crypto))
- data OCertEnv crypto = OCertEnv {
- ocertEnvStPools :: Set (KeyHash 'StakePool crypto)
- ocertEnvGenDelegs :: Set (KeyHash 'GenesisDelegate crypto)
- data OCertSignable crypto = OCertSignable !(VerKeyKES crypto) !Word64 !KESPeriod
- ocertToSignable :: OCert crypto -> OCertSignable crypto
- currentIssueNo :: OCertEnv crypto -> Map (KeyHash 'BlockIssuer crypto) Word64 -> KeyHash 'BlockIssuer crypto -> Maybe Word64
- newtype KESPeriod = KESPeriod {
- unKESPeriod :: Word
- slotsPerKESPeriod :: Globals -> Word64
- kesPeriod :: SlotNo -> ShelleyBase KESPeriod
Documentation
Constructors
OCert | |
Fields
|
Instances
Constructors
OCertEnv | |
Fields
|
data OCertSignable crypto Source #
Signable part of an operational certificate
Constructors
OCertSignable !(VerKeyKES crypto) !Word64 !KESPeriod |
Instances
Crypto crypto => SignableRepresentation (OCertSignable crypto) Source # | |
Defined in Shelley.Spec.Ledger.OCert Methods getSignableRepresentation :: OCertSignable crypto -> ByteString Source # |
ocertToSignable :: OCert crypto -> OCertSignable crypto Source #
Extract the signable part of an operational certificate (for verification)
Arguments
:: OCertEnv crypto | |
-> Map (KeyHash 'BlockIssuer crypto) Word64 | |
-> KeyHash 'BlockIssuer crypto | Pool hash |
-> Maybe Word64 |
Constructors
KESPeriod | |
Fields
|
Instances
slotsPerKESPeriod :: Globals -> Word64 Source #