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).
16 replies
1550 recasts
6345 reactions
EulerLagrange.eth
@eulerlagrange.eth
Hey Vitalik would you like to do an AMA on here sometime?
2 replies
78 recasts
624 reactions
0xqeew
@0xqeew
In zk proofs, there are (2) actors : prover and a verifier. The prover convince the verifier without revealing any information. The verifier verify that the prover is telling the truth. A ZKP verifier must reject both invalid proofs and those with tampered verification.
0 reply
6 recasts
60 reactions
non⌐◨-◨ 🐹
@non07777.eth
Yes, sir, I will🫡
1 reply
4 recasts
32 reactions
Emmanuel Awosika
@eawosika
I guess this is how you catch unconstrained circuit bugs? I can imagine there's some proof circuit that checks that the square of a number is 9, but doesn’t check if it should be 3 or -3. What you're suggesting here should catch the bug if we only want it to be 3, no?
0 reply
2 recasts
27 reactions
Majid.degen.eth
@0xmajidx0
true
0 reply
3 recasts
24 reactions
WOO🎩☂️📃🎭⚡️
@woo-x
Yes sir thx Legend 🙇♂️
0 reply
3 recasts
21 reactions
Paragism
@paragism
Good info
0 reply
1 recast
14 reactions
Emp
@empathicalchemy
I think the core of this, is crucial in so many things. Look for the truths in things, the provable, but also the untruths, the unproven. 10 $DEGEN
1 reply
3 recasts
12 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.
1 reply
1 recast
10 reactions
Payment Bot
@paybot
@powe, press send to confirm your transaction:
0 reply
2 recasts
7 reactions
Juliito.eth 🎩🍖🎭
@juliitofire
Okay taking note! 📝
1 reply
0 recast
0 reaction
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. 🔍🛡️
1 reply
6 recasts
40 reactions
Vlady🎩🍖📖🎭
@vlady
⚡️
0 reply
1 recast
9 reactions
al3jandro.degen.eth 🔜 EthCC
@al3jandro.eth
1000 $DEGEN
0 reply
1 recast
5 reactions
