hacl_x25519

Primitives for Elliptic Curve Cryptography taken from Project Everest
README

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.

Install
Published
27 Oct 2020
Sources
hacl_x25519-v0.2.1.tbz
sha256=4ea7e4ebeafec63dea265b14b4cb3201ab265b3ecf2ade4c8cdc8d5a64bf71d8
sha512=b0904bddc09f5c666abd9693ae00b3657c85b7fc1395826cf8b618818b2223a7265d7026fb2b7b0385cb4dcca1bcd3403e571a6d9765aba1ebe1f644e047e058
Dependencies
odoc
with-doc
yojson
with-test & >= "1.6.0"
stdlib-shims
with-test
ppx_blob
with-test
alcotest
with-test
hex
with-test
cstruct
>= "3.5.0" & < "6.1.0"
benchmark
with-test
dune
>= "2.7"
Reverse Dependencies
awa
< "0.0.2"
tls
>= "0.12.0" & < "0.13.0"
tls-mirage
>= "0.12.0" & < "0.13.0"