package hacl_x25519

You can search for identifiers within the package.

in-package search v0.2.0

hacl_x25519
- CHANGES
- LICENSE
- README
- Library hacl_x25519
  - Hacl_ed25519
  - Hacl_x25519
- Sources
  - hacl_x25519
    
    hacl_ed25519.ml
    
    hacl_x25519.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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.