cryspen / libcruxLinks
The formally verified crypto library for Rust
☆148Updated last 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☆244Updated last year
- A Rust verification tool☆280Updated this week
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆273Updated 11 months ago
- FN-DSA (Falcon) signature scheme☆43Updated 4 months ago
- Rust bindings for liboqs☆153Updated last month
- Formal Analysis of the PQXDH Protocol☆26Updated last year
- An implementation of Messaging Layer Security (RFC 9420)☆162Updated last week
- Crypto library☆60Updated 2 weeks ago
- An implementation of the OPAQUE password-authenticated key exchange protocol☆341Updated 2 weeks ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆106Updated this week
- A Coordination repo for all things Rust Cryptography oriented☆275Updated 5 months ago
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆243Updated this week
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆76Updated 5 months ago
- An implementation of an auditable key directory☆279Updated last week
- Collection of Key Encapsulation Mechanisms written in pure Rust☆53Updated last week
- ☆175Updated last week
- Bertie TLS 1.3 Implementation☆124Updated last month
- Implementation of Prio in Rust.☆112Updated this week
- Rust library for cryptographic research☆140Updated 7 months ago
- Language for high-assurance and high-speed cryptography☆300Updated last week
- ☆20Updated 3 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Experimental implementation of KEMTLS in Rustls☆31Updated last year
- Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.☆127Updated 7 months ago
- The OPAQUE Asymmetric PAKE Protocol☆108Updated 6 months ago
- Rust Post-Quantum cryptography☆327Updated last week
- Community Cryptography Test Vectors☆82Updated 3 months ago
- A maliciously secure two-party computation engine which is embeddable and accessible☆188Updated 3 weeks ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆38Updated 3 weeks ago
- TSS 2.0 Enhanced System API (ESAPI) Rust wrapper☆106Updated last month