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 {}
- 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 |