cardano-crypto-wrapper-1.3.0: Cryptographic primitives used in the Cardano project
Safe HaskellNone
LanguageHaskell2010

Cardano.Crypto.Signing.Redeem

Synopsis

Documentation

newtype RedeemSignature a Source #

Wrapper around Signature

Instances

Instances details
Eq (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Show (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Generic (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Associated Types

type Rep (RedeemSignature a) :: Type -> Type #

ToJSON a => ToJSON (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

FromJSON a => FromJSON (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Typeable a => ToCBOR (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Typeable a => FromCBOR (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

NFData (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

rnf :: RedeemSignature a -> () #

Buildable (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

type Rep (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

type Rep (RedeemSignature a) = D1 ('MetaData "RedeemSignature" "Cardano.Crypto.Signing.Redeem.Signature" "cardano-crypto-wrapper-1.3.0-6xpOK9u3M8m70P8UdE8hNf" 'True) (C1 ('MetaCons "RedeemSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))

redeemSign :: ToCBOR a => ProtocolMagicId -> SignTag -> RedeemSigningKey -> a -> RedeemSignature a Source #

Encode something with ToCBOR and sign it

verifyRedeemSig :: ToCBOR a => ProtocolMagicId -> SignTag -> RedeemVerificationKey -> a -> RedeemSignature a -> Bool Source #

Verify a redeem signature

newtype RedeemSigningKey Source #

Wrapper around SecretKey.

Instances

Instances details
Eq RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Show RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Generic RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Associated Types

type Rep RedeemSigningKey :: Type -> Type #

ToCBOR RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

FromCBOR RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

NFData RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

rnf :: RedeemSigningKey -> () #

Buildable RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

NoThunks RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

type Rep RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

type Rep RedeemSigningKey = D1 ('MetaData "RedeemSigningKey" "Cardano.Crypto.Signing.Redeem.SigningKey" "cardano-crypto-wrapper-1.3.0-6xpOK9u3M8m70P8UdE8hNf" 'True) (C1 ('MetaCons "RedeemSigningKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))

redeemToVerification :: RedeemSigningKey -> RedeemVerificationKey Source #

Verification key derivation function.

newtype RedeemVerificationKey Source #

Wrapper around PublicKey.

Instances

Instances details
Eq RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Ord RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Show RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Generic RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Associated Types

type Rep RedeemVerificationKey :: Type -> Type #

ToJSON RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

ToJSONKey RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

FromJSON RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

FromJSONKey RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

ToCBOR RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

FromCBOR RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

NFData RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

rnf :: RedeemVerificationKey -> () #

Buildable RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

NoThunks RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Monad m => ToObjectKey m RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

MonadError SchemaError m => FromObjectKey m RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

type Rep RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

type Rep RedeemVerificationKey = D1 ('MetaData "RedeemVerificationKey" "Cardano.Crypto.Signing.Redeem.VerificationKey" "cardano-crypto-wrapper-1.3.0-6xpOK9u3M8m70P8UdE8hNf" 'True) (C1 ('MetaCons "RedeemVerificationKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))

fromAvvmVK :: Text -> Either AvvmVKError RedeemVerificationKey Source #

Read the text into a redeeming verification key. The key should be in AVVM format which is base64(url). This function must be inverse of redeemVKB64UrlF formatter.

redeemVKBuild :: ByteString -> RedeemVerificationKey Source #

Creates a verification key from 32 byte bytestring, fails with error otherwise

redeemKeyGen :: MonadRandom m => m (RedeemVerificationKey, RedeemSigningKey) Source #

Generate a key pair. It's recommended to run it with runSecureRandom from Cardano.Crypto.Random because the OpenSSL generator is probably safer than the default IO generator.

redeemDeterministicKeyGen :: ByteString -> Maybe (RedeemVerificationKey, RedeemSigningKey) Source #

Create key pair deterministically from 32 bytes

data CompactRedeemVerificationKey Source #

Instances

Instances details
Eq CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Ord CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Show CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Generic CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Associated Types

type Rep CompactRedeemVerificationKey :: Type -> Type #

ToJSON CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

ToJSONKey CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

FromJSON CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

FromJSONKey CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

NFData CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

NoThunks CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Monad m => ToObjectKey m CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

MonadError SchemaError m => FromObjectKey m CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

type Rep CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

type Rep CompactRedeemVerificationKey = D1 ('MetaData "CompactRedeemVerificationKey" "Cardano.Crypto.Signing.Redeem.Compact" "cardano-crypto-wrapper-1.3.0-6xpOK9u3M8m70P8UdE8hNf" 'False) (C1 ('MetaCons "CompactRedeemVerificationKey" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))