#hacl-star #cryptography

hacl-star

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

14 releases

0.1.0 May 25, 2019
0.0.14 Feb 5, 2019
0.0.13 Sep 27, 2018
0.0.12 Aug 3, 2018
0.0.6 Dec 27, 2017

#708 in Cryptography

Download history 71/week @ 2022-06-08 54/week @ 2022-06-15 46/week @ 2022-06-22 31/week @ 2022-06-29 42/week @ 2022-07-06 54/week @ 2022-07-13 42/week @ 2022-07-20 63/week @ 2022-07-27 65/week @ 2022-08-03 60/week @ 2022-08-10 56/week @ 2022-08-17 76/week @ 2022-08-24 34/week @ 2022-08-31 124/week @ 2022-09-07 71/week @ 2022-09-14 62/week @ 2022-09-21

299 downloads per month
Used in 4 crates (2 directly)

MIT license

455KB
13K SLoC

C 12K SLoC // 0.0% comments Rust 1.5K SLoC // 0.0% comments

Rust bindings to HACL*-C

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

Dependencies

~62–310KB