franziskuskiefer / rust-hacl-starLinks
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
☆29Updated 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 3 months ago
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆64Updated 3 months ago
- An experimental implementation of nQUIC in Rust☆32Updated 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
- Rust implementation `libsodium/utils`.☆51Updated 8 months ago
- This crate is no longer maintained. Looking for maintainers.☆79Updated 5 years ago
- Benchmarks for crypto libraries (in Rust, or with Rust bindings)☆70Updated 5 years ago
- gmp bindings for rust☆40Updated 4 years ago
- high-performance implementations of BLAKE2b/s/bp/sp in pure Rust with dynamic SIMD☆134Updated 4 months ago
- [INACTIVE] const-time Rust experiment☆97Updated 9 years ago
- Implementation of Shamir's secret sharing in Rust☆36Updated 9 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆119Updated 2 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 8 years ago
- Very fast cryptographic hashing for large messages.☆69Updated 6 months ago
- Certificate transparency SCT verification library in rust☆53Updated last month
- A µTP (Micro/uTorrent Transport Library) library implemented in Rust☆137Updated 4 years ago
- A Roughtime secure time sync client and server written in Rust☆133Updated 2 months ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 5 years ago
- pretty bad protocol☆63Updated 4 years ago
- Pure Rust implementation of the Double Ratchet algorithm☆68Updated 4 years ago
- The empty type Void.☆71Updated 2 years ago
- Rust library providing a lazily filled Cell☆60Updated 5 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated 2 years ago
- No longer maintained☆38Updated 8 years ago
- Old home of some infra pieces☆75Updated 4 years ago
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆32Updated 8 years ago
- [unmaintenance] A experimental post-quantum cryptography library☆139Updated 6 years ago
- a distributed-merge capable database for many small objects☆79Updated 5 years ago