Lib.rs

› Cryptography › HACL
#cryptography #hacl-star

hacl-star

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

by quininer Co-owned by Franziskus Kiefer.

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

#578 in #cryptography

Download history 30/week @ 2022-12-01 54/week @ 2022-12-08 33/week @ 2022-12-15 37/week @ 2022-12-22 41/week @ 2022-12-29 36/week @ 2023-01-05 38/week @ 2023-01-12 64/week @ 2023-01-19 41/week @ 2023-01-26 88/week @ 2023-02-02 91/week @ 2023-02-09 102/week @ 2023-02-16 65/week @ 2023-02-23 34/week @ 2023-03-02 39/week @ 2023-03-09 26/week @ 2023-03-16

166 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

~59–315KB