Lib.rs

› 关键字 #bindings #加密学 #验证 #随机 #密钥 #哈希 #签名

#hacl

  1. hacl

    使用来自 HACL 项目的形式化验证代码的加密库

    v0.0.3-pre.1 #加密解密 #哈希 #密钥 #绑定 #加密学 #随机 #验证

  2. libcrux-hacl

    libcrux 的 hacl syscrate

    v0.0.2-pre.2 1.0K #签名 #libcrux #形式化验证 #hacl #加密 #加密学 #绑定

  3. evercrypt

    使用来自 HACL/Evercrypt 的形式化验证代码的加密库

    v0.0.11 #随机 #绑定 #aes #密钥 #验证 #hacl #随机性

  4. hacl-sys

    HACL C 包的 FFI 绑定

    v0.0.3-pre.1 #哈希 #hacl #哈希 #绑定 #aead #签名 #API 绑定

  5. hacl-star

    HACL*，Rust 的形式化验证加密库（绑定到 hacl-c）

    v0.1.0 #加密学 #验证 #绑定 #hacl #hacl-c #形式化

  6. skymd

    hacl* 的 Rust 绑定

    v0.1.10 #绑定 #hacl #skymd

    7. 尝试使用 DuckDuckGo 进行搜索。搜索.