zkcrypto / group
Elliptic curve group traits and utilities.
☆94Updated 3 weeks ago
Alternatives and similar repositories for group:
Users that are interested in group are comparing it to the libraries listed below
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Rust implementation for zcash/pasta☆84Updated 3 weeks ago
- Poseidon hash function☆75Updated last year
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆213Updated 3 months ago
- R1CS constraints for bits, fields, and elliptic curves☆157Updated 2 weeks ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆210Updated last month
- Traits and utilities for working with finite fields.☆244Updated 3 weeks ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆72Updated 3 months ago
- Aggregatable Distributed Key Generation☆46Updated 3 years ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago
- An elastic proof system based on arkworks☆82Updated last year
- ☆123Updated 6 months ago
- ☆72Updated 2 years ago
- Implementation of the Jubjub elliptic curve group☆121Updated 8 months ago
- Collection of mathematics routines and cryptography for the twenty-first century☆82Updated this week
- Argument systems for inner pairing products☆42Updated 9 months ago
- Implementations of popular elliptic curves☆306Updated last year
- A threshold cryptography library in Rust☆113Updated 9 months ago
- Implementation of the Zcash Orchard Protocol☆55Updated last month
- ☆107Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆61Updated 9 months ago
- ☆56Updated last year
- A domain-specific language for writing AIR constraints for STARKs☆83Updated this week
- ☆119Updated 5 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆169Updated last month
- Threshold ECDSA via Triples☆79Updated last year