HACL* High Assurance Cryptographic Library

Support for HACL* (High Assurance Cryptographic Library) More...

Support for HACL* (High Assurance Cryptographic Library)

HACL* RIOT package

Usage

Just add it as a package in your application:

USEPKG += hacl

And don't forget to include the header for the HACL* standard API:

#include <HACL.h>

or for HACL*'s NaCl-compatible API:

#include <haclnacl.h>
See also
https://github.com/mitls/hacl-c