Note that this function may error (with SeedBytesExhausted) if the provided seed is not long enough. Callers should ensure that the seed has is at least seedSizeDSIGN bytes long.

genKeyDSIGNWithContext ∷ KeyGenContextDSIGN v → Seed → SignKeyDSIGN v Source #

rawSerialiseVerKeyDSIGN ∷ VerKeyDSIGN v → ByteString Source #

rawSerialiseSignKeyDSIGN ∷ SignKeyDSIGN v → ByteString Source #

rawSerialiseSigDSIGN ∷ SigDSIGN v → ByteString Source #

rawDeserialiseVerKeyDSIGN ∷ ByteString → Maybe (VerKeyDSIGN v) Source #

rawDeserialiseSignKeyDSIGN ∷ ByteString → Maybe (SignKeyDSIGN v) Source #

rawDeserialiseSigDSIGN ∷ ByteString → Maybe (SigDSIGN v) Source #

Instances

Instances details

DSIGNAlgorithm EcdsaSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type SeedSizeDSIGN EcdsaSecp256k1DSIGN ∷ Nat Source # type SignKeySizeDSIGN EcdsaSecp256k1DSIGN ∷ Nat Source # type VerKeySizeDSIGN EcdsaSecp256k1DSIGN ∷ Nat Source # type SigSizeDSIGN EcdsaSecp256k1DSIGN ∷ Nat Source # type SizeSignKeyDSIGN EcdsaSecp256k1DSIGN ∷ Nat Source # type SizeVerKeyDSIGN EcdsaSecp256k1DSIGN ∷ Nat Source # type SizeSigDSIGN EcdsaSecp256k1DSIGN ∷ Nat Source # data VerKeyDSIGN EcdsaSecp256k1DSIGN Source # data SignKeyDSIGN EcdsaSecp256k1DSIGN Source # data SigDSIGN EcdsaSecp256k1DSIGN Source # type ContextDSIGN EcdsaSecp256k1DSIGN Source # type Signable EcdsaSecp256k1DSIGN ∷ Type → Constraint Source # type KeyGenContextDSIGN EcdsaSecp256k1DSIGN Source # Methods algorithmNameDSIGN ∷ proxy EcdsaSecp256k1DSIGN → String Source # deriveVerKeyDSIGN ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → VerKeyDSIGN EcdsaSecp256k1DSIGN Source # hashVerKeyDSIGN ∷ HashAlgorithm h ⇒ VerKeyDSIGN EcdsaSecp256k1DSIGN → Hash h (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source # signDSIGN ∷ (Signable EcdsaSecp256k1DSIGN a, HasCallStack) ⇒ ContextDSIGN EcdsaSecp256k1DSIGN → a → SignKeyDSIGN EcdsaSecp256k1DSIGN → SigDSIGN EcdsaSecp256k1DSIGN Source # verifyDSIGN ∷ (Signable EcdsaSecp256k1DSIGN a, HasCallStack) ⇒ ContextDSIGN EcdsaSecp256k1DSIGN → VerKeyDSIGN EcdsaSecp256k1DSIGN → a → SigDSIGN EcdsaSecp256k1DSIGN → Either String () Source # genKeyDSIGN ∷ Seed → SignKeyDSIGN EcdsaSecp256k1DSIGN Source # genKeyDSIGNWithContext ∷ KeyGenContextDSIGN EcdsaSecp256k1DSIGN → Seed → SignKeyDSIGN EcdsaSecp256k1DSIGN Source # rawSerialiseVerKeyDSIGN ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → ByteString Source # rawSerialiseSignKeyDSIGN ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → ByteString Source # rawSerialiseSigDSIGN ∷ SigDSIGN EcdsaSecp256k1DSIGN → ByteString Source # rawDeserialiseVerKeyDSIGN ∷ ByteString → Maybe (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source # rawDeserialiseSignKeyDSIGN ∷ ByteString → Maybe (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source # rawDeserialiseSigDSIGN ∷ ByteString → Maybe (SigDSIGN EcdsaSecp256k1DSIGN) Source #
DSIGNAlgorithm Ed25519DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type SeedSizeDSIGN Ed25519DSIGN ∷ Nat Source # type SignKeySizeDSIGN Ed25519DSIGN ∷ Nat Source # type VerKeySizeDSIGN Ed25519DSIGN ∷ Nat Source # type SigSizeDSIGN Ed25519DSIGN ∷ Nat Source # type SizeSignKeyDSIGN Ed25519DSIGN ∷ Nat Source # type SizeVerKeyDSIGN Ed25519DSIGN ∷ Nat Source # type SizeSigDSIGN Ed25519DSIGN ∷ Nat Source # data VerKeyDSIGN Ed25519DSIGN Source # data SignKeyDSIGN Ed25519DSIGN Source # data SigDSIGN Ed25519DSIGN Source # type ContextDSIGN Ed25519DSIGN Source # type Signable Ed25519DSIGN ∷ Type → Constraint Source # type KeyGenContextDSIGN Ed25519DSIGN Source # Methods algorithmNameDSIGN ∷ proxy Ed25519DSIGN → String Source # deriveVerKeyDSIGN ∷ SignKeyDSIGN Ed25519DSIGN → VerKeyDSIGN Ed25519DSIGN Source # hashVerKeyDSIGN ∷ HashAlgorithm h ⇒ VerKeyDSIGN Ed25519DSIGN → Hash h (VerKeyDSIGN Ed25519DSIGN) Source # signDSIGN ∷ (Signable Ed25519DSIGN a, HasCallStack) ⇒ ContextDSIGN Ed25519DSIGN → a → SignKeyDSIGN Ed25519DSIGN → SigDSIGN Ed25519DSIGN Source # verifyDSIGN ∷ (Signable Ed25519DSIGN a, HasCallStack) ⇒ ContextDSIGN Ed25519DSIGN → VerKeyDSIGN Ed25519DSIGN → a → SigDSIGN Ed25519DSIGN → Either String () Source # genKeyDSIGN ∷ Seed → SignKeyDSIGN Ed25519DSIGN Source # genKeyDSIGNWithContext ∷ KeyGenContextDSIGN Ed25519DSIGN → Seed → SignKeyDSIGN Ed25519DSIGN Source # rawSerialiseVerKeyDSIGN ∷ VerKeyDSIGN Ed25519DSIGN → ByteString Source # rawSerialiseSignKeyDSIGN ∷ SignKeyDSIGN Ed25519DSIGN → ByteString Source # rawSerialiseSigDSIGN ∷ SigDSIGN Ed25519DSIGN → ByteString Source # rawDeserialiseVerKeyDSIGN ∷ ByteString → Maybe (VerKeyDSIGN Ed25519DSIGN) Source # rawDeserialiseSignKeyDSIGN ∷ ByteString → Maybe (SignKeyDSIGN Ed25519DSIGN) Source # rawDeserialiseSigDSIGN ∷ ByteString → Maybe (SigDSIGN Ed25519DSIGN) Source #
DSIGNAlgorithm Ed448DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type SeedSizeDSIGN Ed448DSIGN ∷ Nat Source # type SignKeySizeDSIGN Ed448DSIGN ∷ Nat Source # type VerKeySizeDSIGN Ed448DSIGN ∷ Nat Source # type SigSizeDSIGN Ed448DSIGN ∷ Nat Source # type SizeSignKeyDSIGN Ed448DSIGN ∷ Nat Source # type SizeVerKeyDSIGN Ed448DSIGN ∷ Nat Source # type SizeSigDSIGN Ed448DSIGN ∷ Nat Source # data VerKeyDSIGN Ed448DSIGN Source # data SignKeyDSIGN Ed448DSIGN Source # data SigDSIGN Ed448DSIGN Source # type ContextDSIGN Ed448DSIGN Source # type Signable Ed448DSIGN ∷ Type → Constraint Source # type KeyGenContextDSIGN Ed448DSIGN Source # Methods algorithmNameDSIGN ∷ proxy Ed448DSIGN → String Source # deriveVerKeyDSIGN ∷ SignKeyDSIGN Ed448DSIGN → VerKeyDSIGN Ed448DSIGN Source # hashVerKeyDSIGN ∷ HashAlgorithm h ⇒ VerKeyDSIGN Ed448DSIGN → Hash h (VerKeyDSIGN Ed448DSIGN) Source # signDSIGN ∷ (Signable Ed448DSIGN a, HasCallStack) ⇒ ContextDSIGN Ed448DSIGN → a → SignKeyDSIGN Ed448DSIGN → SigDSIGN Ed448DSIGN Source # verifyDSIGN ∷ (Signable Ed448DSIGN a, HasCallStack) ⇒ ContextDSIGN Ed448DSIGN → VerKeyDSIGN Ed448DSIGN → a → SigDSIGN Ed448DSIGN → Either String () Source # genKeyDSIGN ∷ Seed → SignKeyDSIGN Ed448DSIGN Source # genKeyDSIGNWithContext ∷ KeyGenContextDSIGN Ed448DSIGN → Seed → SignKeyDSIGN Ed448DSIGN Source # rawSerialiseVerKeyDSIGN ∷ VerKeyDSIGN Ed448DSIGN → ByteString Source # rawSerialiseSignKeyDSIGN ∷ SignKeyDSIGN Ed448DSIGN → ByteString Source # rawSerialiseSigDSIGN ∷ SigDSIGN Ed448DSIGN → ByteString Source # rawDeserialiseVerKeyDSIGN ∷ ByteString → Maybe (VerKeyDSIGN Ed448DSIGN) Source # rawDeserialiseSignKeyDSIGN ∷ ByteString → Maybe (SignKeyDSIGN Ed448DSIGN) Source # rawDeserialiseSigDSIGN ∷ ByteString → Maybe (SigDSIGN Ed448DSIGN) Source #
DSIGNAlgorithm MockDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type SeedSizeDSIGN MockDSIGN ∷ Nat Source # type SignKeySizeDSIGN MockDSIGN ∷ Nat Source # type VerKeySizeDSIGN MockDSIGN ∷ Nat Source # type SigSizeDSIGN MockDSIGN ∷ Nat Source # type SizeSignKeyDSIGN MockDSIGN ∷ Nat Source # type SizeVerKeyDSIGN MockDSIGN ∷ Nat Source # type SizeSigDSIGN MockDSIGN ∷ Nat Source # data VerKeyDSIGN MockDSIGN Source # data SignKeyDSIGN MockDSIGN Source # data SigDSIGN MockDSIGN Source # type ContextDSIGN MockDSIGN Source # type Signable MockDSIGN ∷ Type → Constraint Source # type KeyGenContextDSIGN MockDSIGN Source # Methods algorithmNameDSIGN ∷ proxy MockDSIGN → String Source # deriveVerKeyDSIGN ∷ SignKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN Source # hashVerKeyDSIGN ∷ HashAlgorithm h ⇒ VerKeyDSIGN MockDSIGN → Hash h (VerKeyDSIGN MockDSIGN) Source # signDSIGN ∷ (Signable MockDSIGN a, HasCallStack) ⇒ ContextDSIGN MockDSIGN → a → SignKeyDSIGN MockDSIGN → SigDSIGN MockDSIGN Source # verifyDSIGN ∷ (Signable MockDSIGN a, HasCallStack) ⇒ ContextDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → a → SigDSIGN MockDSIGN → Either String () Source # genKeyDSIGN ∷ Seed → SignKeyDSIGN MockDSIGN Source # genKeyDSIGNWithContext ∷ KeyGenContextDSIGN MockDSIGN → Seed → SignKeyDSIGN MockDSIGN Source # rawSerialiseVerKeyDSIGN ∷ VerKeyDSIGN MockDSIGN → ByteString Source # rawSerialiseSignKeyDSIGN ∷ SignKeyDSIGN MockDSIGN → ByteString Source # rawSerialiseSigDSIGN ∷ SigDSIGN MockDSIGN → ByteString Source # rawDeserialiseVerKeyDSIGN ∷ ByteString → Maybe (VerKeyDSIGN MockDSIGN) Source # rawDeserialiseSignKeyDSIGN ∷ ByteString → Maybe (SignKeyDSIGN MockDSIGN) Source # rawDeserialiseSigDSIGN ∷ ByteString → Maybe (SigDSIGN MockDSIGN) Source #
DSIGNAlgorithm NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type SeedSizeDSIGN NeverDSIGN ∷ Nat Source # type SignKeySizeDSIGN NeverDSIGN ∷ Nat Source # type VerKeySizeDSIGN NeverDSIGN ∷ Nat Source # type SigSizeDSIGN NeverDSIGN ∷ Nat Source # type SizeSignKeyDSIGN NeverDSIGN ∷ Nat Source # type SizeVerKeyDSIGN NeverDSIGN ∷ Nat Source # type SizeSigDSIGN NeverDSIGN ∷ Nat Source # data VerKeyDSIGN NeverDSIGN Source # data SignKeyDSIGN NeverDSIGN Source # data SigDSIGN NeverDSIGN Source # type ContextDSIGN NeverDSIGN Source # type Signable NeverDSIGN ∷ Type → Constraint Source # type KeyGenContextDSIGN NeverDSIGN Source # Methods algorithmNameDSIGN ∷ proxy NeverDSIGN → String Source # deriveVerKeyDSIGN ∷ SignKeyDSIGN NeverDSIGN → VerKeyDSIGN NeverDSIGN Source # hashVerKeyDSIGN ∷ HashAlgorithm h ⇒ VerKeyDSIGN NeverDSIGN → Hash h (VerKeyDSIGN NeverDSIGN) Source # signDSIGN ∷ (Signable NeverDSIGN a, HasCallStack) ⇒ ContextDSIGN NeverDSIGN → a → SignKeyDSIGN NeverDSIGN → SigDSIGN NeverDSIGN Source # verifyDSIGN ∷ (Signable NeverDSIGN a, HasCallStack) ⇒ ContextDSIGN NeverDSIGN → VerKeyDSIGN NeverDSIGN → a → SigDSIGN NeverDSIGN → Either String () Source # genKeyDSIGN ∷ Seed → SignKeyDSIGN NeverDSIGN Source # genKeyDSIGNWithContext ∷ KeyGenContextDSIGN NeverDSIGN → Seed → SignKeyDSIGN NeverDSIGN Source # rawSerialiseVerKeyDSIGN ∷ VerKeyDSIGN NeverDSIGN → ByteString Source # rawSerialiseSignKeyDSIGN ∷ SignKeyDSIGN NeverDSIGN → ByteString Source # rawSerialiseSigDSIGN ∷ SigDSIGN NeverDSIGN → ByteString Source # rawDeserialiseVerKeyDSIGN ∷ ByteString → Maybe (VerKeyDSIGN NeverDSIGN) Source # rawDeserialiseSignKeyDSIGN ∷ ByteString → Maybe (SignKeyDSIGN NeverDSIGN) Source # rawDeserialiseSigDSIGN ∷ ByteString → Maybe (SigDSIGN NeverDSIGN) Source #
DSIGNAlgorithm SchnorrSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type SeedSizeDSIGN SchnorrSecp256k1DSIGN ∷ Nat Source # type SignKeySizeDSIGN SchnorrSecp256k1DSIGN ∷ Nat Source # type VerKeySizeDSIGN SchnorrSecp256k1DSIGN ∷ Nat Source # type SigSizeDSIGN SchnorrSecp256k1DSIGN ∷ Nat Source # type SizeSignKeyDSIGN SchnorrSecp256k1DSIGN ∷ Nat Source # type SizeVerKeyDSIGN SchnorrSecp256k1DSIGN ∷ Nat Source # type SizeSigDSIGN SchnorrSecp256k1DSIGN ∷ Nat Source # data VerKeyDSIGN SchnorrSecp256k1DSIGN Source # data SignKeyDSIGN SchnorrSecp256k1DSIGN Source # data SigDSIGN SchnorrSecp256k1DSIGN Source # type ContextDSIGN SchnorrSecp256k1DSIGN Source # type Signable SchnorrSecp256k1DSIGN ∷ Type → Constraint Source # type KeyGenContextDSIGN SchnorrSecp256k1DSIGN Source # Methods algorithmNameDSIGN ∷ proxy SchnorrSecp256k1DSIGN → String Source # deriveVerKeyDSIGN ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → VerKeyDSIGN SchnorrSecp256k1DSIGN Source # hashVerKeyDSIGN ∷ HashAlgorithm h ⇒ VerKeyDSIGN SchnorrSecp256k1DSIGN → Hash h (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source # signDSIGN ∷ (Signable SchnorrSecp256k1DSIGN a, HasCallStack) ⇒ ContextDSIGN SchnorrSecp256k1DSIGN → a → SignKeyDSIGN SchnorrSecp256k1DSIGN → SigDSIGN SchnorrSecp256k1DSIGN Source # verifyDSIGN ∷ (Signable SchnorrSecp256k1DSIGN a, HasCallStack) ⇒ ContextDSIGN SchnorrSecp256k1DSIGN → VerKeyDSIGN SchnorrSecp256k1DSIGN → a → SigDSIGN SchnorrSecp256k1DSIGN → Either String () Source # genKeyDSIGN ∷ Seed → SignKeyDSIGN SchnorrSecp256k1DSIGN Source # genKeyDSIGNWithContext ∷ KeyGenContextDSIGN SchnorrSecp256k1DSIGN → Seed → SignKeyDSIGN SchnorrSecp256k1DSIGN Source # rawSerialiseVerKeyDSIGN ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → ByteString Source # rawSerialiseSignKeyDSIGN ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → ByteString Source # rawSerialiseSigDSIGN ∷ SigDSIGN SchnorrSecp256k1DSIGN → ByteString Source # rawDeserialiseVerKeyDSIGN ∷ ByteString → Maybe (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source # rawDeserialiseSignKeyDSIGN ∷ ByteString → Maybe (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source # rawDeserialiseSigDSIGN ∷ ByteString → Maybe (SigDSIGN SchnorrSecp256k1DSIGN) Source #
BLS12381CurveConstraints curve ⇒ DSIGNAlgorithm (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type SeedSizeDSIGN (BLS12381DSIGN curve) ∷ Nat Source # type SignKeySizeDSIGN (BLS12381DSIGN curve) ∷ Nat Source # type VerKeySizeDSIGN (BLS12381DSIGN curve) ∷ Nat Source # type SigSizeDSIGN (BLS12381DSIGN curve) ∷ Nat Source # type SizeSignKeyDSIGN (BLS12381DSIGN curve) ∷ Nat Source # type SizeVerKeyDSIGN (BLS12381DSIGN curve) ∷ Nat Source # type SizeSigDSIGN (BLS12381DSIGN curve) ∷ Nat Source # data VerKeyDSIGN (BLS12381DSIGN curve) Source # data SignKeyDSIGN (BLS12381DSIGN curve) Source # data SigDSIGN (BLS12381DSIGN curve) Source # type ContextDSIGN (BLS12381DSIGN curve) Source # type Signable (BLS12381DSIGN curve) ∷ Type → Constraint Source # type KeyGenContextDSIGN (BLS12381DSIGN curve) Source # Methods algorithmNameDSIGN ∷ proxy (BLS12381DSIGN curve) → String Source # deriveVerKeyDSIGN ∷ SignKeyDSIGN (BLS12381DSIGN curve) → VerKeyDSIGN (BLS12381DSIGN curve) Source # hashVerKeyDSIGN ∷ HashAlgorithm h ⇒ VerKeyDSIGN (BLS12381DSIGN curve) → Hash h (VerKeyDSIGN (BLS12381DSIGN curve)) Source # signDSIGN ∷ (Signable (BLS12381DSIGN curve) a, HasCallStack) ⇒ ContextDSIGN (BLS12381DSIGN curve) → a → SignKeyDSIGN (BLS12381DSIGN curve) → SigDSIGN (BLS12381DSIGN curve) Source # verifyDSIGN ∷ (Signable (BLS12381DSIGN curve) a, HasCallStack) ⇒ ContextDSIGN (BLS12381DSIGN curve) → VerKeyDSIGN (BLS12381DSIGN curve) → a → SigDSIGN (BLS12381DSIGN curve) → Either String () Source # genKeyDSIGN ∷ Seed → SignKeyDSIGN (BLS12381DSIGN curve) Source # genKeyDSIGNWithContext ∷ KeyGenContextDSIGN (BLS12381DSIGN curve) → Seed → SignKeyDSIGN (BLS12381DSIGN curve) Source # rawSerialiseVerKeyDSIGN ∷ VerKeyDSIGN (BLS12381DSIGN curve) → ByteString Source # rawSerialiseSignKeyDSIGN ∷ SignKeyDSIGN (BLS12381DSIGN curve) → ByteString Source # rawSerialiseSigDSIGN ∷ SigDSIGN (BLS12381DSIGN curve) → ByteString Source # rawDeserialiseVerKeyDSIGN ∷ ByteString → Maybe (VerKeyDSIGN (BLS12381DSIGN curve)) Source # rawDeserialiseSignKeyDSIGN ∷ ByteString → Maybe (SignKeyDSIGN (BLS12381DSIGN curve)) Source # rawDeserialiseSigDSIGN ∷ ByteString → Maybe (SigDSIGN (BLS12381DSIGN curve)) Source #

data Seed Source #

A seed contains a finite number of bytes, and is used for seeding cryptographic algorithms including key generation.

This is not itself a PRNG, but can be used to seed a PRNG.

Instances

Instances details

Monoid Seed Source #
Instance details Defined in Cardano.Crypto.Seed Methods mempty ∷ Seed # mappend ∷ Seed → Seed → Seed # mconcat ∷ [Seed] → Seed #
Semigroup Seed Source #
Instance details Defined in Cardano.Crypto.Seed Methods (<>) ∷ Seed → Seed → Seed # sconcat ∷ NonEmpty Seed → Seed # stimes ∷ Integral b ⇒ b → Seed → Seed #
Show Seed Source #
Instance details Defined in Cardano.Crypto.Seed Methods showsPrec ∷ Int → Seed → ShowS # show ∷ Seed → String # showList ∷ [Seed] → ShowS #
NFData Seed Source #
Instance details Defined in Cardano.Crypto.Seed Methods rnf ∷ Seed → () #
Eq Seed Source #
Instance details Defined in Cardano.Crypto.Seed Methods (==) ∷ Seed → Seed → Bool # (/=) ∷ Seed → Seed → Bool #
NoThunks Seed Source #
Instance details Defined in Cardano.Crypto.Seed Methods noThunks ∷ Context → Seed → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Seed → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Seed → String Source #

seedSizeDSIGN ∷ ∀ v proxy. DSIGNAlgorithm v ⇒ proxy v → Word Source #

The upper bound on the Seed size needed by genKeyDSIGN

verKeySizeDSIGN ∷ ∀ v proxy. DSIGNAlgorithm v ⇒ proxy v → Word Source #

signKeySizeDSIGN ∷ ∀ v proxy. DSIGNAlgorithm v ⇒ proxy v → Word Source #

sigSizeDSIGN ∷ ∀ v proxy. DSIGNAlgorithm v ⇒ proxy v → Word Source #

Deprecated size synonyms

sizeVerKeyDSIGN ∷ ∀ v proxy. DSIGNAlgorithm v ⇒ proxy v → Word Source #

Deprecated: In favor of verKeySizeDSIGN

sizeSignKeyDSIGN ∷ ∀ v proxy. DSIGNAlgorithm v ⇒ proxy v → Word Source #

Deprecated: In favor of signKeySizeDSIGN

sizeSigDSIGN ∷ ∀ v proxy. DSIGNAlgorithm v ⇒ proxy v → Word Source #

Deprecated: In favor of sigSizeDSIGN

MLocked DSIGN algorithm class

class (DSIGNAlgorithm v, NoThunks (SignKeyDSIGNM v)) ⇒ DSIGNMAlgorithm v where Source #

Associated Types

data SignKeyDSIGNM v ∷ Type Source #

Methods

deriveVerKeyDSIGNM ∷ (MonadThrow m, MonadST m) ⇒ SignKeyDSIGNM v → m (VerKeyDSIGN v) Source #

signDSIGNM ∷ (Signable v a, MonadST m, MonadThrow m) ⇒ ContextDSIGN v → a → SignKeyDSIGNM v → m (SigDSIGN v) Source #

genKeyDSIGNMWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → MLockedSeed (SeedSizeDSIGN v) → m (SignKeyDSIGNM v) Source #

cloneKeyDSIGNMWith ∷ MonadST m ⇒ MLockedAllocator m → SignKeyDSIGNM v → m (SignKeyDSIGNM v) Source #

getSeedDSIGNMWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → Proxy v → SignKeyDSIGNM v → m (MLockedSeed (SeedSizeDSIGN v)) Source #

forgetSignKeyDSIGNMWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → SignKeyDSIGNM v → m () Source #

Instances

Instances details

DSIGNMAlgorithm Ed25519DSIGN Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

data SignKeyDSIGNM Ed25519DSIGN Source #

Methods

deriveVerKeyDSIGNM ∷ (MonadThrow m, MonadST m) ⇒ SignKeyDSIGNM Ed25519DSIGN → m (VerKeyDSIGN Ed25519DSIGN) Source #

signDSIGNM ∷ (Signable Ed25519DSIGN a, MonadST m, MonadThrow m) ⇒ ContextDSIGN Ed25519DSIGN → a → SignKeyDSIGNM Ed25519DSIGN → m (SigDSIGN Ed25519DSIGN) Source #

genKeyDSIGNMWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → MLockedSeed (SeedSizeDSIGN Ed25519DSIGN) → m (SignKeyDSIGNM Ed25519DSIGN) Source #

cloneKeyDSIGNMWith ∷ MonadST m ⇒ MLockedAllocator m → SignKeyDSIGNM Ed25519DSIGN → m (SignKeyDSIGNM Ed25519DSIGN) Source #

getSeedDSIGNMWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → Proxy Ed25519DSIGN → SignKeyDSIGNM Ed25519DSIGN → m (MLockedSeed (SeedSizeDSIGN Ed25519DSIGN)) Source #

forgetSignKeyDSIGNMWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → SignKeyDSIGNM Ed25519DSIGN → m () Source #

genKeyDSIGNM ∷ (DSIGNMAlgorithm v, MonadST m, MonadThrow m) ⇒ MLockedSeed (SeedSizeDSIGN v) → m (SignKeyDSIGNM v) Source #

cloneKeyDSIGNM ∷ (DSIGNMAlgorithm v, MonadST m) ⇒ SignKeyDSIGNM v → m (SignKeyDSIGNM v) Source #

getSeedDSIGNM ∷ (DSIGNMAlgorithm v, MonadST m, MonadThrow m) ⇒ Proxy v → SignKeyDSIGNM v → m (MLockedSeed (SeedSizeDSIGN v)) Source #

forgetSignKeyDSIGNM ∷ (DSIGNMAlgorithm v, MonadST m, MonadThrow m) ⇒ SignKeyDSIGNM v → m () Source #

`SignedDSIGN` wrapper

newtype SignedDSIGN v a Source #

Constructors

SignedDSIGN (SigDSIGN v)

Instances

Instances details

Generic (SignedDSIGN v a) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Class Associated Types type Rep (SignedDSIGN v a) ∷ Type → Type # Methods from ∷ SignedDSIGN v a → Rep (SignedDSIGN v a) x # to ∷ Rep (SignedDSIGN v a) x → SignedDSIGN v a #
DSIGNAlgorithm v ⇒ Show (SignedDSIGN v a) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods showsPrec ∷ Int → SignedDSIGN v a → ShowS # show ∷ SignedDSIGN v a → String # showList ∷ [SignedDSIGN v a] → ShowS #
NFData (SigDSIGN v) ⇒ NFData (SignedDSIGN v a) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods rnf ∷ SignedDSIGN v a → () #
DSIGNAlgorithm v ⇒ Eq (SignedDSIGN v a) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods (==) ∷ SignedDSIGN v a → SignedDSIGN v a → Bool # (/=) ∷ SignedDSIGN v a → SignedDSIGN v a → Bool #
DSIGNAlgorithm v ⇒ NoThunks (SignedDSIGN v a) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods noThunks ∷ Context → SignedDSIGN v a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignedDSIGN v a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignedDSIGN v a) → String Source #
type Rep (SignedDSIGN v a) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Class type Rep (SignedDSIGN v a) = D1 ('MetaData "SignedDSIGN" "Cardano.Crypto.DSIGN.Class" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SignedDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN v))))

signedDSIGN ∷ (DSIGNAlgorithm v, Signable v a) ⇒ ContextDSIGN v → a → SignKeyDSIGN v → SignedDSIGN v a Source #

verifySignedDSIGN ∷ (DSIGNAlgorithm v, Signable v a, HasCallStack) ⇒ ContextDSIGN v → VerKeyDSIGN v → a → SignedDSIGN v a → Either String () Source #

CBOR encoding and decoding

encodeVerKeyDSIGN ∷ DSIGNAlgorithm v ⇒ VerKeyDSIGN v → Encoding Source #

decodeVerKeyDSIGN ∷ ∀ v s. DSIGNAlgorithm v ⇒ Decoder s (VerKeyDSIGN v) Source #

encodeSignKeyDSIGN ∷ DSIGNAlgorithm v ⇒ SignKeyDSIGN v → Encoding Source #

decodeSignKeyDSIGN ∷ ∀ v s. DSIGNAlgorithm v ⇒ Decoder s (SignKeyDSIGN v) Source #

encodeSigDSIGN ∷ DSIGNAlgorithm v ⇒ SigDSIGN v → Encoding Source #

decodeSigDSIGN ∷ ∀ v s. DSIGNAlgorithm v ⇒ Decoder s (SigDSIGN v) Source #

encodeSignedDSIGN ∷ DSIGNAlgorithm v ⇒ SignedDSIGN v a → Encoding Source #

decodeSignedDSIGN ∷ DSIGNAlgorithm v ⇒ Decoder s (SignedDSIGN v a) Source #

Encoded `Size` expresssions

encodedVerKeyDSIGNSizeExpr ∷ ∀ v. DSIGNAlgorithm v ⇒ Proxy (VerKeyDSIGN v) → Size Source #

Size expression for VerKeyDSIGN which is using verKeySizeDSIGN encoded as Size.

encodedSignKeyDSIGNSizeExpr ∷ ∀ v. DSIGNAlgorithm v ⇒ Proxy (SignKeyDSIGN v) → Size Source #

Size expression for SignKeyDSIGN which is using signKeySizeDSIGN encoded as Size.

encodedSigDSIGNSizeExpr ∷ ∀ v. DSIGNAlgorithm v ⇒ Proxy (SigDSIGN v) → Size Source #

Size expression for SigDSIGN which is using sigSizeDSIGN encoded as Size.

Helper

failSizeCheck ∷ MonadFail m ⇒ String → String → ByteString → Word → m a Source #

Helper function that always fails, but it provides a different message whenever expected size does not match.

Unsound CBOR encoding and decoding of MLocked DSIGN keys

class DSIGNMAlgorithm v ⇒ UnsoundDSIGNMAlgorithm v where Source #

Unsound operations on DSIGNM sign keys. These operations violate secure forgetting constraints by leaking secrets to unprotected memory. Consider using the DirectSerialise / DirectDeserialise APIs instead.

Methods

rawSerialiseSignKeyDSIGNM ∷ (MonadST m, MonadThrow m) ⇒ SignKeyDSIGNM v → m ByteString Source #

rawDeserialiseSignKeyDSIGNMWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → ByteString → m (Maybe (SignKeyDSIGNM v)) Source #

Instances

Instances details

UnsoundDSIGNMAlgorithm Ed25519DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rawSerialiseSignKeyDSIGNM ∷ (MonadST m, MonadThrow m) ⇒ SignKeyDSIGNM Ed25519DSIGN → m ByteString Source # rawDeserialiseSignKeyDSIGNMWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → ByteString → m (Maybe (SignKeyDSIGNM Ed25519DSIGN)) Source #

encodeSignKeyDSIGNM ∷ (UnsoundDSIGNMAlgorithm v, MonadST m, MonadThrow m) ⇒ SignKeyDSIGNM v → m Encoding Source #

decodeSignKeyDSIGNM ∷ ∀ m v s. (UnsoundDSIGNMAlgorithm v, MonadST m, MonadThrow m) ⇒ Decoder s (m (SignKeyDSIGNM v)) Source #

rawDeserialiseSignKeyDSIGNM ∷ (UnsoundDSIGNMAlgorithm v, MonadST m, MonadThrow m) ⇒ ByteString → m (Maybe (SignKeyDSIGNM v)) Source #

Aggregatable DSIGN algorithms with Proof of Possession

class (DSIGNAlgorithm v, Show (PossessionProofDSIGN v), Eq (PossessionProofDSIGN v), NoThunks (PossessionProofDSIGN v), KnownNat (PossessionProofSizeDSIGN v)) ⇒ DSIGNAggregatable v where Source #

Extension of the DSIGNAlgorithm to allow for aggregatable digital signature schemes that support Proof of Possession (PoP) of signing keys. Such schemes enable the aggregation of multiple signatures and verification keys into a single signature and verification key, respectively, while ensuring that each verification key is associated with a valid signing key through the use of Proofs of Possession. The latter is against rogue-key attacks.

Examples of aggregatable signatures schemes are the BLS signature scheme and the Pixel scheme.

Associated Types

type PossessionProofSizeDSIGN v ∷ Nat Source #

data PossessionProofDSIGN v ∷ Type Source #

Methods

uncheckedAggregateVerKeysDSIGN ∷ HasCallStack ⇒ [VerKeyDSIGN v] → Either String (VerKeyDSIGN v) Source #

Aggregate multiple verification keys into a single verification key without requiring their corresponding Proofs of Possession. This function is unsafe and should only be used when verification keys are valid (i.e., their PoPs have been verified through other means). See aggregateVerKeysDSIGN for a function that does this using verifyPossessionProofDSIGN.

aggregateSigsDSIGN ∷ HasCallStack ⇒ [SigDSIGN v] → Either String (SigDSIGN v) Source #

Aggregate multiple signatures into a single signature

createPossessionProofDSIGN ∷ HasCallStack ⇒ ContextDSIGN v → SignKeyDSIGN v → PossessionProofDSIGN v Source #

Create a PoP from the signing key.

verifyPossessionProofDSIGN ∷ HasCallStack ⇒ ContextDSIGN v → VerKeyDSIGN v → PossessionProofDSIGN v → Either String () Source #

Verify that PoP matches the verification key.

rawSerialisePossessionProofDSIGN ∷ PossessionProofDSIGN v → ByteString Source #

Serialise a PoP into fixed-size raw bytes.

rawDeserialisePossessionProofDSIGN ∷ ByteString → Maybe (PossessionProofDSIGN v) Source #

Deserialise a PoP from fixed-size raw bytes.