cardano-crypto-wrapper-1.3.0: Cryptographic primitives used in the Cardano project
Safe Haskell None
Language Haskell2010

Cardano.Crypto.Signing.Redeem

Synopsis

Documentation

newtype RedeemVerificationKey Source #

Wrapper around PublicKey .

Constructors

RedeemVerificationKey PublicKey

Instances

Instances details
Eq RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

(==) :: RedeemVerificationKey -> RedeemVerificationKey -> Bool Source #

(/=) :: RedeemVerificationKey -> RedeemVerificationKey -> Bool Source #

Ord RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

compare :: RedeemVerificationKey -> RedeemVerificationKey -> Ordering Source #

(<) :: RedeemVerificationKey -> RedeemVerificationKey -> Bool Source #

(<=) :: RedeemVerificationKey -> RedeemVerificationKey -> Bool Source #

(>) :: RedeemVerificationKey -> RedeemVerificationKey -> Bool Source #

(>=) :: RedeemVerificationKey -> RedeemVerificationKey -> Bool Source #

max :: RedeemVerificationKey -> RedeemVerificationKey -> RedeemVerificationKey Source #

min :: RedeemVerificationKey -> RedeemVerificationKey -> RedeemVerificationKey Source #

Show RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

showsPrec :: Int -> RedeemVerificationKey -> ShowS Source #

show :: RedeemVerificationKey -> String Source #

showList :: [ RedeemVerificationKey ] -> ShowS Source #

Generic RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Associated Types

type Rep RedeemVerificationKey :: Type -> Type Source #

Methods

from :: RedeemVerificationKey -> Rep RedeemVerificationKey x Source #

to :: Rep RedeemVerificationKey x -> RedeemVerificationKey Source #

ToJSON RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

toJSON :: RedeemVerificationKey -> Value Source #

toEncoding :: RedeemVerificationKey -> Encoding Source #

toJSONList :: [ RedeemVerificationKey ] -> Value Source #

toEncodingList :: [ RedeemVerificationKey ] -> Encoding Source #

ToJSONKey RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

toJSONKey :: ToJSONKeyFunction RedeemVerificationKey Source #

toJSONKeyList :: ToJSONKeyFunction [ RedeemVerificationKey ] Source #

FromJSON RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

parseJSON :: Value -> Parser RedeemVerificationKey Source #

parseJSONList :: Value -> Parser [ RedeemVerificationKey ] Source #

FromJSONKey RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

fromJSONKey :: FromJSONKeyFunction RedeemVerificationKey Source #

fromJSONKeyList :: FromJSONKeyFunction [ RedeemVerificationKey ] Source #

ToCBOR RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

toCBOR :: RedeemVerificationKey -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy RedeemVerificationKey -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ RedeemVerificationKey ] -> Size Source #

FromCBOR RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

fromCBOR :: Decoder s RedeemVerificationKey Source #

label :: Proxy RedeemVerificationKey -> Text Source #

NFData RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

rnf :: RedeemVerificationKey -> () Source #

Buildable RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

build :: RedeemVerificationKey -> Builder Source #

NoThunks RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

noThunks :: Context -> RedeemVerificationKey -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> RedeemVerificationKey -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy RedeemVerificationKey -> String Source #

Monad m => ToObjectKey m RedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

toObjectKey :: RedeemVerificationKey -> m JSString Source #

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

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

fromObjectKey :: JSString -> m ( Maybe RedeemVerificationKey ) Source #

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-IHV099LYIDeGXjcjOEcwKY" ' True ) ( C1 (' MetaCons "RedeemVerificationKey" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 PublicKey )))

redeemVKB64F :: Format r ( RedeemVerificationKey -> r) Source #

redeemVKB64UrlF :: Format r ( RedeemVerificationKey -> r) Source #

Base64url Format for RedeemVerificationKey .

redeemVKB64ShortF :: Format r ( RedeemVerificationKey -> r) Source #

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.

