package hacl_func

Minimal Hacl Bindings

Minimal binding of Hacl for functori projects.
The documentation of the library can be found here.

Install

opam pin add hacl_func.~dev https://gitlab.com/functori/dev/hacl

Functionalities

• Hash functions: sha2_256 (and hmac), sha2_512 (and hmac), blake2b

• Ed25519: generate, expand, neuterize, sign, verify

• Secretbox: create, open