zcash / orchard
Implementation of the Zcash Orchard Protocol
☆55Updated this week
Alternatives and similar repositories for orchard:
Users that are interested in orchard are comparing it to the libraries listed below
- Rust implementation for zcash/pasta☆82Updated last year
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- Elliptic curve group traits and utilities.☆95Updated last year
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆41Updated last year
- Composable proof transcripts for public-coin arguments of knowledge☆48Updated 6 months ago
- Aggregatable Distributed Key Generation☆46Updated 2 years ago
- ☆42Updated 3 years ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆92Updated 2 years ago
- An elastic proof system based on arkworks☆80Updated last year
- ☆49Updated last year
- A generalized merkle mountain range implementation.☆57Updated 2 months ago
- Poseidon hash function☆74Updated last year
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Implementations of proof-carrying data☆33Updated 2 years ago
- Argument systems for inner pairing products☆41Updated 6 months ago
- Zero Knowledge Proofs Toolkit for CKB☆65Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆148Updated 2 weeks ago
- An advanced fork of Nova (contact:@huitseeker)☆82Updated this week
- ☆119Updated 2 months ago
- Implementation of the Jubjub elliptic curve group☆122Updated 6 months ago
- Recursive SNARKs based on Plonk and Halo☆115Updated 3 years ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆70Updated 3 weeks ago
- ☆56Updated last year
- Implementation of incrementally verifiable ledger system☆17Updated 3 years ago
- A domain-specific language for writing AIR constraints for STARKs☆78Updated this week
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆197Updated 2 weeks ago
- Testudo: Spartan + Groth16☆51Updated last year