fromVerificationKeyToByteString :: PublicKey -> ByteString Source #

redeemVKBuild :: ByteString -> RedeemVerificationKey Source #

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

newtype RedeemSigningKey Source #

Wrapper around SecretKey .

Constructors

RedeemSigningKey SecretKey

Instances

Instances details
Eq RedeemSigningKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

(==) :: RedeemSigningKey -> RedeemSigningKey -> Bool Source #

(/=) :: RedeemSigningKey -> RedeemSigningKey -> Bool Source #

Show RedeemSigningKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

showsPrec :: Int -> RedeemSigningKey -> ShowS Source #

show :: RedeemSigningKey -> String Source #

showList :: [ RedeemSigningKey ] -> ShowS Source #

Generic RedeemSigningKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Associated Types

type Rep RedeemSigningKey :: Type -> Type Source #

Methods

from :: RedeemSigningKey -> Rep RedeemSigningKey x Source #

to :: Rep RedeemSigningKey x -> RedeemSigningKey Source #

ToCBOR RedeemSigningKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

toCBOR :: RedeemSigningKey -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy RedeemSigningKey -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ RedeemSigningKey ] -> Size Source #

FromCBOR RedeemSigningKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

fromCBOR :: Decoder s RedeemSigningKey Source #

label :: Proxy RedeemSigningKey -> Text Source #

NFData RedeemSigningKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

rnf :: RedeemSigningKey -> () Source #

Buildable RedeemSigningKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

build :: RedeemSigningKey -> Builder Source #

NoThunks RedeemSigningKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

noThunks :: Context -> RedeemSigningKey -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> RedeemSigningKey -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy RedeemSigningKey -> String Source #

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-IHV099LYIDeGXjcjOEcwKY" ' 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 RedeemSignature a Source #

Wrapper around Signature

Constructors

RedeemSignature Signature

Instances

Instances details
Eq ( RedeemSignature a) Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

(==) :: RedeemSignature a -> RedeemSignature a -> Bool Source #

(/=) :: RedeemSignature a -> RedeemSignature a -> Bool Source #

Show ( RedeemSignature a) Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

showsPrec :: Int -> RedeemSignature a -> ShowS Source #

show :: RedeemSignature a -> String Source #

showList :: [ RedeemSignature a] -> ShowS Source #

Generic ( RedeemSignature a) Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Associated Types

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

Methods

from :: RedeemSignature a -> Rep ( RedeemSignature a) x Source #

to :: Rep ( RedeemSignature a) x -> RedeemSignature a Source #

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

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

toJSON :: RedeemSignature a -> Value Source #

toEncoding :: RedeemSignature a -> Encoding Source #

toJSONList :: [ RedeemSignature a] -> Value Source #

toEncodingList :: [ RedeemSignature a] -> Encoding Source #

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

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

parseJSON :: Value -> Parser ( RedeemSignature a) Source #

parseJSONList :: Value -> Parser [ RedeemSignature a] Source #

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

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

toCBOR :: RedeemSignature a -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( RedeemSignature a) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ RedeemSignature a] -> Size Source #

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

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

fromCBOR :: Decoder s ( RedeemSignature a) Source #

label :: Proxy ( RedeemSignature a) -> Text Source #

NFData ( RedeemSignature a) Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

rnf :: RedeemSignature a -> () Source #

Buildable ( RedeemSignature a) Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

build :: RedeemSignature a -> Builder Source #

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-IHV099LYIDeGXjcjOEcwKY" ' 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

redeemSignRaw :: ProtocolMagicId -> Maybe SignTag -> RedeemSigningKey -> ByteString -> RedeemSignature Raw Source #

Alias for constructor

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

Verify a redeem signature

verifyRedeemSigDecoded :: Decoded t => Annotated ProtocolMagicId ByteString -> SignTag -> RedeemVerificationKey -> t -> RedeemSignature ( BaseType t) -> Bool Source #

verifyRedeemSigRaw :: RedeemVerificationKey -> ByteString -> RedeemSignature Raw -> Bool Source #

