package hacl_x25519

  1. Overview
  2. Docs
Primitives for Elliptic Curve Cryptography taken from Project Everest

Install

Dune Dependency

Authors

Maintainers

Sources

hacl_x25519-v0.2.1.tbz
sha256=4ea7e4ebeafec63dea265b14b4cb3201ab265b3ecf2ade4c8cdc8d5a64bf71d8
sha512=b0904bddc09f5c666abd9693ae00b3657c85b7fc1395826cf8b618818b2223a7265d7026fb2b7b0385cb4dcca1bcd3403e571a6d9765aba1ebe1f644e047e058

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: 27 Oct 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.

Dependencies (5)

  1. conf-pkg-config build
  2. ocaml
  3. eqaf
  4. cstruct >= "3.5.0" & < "6.1.0"
  5. dune >= "2.7"

Dev Dependencies (8)

  1. odoc with-doc
  2. yojson with-test & >= "1.6.0"
  3. stdlib-shims with-test
  4. ppx_deriving_yojson with-test
  5. ppx_blob with-test
  6. alcotest with-test
  7. hex with-test
  8. benchmark with-test

Used by (3)

  1. awa < "0.0.2"
  2. tls >= "0.12.0" & < "0.13.0"
  3. tls-mirage >= "0.12.0" & < "0.13.0"

Conflicts (2)

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

Innovation. Community. Security.