Ledger-Donjon / cargo-checkct
CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
☆14Updated 5 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☆41Updated 2 weeks ago
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆68Updated 3 years ago
- A pure-Rust implementation of the Paillier encryption scheme☆37Updated 2 years ago
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 7 months ago
- RSA blind signatures in Rust☆29Updated last week
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆63Updated 2 months ago
- Collection of sponge functions written in pure Rust☆44Updated 2 months ago
- ECIES on Twisted Edwards Curve25519 using AES-GCM and HKDF-SHA256☆31Updated 2 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆53Updated last year
- Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.☆126Updated 2 months ago
- Collection of Key Derivation Functions written in pure Rust☆75Updated 3 weeks ago
- Password-Authenticated Key Agreement protocols☆108Updated last month
- An implementation of the Paillier cryptosystem☆17Updated 4 months ago
- ☆29Updated last month
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆68Updated last month
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆33Updated 6 months ago
- ☆24Updated 2 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- Tiny BIP44/BIP32 derivation for BIP39 seeds☆23Updated 10 months ago
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆43Updated last week
- Verifiable Secret Sharing Schemes☆82Updated last month
- Rust library for cryptographic research☆140Updated 3 months ago
- Rust crate to connect to Ledger devices☆42Updated 2 months ago
- Wycheproof for Rust☆19Updated 7 months ago
- multiaddr implementation in rust☆93Updated last week
- agora-glass_pumpkin☆21Updated 10 months ago
- Rust encryption library for practical time-lock encryption.☆29Updated 8 months ago
- A safe pure-rust implementation of the NTRU post-quantum scheme.☆20Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated 7 months ago