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

Arbitrary PublicKey

Defined in Tezos.Crypto.P256

Methods

arbitrary :: Gen PublicKey

shrink :: PublicKey -> [PublicKey]

Buildable PublicKey

Defined in Tezos.Crypto.P256

Methods

build :: PublicKey -> Builder

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

Arbitrary SecretKey

Defined in Tezos.Crypto.P256

Methods

arbitrary :: Gen SecretKey

shrink :: SecretKey -> [SecretKey]

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

Arbitrary Signature

Defined in Tezos.Crypto.P256

Methods

arbitrary :: Gen Signature

shrink :: Signature -> [Signature]

Buildable Signature

Defined in Tezos.Crypto.P256

Methods

build :: Signature -> Builder

detSecretKey :: ByteString -> SecretKey

Deterministicaly generate a secret key from seed.

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.

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.