matter-labs-archive / snarkyGPULinks
Research repository for distributed GPU based zkSNARKs prover
☆23Updated 6 years ago
Alternatives and similar repositories for snarkyGPU
Users that are interested in snarkyGPU are comparing it to the libraries listed below
Sorting:
- Website!☆22Updated 2 years ago
- Implementation of various primitives for bellman using CUDA (WIP)☆28Updated 6 years ago
- Argument systems for inner pairing products☆43Updated last year
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Low-level language for encoding AIR of computations☆37Updated 2 years ago
- ☆22Updated 3 years ago
- fft impl for ff::Field☆16Updated last year
- Coded Merkle Tree☆26Updated 6 years ago
- Fawkes-Crypto - zkSNARKs framework☆22Updated last year
- ☆22Updated 9 months ago
- Implementation of the Jubjub elliptic curve group☆122Updated last year
- ☆31Updated 3 years ago
- CUDA implementation of Fast Fourier Transformations on finite fields☆80Updated 5 years ago
- ☆17Updated 7 years ago
- ☆30Updated 2 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Updated 4 years ago
- An elastic proof system based on arkworks☆85Updated last year
- Implementation of the Zcash Orchard Protocol☆56Updated 3 weeks ago
- ☆47Updated 2 years ago
- Elliptic curve search experiments☆35Updated 2 years ago
- Delay Function Verification Smart Contract☆28Updated 4 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆57Updated 2 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆39Updated 6 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Updated 2 years ago
- ☆32Updated 11 months ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 6 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- Proof system with plonkup back-end proving arguments☆14Updated 3 years ago
- Simple implementation of KZG commitments in C☆36Updated 2 years ago