hacl-star (cargo): HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
Keywords: cryptography|hacl-star