cronokirby / deeveeView external linksLinks
Designatived verifier Schnorr signatures
☆13Nov 4, 2022Updated 3 years ago
Alternatives and similar repositories for deevee
Users that are interested in deevee are comparing it to the libraries listed below
Sorting:
- ☆15Jul 8, 2021Updated 4 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- Rust encryption library for practical time-lock encryption.☆37Jul 19, 2024Updated last year
- An implementation of the DudeCT constant-time function tester☆25Sep 18, 2023Updated 2 years ago
- ☆27Sep 25, 2023Updated 2 years ago
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Dec 19, 2025Updated last month
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated last month
- [wip] implementing origami VDF☆13Mar 1, 2023Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- ☆11Feb 6, 2024Updated 2 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- Materials and slides for talks I've given in the past☆15Jan 26, 2026Updated 2 weeks ago
- ☆16Jan 23, 2019Updated 7 years ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- An implementation of ATProto's Merkle Search Tree☆17Apr 29, 2023Updated 2 years ago
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Jun 7, 2024Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61May 22, 2023Updated 2 years ago
- An implementation of ZKBoo☆33May 10, 2022Updated 3 years ago
- Celo Light Client (IBC compatible)☆16Feb 4, 2022Updated 4 years ago
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆16Jan 5, 2023Updated 3 years ago
- a web page / paper☆18Feb 24, 2017Updated 8 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
- Trust-minimized commitment pools with zkSNARKs☆38Apr 10, 2023Updated 2 years ago
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆18Sep 1, 2022Updated 3 years ago
- ☆25Dec 4, 2022Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- ☆17Aug 26, 2025Updated 5 months ago
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 2 years ago
- Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.☆15Dec 29, 2022Updated 3 years ago
- Elliptic curve accumulator☆19Jun 25, 2024Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year