Skip to content
This repository has been archived by the owner on Apr 23, 2021. It is now read-only.
/ hacl Public archive

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

License

Notifications You must be signed in to change notification settings

mirage/hacl

Repository files navigation

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.

About

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

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •