MinaProtocol / snark-challenge-prover-referenceLinks
☆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
Sorting:
- Coda + Dekrypt: The SNARK Challenge - Reference Material☆36Updated 3 years ago
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 6 years ago
- Argument systems for inner pairing products☆42Updated 10 months ago
- ☆26Updated 2 years ago
- ☆32Updated 3 years ago
- ☆18Updated last year
- ☆32Updated last year
- ☆15Updated 4 years ago
- CUDA implementation of Fast Fourier Transformations on finite fields☆81Updated 5 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆39Updated 5 years ago
- ☆20Updated 2 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Updated 3 years ago
- fft impl for ff::Field☆16Updated last year
- Rust 256-bit unsigned integers.☆9Updated 2 years ago
- ☆20Updated 5 years ago
- This library is archived; see crypto-primities for the latest version of this code☆23Updated 2 years ago
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆100Updated last year
- Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.☆23Updated 10 months ago
- ☆17Updated 6 years ago
- Implementation of the Zcash Orchard Protocol☆55Updated 2 weeks ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Implementation of various primitives for bellman using CUDA (WIP)☆28Updated 5 years ago
- ☆12Updated 4 years ago
- ☆22Updated 6 months ago
- Simple RSA VDF in Rust☆20Updated 4 years ago
- Proof system with plonkup back-end proving arguments☆14Updated 3 years ago
- Website!☆22Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.☆28Updated 3 years ago
- Coded Merkle Tree☆26Updated 5 years ago