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

Farcaster

Toe spacers are the main character on Farcaster rn

Pulled a muscle in my back, how do I heal quickly

Welcome @optimism to the club of stage 1+ L2s! (meaning, L2s where the proof systems actually have teeth)

I'm looking forward to seeing many more L2s join this club soon, especially some ZK ones.

Oxsaisreeniroselia

@saisreeniroselia