Modulecardano-crypto-class-2.5.1.0

Cardano.Crypto.DSIGN.Class

2 types
4 classes
32 values

Packagecardano-crypto-class-2.5.1.0
Exports38
LicenceApache-2.0

valueaggregateVerKeysDSIGN

:: (HasCallStack, DSIGNAggregatable v)
=> ContextDSIGN v
-> [(VerKeyDSIGN v, PossessionProofDSIGN v)]
-> Either String (VerKeyDSIGN v)

valuecloneKeyDSIGNM

:: (DSIGNMAlgorithm v, MonadST m)
=> SignKeyDSIGNM v
-> m (SignKeyDSIGNM v)

valuedecodePossessionProofDSIGN :: DSIGNAggregatable v => Decoder s (PossessionProofDSIGN v)

Deprecated. Use decodeFixedSized instead

valuedecodeSigDSIGN :: DSIGNAlgorithm v => Decoder s (SigDSIGN v)

Deprecated. Use decodeFixedSized instead

valuedecodeSignKeyDSIGN :: DSIGNAlgorithm v => Decoder s (SignKeyDSIGN v)

Deprecated. Use decodeFixedSized instead

valuedecodeSignKeyDSIGNM :: (UnsoundDSIGNMAlgorithm v, MonadST m, MonadThrow m) => Decoder s (m (SignKeyDSIGNM v))

valuedecodeSignedDSIGN :: DSIGNAlgorithm v => Decoder s (SignedDSIGN v a)

Deprecated. Use decodeFixedSized instead

valuedecodeVerKeyDSIGN :: DSIGNAlgorithm v => Decoder s (VerKeyDSIGN v)

Deprecated. Use decodeFixedSized instead

valueencodePossessionProofDSIGN

:: DSIGNAggregatable v
=> PossessionProofDSIGN v
-> Encoding

Deprecated. Use encodeFixedSized instead

valueencodeSigDSIGN :: DSIGNAlgorithm v => SigDSIGN v -> Encoding

Deprecated. Use encodeFixedSized instead

valueencodeSignKeyDSIGN :: DSIGNAlgorithm v => SignKeyDSIGN v -> Encoding

Deprecated. Use encodeFixedSized instead

valueencodeSignKeyDSIGNM

:: (UnsoundDSIGNMAlgorithm v, MonadST m, MonadThrow m)
=> SignKeyDSIGNM v
-> m Encoding

valueencodeSignedDSIGN :: DSIGNAlgorithm v => SignedDSIGN v a -> Encoding

Deprecated. Use encodeFixedSized instead

valueencodeVerKeyDSIGN :: DSIGNAlgorithm v => VerKeyDSIGN v -> Encoding

Deprecated. Use encodeFixedSized instead

valueencodedPossessionProofDSIGNSizeExpr

:: DSIGNAggregatable v
=> Proxy (PossessionProofDSIGN v)
-> Size

valueencodedSigDSIGNSizeExpr :: DSIGNAlgorithm v => Proxy (SigDSIGN v) -> Size

valueencodedSignKeyDSIGNSizeExpr

:: DSIGNAlgorithm v
=> Proxy (SignKeyDSIGN v)
-> Size

valueencodedVerKeyDSIGNSizeExpr

:: DSIGNAlgorithm v
=> Proxy (VerKeyDSIGN v)
-> Size

valueforgetSignKeyDSIGNM

:: (DSIGNMAlgorithm v, MonadST m, MonadThrow m)
=> SignKeyDSIGNM v
-> m ()

valuegenKeyDSIGNM

:: (DSIGNMAlgorithm v, MonadST m, MonadThrow m)
=> MLockedSeed (SeedSizeDSIGN v)
-> m (SignKeyDSIGNM v)

valuegetSeedDSIGNM

:: (DSIGNMAlgorithm v, MonadST m, MonadThrow m)
=> Proxy v
-> SignKeyDSIGNM v
-> m (MLockedSeed (SeedSizeDSIGN v))

valuepossessionProofSizeDSIGN :: DSIGNAggregatable v => proxy v -> Word

Deprecated. Use fixedSize instead

valuerawDeserialiseSignKeyDSIGNM

:: (UnsoundDSIGNMAlgorithm v, MonadST m, MonadThrow m)
=> ByteString
-> m (Maybe (SignKeyDSIGNM v))

valueseedSizeDSIGN :: DSIGNAlgorithm v => proxy v -> Word

valuesigSizeDSIGN :: DSIGNAlgorithm v => proxy v -> Word

