HACL* verified cryptographic library see https://github.com/mitls/hacl-star for details # tell Makefile.ac to generate keys GENERATE_KEYS = 1