Safe Haskell	None
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 {
- ocertEnvStPools ∷ Set (KeyHash 'StakePool)
- ocertEnvGenDelegs ∷ Set (KeyHash 'GenesisDelegate)
}
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 {
- unKESPeriod ∷ Word
}
slotsPerKESPeriod ∷ Globals → Word64
kesPeriod ∷ SlotNo → ShelleyBase KESPeriod

Documentation

data OCert c Source #

Constructors

OCert
Fields ocertVkHot ∷ !(VerKeyKES (KES c)) The operational hot key ocertN ∷ !Word64 counter ocertKESPeriod ∷ !KESPeriod Start of key evolving signature period ocertSigma ∷ !(SignedDSIGN DSIGN (OCertSignable c)) Signature of block operational certificate content

Instances

Instances details

Crypto c ⇒ FromCBOR (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

fromCBOR ∷ Decoder s (OCert c) Source #

label ∷ Proxy (OCert c) → Text Source #

Crypto c ⇒ ToCBOR (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

toCBOR ∷ OCert c → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (OCert c) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [OCert c] → Size Source #

Crypto c ⇒ DecCBOR (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

decCBOR ∷ Decoder s (OCert c) Source #

dropCBOR ∷ Proxy (OCert c) → Decoder s () Source #

label ∷ Proxy (OCert c) → Text Source #

Crypto c ⇒ EncCBOR (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

encCBOR ∷ OCert c → Encoding Source #

Crypto c ⇒ DecCBORGroup (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

decCBORGroup ∷ Decoder s (OCert c) Source #

Crypto c ⇒ EncCBORGroup (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

encCBORGroup ∷ OCert c → Encoding Source #

listLen ∷ OCert c → Word Source #

listLenBound ∷ Proxy (OCert c) → Word Source #

Generic (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Associated Types

type Rep (OCert c)

Instance details

Defined in Cardano.Protocol.TPraos.OCert

type Rep (OCert c) = D1 ('MetaData "OCert" "Cardano.Protocol.TPraos.OCert" "cardano-protocol-tpraos-1.5.0.0-inplace" 'False) (C1 ('MetaCons "OCert" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ocertVkHot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (KES c))) :*: S1 ('MetaSel ('Just "ocertN") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "ocertKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KESPeriod) :*: S1 ('MetaSel ('Just "ocertSigma") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN DSIGN (OCertSignable c))))))

Methods

from ∷ OCert c → Rep (OCert c) x #

to ∷ Rep (OCert c) x → OCert c #

Crypto c ⇒ Show (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

showsPrec ∷ Int → OCert c → ShowS #

show ∷ OCert c → String #

showList ∷ [OCert c] → ShowS #

Crypto c ⇒ Eq (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

(==) ∷ OCert c → OCert c → Bool #

(/=) ∷ OCert c → OCert c → Bool #

Crypto c ⇒ NoThunks (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

noThunks ∷ Context → OCert c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OCert c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OCert c) → String Source #

type Rep (OCert c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

type Rep (OCert c) = D1 ('MetaData "OCert" "Cardano.Protocol.TPraos.OCert" "cardano-protocol-tpraos-1.5.0.0-inplace" 'False) (C1 ('MetaCons "OCert" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ocertVkHot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (KES c))) :*: S1 ('MetaSel ('Just "ocertN") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "ocertKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KESPeriod) :*: S1 ('MetaSel ('Just "ocertSigma") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN DSIGN (OCertSignable c))))))

data OCertEnv Source #

Constructors

OCertEnv
Fields ocertEnvStPools ∷ Set (KeyHash 'StakePool) ocertEnvGenDelegs ∷ Set (KeyHash 'GenesisDelegate)

Instances

Instances details

Show OCertEnv Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods showsPrec ∷ Int → OCertEnv → ShowS # show ∷ OCertEnv → String # showList ∷ [OCertEnv] → ShowS #
Eq OCertEnv Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods (==) ∷ OCertEnv → OCertEnv → Bool # (/=) ∷ OCertEnv → OCertEnv → Bool #

data OCertSignable c Source #

Signable part of an operational certificate

Constructors

OCertSignable !(VerKeyKES (KES c)) !Word64 !KESPeriod

Instances

Instances details

Crypto c ⇒ SignableRepresentation (OCertSignable c) Source #
Instance details 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)

currentIssueNo Source #

Arguments

∷ OCertEnv
→ Map (KeyHash 'BlockIssuer) Word64
→ KeyHash 'BlockIssuer	Pool hash
→ Maybe Word64

newtype KESPeriod Source #

Constructors

KESPeriod
Fields unKESPeriod ∷ Word

Instances

Instances details

FromCBOR KESPeriod Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

fromCBOR ∷ Decoder s KESPeriod Source #

label ∷ Proxy KESPeriod → Text Source #

ToCBOR KESPeriod Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

toCBOR ∷ KESPeriod → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy KESPeriod → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [KESPeriod] → Size Source #

DecCBOR KESPeriod Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

decCBOR ∷ Decoder s KESPeriod Source #

dropCBOR ∷ Proxy KESPeriod → Decoder s () Source #

label ∷ Proxy KESPeriod → Text Source #

EncCBOR KESPeriod Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

encCBOR ∷ KESPeriod → Encoding Source #

Generic KESPeriod Source #

Instance details

Defined in Cardano.Protocol.TPraos.OCert

Associated Types

type Rep KESPeriod
Instance details Defined in Cardano.Protocol.TPraos.OCert type Rep KESPeriod = D1 ('MetaData "KESPeriod" "Cardano.Protocol.TPraos.OCert" "cardano-protocol-tpraos-1.5.0.0-inplace" 'True) (C1 ('MetaCons "KESPeriod" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKESPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))