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 • Rust 包仓库 113/week @ 2024-04-24 • Rust 包仓库 135/week @ 2024-05-01 • Rust 包仓库 95/week @ 2024-05-08 • Rust 包仓库 88/week @ 2024-05-15 • Rust 包仓库 91/week @ 2024-05-22 • Rust 包仓库 158/week @ 2024-05-29 • Rust 包仓库 72/week @ 2024-06-05 • Rust 包仓库 95/week @ 2024-06-12 • Rust 包仓库 187/week @ 2024-06-19 • Rust 包仓库 232/week @ 2024-06-26 • Rust 包仓库 174/week @ 2024-07-03 • Rust 包仓库 138/week @ 2024-07-10 • Rust 包仓库 261/week @ 2024-07-17 • Rust 包仓库 362/week @ 2024-07-24 • Rust 包仓库 122/week @ 2024-07-31 • Rust 包仓库 335/week @ 2024-08-07 • Rust 包仓库

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

Apache-2.0

5.5MB
154K SLoC

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

libcrux hacl-sys

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

lib.rs:

HACL Sys

与 HACL C 代码的绑定

无运行时依赖