Content
@
0 reply
0 recast
0 reaction
Vitalik Buterin
@vitalik.eth
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).
77 replies
1843 recasts
7334 reactions
Giancarlo🎩
@giancarlodc.eth
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.
0 reply
0 recast
7 reactions
