About

zk-MNIST scaffold app. Authors: @horacepan @sunfishstanford @henripal

This project is part of 0xPARC's winter 2021 applied zk learning group

This draws heavily from 0xJOF's zk learning in public repo and Wei Jie Koh's zk nft mint repo

Current Functionality:

1. draw a digit
2. pass the digit through 2 conv layers and one FC layer in browser, generating a dim 50 embedding
3. generate a ZKsnark proof in browser that the embedding represents a given digit
4. verify proof on-chain using ethers + snarkjs

How to run it locally:

Prerequisites: global install of circom 2.0

1. git clone the repo
2. cd into the directory
3. npm i to install dependencies
4. generate powers of tau yarn zk:ptau
5. compile circuits yarn zk:compile
6. compile the contracts npx hardhat compile
7. start a local ether node: npx hardhat node
8. switch to another terminal
9. deploy the smart contract npx hardhat run scripts/deploy.js --network localhost
10. make a note of where the contract address has been deployed
11. edit verifierAddress in ./src/App.js
12. start web app npm start

Development loop:

ZK circuits

All zk circuits are in the zk directory.

1. generate basic powers of tau phase 1 with yarn zk:ptau
2. compile the circuits, generate the solidty validator with yarn zk:compile
3. test the circuits: node src/generateJSProof.js
4. yarn contracts:test - tests the contracts