franziskuskiefer / rust-hacl-starLinks
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
☆30Updated 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
- Helpers for clearing sensitive data on the stack and heap☆54Updated 7 months ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆66Updated 7 months ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- [INACTIVE] const-time Rust experiment☆97Updated 10 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆37Updated 2 years ago
- This crate is no longer maintained. Looking for maintainers.☆79Updated 5 years ago
- Very fast cryptographic hashing for large messages.☆69Updated 10 months ago
- Certificate transparency SCT verification library in rust☆54Updated last month
- Implementation of Shamir's secret sharing in Rust☆36Updated 9 years ago
- high-performance implementations of BLAKE2b/s/bp/sp in pure Rust with dynamic SIMD☆135Updated this week
- pretty bad protocol☆63Updated 4 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 2 years ago
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆32Updated 8 years ago
- Benchmarks for crypto libraries (in Rust, or with Rust bindings)☆70Updated 5 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 8 years ago
- gmp bindings for rust☆41Updated 4 years ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 7 years ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- Rust implementation `libsodium/utils`.☆53Updated 11 months ago
- rust verification condition generator☆96Updated 9 years ago
- A µTP (Micro/uTorrent Transport Library) library implemented in Rust☆138Updated 4 years ago
- A Rust implementation of CPace, a balanced PAKE.☆27Updated 2 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆15Updated 4 years ago
- Macaroons: bearer credentials with caveats for distributed authorization☆61Updated 8 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago
- A Roughtime secure time sync client and server written in Rust☆141Updated this week
- Perform Cargo builds inside of a sandboxed environment☆52Updated 6 years ago
- a distributed-merge capable database for many small objects☆77Updated 5 years ago