Verify raw ByteString

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 #

Constructors

CompactRedeemVerificationKey ! Word64 ! Word64 ! Word64 ! Word64

Instances

Instances details
Eq CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

(==) :: CompactRedeemVerificationKey -> CompactRedeemVerificationKey -> Bool Source #

(/=) :: CompactRedeemVerificationKey -> CompactRedeemVerificationKey -> Bool Source #

Ord CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

compare :: CompactRedeemVerificationKey -> CompactRedeemVerificationKey -> Ordering Source #

(<) :: CompactRedeemVerificationKey -> CompactRedeemVerificationKey -> Bool Source #

(<=) :: CompactRedeemVerificationKey -> CompactRedeemVerificationKey -> Bool Source #

(>) :: CompactRedeemVerificationKey -> CompactRedeemVerificationKey -> Bool Source #

(>=) :: CompactRedeemVerificationKey -> CompactRedeemVerificationKey -> Bool Source #

max :: CompactRedeemVerificationKey -> CompactRedeemVerificationKey -> CompactRedeemVerificationKey Source #

min :: CompactRedeemVerificationKey -> CompactRedeemVerificationKey -> CompactRedeemVerificationKey Source #

Show CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

showsPrec :: Int -> CompactRedeemVerificationKey -> ShowS Source #

show :: CompactRedeemVerificationKey -> String Source #

showList :: [ CompactRedeemVerificationKey ] -> ShowS Source #

Generic CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Associated Types

type Rep CompactRedeemVerificationKey :: Type -> Type Source #

Methods

from :: CompactRedeemVerificationKey -> Rep CompactRedeemVerificationKey x Source #

to :: Rep CompactRedeemVerificationKey x -> CompactRedeemVerificationKey Source #

ToJSON CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

toJSON :: CompactRedeemVerificationKey -> Value Source #

toEncoding :: CompactRedeemVerificationKey -> Encoding Source #

toJSONList :: [ CompactRedeemVerificationKey ] -> Value Source #

toEncodingList :: [ CompactRedeemVerificationKey ] -> Encoding Source #

ToJSONKey CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

toJSONKey :: ToJSONKeyFunction CompactRedeemVerificationKey Source #

toJSONKeyList :: ToJSONKeyFunction [ CompactRedeemVerificationKey ] Source #

FromJSON CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

parseJSON :: Value -> Parser CompactRedeemVerificationKey Source #

parseJSONList :: Value -> Parser [ CompactRedeemVerificationKey ] Source #

FromJSONKey CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

fromJSONKey :: FromJSONKeyFunction CompactRedeemVerificationKey Source #

fromJSONKeyList :: FromJSONKeyFunction [ CompactRedeemVerificationKey ] Source #

ToCBOR CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

toCBOR :: CompactRedeemVerificationKey -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy CompactRedeemVerificationKey -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CompactRedeemVerificationKey ] -> Size Source #

FromCBOR CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

fromCBOR :: Decoder s CompactRedeemVerificationKey Source #

label :: Proxy CompactRedeemVerificationKey -> Text Source #

NFData CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

rnf :: CompactRedeemVerificationKey -> () Source #

NoThunks CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

noThunks :: Context -> CompactRedeemVerificationKey -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> CompactRedeemVerificationKey -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy CompactRedeemVerificationKey -> String Source #

Monad m => ToObjectKey m CompactRedeemVerificationKey Source #
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

toObjectKey :: CompactRedeemVerificationKey -> m JSString Source #

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

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

fromObjectKey :: JSString -> m ( Maybe CompactRedeemVerificationKey ) Source #

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-IHV099LYIDeGXjcjOEcwKY" ' 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 ))))

fromCompactRedeemVerificationKey :: CompactRedeemVerificationKey -> RedeemVerificationKey Source #

toCompactRedeemVerificationKey :: RedeemVerificationKey -> CompactRedeemVerificationKey Source #