package mirage-crypto-ec

  1. Overview
  2. No Docs
Elliptic Curve Cryptography with primitives taken from Fiat

Install 

dune-project
 Dependency

github.com Edit opam file Versions (7)

Authors

  1. H
    Hannes Mehnert <hannes@mehnert.org>
  2. N
    Nathan Rebours <nathan.p.rebours@gmail.com>
  3. C
    Clément Pascutto <clement@tarides.com>
  4. E
    Etienne Millon <me@emillon.org>
  5. A
    Andres Erbsen <andreser@mit.edu>
  6. G
    Google Inc.
  7. J
    Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>
  8. M
    Massachusetts Institute of Technology
  9. Z
    Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>

Maintainers

  1. H
    Hannes Mehnert <hannes@mehnert.org>

Sources

mirage-crypto-0.10.7.tbz
sha256=3e818a760c235c5b684c7b6b43b1cdd2a7dd04e0105b680d524f836eb988a69c
sha512=e9c3e6ac0fa3dae2dda9e91d5362ad08aaa65241b968a0c12484db4042146d6af7b46910784ce41bdd68783eede93f35a81aa37a2cd125dfc43503c78007b8b9

doc/mirage-crypto-ec/Mirage_crypto_ec/index.html

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.