zcash / pasta_curvesLinks
Rust implementation for zcash/pasta
☆84Updated 8 months ago
Alternatives and similar repositories for pasta_curves
Users that are interested in pasta_curves are comparing it to the libraries listed below
Sorting:
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆58Updated 2 years ago
- Fiat-Shamir for the masses.☆82Updated this week
- Elliptic curve group traits and utilities.☆98Updated 8 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆77Updated 10 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- ☆76Updated 2 years ago
- An advanced fork of Nova (contact:@huitseeker)☆86Updated 9 months ago
- Poseidon hash function☆78Updated 2 years ago
- A domain-specific language for writing AIR constraints for STARKs☆92Updated last week
- ECFFT in Rust☆58Updated 2 years ago
- Implementation of the Zcash Orchard Protocol☆63Updated 2 weeks ago
- Testudo: Spartan + Groth16☆53Updated last year
- Collection of mathematics routines and cryptography for the twenty-first century☆92Updated last week
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- An elastic proof system based on arkworks☆85Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated 2 years ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- Spartan on Arkworks☆44Updated 4 months ago
- An observatory fork of SP1☆75Updated 10 months ago
- ☆112Updated last year
- A Rust library for building R1CS gadgets☆91Updated 4 years ago
- R1CS constraints for bits, fields, and elliptic curves☆184Updated 3 months ago
- ☆122Updated last year
- ☆42Updated 4 years ago
- ☆24Updated 2 years ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Updated 2 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆43Updated last month
- ☆30Updated 2 years ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆84Updated last month
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated 2 years ago