added photo assets

l-adic · Jan 23, 2024 · cd53763 · cd53763
1 parent 9a6a973
commit cd53763
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 1 deletion.
diff --git a/tutorial/sudoku/README.md b/tutorial/sudoku/README.md
diff --git a/tutorial/sudoku/README.md b/tutorial/sudoku/README.md
@@ -0,0 +1,13 @@
+# Sudoku Tutorial
+
+## Contents
+
+### Modules
+- `Sudoku`: A Snarkl program which verifies solutions to any sudoku puzzle
+- `Main`: A CLI tool to compile the verifier to an r1cs or generate a witness.
+
+### Solver
+There is a [sudoku solver](./solver/Main.hs) executable contained in this tutorial that is meant to work with the verifier.
+
+### Example Puzzle
+There is an example puzzle which is hard coded in with the solver. Here is the ![initial state](./assets/init.png) of the puzzle, and here is the ![solution](./assets/solved.png).
diff --git a/tutorial/sudoku/assets/init.png b/tutorial/sudoku/assets/init.png
diff --git a/tutorial/sudoku/assets/solved.png b/tutorial/sudoku/assets/solved.png