Deprecated. Use fixedSize instead

valuesignKeySizeDSIGN :: DSIGNAlgorithm v => proxy v -> Word

Deprecated. Use fixedSize instead

valuesignedDSIGN

:: (DSIGNAlgorithm v, Signable v a)
=> ContextDSIGN v
-> a
-> SignKeyDSIGN v
-> SignedDSIGN v a

valuesizeSigDSIGN :: DSIGNAlgorithm v => proxy v -> Word

Deprecated. In favor of fixedSize

valuesizeSignKeyDSIGN :: DSIGNAlgorithm v => proxy v -> Word

Deprecated. In favor of fixedSize

valuesizeVerKeyDSIGN :: DSIGNAlgorithm v => proxy v -> Word

Deprecated. In favor of fixedSize

valueverKeySizeDSIGN :: DSIGNAlgorithm v => proxy v -> Word

Deprecated. Use fixedSize instead

valueverifySignedDSIGN

:: (DSIGNAlgorithm v, Signable v a, HasCallStack)
=> ContextDSIGN v
-> VerKeyDSIGN v
-> a
-> SignedDSIGN v a
-> Either String ()

class

class (DSIGNAlgorithm v, Show (PossessionProofDSIGN v), Eq (PossessionProofDSIGN v), NoThunks (PossessionProofDSIGN v), KnownNat (PossessionProofSizeDSIGN v), FixedSizeCodec (PossessionProofDSIGN v)) => DSIGNAggregatable v where

Associated types

type family PossessionProofSizeDSIGN v :: Nat
data family PossessionProofDSIGN v

Methods

uncheckedAggregateVerKeysDSIGN :: HasCallStack => [VerKeyDSIGN v] -> Either String (VerKeyDSIGN v)
aggregateSigsDSIGN :: HasCallStack => [SigDSIGN v] -> Either String (SigDSIGN v)
createPossessionProofDSIGN :: HasCallStack => ContextDSIGN v -> SignKeyDSIGN v -> PossessionProofDSIGN v
verifyPossessionProofDSIGN :: HasCallStack => ContextDSIGN v -> VerKeyDSIGN v -> PossessionProofDSIGN v -> Either String ()
rawSerialisePossessionProofDSIGN :: PossessionProofDSIGN v -> ByteString
rawDeserialisePossessionProofDSIGN :: ByteString -> Maybe (PossessionProofDSIGN v)

Instances1DSIGNAggregatable

BLS12381CurveConstraints curve => DSIGNAggregatable (BLS12381DSIGN curve)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal

class

class (Typeable v, Show (VerKeyDSIGN v), Eq (VerKeyDSIGN v), Show (SignKeyDSIGN v), Show (SigDSIGN v), Eq (SigDSIGN v), NoThunks (SigDSIGN v), NoThunks (SignKeyDSIGN v), NoThunks (VerKeyDSIGN v), KnownNat (SeedSizeDSIGN v), KnownNat (SignKeySizeDSIGN v), KnownNat (VerKeySizeDSIGN v), KnownNat (SigSizeDSIGN v), FixedSizeCodec (VerKeyDSIGN v), FixedSizeCodec (SignKeyDSIGN v), FixedSizeCodec (SigDSIGN v)) => DSIGNAlgorithm v where

Associated types

type family SeedSizeDSIGN v :: Nat
type family SignKeySizeDSIGN v :: Nat
type family VerKeySizeDSIGN v :: Nat
type family SigSizeDSIGN v :: Nat
type family SizeSignKeyDSIGN v :: Nat
type family SizeVerKeyDSIGN v :: Nat
type family SizeSigDSIGN v :: Nat
data family VerKeyDSIGN v
data family SignKeyDSIGN v
data family SigDSIGN v
type family ContextDSIGN v
type family Signable v :: Type -> Constraint
type family KeyGenContextDSIGN v

Methods

