MinaProtocol / snark-challenge-prover-reference
☆22Updated 3 years ago
Alternatives and similar repositories for snark-challenge-prover-reference:
Users that are interested in snark-challenge-prover-reference are comparing it to the libraries listed below
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 6 years ago
- Argument systems for inner pairing products☆42Updated 9 months ago
- Coda + Dekrypt: The SNARK Challenge - Reference Material☆36Updated 3 years ago
- ☆32Updated 2 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Updated 3 years ago
- Implementation of the Zcash Orchard Protocol☆55Updated last month
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- ☆20Updated 2 years ago
- CUDA implementation of Fast Fourier Transformations on finite fields☆81Updated 5 years ago
- fft impl for ff::Field☆16Updated last year
- ☆18Updated last year
- ☆15Updated 3 years ago
- ☆26Updated 2 years ago
- ☆17Updated 6 years ago
- Proof system with plonkup back-end proving arguments☆14Updated 2 years ago
- Website!☆22Updated 2 years ago
- Implementations of proof-carrying data☆35Updated 2 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆39Updated 5 years ago
- Implementation of the Groth16 zk-SNARK proving system☆21Updated 6 years ago
- ☆22Updated 4 months ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- Pairing-friendly elliptic curve library☆24Updated 8 months ago
- Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.☆34Updated 9 months ago
- A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.☆28Updated 3 years ago
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆100Updated last year
- Rust implementation of ElGamal encryption☆14Updated last year
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆129Updated last year
- ZKP Circuits code for Loopring Protocol 3.0☆52Updated 4 years ago
- Implementation of various primitives for bellman using CUDA (WIP)☆28Updated 5 years ago
- 🪩 verify plonky3 proofs in plonky2☆18Updated last year