Lib.rs

› Cryptography › HACL
#binding #verified #hacl #formally #hacl-c

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

#2785 in Cryptography

Download history 39/week @ 2024-11-16 31/week @ 2024-11-23 7/week @ 2024-11-30 44/week @ 2024-12-07 31/week @ 2024-12-14 1/week @ 2024-12-21 1/week @ 2024-12-28 2/week @ 2025-01-04 5/week @ 2025-01-11 4/week @ 2025-01-18 2/week @ 2025-01-25 16/week @ 2025-02-01 29/week @ 2025-02-08 156/week @ 2025-02-15 150/week @ 2025-02-22 162/week @ 2025-03-01

502 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

~64–550KB
~11K SLoC