Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.KES.CompactSum

Contents

Type aliases for powers of binary sums

Description

A key evolving signatures implementation.

It is a naive recursive implementation of the sum composition from section 3.1 of the "MMM" paper:

Composition and Efficiency Tradeoffs for Forward-Secure Digital Signatures By Tal Malkin, Daniele Micciancio and Sara Miner https://eprint.iacr.org/2001/034

Specfically we do the binary sum composition directly as in the paper, and then use that in a nested/recursive fashion to construct a 7-level deep binary tree version.

This relies on Cardano.Crypto.KES.CompactSingle for the base case.

Compared to the implementation in Sum, this flavor stores only one VerKey in the branch node.

Consider the following Merkle tree:

      (A)
     /   
  (B)     (C)
         
(D) (E) (F) (G)
     ^
 0   1   2   3

The caret points at leaf node E, indicating that the current period is 1. The signatures for leaf nodes D through G all contain their respective DSIGN keys; the signature for branch node B however only holds the signature for node E, and the VerKey for node D. It can reconstruct its own VerKey from these two. The signature for branch node A (the root node), then, only contains the VerKey for node C, and the signature for node B. In other words, the number of individual hashes to be stored equals the depth of the Merkle tree. Compare that to the older, naive SumKES, where each branch node stores two VerKeys: here, the number of keys to store is the depth of the tree times two.

Note that when we verify such a signature, we need to also compare the ultimate VerKey at the root against the one passed in externally, because all VerKeys until that point have been derived from the (user-supplied, so untrusted) signature. But we only need to do this once, at the tree root, so we split up the verification into two parts: verifying a signature against its embedded VerKey, and comparing that VerKey against the externally supplied target key.

NOTE - some functions in this module have been deliberately marked NOINLINE; this is necessary to avoid an edge case in GHC that causes the simplifier to go haywire, leading to a Simplifier ticks exhausted error and very long compilation times. Worse yet, this error will only appear when compiling code that depends on this module, not when compiling the module itself.

Synopsis

data CompactSumKES h d
data family VerKeyKES v ∷ Type
data family SignKeyKES v ∷ Type
data family SigKES v ∷ Type
type CompactSum0KES d = CompactSingleKES d
type CompactSum1KES d h = CompactSumKES h (CompactSum0KES d)
type CompactSum2KES d h = CompactSumKES h (CompactSum1KES d h)
type CompactSum3KES d h = CompactSumKES h (CompactSum2KES d h)
type CompactSum4KES d h = CompactSumKES h (CompactSum3KES d h)
type CompactSum5KES d h = CompactSumKES h (CompactSum4KES d h)
type CompactSum6KES d h = CompactSumKES h (CompactSum5KES d h)
type CompactSum7KES d h = CompactSumKES h (CompactSum6KES d h)

Documentation

data CompactSumKES h d Source #

A composition of two KES schemes to give a KES scheme with the sum of the time periods.

While we could do this with two independent KES schemes (i.e. two types) we only need it for two instances of the same scheme, and we save substantially on the size of the type and runtime dictionaries if we do it this way, especially when we start applying it recursively.

Instances

Instances details

