franziskuskiefer / rust-hacl-star
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
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- Certificate transparency SCT verification library in rust☆51Updated 5 months ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆63Updated 3 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- ☆62Updated 9 years ago
- Very fast cryptographic hashing for large messages.☆70Updated last month
- An experimental implementation of nQUIC in Rust☆31Updated 6 years ago
- ☆24Updated 2 years ago
- Benchmarks for crypto libraries (in Rust, or with Rust bindings)☆70Updated 5 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 6 years ago
- Combine a reader + writer into a duplex of Read + Write☆46Updated 4 years ago
- A Rust implementation of CPace, a balanced PAKE.☆26Updated last year
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated 2 years ago
- Rust bindings for HACL & Evercrypt☆28Updated last week
- gmp bindings for rust☆40Updated 4 years ago
- Bare metal Rust support for USB armory MkII devices☆58Updated 4 years ago
- Atomically updatable Arc implementation using crossbeam-epoch for memory reclamation.☆42Updated 6 years ago
- dynamic smart pointers☆31Updated 6 years ago
- No longer maintained☆38Updated 7 years ago
- Fujisaki-Suzuki Ring Signatures in Rust☆19Updated 4 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- Extra utilities for working with futures-rs☆20Updated 6 years ago
- Migration tool for replacing await! macro with await syntax.☆40Updated 4 years ago
- Rust implementation `libsodium/utils`.☆50Updated 3 months ago
- asynchronous I/O in Rust☆14Updated 8 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆29Updated last week