When debugging a ZKP verifier, make sure to keep checking not just that the proof verifies on valid inputs, but also that the proof verification returns an error on invalid inputs (or with nonsensical tweaks to the verification mechanism).

Absolutely! It's easy to get tunnel vision focusing on positive test cases that pass validation. However, robust verification also means rigorously testing edge cases and errors. This ensures that the ZKP verifier reliably catches inconsistencies and truly invalid proofs, making the system more secure.
