Lib.rs

› Keywords #cryptography #encryption #nist #avx2 #signature #ntt #p256 #ml-kem

#libcrux

  1. libcrux-hacl-rs

    Formally verified Rust code extracted from HACL* - helper library

    v0.0.4 39K #formally-verified #hacl #libcrux #cryptography #extracted

  2. libcrux-hmac

    Libcrux HMAC implementation

    v0.0.6 41K #formally-verified #hmac #cryptography #libcrux #encryption

  3. libcrux-platform

    Platform detection crate for libcrux

    v0.0.3 116K #formally-verified #libcrux #detect #cryptography #platform #encryption

  4. libcrux-hkdf

    Libcrux HKDF implementation

    v0.0.6 36K #formally-verified #hkdf #cryptography #libcrux

  5. libcrux-p256

    Formally verified P-256 implementation

    v0.0.6 39K #formally-verified #p256 #signature #libcrux #nist-curve

  6. libcrux-secrets

    Libcrux utilities for working with secrets

    v0.0.5 84K #formally-verified #libcrux #cryptography #secret #random

  7. libcrux-ml-dsa

    Libcrux ML-DSA implementation

    v0.0.7 3.8K #signature #ml-dsa #formally-verified #ntt #avx2 #fips-204 #libcrux #serialization #nist

  8. libcrux-kem

    Libcrux KEM implementation

    v0.0.6 32K #ml-kem #cryptography #formally-verified #x25519 #encryption #key-encapsulation #x-wing #libcrux #secp256r1

  9. libcrux-aesgcm

    Libcrux AES-GCM implementation

    v0.0.7 26K #aes-gcm #encryption #x86-64 #libcrux #cryptography

  10. libcrux-ecdh

    Libcrux ECDH implementation

    v0.0.6 37K #elliptic-curve #formally-verified #ecdh #signature #p256 #libcrux #elliptic-curve-diffie-hellman

  11. libcrux-ml-tkem

    Libcrux ML-KEM & Kyber & tkem implementations

    v0.0.3 #key-pair #ml-kem #cryptography #fips-203 #libcrux #avx2 #formally-verified #nist #kyber #ntt

  12. hpke-rs-libcrux

    Crypto backend for HPKE using formally verified code from libcrux

    v0.6.0 24K #libcrux #cryptography #hpke #hpke-rs #formally-verified #ecdh #hpke-crypto

  13. libcrux-psq

    Libcrux Pre-Shared post-Quantum key establishement protocol

    v0.0.7 #encryption #shared-secret #session-keys #post-quantum-cryptography #encryption-key #responder #libcrux #initiator #pq-kem #pre-shared

  14. libcrux

    The Formally Verified Cryptography Library

    v0.0.2-pre.2 800 #formally-verified #cryptography #encryption #hacspec #detailed

  15. openmls_libcrux_crypto

    A crypto backend for OpenMLS based on libcrux implementing openmls_traits

    v0.3.1 #openmls #cryptography #messaging-layer-security #encryption #libcrux #mls #e2ee #messaging-protocol #openmls-traits #layer-protocols

  16. libcrux-sha3

    Libcrux SHA-3 implementation

    v0.0.7 144K #sha-3 #formally-verified #libcrux #signature #neon #avx2 #cryptography

  17. cavp

    Libcrux helper to read NIST CAVP test vectors

    v0.0.2 170 #testing #libcrux #nist #vector #cryptography #formally-verified

  18. libcrux-intrinsics

    Libcrux intrinsics crate

    v0.0.6 138K #formally-verified #libcrux #cryptography #intrinsics #encryption #drbg

  19. libcrux-test-utils

    Utils for testing and benchmarking

    v0.0.3 #libcrux #formally-verified #benchmark #cryptography #testing #testing-and-benchmarking

  20. libcrux-traits

    Traits for cryptographic algorithms

    v0.0.6 125K #cryptography #encryption #libcrux #internal #allocation #formally-verified

  21. libcrux-hacl

    hacl sys crate of libcrux

    v0.0.2-pre.2 1.0K #cryptography #encryption #libcrux #formally-verified #hacl

    22. Try searching with DuckDuckGo.

  22. libcrux-macros

    Macros needed in libcrux

    v0.0.3 49K #libcrux #formally-verified #cryptography #macro #verification

  23. libjade-sys

    Rust bindings for libjade, a formally verified cryptographic library written in jasmin

    v0.0.2-pre.2 850 #formally-verified #bindings #libcrux #cryptography #jasmin