Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

› Search #formally-verified #cryptography #libcrux #encryption #aead #hmac #hkdf

  1. libcrux-hmac

    Libcrux HMAC implementation

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

  2. libcrux-hacl-rs

    Formally verified Rust code extracted from HACL* - helper library

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

  3. libcrux-sha2

    Formally verified SHA2 hash library

    v0.0.6 48K #formally-verified #sha-2 #presence

  4. libcrux-hkdf

    Libcrux HKDF implementation

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

  5. libcrux-aead

    Formally verified AEAD library

    v0.0.6 26K #formally-verified #aead #interface

  6. libcrux-curve25519

    Formally verified curve25519 ECDH library

    v0.0.6 37K #formally-verified #curve25519 #ecdh #cryptography

  7. libcrux-poly1305

    Formally verified Poly1305 MAC library

    v0.0.4 32K #formally-verified #mac #memory-safety #poly1305 #hacl

  8. libcrux-rsa

    Formally verified RSA signature library

    v0.0.6 #formally-verified #cryptography #rsa #rsa-pss #verification

  9. libcrux-blake2

    Formally verified blake2 hash library

    v0.0.6 #formally-verified #blake2 #hash

  10. evercrypt

    Crypto library using formally verified code from HACL/Evercrypt

    v0.0.11 #cryptography #formally-verified #random #hacl #bindings #nonce #aes

  11. libcrux-digest

    Digest library

    v0.0.6 #hash #formally-verified #sha-3 #blake2

  12. libcrux-hacl

    hacl sys crate of libcrux

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

  13. i2p_snow

    A pure-rust implementation of the Noise Protocol Framework, with I2P Noise extensions

    v0.5.1 #noise-protocol #i2p #noise

  14. libcrux-intrinsics

    Libcrux intrinsics crate

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

  15. hacl-star

    HACL*, a formally verified cryptographic library for Rust (binding to hacl-c)

    v0.1.0 #formally-verified #cryptography

  16. libcrux-ed25519

    Formally verified ed25519 signature library

    v0.0.6 11K #formally-verified #signature #ed25519-signature #requires #verification

  17. hacl-sys

    FFI bindings for the HACL C package

    v0.0.3-pre.1 140 #cryptography #encryption #aead

  18. evercrypt-sys

    FFI binding to HACL/Evercrypt

    v0.0.9 #bindings #api-bindings

  19. openmls_evercrypt

    A crypto backend for OpenMLS implementing openmls_traits using HACL/Evercrypt

    v0.2.0-pre.1 #openmls #evercrypt #cryptography #back-end #openmls-traits #hacl #mls

  20. hacl-star-sys

    HACL* FFI

    v0.1.0 #cryptography #api-bindings

    21. Try searching with DuckDuckGo or on crates.io.

  21. everrs

    Bindings for the HACL*/EverCrypt crypto library

    v0.2.1 #chacha20-poly1305 #cryptography #no-std

  22. skymd

    Rust bindings for hacl*

    v0.1.10 #hacl #bindings #bindings-for-hacl

  23. hacl

    Crypto library using formally verified code from the HACL project

    v0.0.3-pre.1 180 #signature #formally-verified #cryptography #encryption #x86-64 #hmac #decryption #hkdf #aead #nonce