Hey! Thank you! The verifier is generated using snarkjs.
That line is almost at the end of the executeGroth16.sh script in the circuits/sudoku folder.
github.com/vplasencia/zkSudoku/blob/main/circuits…
That's part of section 5 (Generate all the necessary files) in this article.