haclc

HACL* verified cryptographic library see https://github.com/mitls/hacl-star for details