Lib.rs

›

#verified #binding #hacl #formally #hacl-c

hacl-star

HACL*，一个为 Rust 正式验证的加密库（绑定到 hacl-c）

由 quininer 编写，共同所有者 Franziskus Kiefer。

14 个版本

0.1.0	2019 年 5 月 25 日
0.0.14	2019 年 2 月 5 日
0.0.13	2018 年 9 月 27 日
0.0.12	2018 年 8 月 3 日
0.0.6	2017 年 12 月 27 日

#2312 在加密学

32 每月下载
用于 4 个crate（2个直接使用）

MIT 许可证

455KB
13K SLoC

Rust 对 HACL*-C 的绑定

HACL*，一个为 Rust 正式验证的加密库（绑定到 hacl-c）。

依赖

~63–405KB