package hacl_x25519

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

Install

Dune Dependency

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

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.1.0.tbz
sha256=62cdc0aadeea63a81094cbc9fd3f63140946cb56cd314c2bd465265e0108cb35
sha512=5b82f6d918aeae6c560eaba2f438d9c1269f9f2fdd3c28f4ab6ac4186b0a5cd84dfd55ee7d1c7a903ee363cb2308b2c325b7437a5c50454822563e75422dcc17

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: 30 Jun 2019

README

README.md

hacl

These are bindings to the various primitives present in Project Everest.

In particular, the C code comes from this snapshot, originally for use in the Tezos project.

Dependencies (3)

  1. eqaf
  2. cstruct >= "3.5.0" & < "6.1.0"
  3. dune >= "1.7.0"

Dev Dependencies (6)

  1. benchmark with-test
  2. ppx_blob with-test
  3. hex with-test
  4. yojson with-test & >= "1.6.0"
  5. ppx_deriving_yojson with-test
  6. ocaml with-test & < "5.0"

Used by (1)

  1. tls >= "0.12.0" & < "0.13.0"

Conflicts

None