cryspen / libcruxLinks
The formally verified crypto library for Rust
☆154Updated 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☆280Updated last week
- Please see https://github.com/hacspec/hax☆244Updated last year
- An implementation of Messaging Layer Security (RFC 9420)☆162Updated this week
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆111Updated this week
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆277Updated last year
- An implementation of an auditable key directory☆279Updated last week
- FN-DSA (Falcon) signature scheme☆43Updated 4 months ago
- Rust bindings for liboqs☆154Updated last week
- Collection of Key Encapsulation Mechanisms written in pure Rust☆55Updated last week
- A Coordination repo for all things Rust Cryptography oriented☆277Updated 5 months ago
- Formal Analysis of the PQXDH Protocol☆26Updated last year
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆245Updated this week
- Bertie TLS 1.3 Implementation☆124Updated 2 months ago
- Rust Post-Quantum cryptography☆333Updated 2 weeks ago
- Implementation of Prio in Rust.☆112Updated last week
- Crypto library☆62Updated last month
- Rust library for cryptographic research☆141Updated 7 months ago
- An implementation of the OPAQUE password-authenticated key exchange protocol☆342Updated last month
- Language for high-assurance and high-speed cryptography☆306Updated this week
- A maliciously secure two-party computation engine which is embeddable and accessible☆189Updated last week
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆38Updated last month
- Community Cryptography Test Vectors☆82Updated 3 months ago
- ☆177Updated this week
- Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.☆128Updated 7 months ago
- Lean cryptographic library usable for bare-metal environments☆63Updated this week
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆95Updated this week
- The OPAQUE Asymmetric PAKE Protocol☆111Updated 6 months ago
- A collection of high-performance crypto implementations.☆53Updated 3 months ago
- Experimental implementation of KEMTLS in Rustls☆31Updated last year
- ☆21Updated 4 months ago