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.2.tbz

sha256=816754a8e8f9739d0e6d98ced6e50b026a28d59232445c5051a66e4332cc572d

sha512=9a0fb07af4af999a12cb65f3bc15487c5999ddf6fff0a923cf4b8087a15933632266be55ec01cff3b15d354c9e526d906a7e15aee84c743f58f8cdfe899b110d

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.