Modulecryptonite-0.30Haskell2010

Crypto.PubKey.ECDSA

Elliptic Curve Digital Signature Algorithm, with the parameterized curve implementations provided by module Crypto.ECC.

Public/private key pairs can be generated using curveGenerateKeyPair or decoded from binary.

WARNING: Only curve P-256 has constant-time implementation. Signature operations with P-384 and P-521 may leak the private key.

Signature verification should be safe for all curves.

Contents

Public keys
Private keys
Signatures
Generation and verification

Synopsis

class EllipticCurveECDSA
type PublicKey
value encodePublic
value decodePublic
value toPublic
type PrivateKey
value encodePrivate
value decodePrivate
data Signature
value signatureFromIntegers
value signatureToIntegers
value signWith
value signDigestWith
value sign
value signDigest
value verify
value verifyDigest

Packagecryptonite-0.30
Exports17
LanguageHaskell2010
LicenceBSD-3-Clause
SourceECDSA.hs

classclass EllipticCurveBasepointArith curve => EllipticCurveECDSA curve where

Source#

Elliptic curves with ECDSA capabilities.

Methods

scalarIsValid :: proxy curve -> Scalar curve -> Bool
Is a scalar in the accepted range for ECDSA
scalarIsZero :: proxy curve -> Scalar curve -> Bool
Test whether the scalar is zero
scalarInv :: proxy curve -> Scalar curve -> Maybe (Scalar curve)
Scalar inversion modulo the curve order
pointX :: proxy curve -> Point curve -> Maybe (Scalar curve)
Return the point X coordinate as a scalar

Instances3EllipticCurveECDSA

EllipticCurveECDSA Curve_P256R1Defined in cryptonite-0.30 · Crypto.PubKey.ECDSA
EllipticCurveECDSA Curve_P384R1Defined in cryptonite-0.30 · Crypto.PubKey.ECDSA
EllipticCurveECDSA Curve_P521R1Defined in cryptonite-0.30 · Crypto.PubKey.ECDSA

Public keys

typetype PublicKey curve = Point curve

Source#

ECDSA Public Key.

valueencodePublic

:: (EllipticCurve curve, ByteArray bs)
=> proxy curve
-> PublicKey curve
-> bs

Source#

Encode a public key into binary form, i.e. the uncompressed encoding referenced from RFC 5480 section 2.2.

valuedecodePublic

:: (EllipticCurve curve, ByteArray bs)
=> proxy curve
-> bs
-> CryptoFailable (PublicKey curve)

Source#

Try to decode the binary form of a public key.

valuetoPublic

:: EllipticCurveECDSA curve
=> proxy curve
-> PrivateKey curve
-> PublicKey curve

Source#

Create a public key from a private key.

Private keys

typetype PrivateKey curve = Scalar curve

Source#

ECDSA Private Key.

valueencodePrivate

:: (EllipticCurveECDSA curve, ByteArray bs)
=> proxy curve
-> PrivateKey curve
-> bs

Source#

Encode a private key into binary form, i.e. the privateKey field described in RFC 5915.

valuedecodePrivate

:: (EllipticCurveECDSA curve, ByteArray bs)
=> proxy curve
-> bs
-> CryptoFailable (PrivateKey curve)

Source#

Try to decode the binary form of a private key.

Signatures

datadata Signature curve

Source#

Represent a ECDSA signature namely R and S.

Constructors

Signature
- sign_r :: Scalar curve
  ECDSA r
- sign_s :: Scalar curve
  ECDSA s

Instances3Eq, Show, NFData

Eq (Scalar curve) => Eq (Signature curve)Defined in cryptonite-0.30 · Crypto.PubKey.ECDSA
Show (Scalar curve) => Show (Signature curve)Defined in cryptonite-0.30 · Crypto.PubKey.ECDSA
NFData (Scalar curve) => NFData (Signature curve)Defined in cryptonite-0.30 · Crypto.PubKey.ECDSA