https://github.com/JofArnold/zkp-learning-in-public
My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome
https://github.com/JofArnold/zkp-learning-in-public
Last synced: 6 months ago
JSON representation
My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome
- Host: GitHub
- URL: https://github.com/JofArnold/zkp-learning-in-public
- Owner: JofArnold
- License: mit
- Created: 2021-10-17T10:16:40.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2021-11-13T11:43:46.000Z (almost 4 years ago)
- Last Synced: 2024-11-14T20:38:39.353Z (12 months ago)
- Language: Solidity
- Size: 34.4 MB
- Stars: 67
- Watchers: 2
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- Library-of-Ethereum - Learning ZKP - Articles, codes and tools all about zero-knowledge proofs (ZKPs / Cairo)
README
# zkp-learning-in-public
My journey learning zero knowledge proof technologies in public!
Please feel free to create new [Issues](https://github.com/JofArnold/zkp-learning-in-public/issues) to ask questions, suggest new projects to build, make corrections, raise bugs etc.
# Setup
Run `yarn` to install all dependencies in the monorepo. Project-specific instructions and scripts are in their own repos
# Projects
### 1) zkProof for `x * y + 4 == 10`
Using ZoKrates, proof is generates for the above linear express. It's tested with hardhat. Code: [01-simple-algebraic-expression](https://github.com/JofArnold/zkp-learning-in-public/blob/main/@projects/01-simple-algebraic-expression)
### 2) Another simple proof, but with simple integrations with NFTs and JS.
Using ZoKrates again, this is a more advanced example in terms of integrating ZKPs with JavaScript. Goal is to replicate something like a game-experience but without delving deep into more advanced ZKPs. Code: [02-magic-number-and-nft](https://github.com/JofArnold/zkp-learning-in-public/tree/main/%40projects/02-magic-number-and-nft)
### 3) Builds on 2 but using Circom 0.5 and SnarkJS
Has scripts to conduct a two-phase Powers of Tau Ceremony.
Code: [03-simple-circom-example](https://github.com/JofArnold/zkp-learning-in-public/tree/main/%40projects/03-simple-circom-example)
### 4) Builds on 3 but using Circom 2.0
Code: [04-simple-circom-v2.0](https://github.com/JofArnold/zkp-learning-in-public/tree/main/%40projects/04-simple-circom-v2.0)
### 5) zk Rollup
WIP
### 6) Example Circom operators and their outputs
Code: [06-circom-math](https://github.com/JofArnold/zkp-learning-in-public/tree/main/%40projects/06-circom-math)
### 7) Simple ZKP 5x5 maze game
Code: [07-maze-puzzle](https://github.com/JofArnold/zkp-learning-in-public/tree/main/%40projects/07-maze-puzzle)