algorithmNameDSIGN :: proxy v -> String
deriveVerKeyDSIGN :: SignKeyDSIGN v -> VerKeyDSIGN v
hashVerKeyDSIGN :: HashAlgorithm h => VerKeyDSIGN v -> Hash h (VerKeyDSIGN v)
signDSIGN :: (Signable v a, HasCallStack) => ContextDSIGN v -> a -> SignKeyDSIGN v -> SigDSIGN v
verifyDSIGN :: (Signable v a, HasCallStack) => ContextDSIGN v -> VerKeyDSIGN v -> a -> SigDSIGN v -> Either String ()
genKeyDSIGN :: Seed -> SignKeyDSIGN v
genKeyDSIGNWithContext :: KeyGenContextDSIGN v -> Seed -> SignKeyDSIGN v
rawSerialiseVerKeyDSIGN :: VerKeyDSIGN v -> ByteString
rawSerialiseSignKeyDSIGN :: SignKeyDSIGN v -> ByteString
rawSerialiseSigDSIGN :: SigDSIGN v -> ByteString
rawDeserialiseVerKeyDSIGN :: ByteString -> Maybe (VerKeyDSIGN v)
rawDeserialiseSignKeyDSIGN :: ByteString -> Maybe (SignKeyDSIGN v)
rawDeserialiseSigDSIGN :: ByteString -> Maybe (SigDSIGN v)

Instances7DSIGNAlgorithm, …

DSIGNAlgorithm EcdsaSecp256k1DSIGNDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
DSIGNAlgorithm Ed25519DSIGNDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
DSIGNAlgorithm Ed448DSIGNDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
DSIGNAlgorithm MockDSIGNDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
DSIGNAlgorithm NeverDSIGNDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.NeverUsed
DSIGNAlgorithm SchnorrSecp256k1DSIGNDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
BLS12381CurveConstraints curve => DSIGNAlgorithm (BLS12381DSIGN curve)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal

classclass (DSIGNAlgorithm v, NoThunks (SignKeyDSIGNM v)) => DSIGNMAlgorithm v where

Associated types

data family SignKeyDSIGNM v

Methods

deriveVerKeyDSIGNM :: (MonadThrow m, MonadST m) => SignKeyDSIGNM v -> m (VerKeyDSIGN v)
signDSIGNM :: (Signable v a, MonadST m, MonadThrow m) => ContextDSIGN v -> a -> SignKeyDSIGNM v -> m (SigDSIGN v)
genKeyDSIGNMWith :: (MonadST m, MonadThrow m) => MLockedAllocator m -> MLockedSeed (SeedSizeDSIGN v) -> m (SignKeyDSIGNM v)
cloneKeyDSIGNMWith :: MonadST m => MLockedAllocator m -> SignKeyDSIGNM v -> m (SignKeyDSIGNM v)
getSeedDSIGNMWith :: (MonadST m, MonadThrow m) => MLockedAllocator m -> Proxy v -> SignKeyDSIGNM v -> m (MLockedSeed (SeedSizeDSIGN v))
forgetSignKeyDSIGNMWith :: (MonadST m, MonadThrow m) => MLockedAllocator m -> SignKeyDSIGNM v -> m ()

Instances1DSIGNMAlgorithm

DSIGNMAlgorithm Ed25519DSIGNDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519

newtypenewtype SignedDSIGN v a

Constructors

SignedDSIGN (SigDSIGN v)

Instances8Eq, Show, Generic, NFData, NoThunks, FixedSizeCodec, …

DSIGNAlgorithm v => Eq (SignedDSIGN v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Class
DSIGNAlgorithm v => Show (SignedDSIGN v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Class
Generic (SignedDSIGN v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Class
NFData (SigDSIGN v) => NFData (SignedDSIGN v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Class
DSIGNAlgorithm v => NoThunks (SignedDSIGN v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Class
FixedSizeCodec (SigDSIGN v) => FixedSizeCodec (SignedDSIGN v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Class
type Rep (SignedDSIGN v a) = D1 ('MetaData "SignedDSIGN" "Cardano.Crypto.DSIGN.Class" "cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0" 'True) (C1 ('MetaCons "SignedDSIGN" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN v))))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Class
type FixedSize (SignedDSIGN v a) = FixedSize (SigDSIGN v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Class

classclass DSIGNMAlgorithm v => UnsoundDSIGNMAlgorithm v where

Methods

rawSerialiseSignKeyDSIGNM :: (MonadST m, MonadThrow m) => SignKeyDSIGNM v -> m ByteString
rawDeserialiseSignKeyDSIGNMWith :: (MonadST m, MonadThrow m) => MLockedAllocator m -> ByteString -> m (Maybe (SignKeyDSIGNM v))

Instances1UnsoundDSIGNMAlgorithm

UnsoundDSIGNMAlgorithm Ed25519DSIGNDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519

newtypenewtype Seed

Instances6Eq, Show, Semigroup, Monoid, NFData, NoThunks

Eq SeedDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Seed
Show SeedDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Seed
Semigroup SeedDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Seed
Monoid SeedDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Seed
NFData SeedDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Seed
NoThunks SeedDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Seed