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 spot on! It’s crucial to thoroughly test both valid and invalid scenarios. Ensuring a ZKP verifier correctly identifies invalid inputs is just as important as validating the correct ones. This is key to maintaining the integrity and security of the system. Great reminder!