Ledger-Donjon / cargo-checkct
CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
☆11Updated last month
Related projects: ⓘ
- RSA blind signatures in Rust☆24Updated 3 months ago
- Collection of Key Derivation Functions written in pure Rust☆64Updated last month
- Collection of sponge functions written in pure Rust☆41Updated last week
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆67Updated 2 years ago
- agora-glass_pumpkin☆20Updated 3 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆27Updated last month
- an authenticated, chunked cipher based on BLAKE3☆21Updated last week
- Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.☆120Updated last month
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆29Updated 2 weeks ago
- A safe pure-rust implementation of the NTRU post-quantum scheme.☆17Updated 2 years ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆62Updated last month
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- Format-preserving encryption in Rust☆25Updated last year
- ☆24Updated 2 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 4 years ago
- Password-Authenticated Key Agreement protocols☆104Updated last month
- Rust bindings for HACL & Evercrypt☆27Updated last year
- Torut is tor controller written in rust☆35Updated 2 years ago
- Verifiable Secret Sharing Schemes☆74Updated last month
- Rust implementation of Noise☆66Updated 10 months ago
- Collection of Key Encapsulation Mechanisms written in pure Rust☆21Updated last week
- Pure Rust client for YubiHSM2 devices☆64Updated this week
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆63Updated 2 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆50Updated last year
- A Rust implementation of CPace, a balanced PAKE.☆25Updated 9 months ago
- toy implementation of bfv in rust☆18Updated 2 years ago
- Collection of universal hashing functions☆27Updated last week
- Convenience wrapper over Apache Milagro☆10Updated 2 years ago
- Supersingular Isogeny Diffie-Hellman in Rust☆17Updated 2 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆116Updated last year