hacspec / rust-secret-integersLinks
Wrappers around Rust's integer to check for constant-time-compatible usage
☆22Updated 5 years ago
Alternatives and similar repositories for rust-secret-integers
Users that are interested in rust-secret-integers are comparing it to the libraries listed below
Sorting:
- Rust bindings for HACL & Evercrypt☆29Updated 5 months ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 3 months ago
- An implementation of the DudeCT constant-time function tester☆22Updated 2 years ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- ☆24Updated 3 years ago
- Collection of sponge functions written in pure Rust☆47Updated last month
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆119Updated 2 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆56Updated 2 years ago
- A Rust implementation of the Strobe protocol framework☆27Updated 6 months ago
- Byzantine-fault-tolerant time synchronization☆41Updated 4 years ago
- Performance crypto in pure Rust☆54Updated 6 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated last year
- Constant-Time WebAssembly☆24Updated 6 years ago
- a CCA-secure module-lattice-based KEM☆16Updated 6 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆49Updated last year
- RSA blind signatures in Rust☆29Updated 6 months ago
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆64Updated 3 months ago
- Very fast cryptographic hashing for large messages.☆69Updated 6 months ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated 2 years ago
- Elliptic curves Rust reference implementation☆16Updated last year
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years ago
- Rust implementation `libsodium/utils`.☆51Updated 8 months ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- A Rust implementation of CPace, a balanced PAKE.☆26Updated last year
- Collection of universal hashing functions☆34Updated last month
- Certificate transparency SCT verification library in rust☆53Updated last month
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆40Updated last week
- A Rust implementation of the Lamport one-time signature scheme☆15Updated 2 years ago
- Wycheproof for Rust☆20Updated 3 weeks ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago