Lib.rs

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

libcrux-hacl

hacl sys crate of libcrux

by Franziskus Kiefer and 3 contributors

2 releases

0.0.2-pre.2 Dec 1, 2023
0.0.2-pre.1 Sep 25, 2023

#1564 in Cryptography

Download history 63/week @ 2024-01-05 81/week @ 2024-01-12 2/week @ 2024-01-19 101/week @ 2024-01-26 29/week @ 2024-02-02 41/week @ 2024-02-09 70/week @ 2024-02-16 82/week @ 2024-02-23 91/week @ 2024-03-01 98/week @ 2024-03-08 47/week @ 2024-03-15 43/week @ 2024-03-22 99/week @ 2024-03-29 73/week @ 2024-04-05 37/week @ 2024-04-12 70/week @ 2024-04-19

284 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