News for hackers. Stuff that matters.
Re:Bulletproofs – Short zero-knowledge arguments of knowledge by AstralStorm on Thursday July 12, 2018 @03:55AM (#17512922)
By that you mean someone wake who also found Waldo can verify if the shape matched.

It still slightly ruins the game as you know the shape you're looking for now.

This is why one way functions are used instead.

Re:Bulletproofs – Short zero-knowledge arguments of knowledge by norswap on Thursday July 12, 2018 @07:56AM (#17513669)
No that's not the thing about it. The thing is you put the cardboard over the book then show it to the other person.

The other person won't know where Waldo is, because the cardboard is much bigger than the book, so Waldo could be anywhere on the page.

Re:Bulletproofs – Short zero-knowledge arguments of knowledge by tango24 on Thursday July 12, 2018 @08:39AM (#17513829)
That’s not what OP was referring to. OP was saying the hole still reveals a little information (Waldo’s Size/shape/posture) to the opponent.
Re:Bulletproofs – Short zero-knowledge arguments of knowledge by windows_tips on Thursday July 12, 2018 @08:37AM (#17513816)
The cardboard would need to be at least twice the dimensions. Otherwise it's possible that the book could be seen past the edges.
Re:Bulletproofs – Short zero-knowledge arguments of knowledge by omk on Thursday July 12, 2018 @09:09AM (#17514035)
Twist the example in the paper a bit, to create a shape of Waldo's face and show only Waldo's face.

Do note, the information we are concealing is where Waldo is, and not how he looks.

Re:Bulletproofs – Short zero-knowledge arguments of knowledge by pas on Thursday July 12, 2018 @03:58AM (#17512932)
Maybe you can show only Waldo's face?
Re:Bulletproofs – Short zero-knowledge arguments of knowledge by tomaha on Thursday July 12, 2018 @04:51AM (#17513087)
The Waldo zk proof isn't a good example. You can easily fake knowing where Waldo is by gluing a Waldo to the board you use to hide the book. That way you can even proof you know a solution for a picture that doesn't even have Waldo in it.
Re:Bulletproofs – Short zero-knowledge arguments of knowledge by throwawaymath on Thursday July 12, 2018 @10:51AM (#17515183)
It's a perfectly fine example! It doesn't have to be academically rigorous, it just has to demonstrate the basic idea of proving a thing without exposing the thing. Yes, obviously it's not actually a formal ZKP, but analogies are imperfect.
Re:Bulletproofs – Short zero-knowledge arguments of knowledge by hackathonguy on Thursday July 12, 2018 @05:37AM (#17513224)
This can easily be remedied by having the verifier ensure the prover is in an empty room, equipped with only cardboard and scissors.