Overview
This project contains an implementation of a zero-knowledge sudoku proof system using RISC Zero technology. With this code, you can simulate an execution trace, allowing a prover to assert correct execution and hence knowledge without disclosing the actual solution to the sudoku puzzle.
Usage
Assuming rust is installed should work right out of the box with:
cargo run
Acknowledgment
Credit for being able to do anything goes to thor314. His repository contains examples for writing circuitry for Merkle trees and scalar product in three different ZK platforms. Picking up from there has made creating this almost too straightforward.