{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:13:58Z","timestamp":1755839638919,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T00:00:00Z","timestamp":1700524800000},"content-version":"vor","delay-in-days":6,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-2106845, CCF-2131476, CCF-1763399, CNS-2016240, CCF-2019285, CNS-2236819, CCF-2219995, CCF-2318974, CCF-2318975"],"award-info":[{"award-number":["CCF-2106845, CCF-2131476, CCF-1763399, CNS-2016240, CCF-2019285, CNS-2236819, CCF-2219995, CCF-2318974, CCF-2318975"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR001120C0087, N6600121C4018"],"award-info":[{"award-number":["HR001120C0087, N6600121C4018"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["NDSEG FY2020 #00000107"],"award-info":[{"award-number":["NDSEG FY2020 #00000107"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,15]]},"DOI":"10.1145\/3576915.3616621","type":"proceedings-article","created":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T12:35:13Z","timestamp":1700570113000},"page":"534-548","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Ou: Automating the Parallelization of Zero-Knowledge Protocols"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-5927-1847","authenticated-orcid":false,"given":"Yuyang","family":"Sang","sequence":"first","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0638-037X","authenticated-orcid":false,"given":"Ning","family":"Luo","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1270-6601","authenticated-orcid":false,"given":"Samuel","family":"Judson","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0806-934X","authenticated-orcid":false,"given":"Ben","family":"Chaimberg","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9654-4090","authenticated-orcid":false,"given":"Timos","family":"Antonopoulos","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5991-7417","authenticated-orcid":false,"given":"Xiao","family":"Wang","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3267-0776","authenticated-orcid":false,"given":"Ruzica","family":"Piskac","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8184-7649","authenticated-orcid":false,"given":"Zhong","family":"Shao","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,11,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. ZKProof Community Reference. https:\/\/docs.zkproof.org\/reference.pdf."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96878-0_22"},{"key":"e_1_3_2_1_3_1","volume-title":"Reputation Systems for Anonymous Networks. In PETS 2008 (LNCS","volume":"218","author":"Androulaki Elli","year":"2008","unstructured":"Elli Androulaki, Seung Geol Choi, Steven M. Bellovin, and Tal Malkin. 2008. Reputation Systems for Anonymous Networks. In PETS 2008 (LNCS, Vol. 5134). Springer, Heidelberg, 202--218."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-84259-8_4"},{"volume-title":"ACM CCS 93","author":"Bellare Mihir","key":"e_1_3_2_1_5_1","unstructured":"Mihir Bellare and Phillip Rogaway. 1993. Random Oracles are Practical: A Paradigm for Designing Efficient Protocols. In ACM CCS 93. ACM Press, 62--73."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.36"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40084-1_6"},{"key":"e_1_3_2_1_8_1","volume-title":"USENIX Security","author":"Ben-Sasson Eli","year":"2014","unstructured":"Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, and Madars Virza. 2014b. Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture. In USENIX Security 2014. USENIX Association, 781--796."},{"key":"e_1_3_2_1_9_1","unstructured":"Dan Bogdanov Joosep J\u00e4\u00e4ger Peeter Laud H\u00e4rmel Nestra Martin Pettai Jaak Randmets Ville Sokk Kert Tali and Sandhra-Mirella Valdma. 2022. ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs. arxiv: 2203.15448 [cs.PL]"},{"key":"e_1_3_2_1_10_1","volume-title":"Coda: Decentralized Cryptocurrency at Scale. Cryptology ePrint Archive, Report 2020\/352. https:\/\/eprint.iacr.org\/2020\/352.","author":"Bonneau Joseph","year":"2020","unstructured":"Joseph Bonneau, Izaak Meckler, Vanishree Rao, and Evan Shapiro. 2020. Coda: Decentralized Cryptocurrency at Scale. Cryptology ePrint Archive, Report 2020\/352. https:\/\/eprint.iacr.org\/2020\/352."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_12"},{"key":"e_1_3_2_1_12_1","volume-title":"ZEXE: Enabling Decentralized Private Computation. In 2020 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 947--964","author":"Bowe Sean","year":"2020","unstructured":"Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, and Howard Wu. 2020. ZEXE: Enabling Decentralized Private Computation. In 2020 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 947--964."},{"key":"e_1_3_2_1_13_1","volume-title":"Recent Advances in Graph Partitioning. Algorithm Engineering","author":"Bulucc Aydin","year":"2016","unstructured":"Aydin Bulucc, Henning Meyerhenke, Ilya Safro, Peter Sanders, and Christian Schulz. 2016. Recent Advances in Graph Partitioning. Algorithm Engineering (2016), 117--158."},{"key":"e_1_3_2_1_14_1","volume-title":"Bulletproofs: Short Proofs for Confidential Transactions and More. In 2018 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 315--334","author":"B\u00fcnz Benedikt","year":"2018","unstructured":"Benedikt B\u00fcnz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, and Greg Maxwell. 2018. Bulletproofs: Short Proofs for Confidential Transactions and More. In 2018 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 315--334."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-92078-4_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3339820"},{"key":"e_1_3_2_1_17_1","volume-title":"The partition problem. Mathematical programming","author":"Chopra Sunil","year":"1993","unstructured":"Sunil Chopra and Mendu R Rao. 1993. The partition problem. Mathematical programming, Vol. 59, 1 (1993), 87--115."},{"key":"e_1_3_2_1_18_1","volume-title":"Profiles of the Future. Hachette UK. Originally","author":"Clarke Arthur C.","year":"1962","unstructured":"Arthur C. Clarke. 2013. Profiles of the Future. Hachette UK. Originally 1962."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Samuel Dittmer Yuval Ishai Steve Lu and Rafail Ostrovsky. 2022. Improving Line-Point Zero Knowledge: Two Multiplications for the Price of One. Cryptology ePrint Archive Report 2022\/552. https:\/\/eprint.iacr.org\/2022\/552.","DOI":"10.1145\/3548606.3559385"},{"key":"e_1_3_2_1_20_1","unstructured":"Samuel Dittmer Yuval Ishai and Rafail Ostrovsky. 2020. Line-Point Zero Knowledge and Its Applications. Cryptology ePrint Archive Report 2020\/1446. https:\/\/eprint.iacr.org\/2020\/1446."},{"key":"e_1_3_2_1_21_1","volume-title":"Weitzner","author":"Frankle Jonathan","year":"2018","unstructured":"Jonathan Frankle, Sunoo Park, Daniel Shaar, Shafi Goldwasser, and Daniel J. Weitzner. 2018. Practical Accountability of Secret Processes. In USENIX Security 2019. USENIX Association, 657--674."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"volume-title":"Foundations of cryptography","author":"Goldreich Oded","key":"e_1_3_2_1_23_1","unstructured":"Oded Goldreich. 2009. Foundations of cryptography: volume 2, basic applications. Cambridge university press."},{"volume-title":"27th","author":"Goldreich Oded","key":"e_1_3_2_1_24_1","unstructured":"Oded Goldreich, Silvio Micali, and Avi Wigderson. 1986. Proofs that Yield Nothing But their Validity and a Methodology of Cryptographic Protocol Design (Extended Abstract). In 27th FOCS. IEEE Computer Society Press, 174--187."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/233551.233553"},{"key":"e_1_3_2_1_26_1","volume-title":"Short Pairing-Based Non-interactive Zero-Knowledge Arguments. In ASIACRYPT 2010 (LNCS","volume":"340","author":"Groth Jens","year":"2010","unstructured":"Jens Groth. 2010. Short Pairing-Based Non-interactive Zero-Knowledge Arguments. In ASIACRYPT 2010 (LNCS, Vol. 6477). Springer, Heidelberg, 321--340."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"e_1_3_2_1_28_1","volume-title":"Gurobi Optimizer Reference Manual","author":"Optimization L Gurobi","year":"2020","unstructured":"L Gurobi Optimization. 2020. Gurobi Optimizer Reference Manual (2020). https:\/\/www.gurobi.com\/"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45727-3_19"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516662"},{"key":"e_1_3_2_1_31_1","volume-title":"CRYPTO (Lecture Notes in Computer Science","volume":"378","author":"Merkle Ralph C.","year":"1987","unstructured":"Ralph C. Merkle. 1987. A Digital Signature Based on a Conventional Encryption Function. In CRYPTO (Lecture Notes in Computer Science, Vol. 293). Springer, 369--378."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/322123.322138"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_34_1","volume-title":"Ou: Automating the Parallelization of Zero-Knowledge Protocols. Cryptology ePrint Archive, Paper 2023\/657. https:\/\/eprint.iacr.org\/2023\/657 https:\/\/eprint.iacr.org\/2023\/657.","author":"Sang Yuyang","year":"2023","unstructured":"Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, and Zhong Shao. 2023. Ou: Automating the Parallelization of Zero-Knowledge Protocols. Cryptology ePrint Archive, Paper 2023\/657. https:\/\/eprint.iacr.org\/2023\/657 https:\/\/eprint.iacr.org\/2023\/657."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-56877-1_25"},{"key":"e_1_3_2_1_36_1","unstructured":"the DARPA SIEVE Program. 2022. SIEVE Intermediate Representation. https:\/\/github.com\/sieve-zk\/ir"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133984"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00060"},{"key":"e_1_3_2_1_39_1","unstructured":"Xiao Wang Alex J. Malozemoff and Jonathan Katz. 2016. EMP-toolkit: Efficient MultiParty Computation Toolkit. https:\/\/github.com\/emp-toolkit."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00056"},{"key":"e_1_3_2_1_41_1","volume-title":"Raluca Ada Popa, and Ion Stoica","author":"Wu Howard","year":"2018","unstructured":"Howard Wu, Wenting Zheng, Alessandro Chiesa, Raluca Ada Popa, and Ion Stoica. 2018. DIZK: A Distributed Zero Knowledge Proof System. In USENIX Security 2019. USENIX Association, 675--692."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560652"},{"key":"e_1_3_2_1_43_1","volume-title":"EZEE: Epoch Parallel Zero Knowledge for ANSI C. Cryptology ePrint Archive, Report 2022\/811. https:\/\/eprint.iacr.org\/2022\/811.","author":"Yang Yibin","year":"2022","unstructured":"Yibin Yang, David Heath, Vladimir Kolesnikov, and David Devecsery. 2022. EZEE: Epoch Parallel Zero Knowledge for ANSI C. Cryptology ePrint Archive, Report 2022\/811. https:\/\/eprint.iacr.org\/2022\/811."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00052"}],"event":{"name":"CCS '23: ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Copenhagen Denmark","acronym":"CCS '23"},"container-title":["Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576915.3616621","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576915.3616621","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576915.3616621","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T01:44:56Z","timestamp":1755740696000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576915.3616621"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,15]]},"references-count":44,"alternative-id":["10.1145\/3576915.3616621","10.1145\/3576915"],"URL":"https:\/\/doi.org\/10.1145\/3576915.3616621","relation":{},"subject":[],"published":{"date-parts":[[2023,11,15]]},"assertion":[{"value":"2023-11-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}