added sudoku example in the directory examples-sudoku.

[2pir2]

Description

Type of change

• Added a new example to simulate the verifier and prover interactions.

How has this been tested?

• Simply goes to the file and use go run prover.go, the copy paste the generated files to vierifier folder, then run go run verifier.go.

How has this been benchmarked?

• Macbook air M1, 8GB RAM

Checklist:

• [X] I have performed a self-review of my code
• [X] I have commented my code, particularly in hard-to-understand areas
• [X] I have made corresponding changes to the documentation
• [X] I have added tests that prove my fix is effective or that my feature works
• [X] I did not modify files generated from templates
• [X] golangci-lint does not output errors locally
• [X] New and existing unit tests pass locally with my changes
• [X] Any dependent changes have been merged and published in downstream modules

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.

---

AndyHan seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}