HACL* FFI
由 quininer 编写 共同所有者 Franziskus Kiefer.
#2455 in 密码学
36 每月下载量在 5 个crate中使用 (通过 hacl-star)
435KB 13K SLoC
HACL*,一个为Rust正式验证的加密库(绑定到 hacl-c)。
~0.4–355KB
build.rs