zcash / pasta_curvesView external linksLinks
Rust implementation for zcash/pasta
☆84Apr 17, 2025Updated 10 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:
- Private treasuries enabled by ECDH and ZKPs☆17Mar 31, 2023Updated 2 years ago
- Elliptic curve group traits and utilities.☆99Apr 17, 2025Updated 10 months ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆59May 19, 2023Updated 2 years ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- Traits and utilities for working with finite fields.☆254Apr 17, 2025Updated 10 months ago
- Implementations of proof-carrying data☆37Jun 5, 2022Updated 3 years ago
- Implementation of the BLS12-381 pairing-friendly elliptic curve group☆361Apr 17, 2025Updated 10 months ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 2 years ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 3 years ago
- Rescue and Poseidon hash function implementations☆43Aug 15, 2024Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- Implementation of the blindbid logic within Zero Knowledge Proofs☆21Sep 15, 2021Updated 4 years ago
- ☆221Jul 29, 2025Updated 6 months ago
- ☆124Nov 30, 2024Updated last year
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated 5 months ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆235Jul 21, 2025Updated 6 months ago
- comparing the performance of different zero-knowledge proof libraries☆134Oct 15, 2023Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.☆29Jul 5, 2023Updated 2 years ago
- ☆42Jul 25, 2024Updated last year
- A Rust library for the Marlin preprocessing zkSNARK☆325Jan 18, 2024Updated 2 years ago
- A curated list of zero-knowledge folding schemes☆307Aug 6, 2024Updated last year
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 2 years ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Updated this week
- DSL for Halo2 circuits☆188Nov 4, 2024Updated last year
- Email verification circuit in halo2☆68Jul 3, 2024Updated last year
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- ☆33Sep 22, 2023Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- ☆155Feb 26, 2024Updated last year
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆277Aug 26, 2025Updated 5 months ago
- Implementations of popular elliptic curves☆308Dec 18, 2023Updated 2 years ago
- ☆115Aug 15, 2024Updated last year
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- Implementation of the Zcash Orchard Protocol☆64Dec 5, 2025Updated 2 months ago
- Cryptographic primitives used in Polygon Miden rollup☆131Updated this week