franziskuskiefer / rust-hacl-starLinks
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
☆28Updated 5 years ago
Alternatives and similar repositories for rust-hacl-star
Users that are interested in rust-hacl-star are comparing it to the libraries listed below
Sorting:
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- Very fast cryptographic hashing for large messages.☆70Updated 3 months ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated this week
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆63Updated this week
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- An experimental implementation of nQUIC in Rust☆31Updated 6 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 4 months ago
- Certificate transparency SCT verification library in rust☆51Updated 7 months ago
- Implementation of Shamir's secret sharing in Rust☆36Updated 9 years ago
- ☆24Updated 2 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 7 years ago
- Rust implementation `libsodium/utils`.☆50Updated 4 months ago
- Picoquic bindings for rust.☆28Updated 5 years ago
- Rust XDR interoperability library and codegen☆16Updated 2 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated 2 years ago
- Bare metal Rust support for USB armory MkII devices☆59Updated 4 years ago
- A reader-writer lock that can be used with a Condvar.☆29Updated 9 years ago
- No longer maintained☆38Updated 7 years ago
- A Rust implementation of CPace, a balanced PAKE.☆25Updated last year
- Rust bindings for HACL & Evercrypt☆28Updated last month
- libsodium native binding in Rust☆31Updated 5 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Updated last month
- A small crate to provide space-efficient Option<_> replacements☆37Updated 3 months ago
- Benchmarks for crypto libraries (in Rust, or with Rust bindings)☆70Updated 5 years ago
- Rust declarative static analysis with macro-like syntax☆15Updated 6 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 6 years ago
- A simple library to send ntp requests and receive responses☆29Updated 3 years ago