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:
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- Materials and slides for talks I've given in the past☆15Feb 20, 2026Updated last week
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- ☆25Dec 4, 2022Updated 3 years ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- Is SIKE broken yet?☆20Feb 15, 2023Updated 3 years ago
- ☆10Aug 21, 2022Updated 3 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 2 months ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- ☆12Nov 11, 2022Updated 3 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- Post-quantum Wireguard (Theory)☆12Sep 9, 2020Updated 5 years ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆84Updated this week
- ☆11Feb 6, 2024Updated 2 years ago
- Initial Rust implementation of FAEST☆14Jul 6, 2023Updated 2 years ago
- ☆14May 3, 2019Updated 6 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- [wip] implementing origami VDF☆13Mar 1, 2023Updated 3 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- An implementation of ATProto's Merkle Search Tree☆17Apr 29, 2023Updated 2 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Jun 7, 2024Updated last year
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- SIDH C reference implementation☆13Jan 25, 2017Updated 9 years ago
- DEPRECATED: A C++ Elligator2 implementation☆15Apr 17, 2020Updated 5 years ago
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆17Jan 5, 2023Updated 3 years ago
- A BibTeX collection on Zero-Knowledge Proofs☆16Dec 4, 2018Updated 7 years ago
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆38Apr 11, 2025Updated 10 months ago
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 2 years ago
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆18Sep 1, 2022Updated 3 years ago
- Implementation of the ZKB++ proof system☆20May 28, 2019Updated 6 years ago
- Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.☆14Dec 29, 2022Updated 3 years ago
- ☆17Aug 26, 2025Updated 6 months ago
- An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses☆49Feb 22, 2026Updated last week
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago