[jkaptur]

How does the verifier gain confidence that the prover has solved a particular instance of a sudoku puzzle?

[heinrich5991]

They can ask whether the pre-filled fields have the correct equal/unequal relationship by testing two of them at a time.