Zerocash: Decentralized anonymous payments from bitcoin

Proceedings - IEEE Symposium on Security and Privacy

Volumn , Issue , 2014, Pages 459-474

  Ben Sasson, Eli ^a   Chiesa, Alessandro ^b   Garman, Christina ^c   Green, Matthew ^c   Miers, Ian ^c   Tromer, Eran ^d   Virza, Madars ^b  

^a Faculty of Electrical and Computer Engineering   (Israel)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c JOHNS HOPKINS UNIVERSITY   (United States)

^d TEL AVIV UNIVERSITY   (Israel)

Author keywords

Bitcoin; decentralized electronic cash; zero knowledge

Indexed keywords

KNOWLEDGE MANAGEMENT;

ANONYMOUS PAYMENT; FORMAL DEFINITION; ORDERS OF MAGNITUDE; PAYMENT TRANSACTIONS; PRIVACY ISSUE; ZERO KNOWLEDGE;

BITCOIN;

EID: 84910677439     PISSN: 10816011     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SP.2014.36     Document Type: Conference Paper

References (34)

1. D. Chaum, "Blind signatures for untraceable payments," in CRYPTO '82.
2. J. Camenisch, S. Hohenberger, and A. Lysyanskaya, "Compact e-cash," in EUROCRYPT '05.
3. T. Sander and A. Ta-Shma, "Auditable, anonymous electronic cash," in CRYPTO '99.
4. F. Reid and H. Martin, "An analysis of anonymity in the Bitcoin system," in SocialCom/PASSAT '11.
5. S. Barber, X. Boyen, E. Shi, and E. Uzun, "Bitter to better - how to make Bitcoin a better currency," in FC '12.
6. D. Ron and A. Shamir, "Quantitative analysis of the full Bitcoin transaction graph," ePrint 2012/584, 2012.
7. G. Maxwell, "Coin Join: Bitcoin privacy for the real world," August 2013, bitcoin Forum. [Online]. Available: https://bitcointalk.org/index. php?topic=279249.0
8. I. Miers, C. Garman, M. Green, and A. D. Rubin, "Zerocoin: Anonymous distributed e-cash from bitcoin," in SP '13.
9. J. Groth, "Short pairing-based non-interactive zero-knowledge arguments," in ASIACRYPT '10.
10. H. Lipmaa, "Progression-free sets and sublinear pairing-based noninteractive zero-knowledge arguments," in TCC '12.
11. N. Bitansky, A. Chiesa, Y. Ishai, R. Ostrovsky, and O. Paneth, "Succinct non-interactive arguments via linear interactive proofs," in TCC '13.
12. R. Gennaro, C. Gentry, B. Parno, and M. Raykova, "Quadratic span programs and succinct NIZKs without PCPs," in EUROCRYPT '13.
13. B. Parno, C. Gentry, J. Howell, and M. Raykova, "Pinocchio: nearly practical verifiable computation," in Oakland '13.
14. E. Ben-Sasson, A. Chiesa, D. Genkin, E. Tromer, and M. Virza, "SNARKs for C: verifying program executions succinctly and in zero knowledge," in CRYPTO '13.
15. H. Lipmaa, "Succinct non-interactive zero knowledge arguments from span programs and linear error-correcting codes," in ASIACRYPT '13.
16. E. Ben-Sasson, A. Chiesa, E. Tromer, and M. Virza, "Succinct noninteractive arguments for a von Neumann architecture," ePrint 2013/879.
17. C. Decker and R. Wattenhofer, "Information propagation in the Bitcoin network," in P2P '13.
18. E. Ben-Sasson, "Universal and affordable computational integrity," May 2013, bitcoin 2013: The Future of Payments. [Online]. Available: http://www.youtube.com/watch?v=YRcPReUpkcU
19. G. Danezis, C. Fournet, M. Kohlweiss, and B. Parno, "Pinocchio Coin: building Zerocoin from a succinct pairing-based proof system," in PETShop '13. [Online]. Available: http://www0.cs.ucl.ac.uk/staff/G. Danezis/papers/DanezisFournetKohlweissParno13.pdf
20. S. Nakamoto, "Bitcoin: a peer-to-peer electronic cash system," 2009. [Online]. Available: http://www.bitcoin.org/bitcoin.pdf
21. M. Bellare, A. Boldyreva, A. Desai, and D. Pointcheval, "Key-privacy in public-key encryption," in ASIACRYPT '01.
22. D. Boneh and X. Boyen, "Secure identity based encryption without random oracles," in CRYPTO '04.
23. R. Gennaro, "Multi-trapdoor commitments and their applications to proofs of knowledge secure under concurrent man-in-the-middle attacks," in CRYPTO '04.
24. C. Gentry and D. Wichs, "Separating succinct non-interactive arguments from all falsifiable assumptions," in STOC '11.
25. N. Bitansky, R. Canetti, A. Chiesa, and E. Tromer, "From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again," in ITCS '12.
26. E. Ben-Sasson, A. Chiesa, C. Garman, M. Green, I. Miers, E. Tromer, and M. Virza, "Zerocash: Decentralized anonymous payments from Bitcoin (extended version)," Cryptology ePrint Archive, 2014.
27. J. Katz and Y. Lindell, Introduction to Modern Cryptography. Chapman & Hall/CRC, 2007.
28. M. Bellare, "New proofs for NMAC and HMAC: security without collision-resistance," in CRYPTO '06.
29. P. Wuille, "Proposed BIP for dealing with malleability," Available at https://gist.github.com/sipa/8907691, 2014.
30. V. Shoup, "A proposal for an ISO standard for public key encryption (version 2.1)," IACR E-Print Archive, 2001.
31. Certicom Research, "SEC 1: Elliptic curve cryptography," 2000. [Online]. Available: http://www.secg.org/collateral/sec1 final.pdf
32. R. Dingledine, N. Mathewson, and P. Syverson, "Tor: the secondgeneration onion router," in Security '04.
33. G. Danezis, R. Dingledine, and N. Mathewson, "Mixminion: design of a type III anonymous remailer protocol," in SP '03.
34. T. B. Lee, "Bitcoin needs to scale by a factor of 1000 to compete with Visa. here's how to do it." The Washington Post (http://www.washingtonpost.com), November 2013.