HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
☆30Feb 29, 2020Updated 6 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☆16Aug 25, 2020Updated 5 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 5 years ago
- Auditing Applied Cryptography☆11Sep 26, 2019Updated 6 years ago
- Pixel: Forward secure multi-signatures and threshold signatures☆16Apr 28, 2022Updated 3 years ago
- RSA blind signatures in Rust☆31Feb 23, 2026Updated 2 weeks ago
- FST (Fast Succinct Trie) implementation in Rust☆26May 9, 2019Updated 6 years ago
- Rust library for making easy parallel pipelines with Iterators.☆32Feb 12, 2020Updated 6 years ago
- reading lists☆32Jan 29, 2019Updated 7 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆35Nov 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☆87Updated this week
- ☆42Oct 19, 2021Updated 4 years ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆51Jan 22, 2024Updated 2 years ago
- This project contains simple methods to measure sample relatedness and identify potential swaps and contamination☆10Jan 8, 2016Updated 10 years ago
- ☆12Feb 11, 2025Updated last year
- 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
- DODO smart contract on EVM☆10Mar 5, 2023Updated 3 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
- Small, self-contained C implementation of Ristretto255 based on libdecaf☆13Apr 4, 2019Updated 6 years ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆47Updated this week
- A compatibility guide for Bitcoin wallets☆11Mar 28, 2023Updated 2 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆48Apr 5, 2020Updated 5 years ago
- The Front-End of CovIndia.com [SHUTDOWN]☆11Oct 1, 2020Updated 5 years ago
- Library in Nim for splitting string into shell words☆10May 7, 2019Updated 6 years ago
- A library for representing HTML in Janet☆12Apr 29, 2022Updated 3 years ago
- Start a Hardhat Network node from the command line☆12Oct 1, 2021Updated 4 years ago
- Haskell version of jsmin js minifier☆29Jan 11, 2023Updated 3 years ago
- Cross-chain DEX built on RenVM Chaosnet☆12Aug 11, 2021Updated 4 years ago
- A system utility package for Torch.☆13Dec 22, 2017Updated 8 years ago
- a simple headless client to make experimenting easier☆13Nov 24, 2019Updated 6 years ago
- ☆10Sep 4, 2021Updated 4 years ago
- Open source solver to the batch auction problem.☆13Feb 16, 2021Updated 5 years ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago