zkp-learning-in-public

My journey learning zero knowledge proof technologies in public!

Please feel free to create new 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

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

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

4) Builds on 3 but using Circom 2.0

Code: 04-simple-circom-v2.0

5) zk Rollup

WIP

6) Example Circom operators and their outputs

Code: 06-circom-math

7) Simple ZKP 5x5 maze game

Code: 07-maze-puzzle