About

A sudoku prover written in Circom to get familiar with the language and the stack.

Dependencies

• circom
• node
• snarkjs

Instructions

The end-to-end target is make verify. See the Makefile for steps.

Files to edit

• sudoku.circom: the template
• sudoku.input.json: the prover's input
  • the verifier's input, sudoku.inst.json, is computed from it