zcash / pasta_curves
Rust implementation for zcash/pasta
☆82Updated last year
Alternatives and similar repositories for pasta_curves:
Users that are interested in pasta_curves are comparing it to the libraries listed below
- Elliptic curve group traits and utilities.☆94Updated last year
- A domain-specific language for writing AIR constraints for STARKs☆80Updated this week
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆202Updated this week
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆152Updated this week
- Poseidon hash function☆75Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆83Updated 3 weeks ago
- Implementation of the Zcash Orchard Protocol☆55Updated this week
- An elastic proof system based on arkworks☆82Updated last year
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆71Updated last month
- Threshold ECDSA via Triples☆79Updated 11 months ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- ☆50Updated last year
- ☆104Updated 11 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆92Updated 2 years ago
- Fiat-Shamir for the masses.☆53Updated this week
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- Testudo: Spartan + Groth16☆52Updated last year
- Spartan on Arkworks☆40Updated 3 months ago
- Aggregatable Distributed Key Generation☆47Updated 2 years ago
- ☆119Updated 3 months ago
- ☆56Updated 4 months ago
- ECFFT in Rust☆56Updated last year
- Collection of mathematics routines and cryptography for the twenty-first century☆81Updated 3 weeks ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆90Updated this week
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆211Updated last month
- ☆112Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- ☆150Updated last year