Morley.Tezos.Crypto.Secp256k1

Secp256k1 cryptographic primitives.

Cryptographic primitive types

newtype PublicKey

Secp256k1 public cryptographic key.

Constructors

PublicKey

Fields

• unPublicKey :: PublicKey

Instances

Generic PublicKey

Defined in Morley.Tezos.Crypto.Secp256k1

Associated Types

type Rep PublicKey :: Type -> Type

Methods

from :: PublicKey -> Rep PublicKey x

to :: Rep PublicKey x -> PublicKey

Show PublicKey

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

showsPrec :: Int -> PublicKey -> ShowS

show :: PublicKey -> String

showList :: [PublicKey] -> ShowS

NFData PublicKey

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

rnf :: PublicKey -> ()

Buildable PublicKey

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

build :: PublicKey -> Builder

Eq PublicKey

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

(==) :: PublicKey -> PublicKey -> Bool

(/=) :: PublicKey -> PublicKey -> Bool

Ord PublicKey

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

compare :: PublicKey -> PublicKey -> Ordering

(<) :: PublicKey -> PublicKey -> Bool

(<=) :: PublicKey -> PublicKey -> Bool

(>) :: PublicKey -> PublicKey -> Bool

(>=) :: PublicKey -> PublicKey -> Bool

max :: PublicKey -> PublicKey -> PublicKey

min :: PublicKey -> PublicKey -> PublicKey

type Rep PublicKey

Defined in Morley.Tezos.Crypto.Secp256k1

type Rep PublicKey = D1 ('MetaData "PublicKey" "Morley.Tezos.Crypto.Secp256k1" "morley-1.19.1-inplace" 'True) (C1 ('MetaCons "PublicKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPublicKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))

data SecretKey

Secp256k1 secret cryptographic key.

Instances

Generic SecretKey

Defined in Morley.Tezos.Crypto.Secp256k1

Associated Types

type Rep SecretKey :: Type -> Type

Methods

from :: SecretKey -> Rep SecretKey x

to :: Rep SecretKey x -> SecretKey

Show SecretKey

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

showsPrec :: Int -> SecretKey -> ShowS

show :: SecretKey -> String

showList :: [SecretKey] -> ShowS

NFData SecretKey

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

rnf :: SecretKey -> ()

Buildable SecretKey

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

build :: SecretKey -> Builder

Eq SecretKey

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

(==) :: SecretKey -> SecretKey -> Bool

(/=) :: SecretKey -> SecretKey -> Bool

type Rep SecretKey

Defined in Morley.Tezos.Crypto.Secp256k1

type Rep SecretKey = D1 ('MetaData "SecretKey" "Morley.Tezos.Crypto.Secp256k1" "morley-1.19.1-inplace" 'True) (C1 ('MetaCons "SecretKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSecretKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KeyPair)))

newtype Signature

Secp256k1 cryptographic signature.

Constructors

Signature

Fields

• unSignature :: Signature

Instances

Generic Signature

Defined in Morley.Tezos.Crypto.Secp256k1

Associated Types

type Rep Signature :: Type -> Type

Methods

from :: Signature -> Rep Signature x

to :: Rep Signature x -> Signature

Show Signature

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

NFData Signature

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

rnf :: Signature -> ()

Buildable Signature

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

build :: Signature -> Builder

Eq Signature

Defined in Morley.Tezos.Crypto.Secp256k1

Methods

(==) :: Signature -> Signature -> Bool

(/=) :: Signature -> Signature -> Bool

type Rep Signature

Defined in Morley.Tezos.Crypto.Secp256k1

type Rep Signature = D1 ('MetaData "Signature" "Morley.Tezos.Crypto.Secp256k1" "morley-1.19.1-inplace" 'True) (C1 ('MetaCons "Signature" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))

detSecretKey :: ByteString -> SecretKey

Deterministicaly generate a secret key from seed.

detSecretKeyDo :: MonadRandom m => m SecretKey

toPublic :: SecretKey -> PublicKey

Create a public key from a secret key.

Raw bytes (no checksums, tags or anything)

publicKeyToBytes :: forall ba. ByteArray ba => PublicKey -> ba

Convert a PublicKey to raw bytes.

mkPublicKey :: ByteArrayAccess ba => ba -> Either CryptoParseError PublicKey

Make a PublicKey from raw bytes.

publicKeyLengthBytes :: (Integral n, CheckIntSubType Int n) => n

signatureToBytes :: ByteArray ba => Signature -> ba

Convert a PublicKey to raw bytes.

mkSignature :: ByteArray ba => ba -> Either CryptoParseError Signature

Make a Signature from raw bytes.

signatureLengthBytes :: (Integral n, CheckIntSubType Int n) => n

Formatting and parsing

formatPublicKey :: PublicKey -> Text

mformatPublicKey :: PublicKey -> MText

parsePublicKey :: Text -> Either CryptoParseError PublicKey

formatSignature :: Signature -> Text

mformatSignature :: Signature -> MText

parseSignature :: Text -> Either CryptoParseError Signature

formatSecretKey :: SecretKey -> Text

parseSecretKey :: Text -> Either CryptoParseError SecretKey

Signing

sign :: MonadRandom m => SecretKey -> ByteString -> m Signature

Sign a message using the secret key.

checkSignature :: PublicKey -> Signature -> ByteString -> Bool

Check that a sequence of bytes has been signed with a given key.