package mirage-crypto-ec
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Elliptic Curve Cryptography with primitives taken from Fiat
Install
Dune Dependency
Authors
-
HHannes Mehnert <hannes@mehnert.org>
-
NNathan Rebours <nathan.p.rebours@gmail.com>
-
CClément Pascutto <clement@tarides.com>
-
EEtienne Millon <me@emillon.org>
-
VVirgile Robles <virgile.robles@protonmail.ch>
-
AAndres Erbsen <andreser@mit.edu>
-
GGoogle Inc.
-
JJade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>
-
MMassachusetts Institute of Technology
-
ZZoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>
Maintainers
Sources
mirage-crypto-2.0.1.tbz
sha256=5430ce3c3e40627d2d67a8decf565a1f612d39bdb33f9b767c3bdb601ff5a196
sha512=de029e01cbb8d49f9b8fbcd02ef4777435927118c9ce7a859a8193fdbec30d1a7b3a2964ee8ec722f5fa74fec1bfdc054dcdc97ad1db6e2ced359d6c010c043a
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.
Dependencies (6)
-
digestif
>= "1.2.0" -
mirage-crypto-rng
= version -
eqaf
>= "0.7" - dune-configurator
-
ocaml
>= "4.13.0" -
dune
>= "2.7"
Dev Dependencies (7)
-
ounit2
with-test -
ohex
with-test & >= "0.2.0" -
asn1-combinators
with-test & >= "0.3.1" -
yojson
with-test & >= "1.6.0" -
ppx_deriving
with-test -
ppx_deriving_yojson
with-test -
alcotest
with-test & >= "0.8.1"
Used by (7)
-
awa
>= "0.4.0" -
dns-certify
>= "9.0.0" -
dnssec
>= "9.0.0" -
letsencrypt
>= "1.0.0" -
tls
>= "1.0.0" -
webauthn
>= "0.2.0" -
x509
>= "1.0.2"