Lib.rs

› Cryptography › libcrux
#formal-verification #signature #verified #libcrux #hacl #encryption

libcrux-hacl

hacl sys crate of libcrux

Owned by Franziskus Kiefer, cryspen.

4 releases

0.0.2-pre.2 Dec 1, 2023
0.0.2-pre.1 Sep 25, 2023
0.0.2-alpha.3 Jul 23, 2024
0.0.2-alpha.1 Jul 2, 2024

#2361 in Cryptography

Download history 508/week @ 2024-07-23 123/week @ 2024-07-30 300/week @ 2024-08-06 379/week @ 2024-08-13 263/week @ 2024-08-20 227/week @ 2024-08-27 198/week @ 2024-09-03 190/week @ 2024-09-10 217/week @ 2024-09-17 246/week @ 2024-09-24 404/week @ 2024-10-01 390/week @ 2024-10-08 385/week @ 2024-10-15 965/week @ 2024-10-22 679/week @ 2024-10-29 701/week @ 2024-11-05

2,820 downloads per month
Used in 7 crates (3 directly)

Apache-2.0

5.5MB
154K SLoC

C 113K SLoC // 0.1% comments GNU Style Assembly 28K SLoC Assembly 10K SLoC // 0.0% comments Rust 3K SLoC // 0.0% comments Shell 44 SLoC // 0.2% comments

libcrux hacl-sys

A -sys library of hacl for libcrux. Do not use outside of libcrux.

lib.rs:

HACL Sys

Bindings to HACL C code

No runtime deps