cardano-crypto-class-2.0.0.0.1: Type classes abstracting over cryptography primitives for Cardano
Safe Haskell None
Language Haskell2010

Cardano.Crypto.KES.CompactSingle

Description

A standard signature scheme is a forward-secure signature scheme with a single time period.

This is the base case in the naive recursive implementation of the sum composition from section 3 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 it states:

In order to unify the presentation, we regard standard signature schemes
as forward-seure signature schemes with one time period, namely T = 1.

So this module simply provides a wrapper CompactSingleKES that turns any DSIGNAlgorithm into an instance of KESAlgorithm with a single period.

See Cardano.Crypto.KES.CompactSum for the composition case.

Compared to the implementation in Single , this flavor stores the VerKey used for signing along with the signature. The purpose of this is so that we can avoid storing a pair of VerKeys at every branch node, like Sum does. See CompactSum for more details.

Synopsis

Documentation

data CompactSingleKES d Source #

A standard signature scheme is a forward-secure signature scheme with a single time period.

Instances

Instances details
DSIGNAlgorithm d => Eq ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => Eq ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => Show ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => Show ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => Show ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Generic ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Generic ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Generic ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => ToCBOR ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => ToCBOR ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => ToCBOR ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => FromCBOR ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => FromCBOR ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => FromCBOR ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

NFData ( VerKeyDSIGN d) => NFData ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

NFData ( SignKeyDSIGN d) => NFData ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( NFData ( SigDSIGN d), NFData ( VerKeyDSIGN d)) => NFData ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => NoThunks ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => NoThunks ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

DSIGNAlgorithm d => NoThunks ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( KESAlgorithm ( CompactSingleKES d), DSIGNAlgorithm d) => OptimizedKESAlgorithm ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( DSIGNAlgorithm d, Typeable d) => KESAlgorithm ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

algorithmNameKES :: proxy ( CompactSingleKES d) -> String Source #

deriveVerKeyKES :: SignKeyKES ( CompactSingleKES d) -> VerKeyKES ( CompactSingleKES d) Source #

hashVerKeyKES :: HashAlgorithm h => VerKeyKES ( CompactSingleKES d) -> Hash h ( VerKeyKES ( CompactSingleKES d)) Source #

signKES :: ( Signable ( CompactSingleKES d) a, HasCallStack ) => ContextKES ( CompactSingleKES d) -> Period -> a -> SignKeyKES ( CompactSingleKES d) -> SigKES ( CompactSingleKES d) Source #

verifyKES :: ( Signable ( CompactSingleKES d) a, HasCallStack ) => ContextKES ( CompactSingleKES d) -> VerKeyKES ( CompactSingleKES d) -> Period -> a -> SigKES ( CompactSingleKES d) -> Either String () Source #

updateKES :: ContextKES ( CompactSingleKES d) -> SignKeyKES ( CompactSingleKES d) -> Period -> Maybe ( SignKeyKES ( CompactSingleKES d)) Source #

totalPeriodsKES :: proxy ( CompactSingleKES d) -> Word Source #

genKeyKES :: Seed -> SignKeyKES ( CompactSingleKES d) Source #

seedSizeKES :: proxy ( CompactSingleKES d) -> Word Source #

forgetSignKeyKES :: SignKeyKES ( CompactSingleKES d) -> IO () Source #

sizeVerKeyKES :: proxy ( CompactSingleKES d) -> Word Source #

sizeSignKeyKES :: proxy ( CompactSingleKES d) -> Word Source #

sizeSigKES :: proxy ( CompactSingleKES d) -> Word Source #

rawSerialiseVerKeyKES :: VerKeyKES ( CompactSingleKES d) -> ByteString Source #

rawSerialiseSignKeyKES :: SignKeyKES ( CompactSingleKES d) -> ByteString Source #

rawSerialiseSigKES :: SigKES ( CompactSingleKES d) -> ByteString Source #

rawDeserialiseVerKeyKES :: ByteString -> Maybe ( VerKeyKES ( CompactSingleKES d)) Source #

rawDeserialiseSignKeyKES :: ByteString -> Maybe ( SignKeyKES ( CompactSingleKES d)) Source #

rawDeserialiseSigKES :: ByteString -> Maybe ( SigKES ( CompactSingleKES d)) Source #

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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyCompactSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( VerKeyDSIGN d))))
type Rep ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Rep ( SignKeyKES ( CompactSingleKES d)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyCompactSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SignKeyDSIGN d))))
type Rep ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type SeedSizeKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

newtype VerKeyKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

newtype SignKeyKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

data SigKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type ContextKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Signable ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

data family VerKeyKES v :: Type Source #

Instances

