snarkyGPU
zkSNARK prover
A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.
Research repository for distributed GPU based zkSNARKs prover
23 stars
9 watching
5 forks
last commit: over 6 years ago
Linked from 1 awesome list
matter-labs/awesome-zero-knowledge-proofsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,836 |
 scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,846 |
 consensys/gnark | A fast zk-SNARK library with a high-level API to design circuits. | 1,459 |
 ebfull/powersoftau | A multi-party computation protocol for generating secure parameters using zk-SNARKs | 141 |
| scipr-lab/libiop | A C++ library for transforming probabilistic proofs into transparent and post-quantum zkSNARKs using IOPs. | 150 |
 iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,801 |
 tamucrypto/zkcnn | An implementation of a GKR-based snark for CNN model inference, providing a zero-knowledge proof protocol for neural network computations. | 73 |
| iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 211 |
 zk-ml/linear-regression-demo | Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof | 214 |
 o1-labs/o1js | An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. | 540 |
| o1-labs/snarky | An OCaml front-end for writing and verifying computation protocols using R1CS SNARKs. | 498 |
| scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 237 |
 zkcrypto/bellman | A crate for building and implementing zk-SNARK circuits | 1,031 |