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: 03 Nov 2020

Dependencies (12)

  1. yojson with-test & >= "1.6.0"
  2. stdlib-shims with-test
  3. ppx_deriving_yojson with-test
  4. ppx_blob with-test
  5. conf-pkg-config build
  6. ocaml
  7. alcotest with-test
  8. hex with-test
  9. eqaf
  10. cstruct >= "3.5.0" & < "6.1.0"
  11. benchmark with-test
  12. dune >= "2.6"

Reverse Dependencies (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"
Primitives for Elliptic Curve Cryptography taken from Project Everest

Install

Documentation github.com Readme Changelog MIT License Edit opam file

Authors

  1. E
    Etienne Millon <me@emillon.org>
  2. I
    INRIA and Microsoft Corporation

Maintainers

  1. E
    Etienne Millon <me@emillon.org>

Sources

hacl_x25519-v0.2.2.tbz
sha256=816754a8e8f9739d0e6d98ced6e50b026a28d59232445c5051a66e4332cc572d
sha512=9a0fb07af4af999a12cb65f3bc15487c5999ddf6fff0a923cf4b8087a15933632266be55ec01cff3b15d354c9e526d906a7e15aee84c743f58f8cdfe899b110d