Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.DSIGN.BLS12381

Synopsis

data BLS12381DSIGN curve
type BLS12381MinVerKeyDSIGN = BLS12381DSIGN Curve1
type BLS12381MinSigDSIGN = BLS12381DSIGN Curve2
type BLS12381CurveConstraints curve = (BLS curve, BLS (DualCurve curve), KnownSymbol (CurveVariant curve), KnownNat (CompressedPointSize curve), KnownNat (CompressedPointSize (DualCurve curve)), Typeable curve)
data family VerKeyDSIGN v ∷ Type
data family SignKeyDSIGN v ∷ Type
data family SigDSIGN v ∷ Type
data family PossessionProofDSIGN v ∷ Type
data BLS12381SignContext = BLS12381SignContext {
- blsSignContextDst ∷ !(Maybe ByteString)
- blsSignContextAug ∷ !(Maybe ByteString)
}

Documentation

data BLS12381DSIGN curve Source #

Instances

Instances details

Generic (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type Rep (PossessionProofDSIGN (BLS12381DSIGN curve)) ∷ Type → Type # Methods from ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → Rep (PossessionProofDSIGN (BLS12381DSIGN curve)) x # to ∷ Rep (PossessionProofDSIGN (BLS12381DSIGN curve)) x → PossessionProofDSIGN (BLS12381DSIGN curve) #
Generic (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type Rep (SigDSIGN (BLS12381DSIGN curve)) ∷ Type → Type # Methods from ∷ SigDSIGN (BLS12381DSIGN curve) → Rep (SigDSIGN (BLS12381DSIGN curve)) x # to ∷ Rep (SigDSIGN (BLS12381DSIGN curve)) x → SigDSIGN (BLS12381DSIGN curve) #
Generic (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type Rep (SignKeyDSIGN (BLS12381DSIGN curve)) ∷ Type → Type # Methods from ∷ SignKeyDSIGN (BLS12381DSIGN curve) → Rep (SignKeyDSIGN (BLS12381DSIGN curve)) x # to ∷ Rep (SignKeyDSIGN (BLS12381DSIGN curve)) x → SignKeyDSIGN (BLS12381DSIGN curve) #
Generic (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type Rep (VerKeyDSIGN (BLS12381DSIGN curve)) ∷ Type → Type # Methods from ∷ VerKeyDSIGN (BLS12381DSIGN curve) → Rep (VerKeyDSIGN (BLS12381DSIGN curve)) x # to ∷ Rep (VerKeyDSIGN (BLS12381DSIGN curve)) x → VerKeyDSIGN (BLS12381DSIGN curve) #
Show (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods showsPrec ∷ Int → PossessionProofDSIGN (BLS12381DSIGN curve) → ShowS # show ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → String # showList ∷ [PossessionProofDSIGN (BLS12381DSIGN curve)] → ShowS #
Show (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods showsPrec ∷ Int → SigDSIGN (BLS12381DSIGN curve) → ShowS # show ∷ SigDSIGN (BLS12381DSIGN curve) → String # showList ∷ [SigDSIGN (BLS12381DSIGN curve)] → ShowS #
Show (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods showsPrec ∷ Int → SignKeyDSIGN (BLS12381DSIGN curve) → ShowS # show ∷ SignKeyDSIGN (BLS12381DSIGN curve) → String # showList ∷ [SignKeyDSIGN (BLS12381DSIGN curve)] → ShowS #
Show (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods showsPrec ∷ Int → VerKeyDSIGN (BLS12381DSIGN curve) → ShowS # show ∷ VerKeyDSIGN (BLS12381DSIGN curve) → String # showList ∷ [VerKeyDSIGN (BLS12381DSIGN curve)] → ShowS #
(BLS12381CurveConstraints curve, KnownNat (CompressedPointSize (DualCurve curve) + CompressedPointSize (DualCurve curve))) ⇒ FromCBOR (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (PossessionProofDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (PossessionProofDSIGN (BLS12381DSIGN curve)) → Text Source #
BLS12381CurveConstraints curve ⇒ FromCBOR (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (SigDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (SigDSIGN (BLS12381DSIGN curve)) → Text Source #
BLS12381CurveConstraints curve ⇒ FromCBOR (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → Text Source #
BLS12381CurveConstraints curve ⇒ FromCBOR (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → Text Source #
(BLS12381CurveConstraints curve, KnownNat (CompressedPointSize (DualCurve curve) + CompressedPointSize (DualCurve curve))) ⇒ ToCBOR (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PossessionProofDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PossessionProofDSIGN (BLS12381DSIGN curve)] → Size Source #
BLS12381CurveConstraints curve ⇒ ToCBOR (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ SigDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN (BLS12381DSIGN curve)] → Size Source #
BLS12381CurveConstraints curve ⇒ ToCBOR (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ SignKeyDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN (BLS12381DSIGN curve)] → Size Source #
BLS12381CurveConstraints curve ⇒ ToCBOR (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ VerKeyDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN (BLS12381DSIGN curve)] → Size Source #
(BLS12381CurveConstraints curve, KnownNat (CompressedPointSize (DualCurve curve) + CompressedPointSize (DualCurve curve))) ⇒ DSIGNAggregatable (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type PossessionProofSizeDSIGN (BLS12381DSIGN curve) ∷ Nat Source # data PossessionProofDSIGN (BLS12381DSIGN curve) Source # Methods uncheckedAggregateVerKeysDSIGN ∷ [VerKeyDSIGN (BLS12381DSIGN curve)] → Either String (VerKeyDSIGN (BLS12381DSIGN curve)) Source # aggregateSigsDSIGN ∷ [SigDSIGN (BLS12381DSIGN curve)] → Either String (SigDSIGN (BLS12381DSIGN curve)) Source # createPossessionProofDSIGN ∷ ContextDSIGN (BLS12381DSIGN curve) → SignKeyDSIGN (BLS12381DSIGN curve) → PossessionProofDSIGN (BLS12381DSIGN curve) Source # verifyPossessionProofDSIGN ∷ ContextDSIGN (BLS12381DSIGN curve) → VerKeyDSIGN (BLS12381DSIGN curve) → PossessionProofDSIGN (BLS12381DSIGN curve) → Either String () Source # rawSerialisePossessionProofDSIGN ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → ByteString Source # rawDeserialisePossessionProofDSIGN ∷ ByteString → Maybe (PossessionProofDSIGN (BLS12381DSIGN curve)) 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 #
NFData (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods rnf ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → () #
NFData (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods rnf ∷ SigDSIGN (BLS12381DSIGN curve) → () #
NFData (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods rnf ∷ SignKeyDSIGN (BLS12381DSIGN curve) → () #
NFData (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods rnf ∷ VerKeyDSIGN (BLS12381DSIGN curve) → () #
BLS (DualCurve curve) ⇒ Eq (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods (==) ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → PossessionProofDSIGN (BLS12381DSIGN curve) → Bool # (/=) ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → PossessionProofDSIGN (BLS12381DSIGN curve) → Bool #
BLS (DualCurve curve) ⇒ Eq (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods (==) ∷ SigDSIGN (BLS12381DSIGN curve) → SigDSIGN (BLS12381DSIGN curve) → Bool # (/=) ∷ SigDSIGN (BLS12381DSIGN curve) → SigDSIGN (BLS12381DSIGN curve) → Bool #
Eq (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods (==) ∷ SignKeyDSIGN (BLS12381DSIGN curve) → SignKeyDSIGN (BLS12381DSIGN curve) → Bool # (/=) ∷ SignKeyDSIGN (BLS12381DSIGN curve) → SignKeyDSIGN (BLS12381DSIGN curve) → Bool #
BLS curve ⇒ Eq (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods (==) ∷ VerKeyDSIGN (BLS12381DSIGN curve) → VerKeyDSIGN (BLS12381DSIGN curve) → Bool # (/=) ∷ VerKeyDSIGN (BLS12381DSIGN curve) → VerKeyDSIGN (BLS12381DSIGN curve) → Bool #
NoThunks (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods noThunks ∷ Context → PossessionProofDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PossessionProofDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PossessionProofDSIGN (BLS12381DSIGN curve)) → String Source #
NoThunks (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods noThunks ∷ Context → SigDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN (BLS12381DSIGN curve)) → String Source #
NoThunks (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods noThunks ∷ Context → SignKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → String Source #
NoThunks (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods noThunks ∷ Context → VerKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → String Source #
type Rep (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type Rep (PossessionProofDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "PossessionProofDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.0.0-inplace" 'False) (C1 ('MetaCons "PossessionProofBLS12381" 'PrefixI 'True) (S1 ('MetaSel ('Just "mu1") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point (DualCurve curve))) :*: S1 ('MetaSel ('Just "mu2") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point (DualCurve curve)))))
type Rep (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type Rep (SigDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SigBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (DualCurve curve)))))
type Rep (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type Rep (SignKeyDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Scalar)))
type Rep (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type Rep (VerKeyDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point curve))))
type ContextDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type ContextDSIGN (BLS12381DSIGN curve) = BLS12381SignContext
type KeyGenContextDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type KeyGenContextDSIGN (BLS12381DSIGN curve) = Maybe ByteString
data PossessionProofDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 data PossessionProofDSIGN (BLS12381DSIGN curve) = PossessionProofBLS12381 { mu1 ∷ !(Point (DualCurve curve)) mu2 ∷ !(Point (DualCurve curve)) }
type PossessionProofSizeDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type PossessionProofSizeDSIGN (BLS12381DSIGN curve) = CompressedPointSize (DualCurve curve) + CompressedPointSize (DualCurve curve)
type SeedSizeDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type SeedSizeDSIGN (BLS12381DSIGN curve) = 32
newtype SigDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 newtype SigDSIGN (BLS12381DSIGN curve) = SigBLS12381 (Point (DualCurve curve))
type SigSizeDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type SigSizeDSIGN (BLS12381DSIGN curve) = CompressedPointSize (DualCurve curve)
newtype SignKeyDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 newtype SignKeyDSIGN (BLS12381DSIGN curve) = SignKeyBLS12381 Scalar
type SignKeySizeDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type SignKeySizeDSIGN (BLS12381DSIGN curve) = 32
type Signable (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type Signable (BLS12381DSIGN curve) = SignableRepresentation
type SizeSigDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type SizeSigDSIGN (BLS12381DSIGN curve) = SigSizeDSIGN (BLS12381DSIGN curve)
type SizeSignKeyDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type SizeSignKeyDSIGN (BLS12381DSIGN curve) = SignKeySizeDSIGN (BLS12381DSIGN curve)
type SizeVerKeyDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type SizeVerKeyDSIGN (BLS12381DSIGN curve) = VerKeySizeDSIGN (BLS12381DSIGN curve)
newtype VerKeyDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 newtype VerKeyDSIGN (BLS12381DSIGN curve) = VerKeyBLS12381 (Point curve)
type VerKeySizeDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type VerKeySizeDSIGN (BLS12381DSIGN curve) = CompressedPointSize curve

type BLS12381MinVerKeyDSIGN = BLS12381DSIGN Curve1 Source #

Two versions of BLS12-381 DSIGN: one optimized for minimal verification key size, the other for minimal signature size.

type BLS12381MinSigDSIGN = BLS12381DSIGN Curve2 Source #

type BLS12381CurveConstraints curve = (BLS curve, BLS (DualCurve curve), KnownSymbol (CurveVariant curve), KnownNat (CompressedPointSize curve), KnownNat (CompressedPointSize (DualCurve curve)), Typeable curve) Source #

data family VerKeyDSIGN v ∷ Type Source #

Instances

Instances details

Generic (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type Rep (VerKeyDSIGN (BLS12381DSIGN curve)) ∷ Type → Type # Methods from ∷ VerKeyDSIGN (BLS12381DSIGN curve) → Rep (VerKeyDSIGN (BLS12381DSIGN curve)) x # to ∷ Rep (VerKeyDSIGN (BLS12381DSIGN curve)) x → VerKeyDSIGN (BLS12381DSIGN curve) #
Generic (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x # to ∷ Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x → VerKeyDSIGN EcdsaSecp256k1DSIGN #
Generic (VerKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep (VerKeyDSIGN Ed25519DSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN Ed25519DSIGN → Rep (VerKeyDSIGN Ed25519DSIGN) x # to ∷ Rep (VerKeyDSIGN Ed25519DSIGN) x → VerKeyDSIGN Ed25519DSIGN #
Generic (VerKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep (VerKeyDSIGN Ed448DSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN Ed448DSIGN → Rep (VerKeyDSIGN Ed448DSIGN) x # to ∷ Rep (VerKeyDSIGN Ed448DSIGN) x → VerKeyDSIGN Ed448DSIGN #
Generic (VerKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep (VerKeyDSIGN MockDSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN MockDSIGN → Rep (VerKeyDSIGN MockDSIGN) x # to ∷ Rep (VerKeyDSIGN MockDSIGN) x → VerKeyDSIGN MockDSIGN #
Generic (VerKeyDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep (VerKeyDSIGN NeverDSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN NeverDSIGN → Rep (VerKeyDSIGN NeverDSIGN) x # to ∷ Rep (VerKeyDSIGN NeverDSIGN) x → VerKeyDSIGN NeverDSIGN #
Generic (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x # to ∷ Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x → VerKeyDSIGN SchnorrSecp256k1DSIGN #
Num (VerKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (+) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # (-) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # (*) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # negate ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # abs ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # signum ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # fromInteger ∷ Integer → VerKeyDSIGN MockDSIGN #
Show (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods showsPrec ∷ Int → VerKeyDSIGN (BLS12381DSIGN curve) → ShowS # show ∷ VerKeyDSIGN (BLS12381DSIGN curve) → String # showList ∷ [VerKeyDSIGN (BLS12381DSIGN curve)] → ShowS #
Show (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec ∷ Int → VerKeyDSIGN EcdsaSecp256k1DSIGN → ShowS # show ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → String # showList ∷ [VerKeyDSIGN EcdsaSecp256k1DSIGN] → ShowS #
Show (VerKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec ∷ Int → VerKeyDSIGN Ed25519DSIGN → ShowS # show ∷ VerKeyDSIGN Ed25519DSIGN → String # showList ∷ [VerKeyDSIGN Ed25519DSIGN] → ShowS #
Show (VerKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec ∷ Int → VerKeyDSIGN Ed448DSIGN → ShowS # show ∷ VerKeyDSIGN Ed448DSIGN → String # showList ∷ [VerKeyDSIGN Ed448DSIGN] → ShowS #
Show (VerKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec ∷ Int → VerKeyDSIGN MockDSIGN → ShowS # show ∷ VerKeyDSIGN MockDSIGN → String # showList ∷ [VerKeyDSIGN MockDSIGN] → ShowS #
Show (VerKeyDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec ∷ Int → VerKeyDSIGN NeverDSIGN → ShowS # show ∷ VerKeyDSIGN NeverDSIGN → String # showList ∷ [VerKeyDSIGN NeverDSIGN] → ShowS #
Show (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec ∷ Int → VerKeyDSIGN SchnorrSecp256k1DSIGN → ShowS # show ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → String # showList ∷ [VerKeyDSIGN SchnorrSecp256k1DSIGN] → ShowS #
BLS12381CurveConstraints curve ⇒ FromCBOR (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → Text Source #
FromCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN Ed25519DSIGN) Source # label ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN Ed448DSIGN) Source # label ∷ Proxy (VerKeyDSIGN Ed448DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR ∷ Decoder s (VerKeyDSIGN MockDSIGN) Source # label ∷ Proxy (VerKeyDSIGN MockDSIGN) → Text Source #
FromCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #
BLS12381CurveConstraints curve ⇒ ToCBOR (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ VerKeyDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN (BLS12381DSIGN curve)] → Size Source #
ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ VerKeyDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR ∷ VerKeyDSIGN Ed448DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN Ed448DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN Ed448DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR ∷ VerKeyDSIGN MockDSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN MockDSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN MockDSIGN] → Size Source #
ToCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN SchnorrSecp256k1DSIGN] → Size Source #
DirectDeserialise (VerKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyDSIGN Ed25519DSIGN) Source #
DirectSerialise (VerKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyDSIGN Ed25519DSIGN → m () Source #
NFData (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods rnf ∷ VerKeyDSIGN (BLS12381DSIGN curve) → () #
NFData (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → () #
NFData (VerKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf ∷ VerKeyDSIGN Ed25519DSIGN → () #
NFData (VerKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf ∷ VerKeyDSIGN Ed448DSIGN → () #
NFData (VerKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf ∷ VerKeyDSIGN MockDSIGN → () #
NFData (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → () #
BLS curve ⇒ Eq (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods (==) ∷ VerKeyDSIGN (BLS12381DSIGN curve) → VerKeyDSIGN (BLS12381DSIGN curve) → Bool # (/=) ∷ VerKeyDSIGN (BLS12381DSIGN curve) → VerKeyDSIGN (BLS12381DSIGN curve) → Bool #
Eq (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → VerKeyDSIGN EcdsaSecp256k1DSIGN → Bool # (/=) ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → VerKeyDSIGN EcdsaSecp256k1DSIGN → Bool #
Eq (VerKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) ∷ VerKeyDSIGN Ed25519DSIGN → VerKeyDSIGN Ed25519DSIGN → Bool # (/=) ∷ VerKeyDSIGN Ed25519DSIGN → VerKeyDSIGN Ed25519DSIGN → Bool #
Eq (VerKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) ∷ VerKeyDSIGN Ed448DSIGN → VerKeyDSIGN Ed448DSIGN → Bool # (/=) ∷ VerKeyDSIGN Ed448DSIGN → VerKeyDSIGN Ed448DSIGN → Bool #
Eq (VerKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → Bool # (/=) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → Bool #
Eq (VerKeyDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) ∷ VerKeyDSIGN NeverDSIGN → VerKeyDSIGN NeverDSIGN → Bool # (/=) ∷ VerKeyDSIGN NeverDSIGN → VerKeyDSIGN NeverDSIGN → Bool #
Eq (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → VerKeyDSIGN SchnorrSecp256k1DSIGN → Bool # (/=) ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → VerKeyDSIGN SchnorrSecp256k1DSIGN → Bool #
(TypeError ('Text "Ord not supported for verification keys, use the hash instead") ∷ Constraint, Eq (VerKeyDSIGN v)) ⇒ Ord (VerKeyDSIGN v) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods compare ∷ VerKeyDSIGN v → VerKeyDSIGN v → Ordering # (<) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool # (<=) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool # (>) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool # (>=) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool # max ∷ VerKeyDSIGN v → VerKeyDSIGN v → VerKeyDSIGN v # min ∷ VerKeyDSIGN v → VerKeyDSIGN v → VerKeyDSIGN v #
ByteArrayAccess (VerKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length ∷ VerKeyDSIGN Ed448DSIGN → Int Source # withByteArray ∷ VerKeyDSIGN Ed448DSIGN → (Ptr p → IO a) → IO a Source # copyByteArrayToPtr ∷ VerKeyDSIGN Ed448DSIGN → Ptr p → IO () Source #
NoThunks (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods noThunks ∷ Context → VerKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → String Source #
NoThunks (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks ∷ Context → VerKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → String Source #
NoThunks (VerKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks ∷ Context → VerKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → String Source #
NoThunks (VerKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks ∷ Context → VerKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN Ed448DSIGN) → String Source #
NoThunks (VerKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks ∷ Context → VerKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN MockDSIGN) → String Source #
NoThunks (VerKeyDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks ∷ Context → VerKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN NeverDSIGN) → String Source #
NoThunks (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks ∷ Context → VerKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → String Source #
newtype VerKeyDSIGN EcdsaSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype VerKeyDSIGN EcdsaSecp256k1DSIGN = VerKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL)
newtype VerKeyDSIGN Ed25519DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype VerKeyDSIGN Ed25519DSIGN = VerKeyEd25519DSIGN (PinnedSizedBytes (VerKeySizeDSIGN Ed25519DSIGN))
newtype VerKeyDSIGN Ed448DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype VerKeyDSIGN Ed448DSIGN = VerKeyEd448DSIGN PublicKey
newtype VerKeyDSIGN MockDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock newtype VerKeyDSIGN MockDSIGN = VerKeyMockDSIGN Word64
data VerKeyDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN
newtype VerKeyDSIGN SchnorrSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype VerKeyDSIGN SchnorrSecp256k1DSIGN = VerKeySchnorrSecp256k1 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL)
type Rep (VerKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type Rep (VerKeyDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point curve))))
type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL))))
type Rep (VerKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (VerKeySizeDSIGN Ed25519DSIGN)))))
type Rep (VerKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (VerKeyDSIGN Ed448DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))
type Rep (VerKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (VerKeyDSIGN MockDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (VerKeyDSIGN NeverDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.3.0.0-inplace" 'False) (C1 ('MetaCons "NeverUsedVerKeyDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "VerKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL))))
newtype VerKeyDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 newtype VerKeyDSIGN (BLS12381DSIGN curve) = VerKeyBLS12381 (Point curve)

data family SignKeyDSIGN v ∷ Type Source #

Instances

Instances details

Generic (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type Rep (SignKeyDSIGN (BLS12381DSIGN curve)) ∷ Type → Type # Methods from ∷ SignKeyDSIGN (BLS12381DSIGN curve) → Rep (SignKeyDSIGN (BLS12381DSIGN curve)) x # to ∷ Rep (SignKeyDSIGN (BLS12381DSIGN curve)) x → SignKeyDSIGN (BLS12381DSIGN curve) #
Generic (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x # to ∷ Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x → SignKeyDSIGN EcdsaSecp256k1DSIGN #
Generic (SignKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep (SignKeyDSIGN Ed25519DSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN Ed25519DSIGN → Rep (SignKeyDSIGN Ed25519DSIGN) x # to ∷ Rep (SignKeyDSIGN Ed25519DSIGN) x → SignKeyDSIGN Ed25519DSIGN #
Generic (SignKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep (SignKeyDSIGN Ed448DSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN Ed448DSIGN → Rep (SignKeyDSIGN Ed448DSIGN) x # to ∷ Rep (SignKeyDSIGN Ed448DSIGN) x → SignKeyDSIGN Ed448DSIGN #
Generic (SignKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep (SignKeyDSIGN MockDSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN MockDSIGN → Rep (SignKeyDSIGN MockDSIGN) x # to ∷ Rep (SignKeyDSIGN MockDSIGN) x → SignKeyDSIGN MockDSIGN #
Generic (SignKeyDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep (SignKeyDSIGN NeverDSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN NeverDSIGN → Rep (SignKeyDSIGN NeverDSIGN) x # to ∷ Rep (SignKeyDSIGN NeverDSIGN) x → SignKeyDSIGN NeverDSIGN #
Generic (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x # to ∷ Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x → SignKeyDSIGN SchnorrSecp256k1DSIGN #
Num (SignKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (+) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # (-) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # (*) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # negate ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # abs ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # signum ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # fromInteger ∷ Integer → SignKeyDSIGN MockDSIGN #
Show (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods showsPrec ∷ Int → SignKeyDSIGN (BLS12381DSIGN curve) → ShowS # show ∷ SignKeyDSIGN (BLS12381DSIGN curve) → String # showList ∷ [SignKeyDSIGN (BLS12381DSIGN curve)] → ShowS #
Show (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec ∷ Int → SignKeyDSIGN EcdsaSecp256k1DSIGN → ShowS # show ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → String # showList ∷ [SignKeyDSIGN EcdsaSecp256k1DSIGN] → ShowS #
Show (SignKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec ∷ Int → SignKeyDSIGN Ed25519DSIGN → ShowS # show ∷ SignKeyDSIGN Ed25519DSIGN → String # showList ∷ [SignKeyDSIGN Ed25519DSIGN] → ShowS #
Show (SignKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec ∷ Int → SignKeyDSIGN Ed448DSIGN → ShowS # show ∷ SignKeyDSIGN Ed448DSIGN → String # showList ∷ [SignKeyDSIGN Ed448DSIGN] → ShowS #
Show (SignKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec ∷ Int → SignKeyDSIGN MockDSIGN → ShowS # show ∷ SignKeyDSIGN MockDSIGN → String # showList ∷ [SignKeyDSIGN MockDSIGN] → ShowS #
Show (SignKeyDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec ∷ Int → SignKeyDSIGN NeverDSIGN → ShowS # show ∷ SignKeyDSIGN NeverDSIGN → String # showList ∷ [SignKeyDSIGN NeverDSIGN] → ShowS #
Show (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec ∷ Int → SignKeyDSIGN SchnorrSecp256k1DSIGN → ShowS # show ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → String # showList ∷ [SignKeyDSIGN SchnorrSecp256k1DSIGN] → ShowS #
BLS12381CurveConstraints curve ⇒ FromCBOR (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → Text Source #
FromCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN Ed25519DSIGN) Source # label ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN Ed448DSIGN) Source # label ∷ Proxy (SignKeyDSIGN Ed448DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR ∷ Decoder s (SignKeyDSIGN MockDSIGN) Source # label ∷ Proxy (SignKeyDSIGN MockDSIGN) → Text Source #
FromCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #
BLS12381CurveConstraints curve ⇒ ToCBOR (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ SignKeyDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN (BLS12381DSIGN curve)] → Size Source #
ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ SignKeyDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR ∷ SignKeyDSIGN Ed448DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN Ed448DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN Ed448DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR ∷ SignKeyDSIGN MockDSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN MockDSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN MockDSIGN] → Size Source #
ToCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN SchnorrSecp256k1DSIGN] → Size Source #
NFData (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods rnf ∷ SignKeyDSIGN (BLS12381DSIGN curve) → () #
NFData (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → () #
NFData (SignKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf ∷ SignKeyDSIGN Ed25519DSIGN → () #
NFData (SignKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf ∷ SignKeyDSIGN Ed448DSIGN → () #
NFData (SignKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf ∷ SignKeyDSIGN MockDSIGN → () #
NFData (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → () #
Eq (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods (==) ∷ SignKeyDSIGN (BLS12381DSIGN curve) → SignKeyDSIGN (BLS12381DSIGN curve) → Bool # (/=) ∷ SignKeyDSIGN (BLS12381DSIGN curve) → SignKeyDSIGN (BLS12381DSIGN curve) → Bool #
Eq (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → SignKeyDSIGN EcdsaSecp256k1DSIGN → Bool # (/=) ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → SignKeyDSIGN EcdsaSecp256k1DSIGN → Bool #
Eq (SignKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) ∷ SignKeyDSIGN Ed25519DSIGN → SignKeyDSIGN Ed25519DSIGN → Bool # (/=) ∷ SignKeyDSIGN Ed25519DSIGN → SignKeyDSIGN Ed25519DSIGN → Bool #
Eq (SignKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) ∷ SignKeyDSIGN Ed448DSIGN → SignKeyDSIGN Ed448DSIGN → Bool # (/=) ∷ SignKeyDSIGN Ed448DSIGN → SignKeyDSIGN Ed448DSIGN → Bool #
Eq (SignKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → Bool # (/=) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → Bool #
Eq (SignKeyDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) ∷ SignKeyDSIGN NeverDSIGN → SignKeyDSIGN NeverDSIGN → Bool # (/=) ∷ SignKeyDSIGN NeverDSIGN → SignKeyDSIGN NeverDSIGN → Bool #
Eq (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → SignKeyDSIGN SchnorrSecp256k1DSIGN → Bool # (/=) ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → SignKeyDSIGN SchnorrSecp256k1DSIGN → Bool #
(TypeError ('Text "Ord not supported for signing keys, use the hash instead") ∷ Constraint, Eq (SignKeyDSIGN v)) ⇒ Ord (SignKeyDSIGN v) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods compare ∷ SignKeyDSIGN v → SignKeyDSIGN v → Ordering # (<) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool # (<=) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool # (>) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool # (>=) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool # max ∷ SignKeyDSIGN v → SignKeyDSIGN v → SignKeyDSIGN v # min ∷ SignKeyDSIGN v → SignKeyDSIGN v → SignKeyDSIGN v #
ByteArrayAccess (SignKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length ∷ SignKeyDSIGN Ed448DSIGN → Int Source # withByteArray ∷ SignKeyDSIGN Ed448DSIGN → (Ptr p → IO a) → IO a Source # copyByteArrayToPtr ∷ SignKeyDSIGN Ed448DSIGN → Ptr p → IO () Source #
NoThunks (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods noThunks ∷ Context → SignKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → String Source #
NoThunks (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks ∷ Context → SignKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → String Source #
NoThunks (SignKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks ∷ Context → SignKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → String Source #
NoThunks (SignKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks ∷ Context → SignKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN Ed448DSIGN) → String Source #
NoThunks (SignKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks ∷ Context → SignKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN MockDSIGN) → String Source #
NoThunks (SignKeyDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks ∷ Context → SignKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN NeverDSIGN) → String Source #
NoThunks (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks ∷ Context → SignKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → String Source #
newtype SignKeyDSIGN EcdsaSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype SignKeyDSIGN EcdsaSecp256k1DSIGN = SignKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES)
newtype SignKeyDSIGN Ed25519DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)
newtype SignKeyDSIGN Ed448DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype SignKeyDSIGN Ed448DSIGN = SignKeyEd448DSIGN SecretKey
newtype SignKeyDSIGN MockDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock newtype SignKeyDSIGN MockDSIGN = SignKeyMockDSIGN Word64
data SignKeyDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN
newtype SignKeyDSIGN SchnorrSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype SignKeyDSIGN SchnorrSecp256k1DSIGN = SignKeySchnorrSecp256k1 (PinnedSizedBytes (SignKeySizeDSIGN SchnorrSecp256k1DSIGN))
type Rep (SignKeyDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type Rep (SignKeyDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Scalar)))
type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES))))
type Rep (SignKeyDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES))))
type Rep (SignKeyDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (SignKeyDSIGN Ed448DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))
type Rep (SignKeyDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (SignKeyDSIGN MockDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (SignKeyDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (SignKeyDSIGN NeverDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.3.0.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSignKeyDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SignKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SignKeySizeDSIGN SchnorrSecp256k1DSIGN)))))
newtype SignKeyDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 newtype SignKeyDSIGN (BLS12381DSIGN curve) = SignKeyBLS12381 Scalar

data family SigDSIGN v ∷ Type Source #

Instances

Instances details

Generic (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type Rep (SigDSIGN (BLS12381DSIGN curve)) ∷ Type → Type # Methods from ∷ SigDSIGN (BLS12381DSIGN curve) → Rep (SigDSIGN (BLS12381DSIGN curve)) x # to ∷ Rep (SigDSIGN (BLS12381DSIGN curve)) x → SigDSIGN (BLS12381DSIGN curve) #
Generic (SigDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (SigDSIGN EcdsaSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN EcdsaSecp256k1DSIGN → Rep (SigDSIGN EcdsaSecp256k1DSIGN) x # to ∷ Rep (SigDSIGN EcdsaSecp256k1DSIGN) x → SigDSIGN EcdsaSecp256k1DSIGN #
Generic (SigDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep (SigDSIGN Ed25519DSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN Ed25519DSIGN → Rep (SigDSIGN Ed25519DSIGN) x # to ∷ Rep (SigDSIGN Ed25519DSIGN) x → SigDSIGN Ed25519DSIGN #
Generic (SigDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep (SigDSIGN Ed448DSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN Ed448DSIGN → Rep (SigDSIGN Ed448DSIGN) x # to ∷ Rep (SigDSIGN Ed448DSIGN) x → SigDSIGN Ed448DSIGN #
Generic (SigDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep (SigDSIGN MockDSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN MockDSIGN → Rep (SigDSIGN MockDSIGN) x # to ∷ Rep (SigDSIGN MockDSIGN) x → SigDSIGN MockDSIGN #
Generic (SigDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep (SigDSIGN NeverDSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN NeverDSIGN → Rep (SigDSIGN NeverDSIGN) x # to ∷ Rep (SigDSIGN NeverDSIGN) x → SigDSIGN NeverDSIGN #
Generic (SigDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (SigDSIGN SchnorrSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN SchnorrSecp256k1DSIGN → Rep (SigDSIGN SchnorrSecp256k1DSIGN) x # to ∷ Rep (SigDSIGN SchnorrSecp256k1DSIGN) x → SigDSIGN SchnorrSecp256k1DSIGN #
Show (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods showsPrec ∷ Int → SigDSIGN (BLS12381DSIGN curve) → ShowS # show ∷ SigDSIGN (BLS12381DSIGN curve) → String # showList ∷ [SigDSIGN (BLS12381DSIGN curve)] → ShowS #
Show (SigDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec ∷ Int → SigDSIGN EcdsaSecp256k1DSIGN → ShowS # show ∷ SigDSIGN EcdsaSecp256k1DSIGN → String # showList ∷ [SigDSIGN EcdsaSecp256k1DSIGN] → ShowS #
Show (SigDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec ∷ Int → SigDSIGN Ed25519DSIGN → ShowS # show ∷ SigDSIGN Ed25519DSIGN → String # showList ∷ [SigDSIGN Ed25519DSIGN] → ShowS #
Show (SigDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec ∷ Int → SigDSIGN Ed448DSIGN → ShowS # show ∷ SigDSIGN Ed448DSIGN → String # showList ∷ [SigDSIGN Ed448DSIGN] → ShowS #
Show (SigDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec ∷ Int → SigDSIGN MockDSIGN → ShowS # show ∷ SigDSIGN MockDSIGN → String # showList ∷ [SigDSIGN MockDSIGN] → ShowS #
Show (SigDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec ∷ Int → SigDSIGN NeverDSIGN → ShowS # show ∷ SigDSIGN NeverDSIGN → String # showList ∷ [SigDSIGN NeverDSIGN] → ShowS #
Show (SigDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec ∷ Int → SigDSIGN SchnorrSecp256k1DSIGN → ShowS # show ∷ SigDSIGN SchnorrSecp256k1DSIGN → String # showList ∷ [SigDSIGN SchnorrSecp256k1DSIGN] → ShowS #
BLS12381CurveConstraints curve ⇒ FromCBOR (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (SigDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (SigDSIGN (BLS12381DSIGN curve)) → Text Source #
FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (SigDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (SigDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SigDSIGN Ed25519DSIGN) Source # label ∷ Proxy (SigDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (SigDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (SigDSIGN Ed448DSIGN) Source # label ∷ Proxy (SigDSIGN Ed448DSIGN) → Text Source #
FromCBOR (SigDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR ∷ Decoder s (SigDSIGN MockDSIGN) Source # label ∷ Proxy (SigDSIGN MockDSIGN) → Text Source #
FromCBOR (SigDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (SigDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Text Source #
BLS12381CurveConstraints curve ⇒ ToCBOR (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ SigDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN (BLS12381DSIGN curve)] → Size Source #
ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ SigDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (SigDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ SigDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (SigDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR ∷ SigDSIGN Ed448DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN Ed448DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN Ed448DSIGN] → Size Source #
ToCBOR (SigDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR ∷ SigDSIGN MockDSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN MockDSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN MockDSIGN] → Size Source #
ToCBOR (SigDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ SigDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN SchnorrSecp256k1DSIGN] → Size Source #
NFData (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods rnf ∷ SigDSIGN (BLS12381DSIGN curve) → () #
NFData (SigDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf ∷ SigDSIGN EcdsaSecp256k1DSIGN → () #
NFData (SigDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf ∷ SigDSIGN Ed25519DSIGN → () #
NFData (SigDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf ∷ SigDSIGN MockDSIGN → () #
NFData (SigDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf ∷ SigDSIGN SchnorrSecp256k1DSIGN → () #
BLS (DualCurve curve) ⇒ Eq (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods (==) ∷ SigDSIGN (BLS12381DSIGN curve) → SigDSIGN (BLS12381DSIGN curve) → Bool # (/=) ∷ SigDSIGN (BLS12381DSIGN curve) → SigDSIGN (BLS12381DSIGN curve) → Bool #
Eq (SigDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) ∷ SigDSIGN EcdsaSecp256k1DSIGN → SigDSIGN EcdsaSecp256k1DSIGN → Bool # (/=) ∷ SigDSIGN EcdsaSecp256k1DSIGN → SigDSIGN EcdsaSecp256k1DSIGN → Bool #
Eq (SigDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) ∷ SigDSIGN Ed25519DSIGN → SigDSIGN Ed25519DSIGN → Bool # (/=) ∷ SigDSIGN Ed25519DSIGN → SigDSIGN Ed25519DSIGN → Bool #
Eq (SigDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) ∷ SigDSIGN Ed448DSIGN → SigDSIGN Ed448DSIGN → Bool # (/=) ∷ SigDSIGN Ed448DSIGN → SigDSIGN Ed448DSIGN → Bool #
Eq (SigDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool # (/=) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool #
Eq (SigDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) ∷ SigDSIGN NeverDSIGN → SigDSIGN NeverDSIGN → Bool # (/=) ∷ SigDSIGN NeverDSIGN → SigDSIGN NeverDSIGN → Bool #
Eq (SigDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) ∷ SigDSIGN SchnorrSecp256k1DSIGN → SigDSIGN SchnorrSecp256k1DSIGN → Bool # (/=) ∷ SigDSIGN SchnorrSecp256k1DSIGN → SigDSIGN SchnorrSecp256k1DSIGN → Bool #
Ord (SigDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods compare ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Ordering # (<) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool # (<=) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool # (>) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool # (>=) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool # max ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → SigDSIGN MockDSIGN # min ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → SigDSIGN MockDSIGN #
ByteArrayAccess (SigDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length ∷ SigDSIGN Ed448DSIGN → Int Source # withByteArray ∷ SigDSIGN Ed448DSIGN → (Ptr p → IO a) → IO a Source # copyByteArrayToPtr ∷ SigDSIGN Ed448DSIGN → Ptr p → IO () Source #
NoThunks (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods noThunks ∷ Context → SigDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN (BLS12381DSIGN curve)) → String Source #
NoThunks (SigDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks ∷ Context → SigDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → String Source #
NoThunks (SigDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks ∷ Context → SigDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN Ed25519DSIGN) → String Source #
NoThunks (SigDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks ∷ Context → SigDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN Ed448DSIGN) → String Source #
NoThunks (SigDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks ∷ Context → SigDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN MockDSIGN) → String Source #
NoThunks (SigDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks ∷ Context → SigDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN NeverDSIGN) → String Source #
NoThunks (SigDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks ∷ Context → SigDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → String Source #
newtype SigDSIGN EcdsaSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype SigDSIGN EcdsaSecp256k1DSIGN = SigEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL)
newtype SigDSIGN Ed25519DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SigDSIGN Ed25519DSIGN = SigEd25519DSIGN (PinnedSizedBytes (SigSizeDSIGN Ed25519DSIGN))
newtype SigDSIGN Ed448DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype SigDSIGN Ed448DSIGN = SigEd448DSIGN Signature
data SigDSIGN MockDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock data SigDSIGN MockDSIGN = SigMockDSIGN !(Hash ShortHash ()) !Word64
data SigDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN
newtype SigDSIGN SchnorrSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype SigDSIGN SchnorrSecp256k1DSIGN = SigSchnorrSecp256k1 (PinnedSizedBytes (SigSizeDSIGN SchnorrSecp256k1DSIGN))
type Rep (SigDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type Rep (SigDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SigBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (DualCurve curve)))))
type Rep (SigDSIGN EcdsaSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (SigDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SigEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL))))
type Rep (SigDSIGN Ed25519DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SigSizeDSIGN Ed25519DSIGN)))))
type Rep (SigDSIGN Ed448DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (SigDSIGN Ed448DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SigEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))
type Rep (SigDSIGN MockDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (SigDSIGN MockDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.3.0.0-inplace" 'False) (C1 ('MetaCons "SigMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))
type Rep (SigDSIGN NeverDSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (SigDSIGN NeverDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.3.0.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSigDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SigDSIGN SchnorrSecp256k1DSIGN) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (SigDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.3.0.0-inplace" 'True) (C1 ('MetaCons "SigSchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SigSizeDSIGN SchnorrSecp256k1DSIGN)))))
newtype SigDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 newtype SigDSIGN (BLS12381DSIGN curve) = SigBLS12381 (Point (DualCurve curve))

data family PossessionProofDSIGN v ∷ Type Source #

Instances

Instances details

Generic (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type Rep (PossessionProofDSIGN (BLS12381DSIGN curve)) ∷ Type → Type # Methods from ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → Rep (PossessionProofDSIGN (BLS12381DSIGN curve)) x # to ∷ Rep (PossessionProofDSIGN (BLS12381DSIGN curve)) x → PossessionProofDSIGN (BLS12381DSIGN curve) #
Show (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods showsPrec ∷ Int → PossessionProofDSIGN (BLS12381DSIGN curve) → ShowS # show ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → String # showList ∷ [PossessionProofDSIGN (BLS12381DSIGN curve)] → ShowS #
(BLS12381CurveConstraints curve, KnownNat (CompressedPointSize (DualCurve curve) + CompressedPointSize (DualCurve curve))) ⇒ FromCBOR (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (PossessionProofDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (PossessionProofDSIGN (BLS12381DSIGN curve)) → Text Source #
(BLS12381CurveConstraints curve, KnownNat (CompressedPointSize (DualCurve curve) + CompressedPointSize (DualCurve curve))) ⇒ ToCBOR (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PossessionProofDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PossessionProofDSIGN (BLS12381DSIGN curve)] → Size Source #
NFData (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods rnf ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → () #
BLS (DualCurve curve) ⇒ Eq (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods (==) ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → PossessionProofDSIGN (BLS12381DSIGN curve) → Bool # (/=) ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → PossessionProofDSIGN (BLS12381DSIGN curve) → Bool #
NoThunks (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods noThunks ∷ Context → PossessionProofDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PossessionProofDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PossessionProofDSIGN (BLS12381DSIGN curve)) → String Source #
type Rep (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type Rep (PossessionProofDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "PossessionProofDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.0.0-inplace" 'False) (C1 ('MetaCons "PossessionProofBLS12381" 'PrefixI 'True) (S1 ('MetaSel ('Just "mu1") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point (DualCurve curve))) :*: S1 ('MetaSel ('Just "mu2") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point (DualCurve curve)))))
data PossessionProofDSIGN (BLS12381DSIGN curve) Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 data PossessionProofDSIGN (BLS12381DSIGN curve) = PossessionProofBLS12381 { mu1 ∷ !(Point (DualCurve curve)) mu2 ∷ !(Point (DualCurve curve)) }

data BLS12381SignContext Source #

Constructors

BLS12381SignContext
Fields blsSignContextDst ∷ !(Maybe ByteString) blsSignContextAug ∷ !(Maybe ByteString)

Instances

Instances details

Generic BLS12381SignContext Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Associated Types type Rep BLS12381SignContext ∷ Type → Type # Methods from ∷ BLS12381SignContext → Rep BLS12381SignContext x # to ∷ Rep BLS12381SignContext x → BLS12381SignContext #
Show BLS12381SignContext Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods showsPrec ∷ Int → BLS12381SignContext → ShowS # show ∷ BLS12381SignContext → String # showList ∷ [BLS12381SignContext] → ShowS #
NFData BLS12381SignContext Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods rnf ∷ BLS12381SignContext → () #
Eq BLS12381SignContext Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods (==) ∷ BLS12381SignContext → BLS12381SignContext → Bool # (/=) ∷ BLS12381SignContext → BLS12381SignContext → Bool #
NoThunks BLS12381SignContext Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods noThunks ∷ Context → BLS12381SignContext → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BLS12381SignContext → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BLS12381SignContext → String Source #
type Rep BLS12381SignContext Source #
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 type Rep BLS12381SignContext = D1 ('MetaData "BLS12381SignContext" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.0.0-inplace" 'False) (C1 ('MetaCons "BLS12381SignContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "blsSignContextDst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ByteString)) :*: S1 ('MetaSel ('Just "blsSignContextAug") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ByteString))))