Generator of Sudoku zksnark circuits using crypto3-zk - View it on GitHub