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: about 2 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 3 years ago)
• Default Branch: main
• Last Pushed: 2021-11-13T11:43:46.000Z (about 3 years ago)
• Last Synced: 2024-08-04T02:09:09.200Z (5 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)