Lib.rs

› 加密学 › libcrux
#signature #libcrux #formal-verification #hacl #encryption #bindings

libcrux-hacl

libcrux 的 hacl sys 库

所有权归 Franziskus Kiefer，cryspen。

4 个版本

0.0.2-pre.22023 年 12 月 1 日
0.0.2-pre.12023 年 9 月 25 日
0.0.2-alpha.32024 年 7 月 23 日
0.0.2-alpha.12024 年 7 月 2 日

#1885 in 加密学

Download history 113/week @ 2024-04-24 135/week @ 2024-05-01 95/week @ 2024-05-08 88/week @ 2024-05-15 91/week @ 2024-05-22 158/week @ 2024-05-29 72/week @ 2024-06-05 95/week @ 2024-06-12 187/week @ 2024-06-19 232/week @ 2024-06-26 174/week @ 2024-07-03 138/week @ 2024-07-10 261/week @ 2024-07-17 362/week @ 2024-07-24 122/week @ 2024-07-31 335/week @ 2024-08-07

1,104 个月下载量
在 6 个crate中使用 (直接使用 3 个)

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

hacl 的 -sys 库，用于 libcrux。不要在 libcrux 之外使用。

lib.rs:

HACL Sys

与 HACL C 代码的绑定

无运行时依赖