hacspec / rust-secret-integers
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
- Helpers for clearing sensitive data on the stack and heap☆55Updated 2 years ago
- ☆24Updated 2 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆53Updated last year
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- A Rust implementation of the Strobe protocol framework☆27Updated 2 weeks ago
- Rust bindings for HACL & Evercrypt☆28Updated last year
- Collection of sponge functions written in pure Rust☆44Updated 2 months ago
- Performance crypto in pure Rust☆56Updated 3 weeks ago
- RSA blind signatures in Rust☆29Updated last week
- Constant-Time WebAssembly☆24Updated 6 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated 2 years ago
- A Rust implementation of CPace, a balanced PAKE.☆26Updated last year
- Wycheproof for Rust☆19Updated 7 months ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 7 months ago
- Collection of universal hashing functions☆28Updated last month
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- A pure-Rust implementation of the Paillier encryption scheme☆37Updated 2 years ago
- Byzantine-fault-tolerant time synchronization☆39Updated 4 years ago
- HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).☆27Updated 5 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 6 years ago
- Arbitrary precision integers library.☆27Updated 4 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated 8 months ago
- Rust XDR interoperability library and codegen☆16Updated 2 years ago
- model testing sugar for testing interactions on structures over time☆27Updated 5 years ago
- toy implementation of bfv in rust☆26Updated 2 years ago
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆63Updated 3 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆32Updated 5 years ago