An implementation of the DudeCT constant-time function tester
☆25Sep 18, 2023Updated 2 years ago
Alternatives and similar repositories for dudect-bencher
Users that are interested in dudect-bencher are comparing it to the libraries listed below
Sorting:
- ☆25Dec 4, 2022Updated 3 years ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆85Mar 9, 2026Updated last week
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago
- ☆10Aug 21, 2022Updated 3 years ago
- Materials and slides for talks I've given in the past☆15Feb 20, 2026Updated last month
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆123Jun 16, 2021Updated 4 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆38Apr 11, 2025Updated 11 months ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- ☆12Nov 11, 2022Updated 3 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 2 months ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated 10 months ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- Is SIKE broken yet?☆20Feb 15, 2023Updated 3 years ago
- Post-quantum Wireguard (Theory)☆13Sep 9, 2020Updated 5 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Initial Rust implementation of FAEST☆13Jul 6, 2023Updated 2 years ago
- DEPRECATED: A C++ Elligator2 implementation☆15Apr 17, 2020Updated 5 years ago
- An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses☆49Feb 22, 2026Updated last month
- ☆14May 3, 2019Updated 6 years ago
- SIDH C reference implementation☆13Jan 25, 2017Updated 9 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆16Mar 14, 2021Updated 5 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆52Aug 21, 2024Updated last year
- ☆11Feb 6, 2024Updated 2 years ago
- [wip] implementing origami VDF☆13Mar 1, 2023Updated 3 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Aug 14, 2023Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆28Jun 7, 2024Updated last year
- An implementation of ATProto's Merkle Search Tree☆17Apr 29, 2023Updated 2 years ago
- A BibTeX collection on Zero-Knowledge Proofs☆16Dec 4, 2018Updated 7 years ago
- Library for building stateful property tests using the proptest crate☆26Oct 7, 2025Updated 5 months ago
- FN-DSA (Falcon) signature scheme☆49Mar 11, 2026Updated last week
- Implementation of the ZKB++ proof system☆20May 28, 2019Updated 6 years ago
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆18Sep 1, 2022Updated 3 years ago