cryspen / libcruxLinks
The formally verified crypto library for Rust
☆161Updated this week
Alternatives and similar repositories for libcrux
Users that are interested in libcrux are comparing it to the libraries listed below
Sorting:
- A Rust verification tool☆292Updated last week
- Please see https://github.com/hacspec/hax☆245Updated last year
- An implementation of Messaging Layer Security (RFC 9420)☆172Updated last week
- FN-DSA (Falcon) signature scheme☆45Updated 6 months ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆114Updated this week
- An implementation of an auditable key directory☆284Updated last month
- Rust bindings for liboqs☆159Updated 2 weeks ago
- Formal Analysis of the PQXDH Protocol☆26Updated last year
- Collection of Key Encapsulation Mechanisms written in pure Rust☆59Updated 3 weeks ago
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆279Updated last year
- A Coordination repo for all things Rust Cryptography oriented☆277Updated 7 months ago
- ☆183Updated last week
- Bertie TLS 1.3 Implementation☆124Updated 3 months ago
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆256Updated this week
- An implementation of the OPAQUE password-authenticated key exchange protocol☆351Updated last week
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆77Updated 7 months ago
- Language for high-assurance and high-speed cryptography☆309Updated this week
- Rust Post-Quantum cryptography☆337Updated last month
- Implementation of Prio in Rust.☆114Updated last week
- Rust library for cryptographic research☆143Updated 9 months ago
- A rust implementation of the Kyber post-quantum KEM☆222Updated last year
- Crypto library☆65Updated 2 weeks ago
- Community Cryptography Test Vectors☆84Updated 5 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆26Updated last year
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆101Updated this week
- The OPAQUE Asymmetric PAKE Protocol☆110Updated 8 months ago
- Experimental implementation of KEMTLS in Rustls☆32Updated last year
- Exploration of NIST post-quantum signatures on-ramp candidates☆37Updated 4 months ago
- Lean cryptographic library usable for bare-metal environments☆66Updated this week
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆40Updated last week