Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

Proceedings - 2016 IEEE Symposium on Security and Privacy, SP 2016

Volumn , Issue , 2016, Pages 839-858

  Kosba, Ahmed ^a   Miller, Andrew ^a   Shi, Elaine ^b   Wen, Zikai ^b   Papamanthou, Charalampos ^a  

^a UNIVERSITY OF MARYLAND   (United States)

^b Department of Molecular Biology and Genetics   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PRIVACY; PROGRAM COMPILERS;

CONTRACTUAL PARTIES; CRYPTOGRAPHIC PRIMITIVES; CRYPTOGRAPHIC PROTOCOLS; EXISTING SYSTEMS; FINANCIAL TRANSACTIONS; PRIVACY PRESERVING; TRUSTED THIRD PARTIES; ZERO KNOWLEDGE PROOF;

CRYPTOGRAPHY;

EID: 84987677692     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SP.2016.55     Document Type: Conference Paper

References (59)

1. http://koinify.com
2. Amazon ec2 pricing. http://aws.amazon.com/ec2/pricing
3. Augur. http://www.augur.net
4. bitoinj. https://bitcoinj.github.io
5. The rise and rise of bitcoin. Documentary
6. Skuchain. http://www.skuchain.com
7. M. Andrychowicz, S. Dziembowski, D. Malinowski, and L. Mazurek. Secure Multiparty Computations on Bitcoin. In S and P, 2013
8. G. Asharov, A. Beimel, N. Makriyannis, and E. Omri. Complete characterization of fairness in secure two-party computation of boolean functions. In TCC, 2015
9. M. Bagnoli and B. L. Lipman. Provision of public goods: Fully implementing the core through private contributions. The Review of Economic Studies, 1989
10. R. Beaulieu, D. Shors, J. Smith, S. Treatman-Clark, B. Weeks, and L. Wingers. The simon and speck families of lightweight block ciphers. http://ia.cr/2013/404
11. E. Ben-Sasson, A. Chiesa, C. Garman, M. Green, I. Miers, E. Tromer, and M. Virza. Zerocash: Decentralized anonymous payments from Bitcoin. In S and P, 2014
12. 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, 2013
13. E. Ben-Sasson, A. Chiesa, M. Green, E. Tromer, and M. Virza. Secure sampling of public parameters for succinct zero knowledge proofs. In S and P, 2015
14. E. Ben-Sasson, A. Chiesa, E. Tromer, and M. Virza. Scalable zero knowledge via cycles of elliptic curves. In CRYPTO, 2014
15. E. Ben-Sasson, A. Chiesa, E. Tromer, and M. Virza. Succinct noninteractive zero knowledge for a von neumann architecture. In Security, 2014
16. E. Ben-Sasson and M. Sudan. Short pcps with polylog query complexity. SIAM J. Comput., 2008
17. I. Bentov and R. Kumaresan. How to Use Bitcoin to Design Fair Protocols. In CRYPTO, 2014
18. N. Bitansky, R. Canetti, A. Chiesa, and E. Tromer. Recursive composition and bootstrapping for snarks and proof-carrying data. In STOC, 2013
19. D. Bogdanov, S. Laur, and J. Willemson. Sharemind: A Framework for Fast Privacy-Preserving Computations. In ESORICS. 2008
20. J. Bonneau, A. Miller, J. Clark, A. Narayanan, J. A. Kroll, and E. W. Felten. Research Perspectives and Challenges for Bitcoin and Cryptocurrencies. In S and P, 2015
21. R. Canetti. Universally composable security: A new paradigm for cryptographic protocols. In FOCS, 2001
22. R. Canetti. Universally composable signature, certification, and authentication. In CSF, 2004
23. R. Canetti, Y. Dodis, R. Pass, and S. Walfish. Universally composable security with global setup. In TCC. 2007
24. R. Cleve. Limits on the security of coin flips when half the processors are faulty. In STOC, 1986
25. C. Costello, C. Fournet, J. Howell, M. Kohlweiss, B. Kreuter, M. Naehrig, B. Parno, and S. Zahur. Geppetto: Versatile verifiable computation. In S &P, 2015
26. G. Danezis, C. Fournet, M. Kohlweiss, and B. Parno. Pinocchio Coin: building Zerocoin from a succinct pairing-based proof system. In PETShop, 2013
27. C. Decker and R. Wattenhofer. Bitcoin transaction malleability and mtgox. In ESORICS. Springer, 2014
28. A. K. R. Dermody and O. Slama. Counterparty announcement. https: //bitcointalk.org/index.php?topic=395761.0
29. I. Eyal and E. G. Sirer. Majority is not enough: Bitcoin mining is vulnerable. In FC, 2014
30. C. Fournet, M. Kohlweiss, G. Danezis, and Z. Luo. Zql: A compiler for privacy-preserving data processing. In USENIX Security, 2013
31. M. Fredrikson and B. Livshits. Zø: An optimizing distributing zeroknowledge compiler. In USENIX Security, 2014
32. J. A. Garay, A. Kiayias, and N. Leonardos. The bitcoin backbone protocol: Analysis and applications. In Eurocrypt, 2015
33. R. Gennaro, C. Gentry, B. Parno, and M. Raykova. Quadratic span programs and succinct NIZKs without PCPs. In Eurocrypt, 2013
34. E. Heilman, A. Kendler, A. Zohar, and S. Goldberg. Eclipse attacks on bitcoin's peer-to-peer network. In USENIX Security, 2015
35. A. Juels, A. Kosba, and E. Shi. The ring of gyges: Using smart contracts for crime. Manuscript, 2015
36. A. Kiayias, H.-S. Zhou, and V. Zikas. Fair and robust multi-party computation using a global transaction ledger. http://ia.cr/2015/574
37. A. Kosba, A. Miller, E. Shi, Z. Wen, and C. Papamanthou. Hawk: The blockchain model of cryptography and privacy-preserving smart contracts. http://ia.cr/2015/675
38. A. Kosba, Z. Zhao, A. Miller, H. Chan, C. Papamanthou, R. Pass, abhi shelat, and E. Shi. How to use snarks in universally composable protocols. https://eprint.iacr.org/2015/1093, 2015
39. B. Kreuter, B. Mood, A. Shelat, and K. Butler. PCF: A portable circuit format for scalable two-party secure computation. In Security, 2013
40. R. Kumaresan and I. Bentov. How to Use Bitcoin to Incentivize Correct Computations. In CCS, 2014
41. C. Liu, X. S. Wang, K. Nayak, Y. Huang, and E. Shi. ObliVM: A programming framework for secure computation. In S and P, 2015
42. S. Meiklejohn, M. Pomarole, G. Jordan, K. Levchenko, D. McCoy, G. M. Voelker, and S. Savage. A fistful of bitcoins: characterizing payments among men with no names. In IMC, 2013
43. I. Miers, C. Garman, M. Green, and A. D. Rubin. Zerocoin: Anonymous Distributed E-Cash from Bitcoin. In S and P, 2013
44. A. Miller, M. Hicks, J. Katz, and E. Shi. Authenticated data structures, generically. In POPL, 2014
45. A. Miller and J. J. LaViola Jr. Anonymous Byzantine Consensus from Moderately-Hard Puzzles: A Model for Bitcoin, 2014
46. M. S. Miller, C. Morningstar, and B. Frantz. Capability-based financial instruments. In FC, 2001
47. N. Mouha, B. Mennink, A. Van Herrewege, D. Watanabe, B. Preneel, and I. Verbauwhede. Chaskey: An efficient mac algorithm for 32-bit microcontrollers. In Selected Areas in Cryptography-SAC 2014, pages 306-323. Springer, 2014
48. S. Nakamoto. Bitcoin: A Peer-to-Peer Electronic Cash System. http: //bitcoin.org/bitcoin.pdf, 2009
49. B. Parno, C. Gentry, J. Howell, and M. Raykova. Pinocchio: Nearly practical verifiable computation. In S and P, 2013
50. R. Pass and abhi shelat. Micropayments for peer-to-peer currencies. In CCS, 2015
51. A. Rastogi, M. A. Hammer, and M. Hicks. Wysteria: A programming language for generic, mixed-mode multiparty computations. In S and P, 2014
52. D. Ron and A. Shamir. Quantitative Analysis of the Full Bitcoin Transaction Graph. In FC, 2013
53. N. Szabo. Formalizing and securing relationships on public networks. First Monday, 1997
54. N. Saberhagen. Cryptonote v 2.0. https:// goo.gl/kfojVZ, 2013
55. W. Vickrey. Counterspeculation, auctions, and competitive sealed tenders. Journal of finance, 1961
56. R. S. Wahby, S. T. V. Setty, Z. Ren, A. J. Blumberg, and M. Walfish. Efficient RAM and control flow in verifiable outsourced computation. In NDSS, 2015
57. G. Wood. Ethereum: A secure decentralized transaction ledger. http: //gavwood.com/paper.pdf
58. L. Zheng, S. Chong, A. C. Myers, and S. Zdancewic. Using replication and partitioning to build secure distributed systems. In S and P, 2003
59. G. Zyskind, O. Nathan, and A. Pentland. Enigma: Decentralized computation platform with guaranteed privacy