Tezos.Crypto.P256

P256 cryptographic primitives.

This module is mostly a stub, it doesn't implement actual crypto. TODO (#18) implement crypto properly.

Cryptographic primitive types

newtype PublicKey

P256 public cryptographic key.

Constructors

PublicKey

Fields

• unPublicKey :: ByteString

Instances

Eq PublicKey

Defined in Tezos.Crypto.P256

Methods

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

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

Show PublicKey

Defined in Tezos.Crypto.P256

Methods

showsPrec :: Int -> PublicKey -> ShowS

show :: PublicKey -> String

showList :: [PublicKey] -> ShowS

Generic PublicKey

Defined in Tezos.Crypto.P256

Associated Types

type Rep PublicKey :: Type -> Type

Methods

from :: PublicKey -> Rep PublicKey x

to :: Rep PublicKey x -> PublicKey

Arbitrary PublicKey

Defined in Tezos.Crypto.P256

Methods

arbitrary :: Gen PublicKey

shrink :: PublicKey -> [PublicKey]

NFData PublicKey

Defined in Tezos.Crypto.P256

Methods

rnf :: PublicKey -> ()

Buildable PublicKey

Defined in Tezos.Crypto.P256

Methods

build :: PublicKey -> Builder

type Rep PublicKey

Defined in Tezos.Crypto.P256

type Rep PublicKey = D1 ('MetaData "PublicKey" "Tezos.Crypto.P256" "morley-1.4.0-FPgS4VJ0cLmB07ubDf4i8P" 'True) (C1 ('MetaCons "PublicKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPublicKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data SecretKey

P256 secret cryptographic key.

Instances

Eq SecretKey

Defined in Tezos.Crypto.P256

Methods

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

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

Show SecretKey

Defined in Tezos.Crypto.P256

Methods

showsPrec :: Int -> SecretKey -> ShowS

show :: SecretKey -> String

showList :: [SecretKey] -> ShowS

Generic SecretKey

Defined in Tezos.Crypto.P256

Associated Types

type Rep SecretKey :: Type -> Type

Methods

from :: SecretKey -> Rep SecretKey x

to :: Rep SecretKey x -> SecretKey

Arbitrary SecretKey

Defined in Tezos.Crypto.P256

Methods

arbitrary :: Gen SecretKey

shrink :: SecretKey -> [SecretKey]

NFData SecretKey

Defined in Tezos.Crypto.P256

Methods

rnf :: SecretKey -> ()

type Rep SecretKey

Defined in Tezos.Crypto.P256

type Rep SecretKey = D1 ('MetaData "SecretKey" "Tezos.Crypto.P256" "morley-1.4.0-FPgS4VJ0cLmB07ubDf4i8P" 'True) (C1 ('MetaCons "SecretKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSecretKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype Signature

P256 cryptographic signature.

Constructors

Signature

Fields

• unSignature :: ByteString

Instances

Eq Signature

Defined in Tezos.Crypto.P256

Methods

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

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

Show Signature

Defined in Tezos.Crypto.P256

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

Generic Signature

Defined in Tezos.Crypto.P256

Associated Types

type Rep Signature :: Type -> Type

Methods

from :: Signature -> Rep Signature x

to :: Rep Signature x -> Signature

Arbitrary Signature

Defined in Tezos.Crypto.P256

Methods

arbitrary :: Gen Signature

shrink :: Signature -> [Signature]

NFData Signature

Defined in Tezos.Crypto.P256

Methods

rnf :: Signature -> ()

Buildable Signature

Defined in Tezos.Crypto.P256

Methods

build :: Signature -> Builder

type Rep Signature

Defined in Tezos.Crypto.P256

type Rep Signature = D1 ('MetaData "Signature" "Tezos.Crypto.P256" "morley-1.4.0-FPgS4VJ0cLmB07ubDf4i8P" 'True) (C1 ('MetaCons "Signature" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

detSecretKey :: ByteString -> SecretKey

Deterministicaly generate a secret key from seed.

toPublic :: SecretKey -> PublicKey

Create a public key from a secret key.

Generators

genPublicKey :: MonadGen m => m PublicKey

genSecretKey :: MonadGen m => m SecretKey

genSignature :: MonadGen m => m Signature

Raw bytes (no checksums, tags or anything)

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

Convert a PublicKey to raw bytes.

TODO (#18): implement properly.

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

Make a PublicKey from raw bytes.

TODO (#18): implement properly.

publicKeyLengthBytes :: Integral n => n

signatureToBytes :: ByteArray ba => Signature -> ba

Convert a PublicKey to raw bytes.

TODO (#18): implement properly.

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

Make a Signature from raw bytes.

TODO (#18): implement properly.

signatureLengthBytes :: Integral 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

Signing

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

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