Instances details
Eq ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Eq ( VerKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => Eq ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

Eq ( VerKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => Eq ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => Eq ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Eq ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

( 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

Show ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Show ( VerKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => Show ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

HashAlgorithm h => Show ( VerKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => Show ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => Show ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

HashAlgorithm h => Show ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Generic ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Generic ( VerKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

Generic ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

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 #

Generic ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

Generic ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Generic ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => ToCBOR ( VerKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => ToCBOR ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( VerKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => ToCBOR ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => ToCBOR ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => FromCBOR ( VerKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => FromCBOR ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( VerKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => FromCBOR ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => FromCBOR ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

NFData ( VerKeyDSIGN d) => NFData ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

NFData ( VerKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

NFData ( VerKeyDSIGN d) => NFData ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

NFData ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

NoThunks ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

NoThunks ( VerKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => NoThunks ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => NoThunks ( VerKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => NoThunks ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => NoThunks ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

OptimizedKESAlgorithm d => NoThunks ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data VerKeyKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyMockKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))
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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "ThunkyVerKeySimpleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Vector ( VerKeyDSIGN d)))))
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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyCompactSumKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Hash h ( VerKeyKES d, VerKeyKES d)))))
newtype VerKeyKES ( MockKES t) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

newtype VerKeyKES ( SingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

newtype VerKeyKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

newtype VerKeyKES ( SumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

newtype VerKeyKES ( SimpleKES d t) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

newtype VerKeyKES ( CompactSumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data family SignKeyKES v :: Type Source #

Instances

Instances details
Eq ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Eq ( SignKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

( 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

Show ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Show ( SignKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => Show ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => Show ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => Show ( SignKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => Show ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

KESAlgorithm d => Show ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Generic ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Generic ( SignKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

Generic ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

Generic ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

Associated Types

type Rep ( SignKeyKES ( SumKES h d)) :: Type -> Type Source #

Generic ( SignKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

Generic ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Generic ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => ToCBOR ( SignKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => ToCBOR ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => ToCBOR ( SignKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => ToCBOR ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => FromCBOR ( SignKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => FromCBOR ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => FromCBOR ( SignKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => FromCBOR ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

NFData ( SignKeyDSIGN d) => NFData ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( NFData ( SignKeyKES d), NFData ( VerKeyKES d)) => NFData ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

NFData ( SignKeyDSIGN d) => NFData ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( NFData ( SignKeyKES d), NFData ( VerKeyKES d)) => NFData ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

NoThunks ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

NoThunks ( SignKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => NoThunks ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => NoThunks ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => NoThunks ( SignKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => NoThunks ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

KESAlgorithm d => NoThunks ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data SignKeyKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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 ( 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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeySingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SignKeyDSIGN d))))
type Rep ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "ThunkySignKeySimpleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Vector ( SignKeyDSIGN d)))))
type Rep ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Rep ( SignKeyKES ( CompactSingleKES d)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyCompactSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SignKeyDSIGN d))))
type Rep ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data SignKeyKES ( MockKES t) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

newtype SignKeyKES ( SingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

newtype SignKeyKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

data SignKeyKES ( SumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

newtype SignKeyKES ( SimpleKES d t) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

data SignKeyKES ( CompactSumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data family SigKES v :: Type Source #

Instances

Instances details
Eq ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Eq ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => Eq ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => Eq ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => Eq ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => Eq ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

KESAlgorithm d => Eq ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

( TypeError (' Text "Ord not supported for signing keys, use the hash instead") :: Constraint ) => Ord ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

Show ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Show ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => Show ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => Show ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => Show ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => Show ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

KESAlgorithm d => Show ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Generic ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Generic ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type Rep ( SigKES ( MockKES t)) :: Type -> Type Source #

Generic ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

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 #

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 #

Generic ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Generic ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => ToCBOR ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => ToCBOR ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => ToCBOR ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => ToCBOR ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => FromCBOR ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => FromCBOR ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => FromCBOR ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => FromCBOR ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

NFData ( SigDSIGN d) => NFData ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( NFData ( SigKES d), NFData ( VerKeyKES d)) => NFData ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( NFData ( SigDSIGN d), NFData ( VerKeyDSIGN d)) => NFData ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( NFData ( SigKES d), NFData ( VerKeyKES d)) => NFData ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

NoThunks ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

NoThunks ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => NoThunks ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => NoThunks ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => NoThunks ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => NoThunks ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

KESAlgorithm d => NoThunks ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data SigKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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 ( 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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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 ( 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.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigSimpleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SigDSIGN d))))
type Rep ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Rep ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data SigKES ( MockKES t) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

newtype SigKES ( SingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

data SigKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

data SigKES ( SumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

newtype SigKES ( SimpleKES d t) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

data SigKES ( CompactSumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum