Ledger-Donjon / cargo-checkct
CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
☆11Updated 4 months ago
Alternatives and similar repositories for cargo-checkct:
Users that are interested in cargo-checkct are comparing it to the libraries listed below
- Collection of Key Encapsulation Mechanisms written in pure Rust☆39Updated this week
- Collection of sponge functions written in pure Rust☆42Updated 3 weeks ago
- RSA blind signatures in Rust☆29Updated last month
- Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.☆125Updated last month
- agora-glass_pumpkin☆21Updated 8 months ago
- Pure Rust compatibility layer for NaCl-family libraries☆61Updated last month
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 6 months ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆33Updated 5 months ago
- an authenticated, chunked cipher based on BLAKE3☆22Updated 2 weeks ago
- Rust implementation of Noise☆67Updated last year
- ☆24Updated 2 years ago
- ☆28Updated last week
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆66Updated this week
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆67Updated 3 years ago
- Collection of Key Derivation Functions written in pure Rust☆74Updated last week
- Rust bindings to @sipa's minisketch library☆22Updated 3 years ago
- Rust bindings for HACL & Evercrypt☆28Updated last year
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated 2 years ago
- Rust crate to connect to Ledger devices☆41Updated last month
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 4 years ago
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆63Updated 3 years ago
- Pure Rust client for YubiHSM2 devices☆64Updated this week
- Torut is tor controller written in rust☆36Updated 3 years ago
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- Advisory cross-platform file locks using file descriptors☆76Updated last year
- Bare metal Rust support for USB armory MkII devices☆58Updated 4 years ago
- Performance crypto in pure Rust☆56Updated 2 weeks ago
- Verifiable Secret Sharing Schemes☆81Updated last month
- A pure-Rust implementation of the Paillier encryption scheme☆37Updated 2 years ago
- Tor transport for libp2p☆23Updated last week