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.

3 types
1 class
13 values

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

newtypenewtype SecretKey curve

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

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

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

4 declarations

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

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

Size of public keys for this curve (in bytes)

methodsecretKeySize :: proxy curve -> Int

Size of secret keys for this curve (in bytes)

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

Size of signatures for this curve (in bytes)

Smart constructors

3 declarations

valuesignature

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

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)

Try to build a public key from a bytearray

valuesecretKey

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

Try to build a secret key from a bytearray

Methods

8 declarations

valuetoPublic

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

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

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

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

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

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

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

Verify a prehashed message under context ctx

valuegenerateSecretKey

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

Generate a secret key