cryspen / libcruxLinks
The formally verified crypto library for Rust
☆190Updated this week
Alternatives and similar repositories for libcrux
Users that are interested in libcrux are comparing it to the libraries listed below
Sorting:
- Please see https://github.com/hacspec/hax☆245Updated last year
- A Rust verification tool☆356Updated this week
- FN-DSA (Falcon) signature scheme☆49Updated 9 months ago
- An implementation of Messaging Layer Security (RFC 9420)☆191Updated this week
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆284Updated last year
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆279Updated this week
- Rust bindings for liboqs☆168Updated last month
- Formal Analysis of the PQXDH Protocol☆30Updated last year
- Bertie TLS 1.3 Implementation☆130Updated 3 months ago
- An implementation of the OPAQUE password-authenticated key exchange protocol☆369Updated 3 weeks ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆79Updated last month
- Collection of Key Encapsulation Mechanisms written in pure Rust☆66Updated this week
- Crypto library☆67Updated last month
- A Coordination repo for all things Rust Cryptography oriented☆285Updated last week
- ☆196Updated this week
- Language for high-assurance and high-speed cryptography☆324Updated this week
- An implementation of an auditable key directory☆303Updated last month
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆280Updated last week
- Experimental implementation of KEMTLS in Rustls☆34Updated 2 months ago
- Rust library for cryptographic research☆150Updated last year
- Implementation of Prio in Rust.☆117Updated last week
- A maliciously secure two-party computation engine which is embeddable and accessible☆187Updated 4 months ago
- Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.☆134Updated 2 weeks ago
- Community Cryptography Test Vectors☆96Updated last week
- Lean cryptographic library usable for bare-metal environments☆81Updated this week
- Verifying constant-time code with symbolic execution☆46Updated 4 years ago
- Rust Post-Quantum cryptography☆373Updated last month
- TPM 2.0 Implementation☆75Updated 3 months ago
- Cryptographic protocol analysis for real-world protocols.☆65Updated 3 weeks ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆43Updated 3 weeks ago