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

Good unit tests should be able to take care of that or am I missing something? Still, ensuring to cover all these use cases is what I am calling “good” unit tests.

Sent you a +100 🔥 FIRE tip. See your balance now.

Proud Father & Husband / Passionate for Mobile Development / Senior Software Engineer @ Mercado Libre / Crypto Enthusiast / Builder @ Farcaster

Rio de Janeiro, State of Rio de Janeiro, Brazil