3 ms·
Ok yes, in a single transaction you can prove to everyone else that the net exchange is zero, but how do you prove that you have enough money to send to them? T
by infogulch 8y ago
Ok yes, in a single transaction you can prove to everyone else that the net exchange is zero, but how do you prove that you have enough money to send to them? That's global state that depends on all past transactions, even if they're hidden. Include more ZKPs for every transaction ever associated with that address? You have to prove that 1. you received enough to cover it and 2. you haven't spent it already.
Just slapping some ZKP on top of bitcoin is not enough to make it magically private. It needs deeper integration to the model than that.
- jlrubin 8y agoYou take the commitments from the outputs and use them in the next proof. It is possible to soft fork confidentiality into Bitcoin, see https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2016-January/012194.html https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2016... for example