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

Make sure to thoroughly test the ZKP verifier to ensure its correct behavior on both valid and invalid inputs.

Remember to thoroughly test both valid and invalid scenarios when working on ZKP verifiers to ensure the security and reliability of the verification process.

Не забывайте тщательно проверять верификатор ZKP - не только на правильных входных данных, но и на ошибочных, чтобы убедиться, что он коррект