Safe Haskell	None
Language	Haskell2010

Cardano.Crypto.KES.Sum

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.Single for the base case.

Synopsis

data SumKES h d
data family VerKeyKES v :: Type
data family SignKeyKES v :: Type
data family SigKES v :: Type
type Sum0KES d = SingleKES d
type Sum1KES d h = SumKES h (Sum0KES d)
type Sum2KES d h = SumKES h (Sum1KES d h)
type Sum3KES d h = SumKES h (Sum2KES d h)
type Sum4KES d h = SumKES h (Sum3KES d h)
type Sum5KES d h = SumKES h (Sum4KES d h)
type Sum6KES d h = SumKES h (Sum5KES d h)
type Sum7KES d h = SumKES h (Sum6KES d h)

Documentation

data SumKES 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

Eq (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods (==) :: VerKeyKES (SumKES h d) -> VerKeyKES (SumKES h d) -> Bool # (/=) :: VerKeyKES (SumKES h d) -> VerKeyKES (SumKES h d) -> Bool #
KESAlgorithm 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 # (/=) :: SigKES (SumKES h d) -> SigKES (SumKES h d) -> Bool #
Show (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec :: Int -> VerKeyKES (SumKES h d) -> ShowS # show :: VerKeyKES (SumKES h d) -> String # showList :: [VerKeyKES (SumKES h d)] -> ShowS #
(KnownNat (SizeHash h), KESAlgorithm d) => Show (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec :: Int -> SignKeyKES (SumKES h d) -> ShowS # show :: SignKeyKES (SumKES h d) -> String # showList :: [SignKeyKES (SumKES h d)] -> ShowS #
KESAlgorithm d => Show (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec :: Int -> SigKES (SumKES h d) -> ShowS # show :: SigKES (SumKES h d) -> String # showList :: [SigKES (SumKES h d)] -> ShowS #
Generic (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (VerKeyKES (SumKES h d)) :: Type -> Type # Methods from :: VerKeyKES (SumKES h d) -> Rep (VerKeyKES (SumKES h d)) x # to :: Rep (VerKeyKES (SumKES h d)) x -> VerKeyKES (SumKES h d) #
Generic (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (SignKeyKES (SumKES h d)) :: Type -> Type # Methods from :: SignKeyKES (SumKES h d) -> Rep (SignKeyKES (SumKES h d)) x # to :: Rep (SignKeyKES (SumKES h d)) x -> SignKeyKES (SumKES h d) #
Generic (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (SigKES (SumKES h d)) :: Type -> Type # Methods from :: SigKES (SumKES h d) -> Rep (SigKES (SumKES h d)) x # to :: Rep (SigKES (SumKES h d)) x -> SigKES (SumKES h d) #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, 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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (SumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (SumKES h d)] -> Size Source #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => ToCBOR (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR :: SignKeyKES (SumKES h d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (SumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (SumKES h d)] -> Size Source #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, 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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (SumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (SumKES h d)] -> Size Source #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, 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 #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => FromCBOR (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR :: Decoder s (SignKeyKES (SumKES h d)) Source # label :: Proxy (SignKeyKES (SumKES h d)) -> Text Source #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, 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 #
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 #
KESAlgorithm d => 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 #
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 #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => KESAlgorithm (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type SeedSizeKES (SumKES h d) :: Nat Source # data VerKeyKES (SumKES h d) Source # data SignKeyKES (SumKES h d) Source # data SigKES (SumKES h d) Source # type ContextKES (SumKES h d) Source # type Signable (SumKES h d) :: Type -> Constraint Source # Methods algorithmNameKES :: proxy (SumKES h d) -> String Source # deriveVerKeyKES :: SignKeyKES (SumKES h d) -> VerKeyKES (SumKES h d) Source # hashVerKeyKES :: HashAlgorithm h0 => VerKeyKES (SumKES h d) -> Hash h0 (VerKeyKES (SumKES h d)) Source # signKES :: (Signable (SumKES h d) a, HasCallStack) => ContextKES (SumKES h d) -> Period -> a -> SignKeyKES (SumKES h d) -> SigKES (SumKES h d) Source # verifyKES :: (Signable (SumKES h d) a, HasCallStack) => ContextKES (SumKES h d) -> VerKeyKES (SumKES h d) -> Period -> a -> SigKES (SumKES h d) -> Either String () Source # updateKES :: ContextKES (SumKES h d) -> SignKeyKES (SumKES h d) -> Period -> Maybe (SignKeyKES (SumKES h d)) Source # totalPeriodsKES :: proxy (SumKES h d) -> Word Source # genKeyKES :: MLockedSizedBytes (SeedSizeKES (SumKES h d)) -> SignKeyKES (SumKES h d) Source # seedSizeKES :: proxy (SumKES h d) -> Word Source # forgetSignKeyKES :: SignKeyKES (SumKES h d) -> IO () Source # sizeVerKeyKES :: proxy (SumKES h d) -> Word Source # sizeSignKeyKES :: proxy (SumKES h d) -> Word Source # sizeSigKES :: proxy (SumKES h d) -> Word Source # rawSerialiseVerKeyKES :: VerKeyKES (SumKES h d) -> ByteString Source # rawSerialiseSignKeyKES :: SignKeyKES (SumKES h d) -> ByteString Source # rawSerialiseSigKES :: SigKES (SumKES h d) -> ByteString Source # rawDeserialiseVerKeyKES :: ByteString -> Maybe (VerKeyKES (SumKES h d)) Source # rawDeserialiseSignKeyKES :: ByteString -> Maybe (SignKeyKES (SumKES h d)) Source # rawDeserialiseSigKES :: ByteString -> Maybe (SigKES (SumKES h d)) Source #
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.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "VerKeySumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))
type Rep (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type Rep (SignKeyKES (SumKES h d)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'False) (C1 ('MetaCons "SignKeySumKES" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES d)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MLockedSizedBytes (SeedSizeKES d)))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES 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.0.0-65D1eTYKcW5D111kOYsKfk" '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)))))
type SeedSizeKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type SeedSizeKES (SumKES h d) = SeedSizeKES 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 SignKeyKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum data SignKeyKES (SumKES h d) = SignKeySumKES !(SignKeyKES d) !(MLockedSizedBytes (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES 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 ContextKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type ContextKES (SumKES h d) = ContextKES d
type Signable (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type Signable (SumKES h d) = Signable d

data family VerKeyKES v :: Type Source #

Instances

Instances details

DSIGNAlgorithm d => Eq (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods (==) :: VerKeyKES (SingleKES d) -> VerKeyKES (SingleKES d) -> Bool # (/=) :: VerKeyKES (SingleKES d) -> VerKeyKES (SingleKES d) -> Bool #
Eq (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods (==) :: VerKeyKES (SumKES h d) -> VerKeyKES (SumKES h d) -> Bool # (/=) :: VerKeyKES (SumKES h d) -> VerKeyKES (SumKES h d) -> Bool #
DSIGNAlgorithm 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 # (/=) :: VerKeyKES (SimpleKES d t) -> VerKeyKES (SimpleKES d t) -> Bool #
Eq (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Bool # (/=) :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Bool #
Eq (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods (==) :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> Bool # (/=) :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> Bool #
Ord (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods compare :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Ordering # (<) :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Bool # (<=) :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Bool # (>) :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Bool # (>=) :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Bool # max :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> VerKeyKES NeverKES # min :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> VerKeyKES NeverKES #
Ord (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods compare :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> Ordering # (<) :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> Bool # (<=) :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> Bool # (>) :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> Bool # (>=) :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> Bool # max :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) # min :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) #
DSIGNAlgorithm d => Show (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods showsPrec :: Int -> VerKeyKES (SingleKES d) -> ShowS # show :: VerKeyKES (SingleKES d) -> String # showList :: [VerKeyKES (SingleKES d)] -> ShowS #
Show (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec :: Int -> VerKeyKES (SumKES h d) -> ShowS # show :: VerKeyKES (SumKES h d) -> String # showList :: [VerKeyKES (SumKES h d)] -> ShowS #
DSIGNAlgorithm d => Show (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec :: Int -> VerKeyKES (SimpleKES d t) -> ShowS # show :: VerKeyKES (SimpleKES d t) -> String # showList :: [VerKeyKES (SimpleKES d t)] -> ShowS #
Show (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec :: Int -> VerKeyKES NeverKES -> ShowS # show :: VerKeyKES NeverKES -> String # showList :: [VerKeyKES NeverKES] -> ShowS #
Show (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods showsPrec :: Int -> VerKeyKES (MockKES t) -> ShowS # show :: VerKeyKES (MockKES t) -> String # showList :: [VerKeyKES (MockKES t)] -> ShowS #
Generic (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Associated Types type Rep (VerKeyKES (SingleKES d)) :: Type -> Type # Methods from :: VerKeyKES (SingleKES d) -> Rep (VerKeyKES (SingleKES d)) x # to :: Rep (VerKeyKES (SingleKES d)) x -> VerKeyKES (SingleKES d) #
Generic (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (VerKeyKES (SumKES h d)) :: Type -> Type # Methods from :: VerKeyKES (SumKES h d) -> Rep (VerKeyKES (SumKES h d)) x # to :: Rep (VerKeyKES (SumKES h d)) x -> VerKeyKES (SumKES h d) #
Generic (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (VerKeyKES (SimpleKES d t)) :: Type -> Type # Methods from :: VerKeyKES (SimpleKES d t) -> Rep (VerKeyKES (SimpleKES d t)) x # to :: Rep (VerKeyKES (SimpleKES d t)) x -> VerKeyKES (SimpleKES d t) #
Generic (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (VerKeyKES NeverKES) :: Type -> Type # Methods from :: VerKeyKES NeverKES -> Rep (VerKeyKES NeverKES) x # to :: Rep (VerKeyKES NeverKES) x -> VerKeyKES NeverKES #
Generic (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Associated Types type Rep (VerKeyKES (MockKES t)) :: Type -> Type # Methods from :: VerKeyKES (MockKES t) -> Rep (VerKeyKES (MockKES t)) x # to :: Rep (VerKeyKES (MockKES t)) x -> VerKeyKES (MockKES t) #
SodiumDSIGNAlgorithm d => ToCBOR (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR :: VerKeyKES (SingleKES d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (SingleKES d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (SingleKES d)] -> Size Source #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, 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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (SumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (SumKES h d)] -> Size Source #
(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN 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 :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (VerKeyKES (SimpleKES d t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [VerKeyKES (SimpleKES d t)] -> 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 :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (VerKeyKES (MockKES t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [VerKeyKES (MockKES t)] -> Size Source #
SodiumDSIGNAlgorithm 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 d, SodiumHashAlgorithm h, Typeable d, 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 #
(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN 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 #
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 #
DSIGNAlgorithm 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 #
DSIGNAlgorithm 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 #
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 #
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 #
data VerKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data VerKeyKES NeverKES = NeverUsedVerKeyKES
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.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "VerKeySingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SodiumVerKeyDSIGN 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.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "VerKeySumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))
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.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "ThunkyVerKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (VerKeyDSIGN d)))))
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.0.0-65D1eTYKcW5D111kOYsKfk" 'False) (C1 ('MetaCons "NeverUsedVerKeyKES" 'PrefixI 'False) (U1 :: Type -> Type))
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.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "VerKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
newtype VerKeyKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype VerKeyKES (SingleKES d) = VerKeySingleKES (SodiumVerKeyDSIGN d)
newtype VerKeyKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock newtype VerKeyKES (MockKES t) = VerKeyMockKES Word64
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))
newtype VerKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype VerKeyKES (SimpleKES d t) = ThunkyVerKeySimpleKES (Vector (VerKeyDSIGN d))

data family SignKeyKES v :: Type Source #

Instances

Instances details

Eq (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Bool # (/=) :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Bool #
Eq (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods (==) :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> Bool # (/=) :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> Bool #
Ord (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods compare :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Ordering # (<) :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Bool # (<=) :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Bool # (>) :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Bool # (>=) :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Bool # max :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> SignKeyKES NeverKES # min :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> SignKeyKES NeverKES #
Ord (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods compare :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> Ordering # (<) :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> Bool # (<=) :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> Bool # (>) :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> Bool # (>=) :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> Bool # max :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) # min :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) #
DSIGNAlgorithm d => Show (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods showsPrec :: Int -> SignKeyKES (SingleKES d) -> ShowS # show :: SignKeyKES (SingleKES d) -> String # showList :: [SignKeyKES (SingleKES d)] -> ShowS #
(KnownNat (SizeHash h), KESAlgorithm d) => Show (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec :: Int -> SignKeyKES (SumKES h d) -> ShowS # show :: SignKeyKES (SumKES h d) -> String # showList :: [SignKeyKES (SumKES h d)] -> ShowS #
DSIGNAlgorithm d => Show (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec :: Int -> SignKeyKES (SimpleKES d t) -> ShowS # show :: SignKeyKES (SimpleKES d t) -> String # showList :: [SignKeyKES (SimpleKES d t)] -> ShowS #
Show (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec :: Int -> SignKeyKES NeverKES -> ShowS # show :: SignKeyKES NeverKES -> String # showList :: [SignKeyKES NeverKES] -> ShowS #
Show (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods showsPrec :: Int -> SignKeyKES (MockKES t) -> ShowS # show :: SignKeyKES (MockKES t) -> String # showList :: [SignKeyKES (MockKES t)] -> ShowS #
Generic (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Associated Types type Rep (SignKeyKES (SingleKES d)) :: Type -> Type # Methods from :: SignKeyKES (SingleKES d) -> Rep (SignKeyKES (SingleKES d)) x # to :: Rep (SignKeyKES (SingleKES d)) x -> SignKeyKES (SingleKES d) #
Generic (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (SignKeyKES (SumKES h d)) :: Type -> Type # Methods from :: SignKeyKES (SumKES h d) -> Rep (SignKeyKES (SumKES h d)) x # to :: Rep (SignKeyKES (SumKES h d)) x -> SignKeyKES (SumKES h d) #
Generic (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (SignKeyKES (SimpleKES d t)) :: Type -> Type # Methods from :: SignKeyKES (SimpleKES d t) -> Rep (SignKeyKES (SimpleKES d t)) x # to :: Rep (SignKeyKES (SimpleKES d t)) x -> SignKeyKES (SimpleKES d t) #
Generic (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (SignKeyKES NeverKES) :: Type -> Type # Methods from :: SignKeyKES NeverKES -> Rep (SignKeyKES NeverKES) x # to :: Rep (SignKeyKES NeverKES) x -> SignKeyKES NeverKES #
Generic (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Associated Types type Rep (SignKeyKES (MockKES t)) :: Type -> Type # Methods from :: SignKeyKES (MockKES t) -> Rep (SignKeyKES (MockKES t)) x # to :: Rep (SignKeyKES (MockKES t)) x -> SignKeyKES (MockKES t) #
SodiumDSIGNAlgorithm d => ToCBOR (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR :: SignKeyKES (SingleKES d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (SingleKES d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (SingleKES d)] -> Size Source #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => ToCBOR (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR :: SignKeyKES (SumKES h d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (SumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (SumKES h d)] -> Size Source #
(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => ToCBOR (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods toCBOR :: SignKeyKES (SimpleKES d t) -> Encoding Source # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SignKeyKES (SimpleKES d t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SignKeyKES (SimpleKES d t)] -> Size Source #
KnownNat t => ToCBOR (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods toCBOR :: SignKeyKES (MockKES t) -> Encoding Source # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SignKeyKES (MockKES t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SignKeyKES (MockKES t)] -> Size Source #
SodiumDSIGNAlgorithm d => FromCBOR (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR :: Decoder s (SignKeyKES (SingleKES d)) Source # label :: Proxy (SignKeyKES (SingleKES d)) -> Text Source #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => FromCBOR (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR :: Decoder s (SignKeyKES (SumKES h d)) Source # label :: Proxy (SignKeyKES (SumKES h d)) -> Text Source #
(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => FromCBOR (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods fromCBOR :: Decoder s (SignKeyKES (SimpleKES d t)) Source # label :: Proxy (SignKeyKES (SimpleKES d t)) -> Text Source #
KnownNat t => FromCBOR (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR :: Decoder s (SignKeyKES (MockKES t)) Source # label :: Proxy (SignKeyKES (MockKES t)) -> Text Source #
DSIGNAlgorithm 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 #
KESAlgorithm d => 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 #
DSIGNAlgorithm 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 #
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 #
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 #
data SignKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SignKeyKES NeverKES = NeverUsedSignKeyKES
type Rep (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single type Rep (SignKeyKES (SingleKES d)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "SignKeySingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SodiumSignKeyDSIGN d))))
type Rep (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type Rep (SignKeyKES (SumKES h d)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'False) (C1 ('MetaCons "SignKeySumKES" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES d)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MLockedSizedBytes (SeedSizeKES d)))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
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.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "ThunkySignKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGN d)))))
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.0.0-65D1eTYKcW5D111kOYsKfk" 'False) (C1 ('MetaCons "NeverUsedSignKeyKES" 'PrefixI 'False) (U1 :: Type -> Type))
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.0.0-65D1eTYKcW5D111kOYsKfk" '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)))
newtype SignKeyKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype SignKeyKES (SingleKES d) = SignKeySingleKES (SodiumSignKeyDSIGN d)
data SignKeyKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock data SignKeyKES (MockKES t) = SignKeyMockKES !(VerKeyKES (MockKES t)) !Period
data SignKeyKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum data SignKeyKES (SumKES h d) = SignKeySumKES !(SignKeyKES d) !(MLockedSizedBytes (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 (SignKeyDSIGN d))

data family SigKES v :: Type Source #

Instances

Instances details

DSIGNAlgorithm d => Eq (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods (==) :: SigKES (SingleKES d) -> SigKES (SingleKES d) -> Bool # (/=) :: SigKES (SingleKES d) -> SigKES (SingleKES d) -> Bool #
KESAlgorithm 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 # (/=) :: SigKES (SumKES h d) -> SigKES (SumKES h d) -> Bool #
DSIGNAlgorithm 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 # (/=) :: SigKES (SimpleKES d t) -> SigKES (SimpleKES d t) -> Bool #
Eq (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) :: SigKES NeverKES -> SigKES NeverKES -> Bool # (/=) :: SigKES NeverKES -> SigKES NeverKES -> Bool #
Eq (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods (==) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool # (/=) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool #
Ord (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods compare :: SigKES NeverKES -> SigKES NeverKES -> Ordering # (<) :: SigKES NeverKES -> SigKES NeverKES -> Bool # (<=) :: SigKES NeverKES -> SigKES NeverKES -> Bool # (>) :: SigKES NeverKES -> SigKES NeverKES -> Bool # (>=) :: SigKES NeverKES -> SigKES NeverKES -> Bool # max :: SigKES NeverKES -> SigKES NeverKES -> SigKES NeverKES # min :: SigKES NeverKES -> SigKES NeverKES -> SigKES NeverKES #
Ord (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods compare :: SigKES (MockKES t) -> SigKES (MockKES t) -> Ordering # (<) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool # (<=) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool # (>) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool # (>=) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool # max :: SigKES (MockKES t) -> SigKES (MockKES t) -> SigKES (MockKES t) # min :: SigKES (MockKES t) -> SigKES (MockKES t) -> SigKES (MockKES t) #
DSIGNAlgorithm d => Show (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods showsPrec :: Int -> SigKES (SingleKES d) -> ShowS # show :: SigKES (SingleKES d) -> String # showList :: [SigKES (SingleKES d)] -> ShowS #
KESAlgorithm d => Show (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec :: Int -> SigKES (SumKES h d) -> ShowS # show :: SigKES (SumKES h d) -> String # showList :: [SigKES (SumKES h d)] -> ShowS #
DSIGNAlgorithm d => Show (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec :: Int -> SigKES (SimpleKES d t) -> ShowS # show :: SigKES (SimpleKES d t) -> String # showList :: [SigKES (SimpleKES d t)] -> ShowS #
Show (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec :: Int -> SigKES NeverKES -> ShowS # show :: SigKES NeverKES -> String # showList :: [SigKES NeverKES] -> ShowS #
Show (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods showsPrec :: Int -> SigKES (MockKES t) -> ShowS # show :: SigKES (MockKES t) -> String # showList :: [SigKES (MockKES t)] -> ShowS #
Generic (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Associated Types type Rep (SigKES (SingleKES d)) :: Type -> Type # Methods from :: SigKES (SingleKES d) -> Rep (SigKES (SingleKES d)) x # to :: Rep (SigKES (SingleKES d)) x -> SigKES (SingleKES d) #
Generic (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (SigKES (SumKES h d)) :: Type -> Type # Methods from :: SigKES (SumKES h d) -> Rep (SigKES (SumKES h d)) x # to :: Rep (SigKES (SumKES h d)) x -> SigKES (SumKES h d) #
Generic (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (SigKES (SimpleKES d t)) :: Type -> Type # Methods from :: SigKES (SimpleKES d t) -> Rep (SigKES (SimpleKES d t)) x # to :: Rep (SigKES (SimpleKES d t)) x -> SigKES (SimpleKES d t) #
Generic (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (SigKES NeverKES) :: Type -> Type # Methods from :: SigKES NeverKES -> Rep (SigKES NeverKES) x # to :: Rep (SigKES NeverKES) x -> SigKES NeverKES #
Generic (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Associated Types type Rep (SigKES (MockKES t)) :: Type -> Type # Methods from :: SigKES (MockKES t) -> Rep (SigKES (MockKES t)) x # to :: Rep (SigKES (MockKES t)) x -> SigKES (MockKES t) #
SodiumDSIGNAlgorithm d => ToCBOR (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR :: SigKES (SingleKES d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (SingleKES d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (SingleKES d)] -> Size Source #
(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, 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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (SumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (SumKES h d)] -> Size Source #
(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN 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 :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SigKES (SimpleKES d t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SigKES (SimpleKES d t)] -> 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 :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SigKES (MockKES t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SigKES (MockKES t)] -> Size Source #
SodiumDSIGNAlgorithm 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 d, SodiumHashAlgorithm h, Typeable d, 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 #
(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN 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 #
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 #
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 #
DSIGNAlgorithm 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 #
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 #
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 #
data SigKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SigKES NeverKES = NeverUsedSigKES
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.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "SigSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SodiumSigDSIGN 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.0.0-65D1eTYKcW5D111kOYsKfk" '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)))))
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.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "SigSimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))
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.0.0-65D1eTYKcW5D111kOYsKfk" 'False) (C1 ('MetaCons "NeverUsedSigKES" 'PrefixI 'False) (U1 :: Type -> Type))
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.0.0-65D1eTYKcW5D111kOYsKfk" 'False) (C1 ('MetaCons "SigMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash MD5 ())) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES (MockKES t)))))
newtype SigKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype SigKES (SingleKES d) = SigSingleKES (SodiumSigDSIGN d)
data SigKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock data SigKES (MockKES t) = SigMockKES !(Hash MD5 ()) !(SignKeyKES (MockKES t))
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)
newtype SigKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SigKES (SimpleKES d t) = SigSimpleKES (SigDSIGN d)

Type aliases for powers of binary sums

type Sum0KES d = SingleKES d Source #

A 2^0 period KES

type Sum1KES d h = SumKES h (Sum0KES d) Source #

A 2^1 period KES

type Sum2KES d h = SumKES h (Sum1KES d h) Source #

A 2^2 period KES

type Sum3KES d h = SumKES h (Sum2KES d h) Source #

A 2^3 period KES

type Sum4KES d h = SumKES h (Sum3KES d h) Source #

A 2^4 period KES

type Sum5KES d h = SumKES h (Sum4KES d h) Source #

A 2^5 period KES

type Sum6KES d h = SumKES h (Sum5KES d h) Source #

A 2^6 period KES

type Sum7KES d h = SumKES h (Sum6KES d h) Source #

A 2^7 period KES