ZKbasicsCS
Zero-knowledge proof primer
A concise introduction to Zero-Knowledge Proofs basics
Zero-Knowledge Proofs "for (not too much 
) dummies"
119 stars
1 watching
7 forks
last commit: over 1 year ago
Linked from 1 awesome list
argumentcompletenessfiat-shamirnizkproofproof-of-knowledgeproversimulatorsoundnessverifierzero-knowledgezkp
matter-labs/awesome-zero-knowledge-proofsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 237 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,836 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 304 |
 sdiehl/bulletproofs | A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. | 534 |
 delendum-xyz/zk-knowledge | An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications | 117 |
 worldcoin/proto-neural-zkp | A system to verify neural networks in zero-knowledge proofs using cryptographic techniques | 172 |
 supranational/sppark | A high-performance library for accelerating zero-knowledge proof generation operations on GPUs | 188 |
 iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 211 |
 0xzkml/zk-mnist | A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript. | 121 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |
| iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,801 |
 brownie/cashlib | A system for specifying and executing cryptographic operations and electronic cash protocols in a high-level language | 54 |
| delendum-xyz/zk-benchmarking | A benchmarking framework for comparing the performance of different zero-knowledge proof libraries in a variety of use cases and environments. | 128 |