Bulletproofs – Short zero-knowledge arguments of knowledge
1–10 of 63 posts
Re: Bulletproofs – Short zero-knowledge arguments of knowledge
#2See also original Blockstream paper (pdf): https://eprint.iacr.org/2017/1066.pdf
Re: Bulletproofs – Short zero-knowledge arguments of knowledge
#3Tangent: I like that the logo for the organization 'adjoint' resembles the notation for adjoint functors.
Re: Bulletproofs – Short zero-knowledge arguments of knowledge
#4Bulletproofs are significant because they allows you to check that the amount being input and output in a Bitcoin transaction is correct without revealing the amounts to non-parties to the transaction. The size of a bulletproof is small enough (and they grow with O(c + log n)) that for transactions with a couple inputs and outputs, there is minimal overhead compared to a unblinded transaction.
The link provided is to a relatively new library for doing bullet proofs written in Haskell -- the README might benefit from more disclaimer about the verification steps taken and analysis of side channels for the library (probably not ready for production)
Re: Bulletproofs – Short zero-knowledge arguments of knowledge
#5Tangent: I like that the logo for the organization 'adjoint' resembles the notation for adjoint functors.
Likewise! Looks like it was intentional:
> Our name comes from advanced mathematics and represents the numerous ways in which we simplify financial processes and products using blockchain technology.
Re: Bulletproofs – Short zero-knowledge arguments of knowledge
#6Zero knowledge proofs are fascinating - as a non-mathematician, I particularly enjoy real-world examples.
Two famous examples ("The Ali Baba Cave" and the "Two Balls and the Color Blind Friend") appear in the Wikipedia article on zero knowledge proofs [1].
My favorite, however, is this paper [2] on convincing another person you've found Waldo, without revealing his location and therefore ruining the game. It's extraordinarily simple: take a piece of cardboard larger than the Where's Waldo book, make a small, Waldo-sized cutout, and position the cardboard in a way that only Waldo himself is visible. As long as you don't give away the position of the book underneath the cardboard, you can prove you've found Waldo without providing _any_ information as to where he is! It's pretty great.
Would love to know of other real world examples. :-)
[1] https://en.wikipedia.org/wiki/Zero-knowledge_proof#The_Ali_B... [2] http://www.wisdom.weizmann.ac.il/%7Enaor/PAPERS/waldo.pdf
Re: Bulletproofs – Short zero-knowledge arguments of knowledge
#7Zero knowledge proofs are fascinating - as a non-mathematician, I particularly enjoy real-world examples. Two famous examples ("The Ali Baba Cave" and the "Two Balls and the Color Blind Friend") appear in the Wikipedia article on zero knowledge proofs [1]. My favorite, however, is this paper [2] on convincing another person you've found Waldo, without revealing his location and therefore ruining the game. It's extrao…
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
#8Zero knowledge proofs are fascinating - as a non-mathematician, I particularly enjoy real-world examples. Two famous examples ("The Ali Baba Cave" and the "Two Balls and the Color Blind Friend") appear in the Wikipedia article on zero knowledge proofs [1]. My favorite, however, is this paper [2] on convincing another person you've found Waldo, without revealing his location and therefore ruining the game. It's extrao…
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.
Maybe you can show only Waldo's face?
Re: Bulletproofs – Short zero-knowledge arguments of knowledge
#9Zero knowledge proofs are fascinating - as a non-mathematician, I particularly enjoy real-world examples. Two famous examples ("The Ali Baba Cave" and the "Two Balls and the Color Blind Friend") appear in the Wikipedia article on zero knowledge proofs [1]. My favorite, however, is this paper [2] on convincing another person you've found Waldo, without revealing his location and therefore ruining the game. It's extrao…
What am I missing about the Ali Baba cave proof? Why does Victor ever need to hide which entrance she takes at first? (In fact this is brought up in the last paragraph with no reason as to why it's not the entire proof).
Does Victor knowing the initial path make it non-zero-knowledge? Because if so, the example feels super contrived. I agree your Waldo example is much better.
Re: Bulletproofs – Short zero-knowledge arguments of knowledge
#10Zero knowledge proofs are fascinating - as a non-mathematician, I particularly enjoy real-world examples. Two famous examples ("The Ali Baba Cave" and the "Two Balls and the Color Blind Friend") appear in the Wikipedia article on zero knowledge proofs [1]. My favorite, however, is this paper [2] on convincing another person you've found Waldo, without revealing his location and therefore ruining the game. It's extrao…
Hey! I independently came up with the Where’s Waldo protocol right here on Hacker News!