Zerocoin is a new cryptographic extension to Bitcoin that (if adopted) would bring true cryptographic anonymity to Bitcoin.
Has anyone seriously analyzed the protocol and verified it works as advertised?
Bitcoin Stack Exchange is a question and answer site for Bitcoin users, developers, and enthusiasts. It only takes a minute to sign up.Sign up to join this community
I hope so. I'm going to look pretty stupid if it isn't actually anonymous. The paper contains a sketch of a proof that the system is in fact anonymous. That is verifiable. Indeed to get published, other academics had to look at it. Now that the paper is public, even more will. If there is a problem with the proof, someone will point it out.
As others have said, the main question is efficiency and that is probably fixable with further research and engineering.
This is the zerocoin paper, but as far as I can tell, they haven't released source code yet, so all we can really do is speculate.
The single largest problem it has is that a zerocoin spend requires about 100x more disk space/bandwidth/cpu than a normal bitcoin transaction. However, the intended use case is that you use normal bitcoin transactions most of the time, then run through zerocoin when you want more anonymity.
Second, because all zerocoins are indistinguishable, they must either
As far as security/anonymity goes, I believe that they have a workable system unless there's some problem with their zero-knowledge proof, which I've repeated below.