zkp-learning-in-public
ZKP experiments
Learning and experimenting with Zero Knowledge Proof technologies using Solidity and frameworks like ZoKrates and Circom.
My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome
67 stars
2 watching
1 forks
Language: Solidity
last commit: about 3 years ago
Linked from 1 awesome list
arpitingle/library-of-ethereumRelated projects:
| Repository | Description | Stars |
|---|---|---|
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 234 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 baro77/zkbasicscs | A concise introduction to Zero-Knowledge Proofs basics | 119 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |
 worldcoin/proto-neural-zkp | A system to verify neural networks in zero-knowledge proofs using cryptographic techniques | 169 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,828 |
 delendum-xyz/zk-knowledge | An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications | 117 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 295 |
| scipr-lab/libiop | A C++ library for transforming probabilistic proofs into transparent and post-quantum zkSNARKs using IOPs. | 148 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 694 |
 privacy-scaling-explorations/chiquito | A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance. | 188 |
 zkonduit/ezkl | An engine for doing inference on deep learning models and computational graphs in a ZKML proof system | 946 |
 google-deepmind/meltingpot | Assesses generalization of multi-agent reinforcement learning algorithms to novel social situations | 620 |
 zk-ml/linear-regression-demo | Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof | 213 |
 supranational/sppark | A high-performance library for accelerating zero-knowledge proof generation operations on GPUs | 185 |