{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T13:45:02Z","timestamp":1782999902232,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"National Key Research and Development Program of China under Grant","award":["2024YFB4405400"],"award-info":[{"award-number":["2024YFB4405400"]}]},{"name":"NSFC","award":["U24A6009, 62572265"],"award-info":[{"award-number":["U24A6009, 62572265"]}]},{"name":"Beijing Municipal Science and Technology Project","award":["Z241100004224028"],"award-info":[{"award-number":["Z241100004224028"]}]},{"name":"Beijing Natural Science Foundation","award":["L247013"],"award-info":[{"award-number":["L247013"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,6]]},"DOI":"10.1145\/3797905.3807842","type":"proceedings-article","created":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T11:50:37Z","timestamp":1782993037000},"page":"1165-1176","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["MegaZK: A Memory Efficient GPU System Accelerating End-to-end Zero-Knowledge Proof"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-6117-8363","authenticated-orcid":false,"given":"Muyang","family":"Li","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6616-8494","authenticated-orcid":false,"given":"Yueteng","family":"Yu","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5240-7238","authenticated-orcid":false,"given":"Bangyan","family":"Wang","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0166-0794","authenticated-orcid":false,"given":"Xiong","family":"Fan","sequence":"additional","affiliation":[{"name":"Cysic, Inc, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8433-7281","authenticated-orcid":false,"given":"Mingyu","family":"Gao","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9782-5038","authenticated-orcid":false,"given":"Shuwen","family":"Deng","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,5]]},"reference":[{"key":"e_1_3_3_2_2_2","first-page":"14","volume-title":"45th international colloquium on automata, languages, and programming (icalp 2018)","author":"Ben-Sasson Eli","year":"2018","unstructured":"Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, and Michael Riabzev. 2018. Fast reed-solomon interactive oracle proofs of proximity. In 45th international colloquium on automata, languages, and programming (icalp 2018). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, 14\u20131."},{"key":"e_1_3_3_2_3_2","first-page":"781","volume-title":"23rd USENIX Security Symposium (USENIX Security 14)","author":"Ben-Sasson Eli","year":"2014","unstructured":"Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, and Madars Virza. 2014. Succinct non-interactive zero knowledge for a von Neumann architecture. In 23rd USENIX Security Symposium (USENIX Security 14). 781\u2013796."},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/3627703.3650088"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"James\u00a0W. Cooley and John\u00a0W. Tukey. 1965. An Algorithm for the Machine Calculation of Complex Fourier Series. Math. Comp. 19 90 (1965) 297\u2013301. http:\/\/www.jstor.org\/stable\/2003354","DOI":"10.1090\/S0025-5718-1965-0178586-1"},{"key":"e_1_3_3_2_6_2","first-page":"3783","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Cortier V\u00e9ronique","year":"2024","unstructured":"V\u00e9ronique Cortier, Alexandre Debant, Anselme Goetschmann, and Lucca Hirschi. 2024. Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility. In 33rd USENIX Security Symposium (USENIX Security 24). 3783\u20133800."},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3695053.3731021"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3656019.3676898"},{"key":"e_1_3_3_2_9_2","unstructured":"Sai Deng and Bo Du. 2023. zkTree: A Zero-Knowledge Recursion Tree with ZKP Membership Proofs. Cryptology ePrint Archive Paper 2023\/208. https:\/\/eprint.iacr.org\/2023\/208"},{"key":"e_1_3_3_2_10_2","unstructured":"Facebook. 2025. Winterfell: A STARK prover and verifier for arbitrary computations. https:\/\/github.com\/facebook\/winterfell"},{"key":"e_1_3_3_2_11_2","first-page":"186","volume-title":"Proceedings on Advances in Cryptology\u2014CRYPTO \u201986","author":"Fiat Amos","year":"1987","unstructured":"Amos Fiat and Adi Shamir. 1987. How to prove yourself: practical solutions to identification and signature problems. In Proceedings on Advances in Cryptology\u2014CRYPTO \u201986 (Santa Barbara, California, USA). Springer-Verlag, Berlin, Heidelberg, 186\u2013194."},{"key":"e_1_3_3_2_12_2","unstructured":"Ariel Gabizon Zachary\u00a0J. Williamson and Oana Ciobotaru. 2019. PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge. Cryptology ePrint Archive Paper 2019\/953. https:\/\/eprint.iacr.org\/2019\/953"},{"key":"e_1_3_3_2_13_2","volume-title":"Computers and intractability","author":"Garey Michael\u00a0R","year":"2002","unstructured":"Michael\u00a0R Garey and David\u00a0S Johnson. 2002. Computers and intractability. Vol.\u00a029. W. H. Freeman."},{"key":"e_1_3_3_2_14_2","unstructured":"Leo Goldberg and Andrew Smith. 2021. A Performance Study of zk-SNARKs: Achieving Scalability in Private Blockchains. IEEE Transactions on Blockchain 2 1 (2021) 45\u201360."},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Shafi Goldwasser Silvio Micali and Charles Rackoff. 1985. The Knowledge Complexity of Interactive Proof-Systems. SIAM J. Comput. (1985).","DOI":"10.1145\/22145.22178"},{"key":"e_1_3_3_2_16_2","unstructured":"Lorenzo Grassi Dmitry Khovratovich Christian Rechberger Arnab Roy and Markus Schofnegger. 2019. Poseidon: A New Hash Function for Zero-Knowledge Proof Systems. Cryptology ePrint Archive Paper 2019\/458. https:\/\/eprint.iacr.org\/2019\/458"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","unstructured":"Haiping Huang Peng Zhu Fu Xiao Xiang Sun and Qinglong Huang. 2020. A blockchain-based scheme for privacy-preserving and secure sharing of medical data. Computers & Security 99 (2020) 102010. 10.1016\/j.cose.2020.102010","DOI":"10.1016\/j.cose.2020.102010"},{"key":"e_1_3_3_2_18_2","volume-title":"Icicle","year":"2025","unstructured":"ingonyama. 2025. Icicle. https:\/\/github.com\/ingonyama-zk\/icicle"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3620666.3651364"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3669940.3707241"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17373-8_11"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Ahmed Kosba Andrew Miller Elaine Shi Zikai Wen and Charalampos Papamanthou. 2016. Hawk: The blockchain model of cryptography and privacy-preserving smart contracts. 2016 IEEE Symposium on Security and Privacy (SP) (2016) 839\u2013858.","DOI":"10.1109\/SP.2016.55"},{"key":"e_1_3_3_2_23_2","unstructured":"Matter Labs. 2025. zkSync: Trustless scaling and privacy engine for Ethereum. https:\/\/github.com\/matter-labs\/zksync"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3669940.3707270"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Tao Lu Chengkun Wei Ruijing Yu Chaochao Chen Wenjing Fang Lei Wang Zeke Wang and Wenzhi Chen. 2023. Cuzk: Accelerating zero-knowledge proof with a faster parallel multi-scalar multiplication algorithm on gpus. IACR Transactions on Cryptographic Hardware and Embedded Systems 2023 3 (2023) 194\u2013220.","DOI":"10.46586\/tches.v2023.i3.194-220"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575711"},{"key":"e_1_3_3_2_27_2","series-title":"(NSDI \u201918)","first-page":"65","volume-title":"Proceedings of the 15th USENIX Conference on Networked Systems Design and Implementation","author":"Narula Neha","year":"2018","unstructured":"Neha Narula, Willy Vasquez, and Madars Virza. 2018. zkledger: privacy-preserving auditing for distributed ledgers. In Proceedings of the 15th USENIX Conference on Networked Systems Design and Implementation(NSDI \u201918). 65\u201380."},{"key":"e_1_3_3_2_28_2","unstructured":"Polygon. 2025. Plonky2: A SNARK implementation based on PLONK and FRI including tools like Starky\u2014a high-performance STARK implementation. https:\/\/github.com\/0xPolygonZero\/plonky2"},{"key":"e_1_3_3_2_29_2","unstructured":"Polygon. 2025. zkevm: A collection of libraries to prove Ethereum blocks with Polygon Zero Type 1 zkEVM (powered by STARKy and Plonky2). https:\/\/github.com\/0xPolygonZero\/zk_evm"},{"key":"e_1_3_3_2_30_2","unstructured":"polymerdao. 2025. plonky2-ed25519. https:\/\/github.com\/polymerdao\/plonky2-ed25519\/"},{"key":"e_1_3_3_2_31_2","unstructured":"polymerdao. 2025. plonky2-sha256. https:\/\/github.com\/polymerdao\/plonky2-sha256\/"},{"key":"e_1_3_3_2_32_2","unstructured":"polymerdao. 2025. plonky2-sha512. https:\/\/github.com\/polymerdao\/plonky2-sha512\/"},{"key":"e_1_3_3_2_33_2","unstructured":"Aztec Protocol. 2025. Aztec3 Circuits: zk-rollup circuits for privacy-preserving transactions. https:\/\/github.com\/AztecProtocol\/aztec3-circuits"},{"key":"e_1_3_3_2_34_2","unstructured":"Mina Protocol. 2025. Mina: The world\u2019s lightest blockchain. https:\/\/minaprotocol.com\/"},{"key":"e_1_3_3_2_35_2","unstructured":"Side Protocol. 2024. plonky2-gpu. https:\/\/github.com\/sideprotocol\/plonky2-gpu\/"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","unstructured":"Huayi Qi Ye Cheng Minghui Xu Dongxiao Yu Haipeng Wang and Weifeng Lyu. 2023. Split: A Hash-Based Memory Optimization Method for Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK). IEEE Trans. Comput. 72 7 (2023) 1857\u20131870. 10.1109\/TC.2023.3235975","DOI":"10.1109\/TC.2023.3235975"},{"key":"e_1_3_3_2_37_2","unstructured":"qope. 2025. plonky2-ecdsa. https:\/\/github.com\/qope\/plonky2-examples\/"},{"key":"e_1_3_3_2_38_2","volume-title":"34th USENIX Security Symposium (USENIX Security 25)","author":"Qu Wenjie","year":"2025","unstructured":"Wenjie Qu, Yijun Sun, Xuanming Liu, Tao Lu, Yanpei Guo, Kai Chen, and Jiaheng Zhang. 2025. zkGPT: An Efficient Non-interactive Zero-knowledge Proof Framework for LLM Inference. In 34th USENIX Security Symposium (USENIX Security 25)."},{"key":"e_1_3_3_2_39_2","volume-title":"Blockchain Technology: Learn Step by Step Smart Contracts, Monero, Blockchain Wallet, Bitcoin, Zcash, Ethereum, Ripple, Dash, Mining, Litecoin, IOTA","author":"Richardson Mike","year":"2024","unstructured":"Mike Richardson. 2024. Blockchain Technology: Learn Step by Step Smart Contracts, Monero, Blockchain Wallet, Bitcoin, Zcash, Ethereum, Ripple, Dash, Mining, Litecoin, IOTA."},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO61859.2024.00035"},{"key":"e_1_3_3_2_41_2","unstructured":"Sin7Y. 2025. OlaVM: A STARK-based ZK-friendly ZKVM for Programmable Scalability and Privacy. https:\/\/github.com\/Sin7Y\/olavm"},{"key":"e_1_3_3_2_42_2","unstructured":"StarkWare. 2025. Cairo: STARK-friendly Turing-complete language for zk-rollups. https:\/\/github.com\/starkware-libs\/cairo"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3669940.3707228"},{"key":"e_1_3_3_2_44_2","unstructured":"worldcoin. 2025. proto-neural-zkp. https:\/\/github.com\/worldcoin\/proto-neural-zkp\/"},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA61900.2025.00020"},{"key":"e_1_3_3_2_46_2","volume-title":"Halo2","year":"2025","unstructured":"Zcash. 2025. Halo2. https:\/\/github.com\/zcash\/halo2"},{"key":"e_1_3_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00040"},{"key":"e_1_3_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3774934.3786448"},{"key":"e_1_3_3_2_49_2","unstructured":"Zkcrypto. 2025. Bellman: Rust library for building zk-SNARK circuits. https:\/\/github.com\/zkcrypto\/bellman"}],"event":{"name":"ICS '26: 2026 International Conference on Supercomputing","location":"Belfast United Kingdom","acronym":"ICS '26","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 40th ACM International Conference on Supercomputing"],"original-title":[],"deposited":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T13:10:14Z","timestamp":1782997814000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3797905.3807842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":48,"alternative-id":["10.1145\/3797905.3807842","10.1145\/3797905"],"URL":"https:\/\/doi.org\/10.1145\/3797905.3807842","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}