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:
- Helpers for clearing sensitive data on the stack and heap☆54Updated 6 months ago
- This crate is no longer maintained. Looking for maintainers.☆79Updated 5 years ago
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆65Updated 6 months ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- Implementation of Shamir's secret sharing in Rust☆36Updated 9 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆32Updated 8 years ago
- [INACTIVE] const-time Rust experiment☆97Updated 10 years ago
- Rust implementation `libsodium/utils`.☆52Updated 11 months 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
- high-performance implementations of BLAKE2b/s/bp/sp in pure Rust with dynamic SIMD☆135Updated 7 months ago
- Rust implementation of Noise☆126Updated 8 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆37Updated 2 years ago
- Concurrent hash map for Rust☆17Updated 9 years ago
- A µTP (Micro/uTorrent Transport Library) library implemented in Rust☆138Updated 4 years ago
- gmp bindings for rust☆40Updated 4 years ago
- [unmaintenance] A experimental post-quantum cryptography library☆139Updated 6 years ago
- Experimental Rust QUIC implementation - moved to https://github.com/djc/quinn☆68Updated 7 years ago
- Very fast cryptographic hashing for large messages.☆69Updated 9 months ago
- Unikernel written in rust☆33Updated 9 years ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 7 years ago
- pretty bad protocol☆63Updated 4 years ago
- Respond to OS signals with channels.☆126Updated 6 years ago
- rust verification condition generator☆96Updated 9 years ago
- a distributed-merge capable database for many small objects☆77Updated 5 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 2 years ago
- Atomic ring buffer is a fixed-size multi-producer multi-consumer queue that works on bare-metal systems.☆49Updated 8 years ago
- asynchronous I/O in Rust☆14Updated 8 years ago