Modulecrypton-2.1.7Haskell2010

Crypto.PubKey.EdDSA

EdDSA signature generation and verification, implemented in Haskell and parameterized with elliptic curve and hash algorithm. Only edwards25519 is supported at the moment.

The module provides "context" and "prehash" variants defined in RFC 8032.

This implementation is most useful when wanting to customize the hash algorithm. See module Crypto.PubKey.Ed25519 for faster Ed25519 with SHA-512.

Contents

Curves with EdDSA implementation
Smart constructors
Methods

Synopsis

newtype SecretKey
newtype PublicKey
newtype Signature
class EllipticCurveEdDSA
value publicKeySize
method secretKeySize
value signatureSize
value signature
value publicKey
value secretKey
value toPublic
value sign
value signCtx
value signPh
value verify
value verifyCtx
value verifyPh
value generateSecretKey

Packagecrypton-2.1.7
Exports18
LanguageHaskell2010
LicenceBSD-3-Clause AND MIT AND ISC
SourceEdDSA.hs

newtypenewtype SecretKey curve

Source#

An EdDSA Secret key

Instances5Eq, Show, NFData, ByteArrayAccess, DebugShow

Eq (SecretKey curve)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA
Show (SecretKey curve)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA
NFData (SecretKey curve)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA
ByteArrayAccess (SecretKey curve)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA
DebugShow (SecretKey curve)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA

newtypenewtype PublicKey curve hash

Source#

An EdDSA public key

Instances4Eq, Show, NFData, ByteArrayAccess

Eq (PublicKey curve hash)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA
Show (PublicKey curve hash)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA
NFData (PublicKey curve hash)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA
ByteArrayAccess (PublicKey curve hash)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA

newtypenewtype Signature curve hash

Source#

An EdDSA signature

Instances4Eq, Show, NFData, ByteArrayAccess

Eq (Signature curve hash)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA
Show (Signature curve hash)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA
NFData (Signature curve hash)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA
ByteArrayAccess (Signature curve hash)Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA

Curves with EdDSA implementation

classclass (EllipticCurveBasepointArith curve, KnownNat (CurveDigestSize curve)) => EllipticCurveEdDSA curve where

Source#

Elliptic curves with an implementation of EdDSA

Associated types

type family CurveDigestSize curve :: Nat
Size of the digest for this curve (in bytes)

Instances1EllipticCurveEdDSA

EllipticCurveEdDSA Curve_Edwards25519Defined in crypton-2.1.7 · Crypto.PubKey.EdDSA

valuepublicKeySize :: EllipticCurveEdDSA curve => proxy curve -> Int

Source#

Size of public keys for this curve (in bytes)

methodsecretKeySize :: proxy curve -> Int

Source#

Size of secret keys for this curve (in bytes)

valuesignatureSize :: EllipticCurveEdDSA curve => proxy curve -> Int

Source#

Size of signatures for this curve (in bytes)

Smart constructors

valuesignature

:: (EllipticCurveEdDSA curve, HashAlgorithm hash, HashDigestSize hash ~ CurveDigestSize curve, ByteArrayAccess ba)
=> proxy curve
-> hash
-> ba
-> CryptoFailable (Signature curve hash)

Source#

Try to build a signature from a bytearray

valuepublicKey

:: (EllipticCurveEdDSA curve, HashAlgorithm hash, HashDigestSize hash ~ CurveDigestSize curve, ByteArrayAccess ba)
=> proxy curve
-> hash
-> ba
-> CryptoFailable (PublicKey curve hash)

Source#

Try to build a public key from a bytearray

valuesecretKey

:: (EllipticCurveEdDSA curve, ByteArrayAccess ba)
=> proxy curve
-> ba
-> CryptoFailable (SecretKey curve)

Source#

Try to build a secret key from a bytearray

Methods

valuetoPublic

:: (EllipticCurveEdDSA curve, HashAlgorithm hash, HashDigestSize hash ~ CurveDigestSize curve)
=> proxy curve
-> hash
-> SecretKey curve
-> PublicKey curve hash

Source#

Create a public key from a secret key

valuesign

:: (EllipticCurveEdDSA curve, HashAlgorithm hash, HashDigestSize hash ~ CurveDigestSize curve, ByteArrayAccess msg)
=> proxy curve
-> SecretKey curve
-> PublicKey curve hash
-> msg
-> Signature curve hash

Source#

Sign a message using the key pair

valuesignCtx

:: (EllipticCurveEdDSA curve, HashAlgorithm hash, HashDigestSize hash ~ CurveDigestSize curve, ByteArrayAccess ctx, ByteArrayAccess msg)
=> proxy curve
-> ctx
-> SecretKey curve
-> PublicKey curve hash
-> msg
-> Signature curve hash

Source#

Sign a message using the key pair under context ctx

valuesignPh

:: (EllipticCurveEdDSA curve, HashAlgorithm hash, HashDigestSize hash ~ CurveDigestSize curve, ByteArrayAccess ctx)
=> proxy curve
-> ctx
-> SecretKey curve
-> PublicKey curve hash
-> Digest prehash
-> Signature curve hash

Source#

Sign a prehashed message using the key pair under context ctx

valueverify

:: (EllipticCurveEdDSA curve, HashAlgorithm hash, HashDigestSize hash ~ CurveDigestSize curve, ByteArrayAccess msg)
=> proxy curve
-> PublicKey curve hash
-> msg
-> Signature curve hash
-> Bool

Source#

Verify a message

valueverifyCtx

:: (EllipticCurveEdDSA curve, HashAlgorithm hash, HashDigestSize hash ~ CurveDigestSize curve, ByteArrayAccess ctx, ByteArrayAccess msg)
=> proxy curve
-> ctx
-> PublicKey curve hash
-> msg
-> Signature curve hash
-> Bool

Source#

Verify a message under context ctx

valueverifyPh

:: (EllipticCurveEdDSA curve, HashAlgorithm hash, HashDigestSize hash ~ CurveDigestSize curve, ByteArrayAccess ctx)
=> proxy curve
-> ctx
-> PublicKey curve hash
-> Digest prehash
-> Signature curve hash
-> Bool

Source#

Verify a prehashed message under context ctx

valuegenerateSecretKey

:: (EllipticCurveEdDSA curve, MonadRandom m)
=> proxy curve
-> m (SecretKey curve)

Source#

Generate a secret key