package mirage-crypto-ec

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

Install

github.com Edit opam file

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-v0.10.5.tbz
sha256=79e28c49166b0624f358bbfcd0fe4b7a8b8f89bdb8b938a09361cbb4e44aa495
sha512=18b493be1e7909e8429bc5ddd1f0d1175aab9e21a10711e95749b74f1d9f851a5cfd3ee1a5b3b73a47b5fc54d6458a911ec586ab243e63bf276d2777a787ae51

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: 23 Nov 2021

Dependencies (8)

  1. mirage-crypto-rng = version
  2. mirage-crypto = version
  3. eqaf >= "0.7"
  4. dune-configurator
  5. cstruct >= "6.0.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"
  5. alcotest with-test
  6. hex with-test
  7. mirage-crypto-pk with-test & = version

Used by (10)

  1. awa >= "0.0.3"
  2. dirsp-proscript-mirage
  3. dns-certify >= "5.0.1"
  4. dnssec
  5. letsencrypt >= "0.4.0"
  6. ssh-agent >= "0.4.0"
  7. tls >= "0.13.1"
  8. u2f
  9. webauthn
  10. x509 >= "0.12.0" & < "0.16.1"

Conflicts (2)

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