cryspen / libcruxLinks
The formally verified crypto library for Rust
☆176Updated 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☆244Updated last year
- A Rust verification tool☆318Updated last week
- FN-DSA (Falcon) signature scheme☆46Updated 6 months ago
- An implementation of Messaging Layer Security (RFC 9420)☆180Updated last week
- Rust bindings for liboqs☆161Updated last week
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆119Updated this week
- Collection of Key Encapsulation Mechanisms written in pure Rust☆59Updated last month
- Formal Analysis of the PQXDH Protocol☆27Updated last year
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆280Updated last year
- Bertie TLS 1.3 Implementation☆125Updated last week
- An implementation of an auditable key directory☆287Updated last month
- ☆186Updated this week
- Language for high-assurance and high-speed cryptography☆313Updated this week
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆265Updated this week
- Crypto library☆65Updated 2 weeks ago
- An implementation of the OPAQUE password-authenticated key exchange protocol☆354Updated this week
- Experimental implementation of KEMTLS in Rustls☆32Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆26Updated last year
- A Coordination repo for all things Rust Cryptography oriented☆279Updated 7 months ago
- Bottom-up memory-safety for assembly language using symbolic execution☆15Updated last month
- Implementation of Prio in Rust.☆115Updated 3 weeks ago
- The OPAQUE Asymmetric PAKE Protocol☆110Updated 8 months ago
- ☆21Updated 6 months ago
- Rust library for cryptographic research☆143Updated 9 months ago
- Community Cryptography Test Vectors☆84Updated 5 months ago
- A maliciously secure two-party computation engine which is embeddable and accessible☆188Updated 2 months ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆77Updated 7 months ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆41Updated 3 weeks ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆37Updated 4 months ago
- TPM 2.0 Implementation☆66Updated last week