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

#2455 in Cryptography

Download history 323/week @ 2024-10-13 789/week @ 2024-10-20 907/week @ 2024-10-27 746/week @ 2024-11-03 450/week @ 2024-11-10 347/week @ 2024-11-17 545/week @ 2024-11-24 415/week @ 2024-12-01 579/week @ 2024-12-08 913/week @ 2024-12-15 120/week @ 2024-12-22 66/week @ 2024-12-29 356/week @ 2025-01-05 545/week @ 2025-01-12 616/week @ 2025-01-19 350/week @ 2025-01-26

1,874 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