zkps-circuit-snark
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
A zk-SNARK implementation
61 stars
2 watching
0 forks
Language: Solidity
last commit: about 2 years ago
Linked from 1 awesome list
circomcryptographydecentralizedfuturesnarkjssolidityzero-knowledgezero-knowledge-proofszk-proofzk-rollupzk-snarks
Related projects:
Repository | Description | Stars |
---|---|---|
matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,836 |
iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,801 |
scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,846 |
baro77/zkbasicscs | A concise introduction to Zero-Knowledge Proofs basics | 119 |
tamucrypto/zkcnn | An implementation of a GKR-based snark for CNN model inference, providing a zero-knowledge proof protocol for neural network computations. | 73 |
jofarnold/zkp-learning-in-public | Learning and experimenting with Zero Knowledge Proof technologies using Solidity and frameworks like ZoKrates and Circom. | 67 |
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 |
ebfull/powersoftau | A multi-party computation protocol for generating secure parameters using zk-SNARKs | 141 |
consensys/gnark | A fast zk-SNARK library with a high-level API to design circuits. | 1,459 |
meilof/geppetri | An implementation of a Pinocchio-based adaptive zk-SNARK system for distributed computation | 16 |
iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 211 |
nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |