zcash / pasta_curves
Rust implementation for zcash/pasta
☆81Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for pasta_curves
- Elliptic curve group traits and utilities.☆91Updated 11 months ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆178Updated 2 weeks ago
- R1CS constraints for bits, fields, and elliptic curves☆140Updated 3 weeks ago
- ☆70Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated 11 months ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- An elastic proof system based on arkworks☆76Updated 11 months ago
- Implementation of the Zcash Orchard Protocol☆54Updated this week
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆55Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆80Updated last week
- ☆49Updated last year
- Poseidon hash function☆73Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated last week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ECFFT in Rust☆55Updated last year
- A domain-specific language for writing AIR constraints for STARKs☆75Updated 2 months ago
- ☆101Updated 6 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆50Updated last week
- Rescue and Poseidon hash function implementations☆42Updated 3 months ago
- Collection of mathematics routines and cryptography for the twenty-first century☆74Updated 3 weeks ago
- Composable proof transcripts for public-coin arguments of knowledge☆47Updated 3 months ago
- Zirgen compiler and RISC Zero circuits☆49Updated this week
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆121Updated last year
- Threshold ECDSA via Triples☆73Updated 7 months ago
- ☆42Updated 3 years ago
- High-speed zkSNARKs☆87Updated this week
- ☆37Updated 2 years ago
- ☆117Updated 2 months ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆48Updated 2 years ago
- Aggregatable Distributed Key Generation☆45Updated 2 years ago