package hacl_x25519
Primitives for Elliptic Curve Cryptography taken from Project Everest
Install
Dune Dependency
Authors
Maintainers
Sources
hacl_x25519-v0.2.0.tbz
sha256=9dcc31c9496483fed38d787f8328b313843eadf50a88c0d1f8bf432fa229f85e
sha512=eee52643c8d155b26dae62b35d44bc16c9518cad689f28a788e6db1f147b3a996ed5aa2f6acf301c51ecf1bf8a0b19d7bc31b5f34774da1ffc5ea60c37fd24f2
Description
This is an implementation of the X25519 key exchange algorithm, using code from Project Everest.
Cryptographic primitives should not be used in end applications, they are better used as part of a cryptographic library.
Published: 28 Jul 2020
README
README.md
hacl
These are bindings to the various primitives present in Project Everest.
In particular, the C code comes from this snapshot (from the hacl-star-raw 0.2.1 opam package, execute ./build_local.sh). Hacl_Hash.{c,h} have been stripped down to only SHA-512.
Dev Dependencies (7)
-
yojson
with-test & >= "1.6.0" -
stdlib-shims
with-test -
ppx_deriving_yojson
with-test -
ppx_blob
with-test -
alcotest
with-test -
hex
with-test -
benchmark
with-test
Used by (3)
-
awa
< "0.0.2" -
tls
>= "0.12.0" & < "0.13.0" -
tls-mirage
>= "0.12.0" & < "0.13.0"
Conflicts (2)
-
ocaml-freestanding
< "0.6.0" -
mirage-xen-posix
< "3.1.0"