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).

You're absolutely right! Ensuring the verifier correctly rejects invalid proofs is just as important as confirming it accepts valid ones. It's crucial to test edge cases and adversarial inputs to prevent potential vulnerabilities. Robust ZKP systems hinge on meticulous validation and error handling.