{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T13:27:14Z","timestamp":1778160434264,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,30]],"date-time":"2017-10-30T00:00:00Z","timestamp":1509321600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["DGE 1148900"],"award-info":[{"award-number":["DGE 1148900"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1565403"],"award-info":[{"award-number":["1565403"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1545759"],"award-info":[{"award-number":["1545759"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1651938"],"award-info":[{"award-number":["CNS-1651938"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,30]]},"DOI":"10.1145\/3133956.3134060","type":"proceedings-article","created":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T12:48:18Z","timestamp":1509108498000},"page":"229-243","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":112,"title":["Zero-Knowledge Contingent Payments Revisited"],"prefix":"10.1145","author":[{"given":"Matteo","family":"Campanelli","sequence":"first","affiliation":[{"name":"City University of New York Graduate Center, New York, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Gennaro","sequence":"additional","affiliation":[{"name":"The City College of New York, New York, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Goldfeder","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Nizzardo","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute & Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,30]]},"reference":[{"key":"e_1_3_2_2_2_1","volume-title":"Github: Proposal: open up IsStandard for P2SH transactions. https:\/\/gist.github.com\/gavinandresen\/88be40c141bc67acb247","author":"Andresen G.","year":"2017","unstructured":"G. Andresen. Github: Proposal: open up IsStandard for P2SH transactions. https:\/\/gist.github.com\/gavinandresen\/88be40c141bc67acb247, 2017."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","unstructured":"M. Andrychowicz S. Dziembowski D. Malinowski and L. Mazurek. Fair two-party computations via bitcoin deposits. In R. B\u00f6hme M. Brenner T. Moore and M. Smith editors FC 2014 Workshops volume 8438 of LNCS pages 105--121. Springer Mar. 2014. 10.1007\/978-3-662-44774-1_8","DOI":"10.1007\/978-3-662-44774-1_8"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48051-9_1"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"N. Asokan V. Shoup and M. Waidner. Optimistic fair exchange of digital signatures (extended abstract). In K. Nyberg editor EUROCRYPT'98 volume 1403 of LNCS pages 591--606. Springer May \/ June 1998.","DOI":"10.1007\/BFb0054156"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45741-3_14"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53890-6_26"},{"key":"e_1_3_2_2_8_1","volume-title":"Libsnark","author":"Ben-Sasson E.","year":"2017","unstructured":"E. Ben-Sasson, A. Chiesa, D. Genkin, S. Kfir, E. Tromer, M. S. L. Virza, and others external contributors. Libsnark, 2017. https:\/\/github.com\/scipr-lab\/libsnark."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.25"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","unstructured":"E. Ben-Sasson A. Chiesa E. Tromer and M. Virza. Scalable zero knowledge via cycles of elliptic curves. In J. A. Garay and R. Gennaro editors CRYPTO 2014 Part II volume 8617 of LNCS pages 276--294. Springer Aug. 2014. 10.1007\/978-3-662-44381-1_16","DOI":"10.1007\/978-3-662-44381-1_16"},{"key":"e_1_3_2_2_11_1","first-page":"781","volume-title":"Proceedings of the 23rd USENIX Conference on Security Symposium, SEC'14","author":"Ben-Sasson E.","year":"2014","unstructured":"E. Ben-Sasson, A. Chiesa, E. Tromer, and M. Virza. Succinct non-interactive zero knowledge for a von neumann architecture. In Proceedings of the 23rd USENIX Conference on Security Symposium, SEC'14, pages 781--796, Berkeley, CA, USA, 2014. USENIX Association."},{"key":"e_1_3_2_2_12_1","volume-title":"Bitcoin transaction","year":"2016","unstructured":"BitcoinWiki. Bitcoin transaction, 2016. https:\/\/en.bitcoin.it\/wiki\/Transaction."},{"key":"e_1_3_2_2_13_1","volume-title":"Zero knowledge contingent payment","year":"2016","unstructured":"BitcoinWiki. Zero knowledge contingent payment, 2016. https:\/\/en.bitcoin.it\/wiki\/Zero_Knowledge_Contingent_Payment."},{"key":"e_1_3_2_2_14_1","unstructured":"BitcoinWiki. Scripts 2017. https:\/\/en.bitcoin.it\/wiki\/Script."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647097.717005"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45682-1_30"},{"key":"e_1_3_2_2_17_1","volume-title":"Sok: Research perspectives and challenges for bitcoin and cryptocurrencies","author":"Bonneau J.","year":"2015","unstructured":"J. Bonneau, A. Miller, J. Clark, A. Narayanan, J. A. Kroll, and E. W. Felten. Sok: Research perspectives and challenges for bitcoin and cryptocurrencies, 2015."},{"key":"e_1_3_2_2_18_1","unstructured":"S. Bowe. pay-to-sudoku 2016. https:\/\/github.com\/zcash\/pay-to-sudoku."},{"key":"e_1_3_2_2_19_1","volume-title":"A multi-party protocol for constructing the public parameters of the pinocchio zk-snark","author":"Bowe S.","year":"2016","unstructured":"S. Bowe, A. Gabizon, and M. Green. A multi-party protocol for constructing the public parameters of the pinocchio zk-snark. 2016. https:\/\/github.com\/zcash\/mpc\/blob\/master\/whitepaper.pdf."},{"key":"e_1_3_2_2_20_1","volume-title":"A next-generation smart contract and decentralized application platform","author":"Buterin V.","year":"2014","unstructured":"V. Buterin et al. A next-generation smart contract and decentralized application platform, 2014."},{"key":"e_1_3_2_2_21_1","volume-title":"An attack to pay-to-sudoku. https:\/\/github.com\/matteocam\/pay-to-sudoku-attack","author":"Campanelli M.","year":"2017","unstructured":"M. Campanelli, R. Gennaro, S. Goldfeder, and L. Nizzardo. An attack to pay-to-sudoku. https:\/\/github.com\/matteocam\/pay-to-sudoku-attack, 2017."},{"key":"e_1_3_2_2_22_1","volume-title":"Zkcsp over bitcoin. https:\/\/github.com\/matteocam\/zkcsp-over-bitcoin","author":"Campanelli M.","year":"2017","unstructured":"M. Campanelli, R. Gennaro, S. Goldfeder, and L. Nizzardo. Zkcsp over bitcoin. https:\/\/github.com\/matteocam\/zkcsp-over-bitcoin, 2017."},{"key":"e_1_3_2_2_23_1","volume-title":"Proceedings of the 18th Annual ACM Symposium on Theory of Computing, May 28--30, 1986","author":"Cleve R.","year":"1986","unstructured":"R. Cleve. Limits on the security of coin flips when half the processors are faulty (extended abstract). In J. Hartmanis, editor, Proceedings of the 18th Annual ACM Symposium on Theory of Computing, May 28--30, 1986, Berkeley, California, USA, pages 364--369. ACM, 1986."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813674"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","unstructured":"G. Danezis C. Fournet J. Groth and M. Kohlweiss. Square span programs with applications to succinct NIZK arguments. In P. Sarkar and T. Iwata editors ASIACRYPT 2014 Part I volume 8873 of LNCS pages 532--550. Springer Dec. 2014. 10.1007\/978-3-662-45611-8_28","DOI":"10.1007\/978-3-662-45611-8_28"},{"key":"e_1_3_2_2_26_1","volume-title":"IACR Cryptology EPrint Archive","author":"Ejgenberg Y.","year":"2012","unstructured":"Y. Ejgenberg, M. Farbstein, M. Levy, and Y. Lindell. Scapi: The secure computation application programming interface. IACR Cryptology EPrint Archive, 2012:629, 2012."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/100216.100272"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","unstructured":"R. Gennaro C. Gentry B. Parno and M. Raykova. Quadratic span programs and succinct NIZKs without PCPs. In T. Johansson and P. Q. Nguyen editors EUROCRYPT 2013 volume 7881 of LNCS pages 626--645. Springer May 2013. 10.1007\/978-3-642-38348-9_37","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539791220688"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00195207"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315317"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_40"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48658-5_15"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"crossref","unstructured":"A. K\u00fcpcc\u00fc and A. Lysyanskaya. Usable optimistic fair exchange. In J. Pieprzyk editor CT-RSA 2010 volume 5985 of LNCS pages 252--267. Springer Mar. 2010.","DOI":"10.1007\/978-3-642-11925-5_18"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72540-4_4"},{"key":"e_1_3_2_2_37_1","unstructured":"G. Maxwell. Zero knowledge contingent payment 2015. https:\/\/en.bitcoin.it\/wiki\/Zero_Knowledge_Contingent_Payment."},{"key":"e_1_3_2_2_38_1","volume-title":"A peer-to-peer electronic cash system","author":"Nakamoto S.","year":"2008","unstructured":"S. Nakamoto. Bitcoin: A peer-to-peer electronic cash system. 2008."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2994437"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1992.267809"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.36"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"crossref","unstructured":"H. Shacham and B. Waters. Compact proofs of retrievability. In J. Pieprzyk editor ASIACRYPT 2008 volume 5350 of LNCS pages 90--107. Springer Dec. 2008.","DOI":"10.1007\/978-3-540-89255-7_7"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89255-7_7"},{"key":"e_1_3_2_2_45_1","volume-title":"Circuits of basic functions suitable for mpc and fhe","author":"Tillich S.","year":"2016","unstructured":"S. Tillich and N. Smart. Circuits of basic functions suitable for mpc and fhe, 2016."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2017.28"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-00174-5"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-56617-7_14"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90033-7"},{"key":"e_1_3_2_2_50_1","volume-title":"A secure decentralised generalised transaction ledger","author":"Wood G.","year":"2014","unstructured":"G. Wood. Ethereum: A secure decentralised generalised transaction ledger, 2014."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1982.38"}],"event":{"name":"CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security","location":"Dallas Texas USA","acronym":"CCS '17","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133956.3134060","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133956.3134060","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133956.3134060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:03Z","timestamp":1750212663000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133956.3134060"}},"subtitle":["Attacks and Payments for Services"],"short-title":[],"issued":{"date-parts":[[2017,10,30]]},"references-count":49,"alternative-id":["10.1145\/3133956.3134060","10.1145\/3133956"],"URL":"https:\/\/doi.org\/10.1145\/3133956.3134060","relation":{},"subject":[],"published":{"date-parts":[[2017,10,30]]},"assertion":[{"value":"2017-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}