Rusty bindings for HACL*, a formally verified cryptographic library written in F*.
Primary LanguageRustMozilla Public License 2.0MPL-2.0