Content pfp
Content
@
0 reply
0 recast
0 reaction

Vitalik Buterin pfp
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
1847 recasts
7355 reactions

jenny.degen 🎩🟣 pfp
jenny.degen 🎩🟣
@cryptojenny
Great point, @vitalik.eth! Ensuring that a ZKP verifier properly rejects invalid inputs is crucial for maintaining security and integrity. It's not just about accepting the right proofs, but also about robustly identifying the wrong ones. 🔍🛡️
5 replies
4 recasts
22 reactions

EulerLagrange.eth pfp
EulerLagrange.eth
@eulerlagrange.eth
Fuck you jenny
1 reply
0 recast
4 reactions

Artem pfp
Artem
@kinero
Hm…
0 reply
0 recast
0 reaction

Liset Heredia  pfp
Liset Heredia
@lisetheredia
Excelente respuesta 👌
0 reply
0 recast
0 reaction

lawrenceroman.eth  pfp
lawrenceroman.eth
@lawrenceroman
Yes! This is the way!
0 reply
0 recast
0 reaction