Module Mirage_crypto_ecSource

Elliptic curve cryptography

Mirage-crypto-ec implements public key cryptography with named elliptic curves. Ephemeral key exchanges with Diffie-Hellman and digital signatures (ECDSA) are implemented.

The arithmetic operations uses code generated by fiat-crypto which is proven to consume a constant amount of time, independent of the input values.

Sourcetype error = [
  1. | `Invalid_range
  2. | `Invalid_format
  3. | `Invalid_length
  4. | `Not_on_curve
  5. | `At_infinity
  6. | `Low_order
]

The type for errors.

Sourceval pp_error : Format.formatter -> error -> unit

Pretty printer for errors

Sourceexception Message_too_long

Raised if the provided message is too long for the curve.

Sourcemodule type Dh = sig ... end

Diffie-Hellman key exchange.

Sourcemodule type Dsa = sig ... end

Digital signature algorithm.

Sourcemodule type Dh_dsa = sig ... end

Elliptic curve with Diffie-Hellman and DSA.

The NIST P-224 curve, also known as SECP224R1. Please note that decompression is not supported for P-224 public keys.

The NIST P-256 curve, also known as SECP256R1.

The NIST P-384 curve, also known as SECP384R1.

The NIST P-521 curve, also known as SECP521R1.

Sourcemodule X25519 : Dh

Curve 25519 Diffie-Hellman, also known as X25519.

Sourcemodule Ed25519 : sig ... end

Curve 25519 DSA, also known as Ed25519.