Lib.rs

› 关键词 #密码学 #验证 #安全 #形式化验证 #加密

#libcrux

  1. libcrux

    形式化验证的密码学库

    v0.0.2-pre.2 1.0K #verified #security #cryptography #encryption #formally #specification #proofs

  2. libcrux-kem

    Libcrux KEM实现

    v0.0.2-alpha.3 410 #verified #security #algorithm #libcrux #kem #cryptography #encryption

  3. libcrux-intrinsics

    Libcrux 内部函数 crate

    v0.0.2-alpha.3 440 #intrinsics #cryptography #formal-verification #verified #proofs #security #libcrux

  4. libcrux-ecdh

    Libcrux ECDH实现

    v0.0.2-alpha.3 420 #ecdh #formal-verification #cryptography #security #libcrux #verified #signature

  5. libcrux-sha3

    Libcrux SHA-3实现

    v0.0.2-alpha.3 430 #sha-3 #avx2 #neon #portable #fips #libcrux #verified

  6. libcrux-hkdf

    Libcrux HKDF实现

    v0.0.2-alpha.3 380 #hkdf #formal-verification #cryptography #security #libcrux #verified #algorithm

  7. libcrux-hmac

    Libcrux HMAC实现

    v0.0.2-alpha.3 370 #hmac #libcrux #verified #cryptography #security #formal-verification #language

  8. libcrux-platform

    Libcrux 平台检测 crate

    v0.0.2-pre.2 1.1K #platform #detection #formal-verification #libcrux #security #specification #cryptography

  9. libcrux-hacl

    Libcrux 的 hacl sys crate

    v0.0.2-pre.2 1.0K #signature #libcrux #formal-verification #hacl #encryption #cryptography #bindings

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