hacl-star 0.0.6

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

# Rust bindings to HACL\*-C

[HACL\*](https://github.com/mitls/hacl-star), a formally verified cryptographic library for Rust (binding to [hacl-c](https://github.com/mitls/hacl-c)).