{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T15:43:28Z","timestamp":1783784608357,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T00:00:00Z","timestamp":1674777600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,1,27]]},"DOI":"10.1145\/3575693.3575711","type":"proceedings-article","created":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T22:56:55Z","timestamp":1675119415000},"page":"340-353","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["GZKP: A GPU Accelerated Zero-Knowledge Proof System"],"prefix":"10.1145","author":[{"given":"Weiliang","family":"Ma","sequence":"first","affiliation":[{"name":"Huazhong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qian","family":"Xiong","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xuanhua","family":"Shi","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaosong","family":"Ma","sequence":"additional","affiliation":[{"name":"Hamad Bin Khalifa University, Qatar"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hai","family":"Jin","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haozhao","family":"Kuang","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mingyu","family":"Gao","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ye","family":"Zhang","sequence":"additional","affiliation":[{"name":"Scroll Foundation, Seychelles"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haichen","family":"Shen","sequence":"additional","affiliation":[{"name":"Scroll Foundation, Seychelles"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Weifang","family":"Hu","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,1,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.2010.5541000"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-56617-7_19"},{"key":"e_1_3_2_1_3_1","unstructured":"Eli Ben-Sasson Alessandro Chiesa Eran Tromer and Madars Virza. 2014. Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture. 781\u2013796. isbn:9781931971157 https:\/\/dl.acm.org\/doi\/10.5555\/2671225.2671275 \t\t\t\t  Eli Ben-Sasson Alessandro Chiesa Eran Tromer and Madars Virza. 2014. Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture. 781\u2013796. isbn:9781931971157 https:\/\/dl.acm.org\/doi\/10.5555\/2671225.2671275"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34931-7_26"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090263"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62222"},{"key":"e_1_3_2_1_7_1","volume-title":"Coda: Decentralized cryptocurrency at scale. Cryptology ePrint Archive, 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, https:\/\/eprint.iacr.org\/2020\/352 Joseph Bonneau, Izaak Meckler, Vanishree Rao, and Evan Shapiro. 2020. Coda: Decentralized cryptocurrency at scale. Cryptology ePrint Archive, https:\/\/eprint.iacr.org\/2020\/352"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00050"},{"key":"e_1_3_2_1_9_1","unstructured":"Benedikt B\u00fcnz Alessandro Chiesa Pratyush Mishra and Nicholas Spooner. 2020. Proof-carrying data from accumulation schemes. Cryptology ePrint Archive https:\/\/eprint.iacr.org\/2020\/499 \t\t\t\t  Benedikt B\u00fcnz Alessandro Chiesa Pratyush Mishra and Nicholas Spooner. 2020. Proof-carrying data from accumulation schemes. Cryptology ePrint Archive https:\/\/eprint.iacr.org\/2020\/499"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087604.3087657"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45721-1_26"},{"key":"e_1_3_2_1_12_1","volume-title":"Inside the FFT black box: serial and parallel fast Fourier transform algorithms","author":"Chu Eleanor","unstructured":"Eleanor Chu and Alan George . 1999. Inside the FFT black box: serial and parallel fast Fourier transform algorithms . CRC press . Eleanor Chu and Alan George. 1999. Inside the FFT black box: serial and parallel fast Fourier transform algorithms. CRC press."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2010.5548560"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.2307\/2003354"},{"key":"e_1_3_2_1_15_1","unstructured":"Filecoin Corp. 2022.  https:\/\/filecoin.io\/ \t\t\t\t  Filecoin Corp. 2022.  https:\/\/filecoin.io\/"},{"key":"e_1_3_2_1_16_1","unstructured":"Filecoin Corp. 2022. bellperson: gpu parallel acceleration for zk-snark..  https:\/\/github.com\/filecoin-project\/bellperson \t\t\t\t  Filecoin Corp. 2022. bellperson: gpu parallel acceleration for zk-snark..  https:\/\/github.com\/filecoin-project\/bellperson"},{"key":"e_1_3_2_1_17_1","unstructured":"J.P. Morgan Quorum Corp. 2022.  https:\/\/www.goquorum.com\/ \t\t\t\t  J.P. Morgan Quorum Corp. 2022.  https:\/\/www.goquorum.com\/"},{"key":"e_1_3_2_1_18_1","unstructured":"MINA Corp. 2019. GPU Groth16 prover (3x faster than CPU).  https:\/\/github.com\/MinaProtocol\/gpu-groth16-prover-3x \t\t\t\t  MINA Corp. 2019. GPU Groth16 prover (3x faster than CPU).  https:\/\/github.com\/MinaProtocol\/gpu-groth16-prover-3x"},{"key":"e_1_3_2_1_19_1","unstructured":"Mina Corp. 2022.  https:\/\/minaprotocol.com\/ \t\t\t\t  Mina Corp. 2022.  https:\/\/minaprotocol.com\/"},{"key":"e_1_3_2_1_20_1","unstructured":"NVIDIA Corp. 2021. CUDA C++ Programming Guide.  https:\/\/docs.nvidia.com\/cuda\/pdf\/CUDA_C_Programming_Guide.pdf \t\t\t\t  NVIDIA Corp. 2021. CUDA C++ Programming Guide.  https:\/\/docs.nvidia.com\/cuda\/pdf\/CUDA_C_Programming_Guide.pdf"},{"key":"e_1_3_2_1_21_1","unstructured":"StarkWare Corp. 2022.  https:\/\/starkware.co\/ \t\t\t\t  StarkWare Corp. 2022.  https:\/\/starkware.co\/"},{"key":"e_1_3_2_1_22_1","unstructured":"Zcash Corp. 2022.  https:\/\/z.cash\/ \t\t\t\t  Zcash Corp. 2022.  https:\/\/z.cash\/"},{"key":"e_1_3_2_1_23_1","unstructured":"ZKCrypto Corp. 2022. bellman: a crate for building zk-SNARK circuits..  https:\/\/github.com\/zkcrypto\/bellman \t\t\t\t  ZKCrypto Corp. 2022. bellman: a crate for building zk-SNARK circuits..  https:\/\/github.com\/zkcrypto\/bellman"},{"key":"e_1_3_2_1_24_1","unstructured":"Zcash Corp. 2022. librustzcash: a (work-in-progress) set of Rust crates for working with Zcash.  https:\/\/github.com\/zcash\/librustzcash \t\t\t\t  Zcash Corp. 2022. librustzcash: a (work-in-progress) set of Rust crates for working with Zcash.  https:\/\/github.com\/zcash\/librustzcash"},{"key":"e_1_3_2_1_25_1","unstructured":"Zcash Corp. 2022. Zcash FPGA acceleration engine..  https:\/\/github.com\/ZcashFoundation\/zcash-fpga \t\t\t\t  Zcash Corp. 2022. Zcash FPGA acceleration engine..  https:\/\/github.com\/ZcashFoundation\/zcash-fpga"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29172-7_11"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397083"},{"key":"e_1_3_2_1_28_1","unstructured":"Benjamin Devlin. 2022. FPGA SNARK prover targeting the bn128 curve..  https:\/\/github.com\/bsdevlin\/fpga_snark_prover \t\t\t\t  Benjamin Devlin. 2022. FPGA SNARK prover targeting the bn128 curve..  https:\/\/github.com\/bsdevlin\/fpga_snark_prover"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2018.00069"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2018.8464792"},{"key":"e_1_3_2_1_31_1","volume-title":"Plonk: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge. Cryptology ePrint Archive, https:\/\/eprint.iacr.org\/2019\/953","author":"Gabizon Ariel","year":"2019","unstructured":"Ariel Gabizon , Zachary J Williamson , and Oana Ciobotaru . 2019 . Plonk: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge. Cryptology ePrint Archive, https:\/\/eprint.iacr.org\/2019\/953 Ariel Gabizon, Zachary J Williamson, and Oana Ciobotaru. 2019. Plonk: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge. Cryptology ePrint Archive, https:\/\/eprint.iacr.org\/2019\/953"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-58820-8_18"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS47924.2020.00058"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536414.1536440"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-020-03156-7"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3335741.3335750"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2008.5213922"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17373-8_19"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"e_1_3_2_1_41_1","volume-title":"Guide to elliptic curve cryptography","author":"Hankerson Darrel","unstructured":"Darrel Hankerson , Alfred J Menezes , and Scott Vanstone . 2006. Guide to elliptic curve cryptography . Springer Science & Business Media . Darrel Hankerson, Alfred J Menezes, and Scott Vanstone. 2006. Guide to elliptic curve cryptography. Springer Science & Business Media."},{"key":"e_1_3_2_1_42_1","volume-title":"Parallel prefix sum (scan) with CUDA. GPU gems, 3, 39","author":"Harris Mark","year":"2007","unstructured":"Mark Harris , Shubhabrata Sengupta , and John D Owens . 2007. Parallel prefix sum (scan) with CUDA. GPU gems, 3, 39 ( 2007 ), 851\u2013876. Mark Harris, Shubhabrata Sengupta, and John D Owens. 2007. Parallel prefix sum (scan) with CUDA. GPU gems, 3, 39 (2007), 851\u2013876."},{"key":"e_1_3_2_1_43_1","unstructured":"Daira Hopwood Sean Bowe Taylor Hornby and Nathan Wilcox. 2022. Zcash Protocol Specification. https:\/\/zips.z.cash\/protocol\/protocol.pdf \t\t\t\t  Daira Hopwood Sean Bowe Taylor Hornby and Nathan Wilcox. 2022. Zcash Protocol Specification. https:\/\/zips.z.cash\/protocol\/protocol.pdf"},{"key":"e_1_3_2_1_44_1","unstructured":"QED it Corp. 2017.  https:\/\/qed-it.com\/ \t\t\t\t  QED it Corp. 2017.  https:\/\/qed-it.com\/"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2021.i4.114-148"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC50251.2020.00033"},{"key":"e_1_3_2_1_47_1","unstructured":"Ahmed Kosba. 2021. jsnark: a Java library for building circuits for preprocessing zk-SNARKs.  https:\/\/github.com\/akosba\/jsnark \t\t\t\t  Ahmed Kosba. 2021. jsnark: a Java library for building circuits for preprocessing zk-SNARKs.  https:\/\/github.com\/akosba\/jsnark"},{"key":"e_1_3_2_1_48_1","first-page":"978","volume-title":"Proceedings of the 29th USENIX Conference on Security Symposium. USENIX Association, USA. Article 120","author":"Kosba Ahmed","year":"2020","unstructured":"Ahmed Kosba , Dimitrios Papadopoulos , Charalampos Papamanthou , and Dawn Song . 2020 . MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal Zk-SNARKs . In Proceedings of the 29th USENIX Conference on Security Symposium. USENIX Association, USA. Article 120 , 18 pages. isbn: 978 - 971 -939133-17-5 https:\/\/dl.acm.org\/doi\/10.5555\/3489212.3489332 Ahmed Kosba, Dimitrios Papadopoulos, Charalampos Papamanthou, and Dawn Song. 2020. MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal Zk-SNARKs. In Proceedings of the 29th USENIX Conference on Security Symposium. USENIX Association, USA. Article 120, 18 pages. isbn:978-1-939133-17-5 https:\/\/dl.acm.org\/doi\/10.5555\/3489212.3489332"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00018"},{"key":"e_1_3_2_1_50_1","unstructured":"SCIPR LAB. 2022. libsnark: a C++ library for zkSNARK proofs..  https:\/\/github.com\/scipr-lab\/libsnark \t\t\t\t  SCIPR LAB. 2022. libsnark: a C++ library for zkSNARK proofs..  https:\/\/github.com\/scipr-lab\/libsnark"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3339817"},{"key":"e_1_3_2_1_52_1","volume-title":"Modular multiplication without trial division. Mathematics of computation, 44, 170","author":"Montgomery Peter L","year":"1985","unstructured":"Peter L Montgomery . 1985. Modular multiplication without trial division. Mathematics of computation, 44, 170 ( 1985 ), 519\u2013521. Peter L Montgomery. 1985. Modular multiplication without trial division. Mathematics of computation, 44, 170 (1985), 519\u2013521."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2603974"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1976.21"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.36"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-56877-1_25"},{"key":"e_1_3_2_1_58_1","first-page":"806","article-title":"Addition chains of vectors (problem 5125)","volume":"70","author":"Straus Ernst G","year":"1964","unstructured":"Ernst G Straus . 1964 . Addition chains of vectors (problem 5125) . Amer. Math. Monthly , 70 , 806 - 808 (1964), 16. Ernst G Straus. 1964. Addition chains of vectors (problem 5125). Amer. Math. Monthly, 70, 806-808 (1964), 16.","journal-title":"Amer. Math. Monthly"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85053-3_6"},{"key":"e_1_3_2_1_60_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. Cryptology ePrint Archive, Paper 2018\/691. https:\/\/eprint.iacr.org\/2018\/691 Howard Wu, Wenting Zheng, Alessandro Chiesa, Raluca Ada Popa, and Ion Stoica. 2018. DIZK: A Distributed Zero Knowledge Proof System. Cryptology ePrint Archive, Paper 2018\/691. https:\/\/eprint.iacr.org\/2018\/691"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417278"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.43"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00040"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29814-6_8"},{"key":"e_1_3_2_1_65_1","unstructured":"zkSync Corp. 2022.  https:\/\/zksync.io\/ \t\t\t\t  zkSync Corp. 2022.  https:\/\/zksync.io\/"}],"event":{"name":"ASPLOS '23: 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","location":"Vancouver BC Canada","acronym":"ASPLOS '23","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575693.3575711","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3575693.3575711","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:20Z","timestamp":1750182680000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575693.3575711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,27]]},"references-count":65,"alternative-id":["10.1145\/3575693.3575711","10.1145\/3575693"],"URL":"https:\/\/doi.org\/10.1145\/3575693.3575711","relation":{},"subject":[],"published":{"date-parts":[[2023,1,27]]},"assertion":[{"value":"2023-01-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}