HACL High Assurance Cryptographic Library

Support for HACL* (High Assurance Cryptographic Library)

HACL* RIOT package

Usage

Just add it as a package in your application:

1
USEPKG += hacl

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

1
#include <HACL.h>

or for HACL*’s NaCl-compatible API:

1
#include <haclnacl.h>

Usage

Just add it as a package in your application:

1
USEPKG += hacl

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

1
#include <HACL.h>

or for HACL*’s NaCl-compatible API:

1
#include <haclnacl.h>