cryspen / libcrux
The formally verified crypto library for Rust
☆129Updated 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☆262Updated this week
- Please see https://github.com/hacspec/hax☆243Updated last year
- Bertie TLS 1.3 Implementation☆118Updated last week
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆270Updated 9 months ago
- FN-DSA (Falcon) signature scheme☆42Updated last month
- Rust bindings for liboqs☆144Updated 3 weeks ago
- Collection of Key Encapsulation Mechanisms written in pure Rust☆49Updated last month
- An implementation of Messaging Layer Security (RFC 9420)☆154Updated 3 weeks ago
- ☆161Updated last week
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆72Updated 3 months ago
- Rust library for cryptographic research