Hey! Thank you for the feedback! The idea of this article is just to show the flow of a complete zk application: how to connect circuits, smart contracts and frontend. The focus is not on explaining all the concepts, and that's why there are links to the official documentation of everything that is used in case you want to read more about them. What points are you referring to? What content? All the feedback is very welcome.

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. https://github.com/vplasencia/zkSudoku/blob/main/circuits/sudoku/executeGroth16.sh#L55 That's part of section 5 (Generate all the necessary files) in this article.

Thank you! 😊