/hacl

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves

Primary LanguageCOtherNOASSERTION

Note

This repository is deprecated and no longer maintained. A comprehensive elliptic curve implementation for OCaml is the mirage-crypto-ec package (using fiat, please use that instead.

If interested in hacl-star, use the official OCaml bindings.

Build Status

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.