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.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.

Dependencies (4)

  1. ocaml
  2. eqaf
  3. dune >= "2.0"
  4. cstruct >= "3.5.0" & < "6.1.0"

Dev Dependencies (7)

  1. yojson with-test & >= "1.6.0"
  2. stdlib-shims with-test
  3. ppx_deriving_yojson with-test
  4. ppx_blob with-test
  5. alcotest with-test
  6. hex with-test
  7. 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-posix < "3.1.0"
OCaml

Innovation. Community. Security.