package mirage-crypto-ec

  1. Overview
  2. No Docs

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 P224 (SECP224R1), P256 (SECP256R1), P384 (SECP384R1), P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package.

Tags

org:mirage

Published: 31 Mar 2021

Dependencies (8)

  1. mirage-crypto-rng = version
  2. mirage-crypto = version
  3. eqaf >= "0.7"
  4. dune-configurator
  5. cstruct >= "3.5.0"
  6. ocaml >= "4.08.0"
  7. dune >= "2.6"
  8. conf-pkg-config build

Dev Dependencies (7)

  1. yojson with-test & >= "1.6.0"
  2. ppx_deriving with-test
  3. ppx_deriving_yojson with-test
  4. asn1-combinators with-test & >= "0.2.5" & < "0.3.0"
  5. alcotest with-test
  6. hex with-test
  7. mirage-crypto-pk with-test & = version

Used by (9)

  1. awa = "0.0.2"
  2. dns-certify >= "5.0.0"
  3. dnssec < "9.0.0"
  4. letsencrypt >= "0.4.0" & < "1.0.0"
  5. ssh-agent >= "0.4.0"
  6. tls = "0.13.0"
  7. u2f
  8. webauthn < "0.2.0"
  9. x509 = "0.12.0"

Conflicts (2)

  1. ocaml-freestanding < "0.4.1"
  2. mirage-xen < "6.0.0"
OCaml

Innovation. Community. Security.