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.1.1.tbz
sha256=e420c0c4b0d4670b652b62c653ecabb042a1ebe2c7952d982009fa1afa82f3a0
sha512=23e9c43e211dd9709c4ae8a14ccc20e794ddd9ef69611e93abd1c3934a0552fb68b78e6ace6ffd882c249f9c477a293f7d658df30f5a2df9edfe819c466e8628

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: 09 May 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, originally for use in the Tezos project.

Dependencies (4)

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

Dev Dependencies (6)

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

Used by (2)

  1. tls >= "0.12.0" & < "0.13.0"
  2. 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.