package hacl_x25519

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

Primitives for Elliptic Curve Cryptography taken from Project Everest

Install

Dune Dependency

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

Authors

E

Etienne Millon <me@emillon.org>
I

INRIA and Microsoft Corporation

Maintainers

E

Etienne Millon <me@emillon.org>

Sources

hacl_x25519-v0.2.0.tbz

sha256=9dcc31c9496483fed38d787f8328b313843eadf50a88c0d1f8bf432fa229f85e

sha512=eee52643c8d155b26dae62b35d44bc16c9518cad689f28a788e6db1f147b3a996ed5aa2f6acf301c51ecf1bf8a0b19d7bc31b5f34774da1ffc5ea60c37fd24f2

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.