Sudoku verifier using zkSNARK and zkVerify for proof verification.
https://zksnark-sudoku.surge.sh/
Groth16: zksnark implementation scheme.
Circom: zksnark circuit compilation toolkit.
snarkjs: zksnark library.
zkVerifyJS: Proof verification on zkVerify
antd: Excellent UI template library for react.js.
React.js: For our front end building.
This is react.js based web application for sudoku game play and verify. Now it has the following features.
- Game play. Application will generate puzzles for you and you can solve it.
- Proof generation. If you solve a puzzle, you can generate its proof.
- Verify. You can make sure others that you have solved a puzzle without sharing your solution.
We have a
wrangler.toml
file that contains the Cloudflare deployment configuration. However, the build command is configured directly in the Cloudflare console.
It uses the following command to set up the environment and build the application:
npm install --legacy-peer-deps && cd packages/app && npx @cloudflare/[email protected]
To test the application locally, replicating the cloudflare pages behavior:
npm run preview