Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Protocol.TPraos.OCert
Synopsis
- data OCert c = OCert {
- ocertVkHot ∷ !(VerKeyKES (KES c))
- ocertN ∷ !Word64
- ocertKESPeriod ∷ !KESPeriod
- ocertSigma ∷ !(SignedDSIGN DSIGN (OCertSignable c))
- data OCertEnv = OCertEnv {}
- data OCertSignable c = OCertSignable !(VerKeyKES (KES c)) !Word64 !KESPeriod
- ocertToSignable ∷ OCert c → OCertSignable c
- currentIssueNo ∷ OCertEnv → Map (KeyHash 'BlockIssuer) Word64 → KeyHash 'BlockIssuer → Maybe Word64
- newtype KESPeriod = KESPeriod {}
- slotsPerKESPeriod ∷ Globals → Word64
- kesPeriod ∷ SlotNo → ShelleyBase KESPeriod
Documentation
Constructors
OCert | |
Fields
|
Instances
data OCertSignable c Source #
Signable part of an operational certificate
Constructors
OCertSignable !(VerKeyKES (KES c)) !Word64 !KESPeriod |
Instances
Crypto c ⇒ SignableRepresentation (OCertSignable c) Source # | |
Defined in Cardano.Protocol.TPraos.OCert Methods getSignableRepresentation ∷ OCertSignable c → ByteString Source # |
ocertToSignable ∷ OCert c → OCertSignable c Source #
Extract the signable part of an operational certificate (for verification)
Arguments
∷ OCertEnv | |
→ Map (KeyHash 'BlockIssuer) Word64 | |
→ KeyHash 'BlockIssuer | Pool hash |
→ Maybe Word64 |
Constructors
KESPeriod | |
Fields |