/rust-hacl-star

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).

Primary LanguageRustMIT LicenseMIT

Rust bindings to HACL*-C

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).