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. V
    Virgile Robles <virgile.robles@protonmail.ch>
  6. A
    Andres Erbsen <andreser@mit.edu>
  7. G
    Google Inc.
  8. J
    Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>
  9. M
    Massachusetts Institute of Technology
  10. Z
    Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>

Maintainers

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

Sources

mirage-crypto-2.0.3.tbz
sha256=3919a8bda3635959bb662d4ffa32266eb73c450ecc2a2b66ba5e1ecf88f7ad23
sha512=0580c8787cac821531c6038b9f82d32f6a7d3beee0b4c6900c2bf9fa3fa1b2a8d460b4d53ade8cd03e5e8e968b85f2c870c17818ad6e0f12d6834da92db4bef8

Description

An implementation of key exchange (ECDH) and digital signature (ECDSA/EdDSA) algorithms using code from Fiat (https://github.com/mit-plv/fiat-crypto).

The curves P256 (SECP256R1), P384 (SECP384R1), P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package.

Tags

org:mirage

Published: 11 Feb 2026

Dependencies (6)

  1. digestif >= "1.2.0"
  2. mirage-crypto-rng = version
  3. eqaf >= "0.7"
  4. dune-configurator
  5. ocaml >= "4.13.0"
  6. dune >= "2.7"

Dev Dependencies (7)

  1. ounit2 with-test
  2. ohex with-test & >= "0.2.0"
  3. asn1-combinators with-test & >= "0.3.1"
  4. yojson with-test & >= "1.6.0"
  5. ppx_deriving with-test
  6. ppx_deriving_yojson with-test
  7. alcotest with-test & >= "0.8.1"

Used by (8)

  1. awa >= "0.4.0"
  2. conex-mirage-crypto >= "1.0.0"
  3. dns-certify >= "9.1.0"
  4. dnssec >= "9.1.0"
  5. letsencrypt >= "1.0.0"
  6. tls >= "1.0.4"
  7. webauthn >= "0.2.0"
  8. x509 >= "1.0.6"

Conflicts (1)

  1. ocaml-freestanding