Tezos.Crypto.Ed25519

Ed25519 cryptographic primitives.

Cryptographic primitive types

newtype PublicKey

ED25519 public cryptographic key.

Constructors

PublicKey

Fields

• unPublicKey :: PublicKey

Instances

Eq PublicKey

Defined in Tezos.Crypto.Ed25519

Methods

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

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

Show PublicKey

Defined in Tezos.Crypto.Ed25519

Methods

showsPrec :: Int -> PublicKey -> ShowS

show :: PublicKey -> String

showList :: [PublicKey] -> ShowS

Arbitrary PublicKey

Defined in Tezos.Crypto.Ed25519

Methods

arbitrary :: Gen PublicKey

shrink :: PublicKey -> [PublicKey]

Buildable PublicKey

Defined in Tezos.Crypto.Ed25519

Methods

build :: PublicKey -> Builder

data SecretKey

ED25519 secret cryptographic key.

Instances

Eq SecretKey

Defined in Tezos.Crypto.Ed25519

Methods

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

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

Show SecretKey

Defined in Tezos.Crypto.Ed25519

Methods

showsPrec :: Int -> SecretKey -> ShowS

show :: SecretKey -> String

showList :: [SecretKey] -> ShowS

Arbitrary SecretKey

Defined in Tezos.Crypto.Ed25519

Methods

arbitrary :: Gen SecretKey

shrink :: SecretKey -> [SecretKey]

Buildable SecretKey

Defined in Tezos.Crypto.Ed25519

Methods

build :: SecretKey -> Builder

newtype Signature

ED25519 cryptographic signature.

Constructors

Signature

Fields

• unSignature :: Signature

Instances

Eq Signature

Defined in Tezos.Crypto.Ed25519

Methods

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

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

Show Signature

Defined in Tezos.Crypto.Ed25519

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

Arbitrary Signature

Defined in Tezos.Crypto.Ed25519

Methods

arbitrary :: Gen Signature

shrink :: Signature -> [Signature]

Buildable Signature

Defined in Tezos.Crypto.Ed25519

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 :: 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 => n

signatureToBytes :: ByteArray ba => Signature -> ba

Convert a Signature to raw bytes.

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

Make a Signature from raw bytes.

signatureLengthBytes :: Integral n => n

Formatting and parsing

formatPublicKey :: PublicKey -> Text

mformatPublicKey :: PublicKey -> MText

parsePublicKey :: Text -> Either CryptoParseError PublicKey

formatSecretKey :: SecretKey -> Text

formatSignature :: Signature -> Text

mformatSignature :: Signature -> MText

parseSignature :: Text -> Either CryptoParseError Signature

Signing

sign :: SecretKey -> ByteString -> 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.