hacl_x25519

Primitives for Elliptic Curve Cryptography taken from Project Everest
IN THIS PACKAGE
  • revise MirageOS cross-compilation runes: use a Makefile, only support
    ocaml-freestanding (since mirage-xen 6.0.0 ocaml-freestanding is used)
    (#43, @hannesm)

v0.2.0 (2020-07-28)

  • interface and expose Ed25519 code in the Hacl_ed25519 module (#35 @hannesm)

  • update C code to hacl-star-raw 0.2.1, adds 32 bit support (#36 @dinosaure)

  • provide Hacl_x25519.encode_secret and Hacl_ed25519.encode_priv (#41 @hannesm)

v0.1.1 (2020-05-09)

  • adapt opam file from opam-repository (add ocaml dependency) #24, @hannesm

  • use a verison number in .ocamlformat #25, @emillon

  • use stdlib-shims in bench #26, @emillon

  • document how to generate a secret from known data #27, @emillon

  • use opam file generation from dune-project #28, @emillon

  • mirage support: freestanding and xen cross-compilation #29 #31 @hannesm

v0.1.0 (2019-06-28)

Initial release.