Generic (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types type Rep (SigKES (CompactSumKES h d)) ∷ Type → Type Source # Methods from ∷ SigKES (CompactSumKES h d) → Rep (SigKES (CompactSumKES h d)) x Source # to ∷ Rep (SigKES (CompactSumKES h d)) x → SigKES (CompactSumKES h d) Source #
Generic (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) ∷ Type → Type Source # Methods from ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) x Source # to ∷ Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) x → UnsoundPureSignKeyKES (CompactSumKES h d) Source #
Generic (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types type Rep (VerKeyKES (CompactSumKES h d)) ∷ Type → Type Source # Methods from ∷ VerKeyKES (CompactSumKES h d) → Rep (VerKeyKES (CompactSumKES h d)) x Source # to ∷ Rep (VerKeyKES (CompactSumKES h d)) x → VerKeyKES (CompactSumKES h d) Source #
KESAlgorithm d ⇒ Show (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods showsPrec ∷ Int → SigKES (CompactSumKES h d) → ShowS Source # show ∷ SigKES (CompactSumKES h d) → String Source # showList ∷ [SigKES (CompactSumKES h d)] → ShowS Source #
(KESAlgorithm d, Show (UnsoundPureSignKeyKES d)) ⇒ Show (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods showsPrec ∷ Int → UnsoundPureSignKeyKES (CompactSumKES h d) → ShowS Source # show ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → String Source # showList ∷ [UnsoundPureSignKeyKES (CompactSumKES h d)] → ShowS Source #
HashAlgorithm h ⇒ Show (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods showsPrec ∷ Int → VerKeyKES (CompactSumKES h d) → ShowS Source # show ∷ VerKeyKES (CompactSumKES h d) → String Source # showList ∷ [VerKeyKES (CompactSumKES h d)] → ShowS Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR ∷ Decoder s (SigKES (CompactSumKES h d)) Source # label ∷ Proxy (SigKES (CompactSumKES h d)) → Text Source #
(SizeHash h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → Text Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR ∷ Decoder s (VerKeyKES (CompactSumKES h d)) Source # label ∷ Proxy (VerKeyKES (CompactSumKES h d)) → Text Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR ∷ SigKES (CompactSumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (CompactSumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (CompactSumKES h d)] → Size Source #
(SizeHash h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (CompactSumKES h d)] → Size Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR ∷ VerKeyKES (CompactSumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (CompactSumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (CompactSumKES h d)] → Size Source #
(DirectDeserialise (SignKeyKES d), DirectDeserialise (VerKeyKES d), KESAlgorithm d) ⇒ DirectDeserialise (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (CompactSumKES h d)) Source #
HashAlgorithm h ⇒ DirectDeserialise (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (CompactSumKES h d)) Source #
(DirectSerialise (SignKeyKES d), DirectSerialise (VerKeyKES d), KESAlgorithm d) ⇒ DirectSerialise (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (CompactSumKES h d) → m () Source #
DirectSerialise (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (CompactSumKES h d) → m () Source #
(NFData (SigKES d), NFData (VerKeyKES d)) ⇒ NFData (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf ∷ SigKES (CompactSumKES h d) → () Source #
(NFData (SignKeyKES d), NFData (VerKeyKES d)) ⇒ NFData (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf ∷ SignKeyKES (CompactSumKES h d) → () Source #
NFData (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf ∷ VerKeyKES (CompactSumKES h d) → () Source #
KESAlgorithm d ⇒ Eq (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods (==) ∷ SigKES (CompactSumKES h d) → SigKES (CompactSumKES h d) → Bool Source # (/=) ∷ SigKES (CompactSumKES h d) → SigKES (CompactSumKES h d) → Bool Source #
(KESAlgorithm d, Eq (UnsoundPureSignKeyKES d)) ⇒ Eq (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods (==) ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → UnsoundPureSignKeyKES (CompactSumKES h d) → Bool Source # (/=) ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → UnsoundPureSignKeyKES (CompactSumKES h d) → Bool Source #
Eq (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods (==) ∷ VerKeyKES (CompactSumKES h d) → VerKeyKES (CompactSumKES h d) → Bool Source # (/=) ∷ VerKeyKES (CompactSumKES h d) → VerKeyKES (CompactSumKES h d) → Bool Source #
KESAlgorithm d ⇒ NoThunks (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → SigKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (CompactSumKES h d)) → String Source #
NoThunks (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → SignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (CompactSumKES h d)) → String Source #
(NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) ⇒ NoThunks (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → UnsoundPureSignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → String Source #
KESAlgorithm d ⇒ NoThunks (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → VerKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (CompactSumKES h d)) → String Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ KESAlgorithm (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types data VerKeyKES (CompactSumKES h d) Source # data SigKES (CompactSumKES h d) Source # data SignKeyKES (CompactSumKES h d) Source # type SeedSizeKES (CompactSumKES h d) ∷ Nat Source # type SizeVerKeyKES (CompactSumKES h d) ∷ Nat Source # type SizeSignKeyKES (CompactSumKES h d) ∷ Nat Source # type SizeSigKES (CompactSumKES h d) ∷ Nat Source # type ContextKES (CompactSumKES h d) Source # type Signable (CompactSumKES h d) ∷ Type → Constraint Source # Methods algorithmNameKES ∷ proxy (CompactSumKES h d) → String Source # hashVerKeyKES ∷ HashAlgorithm h0 ⇒ VerKeyKES (CompactSumKES h d) → Hash h0 (VerKeyKES (CompactSumKES h d)) Source # verifyKES ∷ (Signable (CompactSumKES h d) a, HasCallStack) ⇒ ContextKES (CompactSumKES h d) → VerKeyKES (CompactSumKES h d) → Period → a → SigKES (CompactSumKES h d) → Either String () Source # totalPeriodsKES ∷ proxy (CompactSumKES h d) → Word Source # rawSerialiseVerKeyKES ∷ VerKeyKES (CompactSumKES h d) → ByteString Source # rawSerialiseSigKES ∷ SigKES (CompactSumKES h d) → ByteString Source # rawDeserialiseVerKeyKES ∷ ByteString → Maybe (VerKeyKES (CompactSumKES h d)) Source # rawDeserialiseSigKES ∷ ByteString → Maybe (SigKES (CompactSumKES h d)) Source # deriveVerKeyKES ∷ (MonadST m, MonadThrow m) ⇒ SignKeyKES (CompactSumKES h d) → m (VerKeyKES (CompactSumKES h d)) Source # signKES ∷ (Signable (CompactSumKES h d) a, MonadST m, MonadThrow m) ⇒ ContextKES (CompactSumKES h d) → Period → a → SignKeyKES (CompactSumKES h d) → m (SigKES (CompactSumKES h d)) Source # updateKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → ContextKES (CompactSumKES h d) → SignKeyKES (CompactSumKES h d) → Period → m (Maybe (SignKeyKES (CompactSumKES h d))) Source # genKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → MLockedSeed (SeedSizeKES (CompactSumKES h d)) → m (SignKeyKES (CompactSumKES h d)) Source # forgetSignKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → SignKeyKES (CompactSumKES h d) → m () Source #
(KESAlgorithm (CompactSumKES h d), OptimizedKESAlgorithm d, HashAlgorithm h) ⇒ OptimizedKESAlgorithm (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods verifySigKES ∷ (Signable (CompactSumKES h d) a, HasCallStack) ⇒ ContextKES (CompactSumKES h d) → Period → a → SigKES (CompactSumKES h d) → Either String () Source # verKeyFromSigKES ∷ ContextKES (CompactSumKES h d) → Period → SigKES (CompactSumKES h d) → VerKeyKES (CompactSumKES h d) Source #
(KESAlgorithm (CompactSumKES h d), UnsoundKESAlgorithm d) ⇒ UnsoundKESAlgorithm (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rawDeserialiseSignKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → ByteString → m (Maybe (SignKeyKES (CompactSumKES h d))) Source # rawSerialiseSignKeyKES ∷ (MonadST m, MonadThrow m) ⇒ SignKeyKES (CompactSumKES h d) → m ByteString Source #
(KESAlgorithm (CompactSumKES h d), HashAlgorithm h, UnsoundPureKESAlgorithm d) ⇒ UnsoundPureKESAlgorithm (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types data UnsoundPureSignKeyKES (CompactSumKES h d) Source # Methods unsoundPureSignKES ∷ Signable (CompactSumKES h d) a ⇒ ContextKES (CompactSumKES h d) → Period → a → UnsoundPureSignKeyKES (CompactSumKES h d) → SigKES (CompactSumKES h d) Source # unsoundPureUpdateKES ∷ ContextKES (CompactSumKES h d) → UnsoundPureSignKeyKES (CompactSumKES h d) → Period → Maybe (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # unsoundPureGenKeyKES ∷ Seed → UnsoundPureSignKeyKES (CompactSumKES h d) Source # unsoundPureDeriveVerKeyKES ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → VerKeyKES (CompactSumKES h d) Source # unsoundPureSignKeyKESToSoundSignKeyKES ∷ (MonadST m, MonadThrow m) ⇒ UnsoundPureSignKeyKES (CompactSumKES h d) → m (SignKeyKES (CompactSumKES h d)) Source # rawSerialiseUnsoundPureSignKeyKES ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → ByteString Source # rawDeserialiseUnsoundPureSignKeyKES ∷ ByteString → Maybe (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
type Rep (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type Rep (SigKES (CompactSumKES h d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "SigCompactSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d))))
type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeyCompactSumKES" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UnsoundPureSignKeyKES d)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
type Rep (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type Rep (VerKeyKES (CompactSumKES h d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyCompactSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))
type ContextKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type ContextKES (CompactSumKES h d) = ContextKES d
type SeedSizeKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type SeedSizeKES (CompactSumKES h d) = SeedSizeKES d
data SigKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum data SigKES (CompactSumKES h d) = SigCompactSumKES !(SigKES d) !(VerKeyKES d)
data SignKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum data SignKeyKES (CompactSumKES h d) = SignKeyCompactSumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)
type Signable (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type Signable (CompactSumKES h d) = Signable d
type SizeSigKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type SizeSigKES (CompactSumKES h d) = SizeSigKES d + SizeVerKeyKES d
type SizeSignKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type SizeSignKeyKES (CompactSumKES h d) = (SizeSignKeyKES d + SeedSizeKES d) + (SizeVerKeyKES d * 2)
type SizeVerKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type SizeVerKeyKES (CompactSumKES h d) = SizeHash h
data UnsoundPureSignKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum data UnsoundPureSignKeyKES (CompactSumKES h d) = UnsoundPureSignKeyCompactSumKES !(UnsoundPureSignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)
newtype VerKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum newtype VerKeyKES (CompactSumKES h d) = VerKeyCompactSumKES (Hash h (VerKeyKES d, VerKeyKES d))

data family VerKeyKES v ∷ Type Source #

Instances

Instances details

Generic (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Associated Types type Rep (VerKeyKES (CompactSingleKES d)) ∷ Type → Type Source # Methods from ∷ VerKeyKES (CompactSingleKES d) → Rep (VerKeyKES (CompactSingleKES d)) x Source # to ∷ Rep (VerKeyKES (CompactSingleKES d)) x → VerKeyKES (CompactSingleKES d) Source #
Generic (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types type Rep (VerKeyKES (CompactSumKES h d)) ∷ Type → Type Source # Methods from ∷ VerKeyKES (CompactSumKES h d) → Rep (VerKeyKES (CompactSumKES h d)) x Source # to ∷ Rep (VerKeyKES (CompactSumKES h d)) x → VerKeyKES (CompactSumKES h d) Source #
Generic (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Associated Types type Rep (VerKeyKES (MockKES t)) ∷ Type → Type Source # Methods from ∷ VerKeyKES (MockKES t) → Rep (VerKeyKES (MockKES t)) x Source # to ∷ Rep (VerKeyKES (MockKES t)) x → VerKeyKES (MockKES t) Source #
Generic (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (VerKeyKES NeverKES) ∷ Type → Type Source # Methods from ∷ VerKeyKES NeverKES → Rep (VerKeyKES NeverKES) x Source # to ∷ Rep (VerKeyKES NeverKES) x → VerKeyKES NeverKES Source #
Generic (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (VerKeyKES (SimpleKES d t)) ∷ Type → Type Source # Methods from ∷ VerKeyKES (SimpleKES d t) → Rep (VerKeyKES (SimpleKES d t)) x Source # to ∷ Rep (VerKeyKES (SimpleKES d t)) x → VerKeyKES (SimpleKES d t) Source #
Generic (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Associated Types type Rep (VerKeyKES (SingleKES d)) ∷ Type → Type Source # Methods from ∷ VerKeyKES (SingleKES d) → Rep (VerKeyKES (SingleKES d)) x Source # to ∷ Rep (VerKeyKES (SingleKES d)) x → VerKeyKES (SingleKES d) Source #
Generic (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (VerKeyKES (SumKES h d)) ∷ Type → Type Source # Methods from ∷ VerKeyKES (SumKES h d) → Rep (VerKeyKES (SumKES h d)) x Source # to ∷ Rep (VerKeyKES (SumKES h d)) x → VerKeyKES (SumKES h d) Source #
DSIGNMAlgorithm d ⇒ Show (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods showsPrec ∷ Int → VerKeyKES (CompactSingleKES d) → ShowS Source # show ∷ VerKeyKES (CompactSingleKES d) → String Source # showList ∷ [VerKeyKES (CompactSingleKES d)] → ShowS Source #
HashAlgorithm h ⇒ Show (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods showsPrec ∷ Int → VerKeyKES (CompactSumKES h d) → ShowS Source # show ∷ VerKeyKES (CompactSumKES h d) → String Source # showList ∷ [VerKeyKES (CompactSumKES h d)] → ShowS Source #
Show (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods showsPrec ∷ Int → VerKeyKES (MockKES t) → ShowS Source # show ∷ VerKeyKES (MockKES t) → String Source # showList ∷ [VerKeyKES (MockKES t)] → ShowS Source #
Show (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec ∷ Int → VerKeyKES NeverKES → ShowS Source # show ∷ VerKeyKES NeverKES → String Source # showList ∷ [VerKeyKES NeverKES] → ShowS Source #
DSIGNMAlgorithm d ⇒ Show (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec ∷ Int → VerKeyKES (SimpleKES d t) → ShowS Source # show ∷ VerKeyKES (SimpleKES d t) → String Source # showList ∷ [VerKeyKES (SimpleKES d t)] → ShowS Source #
DSIGNAlgorithm d ⇒ Show (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods showsPrec ∷ Int → VerKeyKES (SingleKES d) → ShowS Source # show ∷ VerKeyKES (SingleKES d) → String Source # showList ∷ [VerKeyKES (SingleKES d)] → ShowS Source #
HashAlgorithm h ⇒ Show (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec ∷ Int → VerKeyKES (SumKES h d) → ShowS Source # show ∷ VerKeyKES (SumKES h d) → String Source # showList ∷ [VerKeyKES (SumKES h d)] → ShowS Source #
(DSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ FromCBOR (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods fromCBOR ∷ Decoder s (VerKeyKES (CompactSingleKES d)) Source # label ∷ Proxy (VerKeyKES (CompactSingleKES d)) → Text Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR ∷ Decoder s (VerKeyKES (CompactSumKES h d)) Source # label ∷ Proxy (VerKeyKES (CompactSumKES h d)) → Text Source #
KnownNat t ⇒ FromCBOR (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR ∷ Decoder s (VerKeyKES (MockKES t)) Source # label ∷ Proxy (VerKeyKES (MockKES t)) → Text Source #
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ FromCBOR (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods fromCBOR ∷ Decoder s (VerKeyKES (SimpleKES d t)) Source # label ∷ Proxy (VerKeyKES (SimpleKES d t)) → Text Source #
DSIGNMAlgorithm d ⇒ FromCBOR (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR ∷ Decoder s (VerKeyKES (SingleKES d)) Source # label ∷ Proxy (VerKeyKES (SingleKES d)) → Text Source #
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ FromCBOR (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR ∷ Decoder s (VerKeyKES (SumKES h d)) Source # label ∷ Proxy (VerKeyKES (SumKES h d)) → Text Source #
(DSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ ToCBOR (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR ∷ VerKeyKES (CompactSingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (CompactSingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (CompactSingleKES d)] → Size Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR ∷ VerKeyKES (CompactSumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (CompactSumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (CompactSumKES h d)] → Size Source #
KnownNat t ⇒ ToCBOR (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods toCBOR ∷ VerKeyKES (MockKES t) → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (VerKeyKES (MockKES t)) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [VerKeyKES (MockKES t)] → Size Source #
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ ToCBOR (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods toCBOR ∷ VerKeyKES (SimpleKES d t) → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (VerKeyKES (SimpleKES d t)) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [VerKeyKES (SimpleKES d t)] → Size Source #
DSIGNMAlgorithm d ⇒ ToCBOR (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR ∷ VerKeyKES (SingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (SingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (SingleKES d)] → Size Source #
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ ToCBOR (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR ∷ VerKeyKES (SumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (SumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (SumKES h d)] → Size Source #
DirectDeserialise (VerKeyDSIGN d) ⇒ DirectDeserialise (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (CompactSingleKES d)) Source #
HashAlgorithm h ⇒ DirectDeserialise (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (CompactSumKES h d)) Source #
KnownNat t ⇒ DirectDeserialise (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (MockKES t)) Source #
(DirectDeserialise (VerKeyDSIGN d), KnownNat t) ⇒ DirectDeserialise (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (SimpleKES d t)) Source #
DirectDeserialise (VerKeyDSIGN d) ⇒ DirectDeserialise (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (SingleKES d)) Source #
HashAlgorithm h ⇒ DirectDeserialise (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (SumKES h d)) Source #
DirectSerialise (VerKeyDSIGN d) ⇒ DirectSerialise (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (CompactSingleKES d) → m () Source #
DirectSerialise (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (CompactSumKES h d) → m () Source #
KnownNat t ⇒ DirectSerialise (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (MockKES t) → m () Source #
DirectSerialise (VerKeyDSIGN d) ⇒ DirectSerialise (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (SimpleKES d t) → m () Source #
DirectSerialise (VerKeyDSIGN d) ⇒ DirectSerialise (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (SingleKES d) → m () Source #
DirectSerialise (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (SumKES h d) → m () Source #
NFData (VerKeyDSIGN d) ⇒ NFData (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods rnf ∷ VerKeyKES (CompactSingleKES d) → () Source #
NFData (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf ∷ VerKeyKES (CompactSumKES h d) → () Source #
NFData (VerKeyDSIGN d) ⇒ NFData (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods rnf ∷ VerKeyKES (SingleKES d) → () Source #
NFData (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods rnf ∷ VerKeyKES (SumKES h d) → () Source #
DSIGNMAlgorithm d ⇒ Eq (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods (==) ∷ VerKeyKES (CompactSingleKES d) → VerKeyKES (CompactSingleKES d) → Bool Source # (/=) ∷ VerKeyKES (CompactSingleKES d) → VerKeyKES (CompactSingleKES d) → Bool Source #
Eq (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods (==) ∷ VerKeyKES (CompactSumKES h d) → VerKeyKES (CompactSumKES h d) → Bool Source # (/=) ∷ VerKeyKES (CompactSumKES h d) → VerKeyKES (CompactSumKES h d) → Bool Source #
Eq (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods (==) ∷ VerKeyKES (MockKES t) → VerKeyKES (MockKES t) → Bool Source # (/=) ∷ VerKeyKES (MockKES t) → VerKeyKES (MockKES t) → Bool Source #
Eq (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) ∷ VerKeyKES NeverKES → VerKeyKES NeverKES → Bool Source # (/=) ∷ VerKeyKES NeverKES → VerKeyKES NeverKES → Bool Source #
DSIGNMAlgorithm d ⇒ Eq (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods (==) ∷ VerKeyKES (SimpleKES d t) → VerKeyKES (SimpleKES d t) → Bool Source # (/=) ∷ VerKeyKES (SimpleKES d t) → VerKeyKES (SimpleKES d t) → Bool Source #
DSIGNAlgorithm d ⇒ Eq (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods (==) ∷ VerKeyKES (SingleKES d) → VerKeyKES (SingleKES d) → Bool Source # (/=) ∷ VerKeyKES (SingleKES d) → VerKeyKES (SingleKES d) → Bool Source #
Eq (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods (==) ∷ VerKeyKES (SumKES h d) → VerKeyKES (SumKES h d) → Bool Source # (/=) ∷ VerKeyKES (SumKES h d) → VerKeyKES (SumKES h d) → Bool Source #
(TypeError ('Text "Ord not supported for verification keys, use the hash instead") ∷ Constraint, KESAlgorithm v) ⇒ Ord (VerKeyKES v) Source #
Instance details Defined in Cardano.Crypto.KES.Class Methods compare ∷ VerKeyKES v → VerKeyKES v → Ordering Source # (<) ∷ VerKeyKES v → VerKeyKES v → Bool Source # (<=) ∷ VerKeyKES v → VerKeyKES v → Bool Source # (>) ∷ VerKeyKES v → VerKeyKES v → Bool Source # (>=) ∷ VerKeyKES v → VerKeyKES v → Bool Source # max ∷ VerKeyKES v → VerKeyKES v → VerKeyKES v Source # min ∷ VerKeyKES v → VerKeyKES v → VerKeyKES v Source #
DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks ∷ Context → VerKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (CompactSingleKES d)) → String Source #
KESAlgorithm d ⇒ NoThunks (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → VerKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (CompactSumKES h d)) → String Source #
NoThunks (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks ∷ Context → VerKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (MockKES t)) → String Source #
NoThunks (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks ∷ Context → VerKeyKES NeverKES → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES NeverKES → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES NeverKES) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks ∷ Context → VerKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (SimpleKES d t)) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks ∷ Context → VerKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (SingleKES d)) → String Source #
KESAlgorithm d ⇒ NoThunks (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks ∷ Context → VerKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (SumKES h d)) → String Source #
data VerKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data VerKeyKES NeverKES = NeverUsedVerKeyKES
type Rep (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep (VerKeyKES (CompactSingleKES d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyCompactSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN d))))
type Rep (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type Rep (VerKeyKES (CompactSumKES h d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyCompactSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))
type Rep (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep (VerKeyKES (MockKES t)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (VerKeyKES NeverKES) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "NeverUsedVerKeyKES" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep (VerKeyKES (SimpleKES d t)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "ThunkyVerKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (VerKeyDSIGN d)))))
type Rep (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single type Rep (VerKeyKES (SingleKES d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "VerKeySingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN d))))
type Rep (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type Rep (VerKeyKES (SumKES h d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "VerKeySumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))
newtype VerKeyKES (CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle newtype VerKeyKES (CompactSingleKES d) = VerKeyCompactSingleKES (VerKeyDSIGN d)
newtype VerKeyKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock newtype VerKeyKES (MockKES t) = VerKeyMockKES Word64
newtype VerKeyKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype VerKeyKES (SingleKES d) = VerKeySingleKES (VerKeyDSIGN d)
newtype VerKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum newtype VerKeyKES (CompactSumKES h d) = VerKeyCompactSumKES (Hash h (VerKeyKES d, VerKeyKES d))
newtype VerKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype VerKeyKES (SimpleKES d t) = ThunkyVerKeySimpleKES (Vector (VerKeyDSIGN d))
newtype VerKeyKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum newtype VerKeyKES (SumKES h d) = VerKeySumKES (Hash h (VerKeyKES d, VerKeyKES d))

data family SignKeyKES v ∷ Type Source #

Instances

Instances details

Generic (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Associated Types type Rep (SignKeyKES (MockKES t)) ∷ Type → Type Source # Methods from ∷ SignKeyKES (MockKES t) → Rep (SignKeyKES (MockKES t)) x Source # to ∷ Rep (SignKeyKES (MockKES t)) x → SignKeyKES (MockKES t) Source #
Generic (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (SignKeyKES NeverKES) ∷ Type → Type Source # Methods from ∷ SignKeyKES NeverKES → Rep (SignKeyKES NeverKES) x Source # to ∷ Rep (SignKeyKES NeverKES) x → SignKeyKES NeverKES Source #
Generic (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (SignKeyKES (SimpleKES d t)) ∷ Type → Type Source # Methods from ∷ SignKeyKES (SimpleKES d t) → Rep (SignKeyKES (SimpleKES d t)) x Source # to ∷ Rep (SignKeyKES (SimpleKES d t)) x → SignKeyKES (SimpleKES d t) Source #
Show (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods showsPrec ∷ Int → SignKeyKES (MockKES t) → ShowS Source # show ∷ SignKeyKES (MockKES t) → String Source # showList ∷ [SignKeyKES (MockKES t)] → ShowS Source #
Show (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec ∷ Int → SignKeyKES NeverKES → ShowS Source # show ∷ SignKeyKES NeverKES → String Source # showList ∷ [SignKeyKES NeverKES] → ShowS Source #
(DSIGNMAlgorithm d, Show (SignKeyDSIGNM d)) ⇒ Show (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec ∷ Int → SignKeyKES (SimpleKES d t) → ShowS Source # show ∷ SignKeyKES (SimpleKES d t) → String Source # showList ∷ [SignKeyKES (SimpleKES d t)] → ShowS Source #
DirectDeserialise (SignKeyDSIGNM d) ⇒ DirectDeserialise (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (CompactSingleKES d)) Source #
(DirectDeserialise (SignKeyKES d), DirectDeserialise (VerKeyKES d), KESAlgorithm d) ⇒ DirectDeserialise (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (CompactSumKES h d)) Source #
KnownNat t ⇒ DirectDeserialise (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (MockKES t)) Source #
(DirectDeserialise (SignKeyDSIGNM d), KnownNat t) ⇒ DirectDeserialise (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (SimpleKES d t)) Source #
DirectDeserialise (SignKeyDSIGNM d) ⇒ DirectDeserialise (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (SingleKES d)) Source #
(DirectDeserialise (SignKeyKES d), DirectDeserialise (VerKeyKES d), KESAlgorithm d) ⇒ DirectDeserialise (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (SumKES h d)) Source #
DirectSerialise (SignKeyDSIGNM d) ⇒ DirectSerialise (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (CompactSingleKES d) → m () Source #
(DirectSerialise (SignKeyKES d), DirectSerialise (VerKeyKES d), KESAlgorithm d) ⇒ DirectSerialise (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (CompactSumKES h d) → m () Source #
KnownNat t ⇒ DirectSerialise (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (MockKES t) → m () Source #
DirectSerialise (SignKeyDSIGNM d) ⇒ DirectSerialise (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (SimpleKES d t) → m () Source #
DirectSerialise (SignKeyDSIGNM d) ⇒ DirectSerialise (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (SingleKES d) → m () Source #
(DirectSerialise (SignKeyKES d), DirectSerialise (VerKeyKES d), KESAlgorithm d) ⇒ DirectSerialise (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (SumKES h d) → m () Source #
NFData (SignKeyDSIGNM d) ⇒ NFData (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods rnf ∷ SignKeyKES (CompactSingleKES d) → () Source #
(NFData (SignKeyKES d), NFData (VerKeyKES d)) ⇒ NFData (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf ∷ SignKeyKES (CompactSumKES h d) → () Source #
NFData (SignKeyDSIGNM d) ⇒ NFData (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods rnf ∷ SignKeyKES (SingleKES d) → () Source #
(NFData (SignKeyKES d), NFData (VerKeyKES d)) ⇒ NFData (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods rnf ∷ SignKeyKES (SumKES h d) → () Source #
Eq (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods (==) ∷ SignKeyKES (MockKES t) → SignKeyKES (MockKES t) → Bool Source # (/=) ∷ SignKeyKES (MockKES t) → SignKeyKES (MockKES t) → Bool Source #
Eq (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) ∷ SignKeyKES NeverKES → SignKeyKES NeverKES → Bool Source # (/=) ∷ SignKeyKES NeverKES → SignKeyKES NeverKES → Bool Source #
(TypeError ('Text "Ord not supported for signing keys, use the hash instead") ∷ Constraint, Eq (SignKeyKES v)) ⇒ Ord (SignKeyKES v) Source #
Instance details Defined in Cardano.Crypto.KES.Class Methods compare ∷ SignKeyKES v → SignKeyKES v → Ordering Source # (<) ∷ SignKeyKES v → SignKeyKES v → Bool Source # (<=) ∷ SignKeyKES v → SignKeyKES v → Bool Source # (>) ∷ SignKeyKES v → SignKeyKES v → Bool Source # (>=) ∷ SignKeyKES v → SignKeyKES v → Bool Source # max ∷ SignKeyKES v → SignKeyKES v → SignKeyKES v Source # min ∷ SignKeyKES v → SignKeyKES v → SignKeyKES v Source #
DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks ∷ Context → SignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (CompactSingleKES d)) → String Source #
NoThunks (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → SignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (CompactSumKES h d)) → String Source #
NoThunks (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks ∷ Context → SignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (MockKES t)) → String Source #
NoThunks (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks ∷ Context → SignKeyKES NeverKES → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES NeverKES → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES NeverKES) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks ∷ Context → SignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (SimpleKES d t)) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks ∷ Context → SignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (SingleKES d)) → String Source #
NoThunks (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks ∷ Context → SignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (SumKES h d)) → String Source #
data SignKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SignKeyKES NeverKES = NeverUsedSignKeyKES
type Rep (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep (SignKeyKES (MockKES t)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "SignKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Period)))
type Rep (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (SignKeyKES NeverKES) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSignKeyKES" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep (SignKeyKES (SimpleKES d t)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "ThunkySignKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGNM d)))))
newtype SignKeyKES (CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle newtype SignKeyKES (CompactSingleKES d) = SignKeyCompactSingleKES (SignKeyDSIGNM d)
data SignKeyKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock data SignKeyKES (MockKES t) = SignKeyMockKES !(VerKeyKES (MockKES t)) !Period
newtype SignKeyKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype SignKeyKES (SingleKES d) = SignKeySingleKES (SignKeyDSIGNM d)
data SignKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum data SignKeyKES (CompactSumKES h d) = SignKeyCompactSumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)
newtype SignKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SignKeyKES (SimpleKES d t) = ThunkySignKeySimpleKES (Vector (SignKeyDSIGNM d))
data SignKeyKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum data SignKeyKES (SumKES h d) = SignKeySumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)

data family SigKES v ∷ Type Source #

Instances

Instances details

Generic (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Associated Types type Rep (SigKES (CompactSingleKES d)) ∷ Type → Type Source # Methods from ∷ SigKES (CompactSingleKES d) → Rep (SigKES (CompactSingleKES d)) x Source # to ∷ Rep (SigKES (CompactSingleKES d)) x → SigKES (CompactSingleKES d) Source #
Generic (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types type Rep (SigKES (CompactSumKES h d)) ∷ Type → Type Source # Methods from ∷ SigKES (CompactSumKES h d) → Rep (SigKES (CompactSumKES h d)) x Source # to ∷ Rep (SigKES (CompactSumKES h d)) x → SigKES (CompactSumKES h d) Source #
Generic (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Associated Types type Rep (SigKES (MockKES t)) ∷ Type → Type Source # Methods from ∷ SigKES (MockKES t) → Rep (SigKES (MockKES t)) x Source # to ∷ Rep (SigKES (MockKES t)) x → SigKES (MockKES t) Source #
Generic (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (SigKES NeverKES) ∷ Type → Type Source # Methods from ∷ SigKES NeverKES → Rep (SigKES NeverKES) x Source # to ∷ Rep (SigKES NeverKES) x → SigKES NeverKES Source #
Generic (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (SigKES (SimpleKES d t)) ∷ Type → Type Source # Methods from ∷ SigKES (SimpleKES d t) → Rep (SigKES (SimpleKES d t)) x Source # to ∷ Rep (SigKES (SimpleKES d t)) x → SigKES (SimpleKES d t) Source #
Generic (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Associated Types type Rep (SigKES (SingleKES d)) ∷ Type → Type Source # Methods from ∷ SigKES (SingleKES d) → Rep (SigKES (SingleKES d)) x Source # to ∷ Rep (SigKES (SingleKES d)) x → SigKES (SingleKES d) Source #
Generic (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (SigKES (SumKES h d)) ∷ Type → Type Source # Methods from ∷ SigKES (SumKES h d) → Rep (SigKES (SumKES h d)) x Source # to ∷ Rep (SigKES (SumKES h d)) x → SigKES (SumKES h d) Source #
DSIGNMAlgorithm d ⇒ Show (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods showsPrec ∷ Int → SigKES (CompactSingleKES d) → ShowS Source # show ∷ SigKES (CompactSingleKES d) → String Source # showList ∷ [SigKES (CompactSingleKES d)] → ShowS Source #
KESAlgorithm d ⇒ Show (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods showsPrec ∷ Int → SigKES (CompactSumKES h d) → ShowS Source # show ∷ SigKES (CompactSumKES h d) → String Source # showList ∷ [SigKES (CompactSumKES h d)] → ShowS Source #
Show (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods showsPrec ∷ Int → SigKES (MockKES t) → ShowS Source # show ∷ SigKES (MockKES t) → String Source # showList ∷ [SigKES (MockKES t)] → ShowS Source #
Show (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec ∷ Int → SigKES NeverKES → ShowS Source # show ∷ SigKES NeverKES → String Source # showList ∷ [SigKES NeverKES] → ShowS Source #
DSIGNMAlgorithm d ⇒ Show (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec ∷ Int → SigKES (SimpleKES d t) → ShowS Source # show ∷ SigKES (SimpleKES d t) → String Source # showList ∷ [SigKES (SimpleKES d t)] → ShowS Source #
DSIGNAlgorithm d ⇒ Show (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods showsPrec ∷ Int → SigKES (SingleKES d) → ShowS Source # show ∷ SigKES (SingleKES d) → String Source # showList ∷ [SigKES (SingleKES d)] → ShowS Source #
(KESAlgorithm d, KESAlgorithm (SumKES h d)) ⇒ Show (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec ∷ Int → SigKES (SumKES h d) → ShowS Source # show ∷ SigKES (SumKES h d) → String Source # showList ∷ [SigKES (SumKES h d)] → ShowS Source #
(DSIGNMAlgorithm d, KnownNat (SizeSigKES (CompactSingleKES d))) ⇒ FromCBOR (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods fromCBOR ∷ Decoder s (SigKES (CompactSingleKES d)) Source # label ∷ Proxy (SigKES (CompactSingleKES d)) → Text Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR ∷ Decoder s (SigKES (CompactSumKES h d)) Source # label ∷ Proxy (SigKES (CompactSumKES h d)) → Text Source #
KnownNat t ⇒ FromCBOR (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR ∷ Decoder s (SigKES (MockKES t)) Source # label ∷ Proxy (SigKES (MockKES t)) → Text Source #
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ FromCBOR (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods fromCBOR ∷ Decoder s (SigKES (SimpleKES d t)) Source # label ∷ Proxy (SigKES (SimpleKES d t)) → Text Source #
DSIGNMAlgorithm d ⇒ FromCBOR (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR ∷ Decoder s (SigKES (SingleKES d)) Source # label ∷ Proxy (SigKES (SingleKES d)) → Text Source #
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ FromCBOR (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR ∷ Decoder s (SigKES (SumKES h d)) Source # label ∷ Proxy (SigKES (SumKES h d)) → Text Source #
(DSIGNMAlgorithm d, KnownNat (SizeSigKES (CompactSingleKES d))) ⇒ ToCBOR (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR ∷ SigKES (CompactSingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (CompactSingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (CompactSingleKES d)] → Size Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR ∷ SigKES (CompactSumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (CompactSumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (CompactSumKES h d)] → Size Source #
KnownNat t ⇒ ToCBOR (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods toCBOR ∷ SigKES (MockKES t) → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (SigKES (MockKES t)) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [SigKES (MockKES t)] → Size Source #
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ ToCBOR (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods toCBOR ∷ SigKES (SimpleKES d t) → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (SigKES (SimpleKES d t)) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [SigKES (SimpleKES d t)] → Size Source #
DSIGNMAlgorithm d ⇒ ToCBOR (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR ∷ SigKES (SingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (SingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (SingleKES d)] → Size Source #
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ ToCBOR (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR ∷ SigKES (SumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (SumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (SumKES h d)] → Size Source #
(NFData (SigDSIGN d), NFData (VerKeyDSIGN d)) ⇒ NFData (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods rnf ∷ SigKES (CompactSingleKES d) → () Source #
(NFData (SigKES d), NFData (VerKeyKES d)) ⇒ NFData (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf ∷ SigKES (CompactSumKES h d) → () Source #
NFData (SigDSIGN d) ⇒ NFData (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods rnf ∷ SigKES (SingleKES d) → () Source #
(NFData (SigKES d), NFData (VerKeyKES d)) ⇒ NFData (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods rnf ∷ SigKES (SumKES h d) → () Source #
DSIGNMAlgorithm d ⇒ Eq (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods (==) ∷ SigKES (CompactSingleKES d) → SigKES (CompactSingleKES d) → Bool Source # (/=) ∷ SigKES (CompactSingleKES d) → SigKES (CompactSingleKES d) → Bool Source #
KESAlgorithm d ⇒ Eq (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods (==) ∷ SigKES (CompactSumKES h d) → SigKES (CompactSumKES h d) → Bool Source # (/=) ∷ SigKES (CompactSumKES h d) → SigKES (CompactSumKES h d) → Bool Source #
Eq (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods (==) ∷ SigKES (MockKES t) → SigKES (MockKES t) → Bool Source # (/=) ∷ SigKES (MockKES t) → SigKES (MockKES t) → Bool Source #
Eq (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) ∷ SigKES NeverKES → SigKES NeverKES → Bool Source # (/=) ∷ SigKES NeverKES → SigKES NeverKES → Bool Source #
DSIGNMAlgorithm d ⇒ Eq (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods (==) ∷ SigKES (SimpleKES d t) → SigKES (SimpleKES d t) → Bool Source # (/=) ∷ SigKES (SimpleKES d t) → SigKES (SimpleKES d t) → Bool Source #
DSIGNAlgorithm d ⇒ Eq (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods (==) ∷ SigKES (SingleKES d) → SigKES (SingleKES d) → Bool Source # (/=) ∷ SigKES (SingleKES d) → SigKES (SingleKES d) → Bool Source #
(KESAlgorithm d, KESAlgorithm (SumKES h d)) ⇒ Eq (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods (==) ∷ SigKES (SumKES h d) → SigKES (SumKES h d) → Bool Source # (/=) ∷ SigKES (SumKES h d) → SigKES (SumKES h d) → Bool Source #
DSIGNMAlgorithm d ⇒ NoThunks (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks ∷ Context → SigKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (CompactSingleKES d)) → String Source #
KESAlgorithm d ⇒ NoThunks (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → SigKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (CompactSumKES h d)) → String Source #
NoThunks (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks ∷ Context → SigKES (MockKES t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (MockKES t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (MockKES t)) → String Source #
NoThunks (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks ∷ Context → SigKES NeverKES → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES NeverKES → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES NeverKES) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks ∷ Context → SigKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (SimpleKES d t)) → String Source #
DSIGNAlgorithm d ⇒ NoThunks (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks ∷ Context → SigKES (SingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (SingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (SingleKES d)) → String Source #
KESAlgorithm d ⇒ NoThunks (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks ∷ Context → SigKES (SumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (SumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (SumKES h d)) → String Source #
data SigKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SigKES NeverKES = NeverUsedSigKES
type Rep (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep (SigKES (CompactSingleKES d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "SigCompactSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigDSIGN d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyDSIGN d))))
type Rep (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type Rep (SigKES (CompactSumKES h d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "SigCompactSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d))))
type Rep (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep (SigKES (MockKES t)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "SigMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES (MockKES t)))))
type Rep (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (SigKES NeverKES) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSigKES" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep (SigKES (SimpleKES d t)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "SigSimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))
type Rep (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single type Rep (SigKES (SingleKES d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "SigSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))
type Rep (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type Rep (SigKES (SumKES h d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "SigSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
data SigKES (CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle data SigKES (CompactSingleKES d) = SigCompactSingleKES !(SigDSIGN d) !(VerKeyDSIGN d)
data SigKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock data SigKES (MockKES t) = SigMockKES !(Hash ShortHash ()) !(SignKeyKES (MockKES t))
newtype SigKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype SigKES (SingleKES d) = SigSingleKES (SigDSIGN d)
data SigKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum data SigKES (CompactSumKES h d) = SigCompactSumKES !(SigKES d) !(VerKeyKES d)
newtype SigKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SigKES (SimpleKES d t) = SigSimpleKES (SigDSIGN d)
data SigKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum data SigKES (SumKES h d) = SigSumKES !(SigKES d) !(VerKeyKES d) !(VerKeyKES d)

Type aliases for powers of binary sums

type CompactSum0KES d = CompactSingleKES d Source #

A 2^0 period KES

type CompactSum1KES d h = CompactSumKES h (CompactSum0KES d) Source #

A 2^1 period KES

type CompactSum2KES d h = CompactSumKES h (CompactSum1KES d h) Source #

A 2^2 period KES

type CompactSum3KES d h = CompactSumKES h (CompactSum2KES d h) Source #

A 2^3 period KES

type CompactSum4KES d h = CompactSumKES h (CompactSum3KES d h) Source #

A 2^4 period KES

type CompactSum5KES d h = CompactSumKES h (CompactSum4KES d h) Source #

A 2^5 period KES

type CompactSum6KES d h = CompactSumKES h (CompactSum5KES d h) Source #

A 2^6 period KES

type CompactSum7KES d h = CompactSumKES h (CompactSum6KES d h) Source #

A 2^7 period KES