This folder contains the sudoku.circom
circuit used in the zkSudoku application.
To install all the dependencies run:
yarn install
Compile circuits and generate and verify the zk-proof using snarkjs
To know how is everything generated, you can see the executeGroth16.sh
file inside the sudoku
folder.
To compile and run the circuit, go inside the sudoku folder and run:
Run the first time:
chmod u+x executeGroth16.sh
And after that, you can always run:
./executeGroth16.sh
yarn test
When you run tests you will see something like this: