Hacker News Reader

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

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