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.2.1.tbz
sha256=4ea7e4ebeafec63dea265b14b4cb3201ab265b3ecf2ade4c8cdc8d5a64bf71d8
sha512=b0904bddc09f5c666abd9693ae00b3657c85b7fc1395826cf8b618818b2223a7265d7026fb2b7b0385cb4dcca1bcd3403e571a6d9765aba1ebe1f644e047e058

README.md.html

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.