Morley.Tezos.Crypto.Ed25519

Ed25519 cryptographic primitives.

Cryptographic primitive types

newtype PublicKey

ED25519 public cryptographic key.

Constructors

PublicKey

Fields

• unPublicKey :: PublicKey

Instances

Generic PublicKey

Defined in Morley.Tezos.Crypto.Ed25519

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.Ed25519

Methods

showsPrec :: Int -> PublicKey -> ShowS

show :: PublicKey -> String

showList :: [PublicKey] -> ShowS

NFData PublicKey

Defined in Morley.Tezos.Crypto.Ed25519

Methods

rnf :: PublicKey -> ()

Eq PublicKey

Defined in Morley.Tezos.Crypto.Ed25519

Methods

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

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

Ord PublicKey

Defined in Morley.Tezos.Crypto.Ed25519

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

Buildable PublicKey

Defined in Morley.Tezos.Crypto.Ed25519

Methods

build :: PublicKey -> Doc

buildList :: [PublicKey] -> Doc

type Rep PublicKey

Defined in Morley.Tezos.Crypto.Ed25519

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

data SecretKey

ED25519 secret cryptographic key.

Instances

Generic SecretKey

Defined in Morley.Tezos.Crypto.Ed25519

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.Ed25519

Methods

showsPrec :: Int -> SecretKey -> ShowS

show :: SecretKey -> String

showList :: [SecretKey] -> ShowS

NFData SecretKey

Defined in Morley.Tezos.Crypto.Ed25519

Methods

rnf :: SecretKey -> ()

Eq SecretKey

Defined in Morley.Tezos.Crypto.Ed25519

Methods

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

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

Buildable SecretKey

Defined in Morley.Tezos.Crypto.Ed25519

Methods

build :: SecretKey -> Doc

buildList :: [SecretKey] -> Doc

type Rep SecretKey

Defined in Morley.Tezos.Crypto.Ed25519

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

newtype Signature

ED25519 cryptographic signature.

Constructors

Signature

Fields

• unSignature :: Signature

Instances

Generic Signature

Defined in Morley.Tezos.Crypto.Ed25519

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.Ed25519

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

NFData Signature

Defined in Morley.Tezos.Crypto.Ed25519

Methods

rnf :: Signature -> ()

Eq Signature

Defined in Morley.Tezos.Crypto.Ed25519

Methods

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

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

Buildable Signature

Defined in Morley.Tezos.Crypto.Ed25519

Methods

build :: Signature -> Doc

buildList :: [Signature] -> Doc

type Rep Signature

Defined in Morley.Tezos.Crypto.Ed25519

type Rep Signature = D1 ('MetaData "Signature" "Morley.Tezos.Crypto.Ed25519" "morley-1.20.0-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.

randomSecretKey :: MonadRandom m => m SecretKey

Generate a random secret key.

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, CheckIntSubType Int 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, CheckIntSubType Int n) => n

Formatting and parsing

formatPublicKey :: PublicKey -> Text

mformatPublicKey :: PublicKey -> MText

parsePublicKey :: Text -> Either CryptoParseError PublicKey

formatSecretKey :: SecretKey -> Text

parseSecretKey :: Text -> Either CryptoParseError SecretKey

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.