franziskuskiefer / rust-hacl-starView external linksLinks
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
☆30Feb 29, 2020Updated 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:
- Post-quantum key exchange - a new hope.☆24Jan 22, 2018Updated 8 years ago
- A Rust implementation of the Lamport one-time signature scheme☆15Nov 30, 2022Updated 3 years ago
- Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented on libsodium.☆30Aug 5, 2024Updated last year
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆17Aug 25, 2020Updated 5 years ago
- Auditing Applied Cryptography☆11Sep 26, 2019Updated 6 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 5 years ago
- Pixel: Forward secure multi-signatures and threshold signatures☆17Apr 28, 2022Updated 3 years ago
- RSA blind signatures in Rust☆30Feb 2, 2026Updated 2 weeks ago
- Rust library for making easy parallel pipelines with Iterators.☆32Feb 12, 2020Updated 6 years ago
- FST (Fast Succinct Trie) implementation in Rust☆26May 9, 2019Updated 6 years ago
- reading lists☆32Jan 29, 2019Updated 7 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆34Nov 22, 2023Updated 2 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- Zcash "Sapling" cryptography☆87Dec 5, 2025Updated 2 months ago
- ☆42Oct 19, 2021Updated 4 years ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆51Jan 22, 2024Updated 2 years ago
- DODO smart contract on EVM☆10Mar 5, 2023Updated 2 years ago
- This project contains simple methods to measure sample relatedness and identify potential swaps and contamination☆10Jan 8, 2016Updated 10 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Small, self-contained C implementation of Ristretto255 based on libdecaf☆13Apr 4, 2019Updated 6 years ago
- ☆12Feb 11, 2025Updated last year
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆46Updated this week
- A compatibility guide for Bitcoin wallets☆11Mar 28, 2023Updated 2 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- ☆11Jul 21, 2023Updated 2 years ago
- List of PHP behaviours you don't expect☆11Jul 11, 2019Updated 6 years ago
- Download, install, and set up the Double Key Encryption service for Microsoft 365.☆16Jan 27, 2025Updated last year
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Apr 5, 2020Updated 5 years ago
- This contains my incomplete implementation of a variant of the MinimaLT protocol☆22Mar 2, 2014Updated 11 years ago
- ☆14Feb 13, 2025Updated last year
- A Go Wrapper for JQ☆12Nov 1, 2019Updated 6 years ago
- Eltanin system programming library☆17Feb 24, 2025Updated 11 months ago
- ☆10Aug 22, 2022Updated 3 years ago
- Open source solver to the batch auction problem.☆13Feb 16, 2021Updated 5 years ago
- Sir, is a tcp proxy that checks for regressions in your services/apps.☆12Mar 20, 2024Updated last year
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 5 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated 11 months ago
- A system utility package for Torch.☆13Dec 22, 2017Updated 8 years ago
- Contents of https://izs.me☆13Jan 7, 2026Updated last month