Lib.rs

› Cryptography › libcrux
#formal-verification #signature #verified #hacl #libcrux #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

#2809 in Cryptography

Download history 352/week @ 2024-11-16 509/week @ 2024-11-23 403/week @ 2024-11-30 584/week @ 2024-12-07 963/week @ 2024-12-14 133/week @ 2024-12-21 62/week @ 2024-12-28 342/week @ 2025-01-04 560/week @ 2025-01-11 609/week @ 2025-01-18 392/week @ 2025-01-25 610/week @ 2025-02-01 517/week @ 2025-02-08 624/week @ 2025-02-15 493/week @ 2025-02-22 541/week @ 2025-03-01

2,246 downloads per month

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