package hacl_x25519

All checked builds pass
  1. Overview
  2. Docs
Primitives for Elliptic Curve Cryptography taken from Project Everest

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

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

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.

Added to opam-repository:

README

Build Status

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

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

Optional Dependencies (1)

  1. ocaml-freestanding

Used by (1)

  1. tls = "0.12.8"

Conflicts (2)

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

Build status

Results of building hacl_x25519 with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.2.2 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure