{"id":"https://openalex.org/W7167038253","doi":"https://doi.org/10.1145/3797905.3807842","title":"MegaZK: A Memory Efficient GPU System Accelerating End-to-end Zero-Knowledge Proof","display_name":"MegaZK: A Memory Efficient GPU System Accelerating End-to-end Zero-Knowledge Proof","publication_year":2026,"publication_date":"2026-07-02","ids":{"openalex":"https://openalex.org/W7167038253","doi":"https://doi.org/10.1145/3797905.3807842"},"language":null,"primary_location":{"id":"doi:10.1145/3797905.3807842","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797905.3807842","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM International Conference on Supercomputing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3797905.3807842","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100783920","display_name":"Muyang Li","orcid":"https://orcid.org/0000-0003-1009-2343"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Muyang Li","raw_affiliation_strings":["Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0003-6117-8363","affiliations":[{"raw_affiliation_string":"Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139907715","display_name":"Yueteng Yu","orcid":"https://orcid.org/0009-0008-6616-8494"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yueteng Yu","raw_affiliation_strings":["Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0008-6616-8494","affiliations":[{"raw_affiliation_string":"Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015325570","display_name":"Bangyan Wang","orcid":"https://orcid.org/0000-0002-5240-7238"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Bangyan Wang","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-5240-7238","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035320534","display_name":"Xiong Fan","orcid":"https://orcid.org/0000-0002-0166-0794"},"institutions":[{"id":"https://openalex.org/I4210121870","display_name":"Temasek Defence Systems Institute","ror":"https://ror.org/02gmy7y33","country_code":"SG","type":"education","lineage":["https://openalex.org/I4210121870"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Xiong Fan","raw_affiliation_strings":["Cysic, Inc, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-0166-0794","affiliations":[{"raw_affiliation_string":"Cysic, Inc, Singapore, Singapore","institution_ids":["https://openalex.org/I4210121870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026297396","display_name":"Mingyu Gao","orcid":"https://orcid.org/0000-0001-8433-7281"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingyu Gao","raw_affiliation_strings":["Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-8433-7281","affiliations":[{"raw_affiliation_string":"Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101506561","display_name":"Shuwen Deng","orcid":"https://orcid.org/0000-0002-9782-5038"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuwen Deng","raw_affiliation_strings":["Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-9782-5038","affiliations":[{"raw_affiliation_string":"Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1165","last_page":"1176"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.7476000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.7476000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.1356000006198883,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.02239999920129776,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6495000123977661},{"id":"https://openalex.org/keywords/cornerstone","display_name":"Cornerstone","score":0.6258000135421753},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5401999950408936},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.5297999978065491},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.5157999992370605},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.490200012922287},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.47360000014305115},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.38199999928474426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7336000204086304},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6495000123977661},{"id":"https://openalex.org/C2780616401","wikidata":"https://www.wikidata.org/wiki/Q1133673","display_name":"Cornerstone","level":2,"score":0.6258000135421753},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5401999950408936},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.5297999978065491},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.5157999992370605},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.490200012922287},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.47360000014305115},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.38199999928474426},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3653999865055084},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.35040000081062317},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.34139999747276306},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.320499986410141},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.3111000061035156},{"id":"https://openalex.org/C179603306","wikidata":"https://www.wikidata.org/wiki/Q268493","display_name":"Elliptic curve","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.3018999993801117},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2944999933242798},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.28790000081062317},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.28439998626708984},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2840999960899353},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.271699994802475},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2711000144481659}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3797905.3807842","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797905.3807842","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM International Conference on Supercomputing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3797905.3807842","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797905.3807842","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM International Conference on Supercomputing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.5616210103034973}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1909324101","https://openalex.org/W2061171222","https://openalex.org/W2144752539","https://openalex.org/W2517744317","https://openalex.org/W3082441216","https://openalex.org/W3165659700","https://openalex.org/W4315489334","https://openalex.org/W4318541683","https://openalex.org/W4380081638","https://openalex.org/W4394907743","https://openalex.org/W4395106435","https://openalex.org/W4402387171","https://openalex.org/W4404954873","https://openalex.org/W4407197132","https://openalex.org/W4407197262","https://openalex.org/W4407218945","https://openalex.org/W4409248630","https://openalex.org/W4411486290","https://openalex.org/W7125902224"],"related_works":[],"abstract_inverted_index":{"Zero-Knowledge":[0],"Proof":[1],"(ZKP)":[2],"is":[3],"a":[4],"cornerstone":[5],"in":[6,12,33,43],"privacy-preserving":[7],"computing,":[8],"addressing":[9],"critical":[10],"challenges":[11],"domains":[13],"such":[14,56],"as":[15,57],"finance":[16],"and":[17,36,41,72],"healthcare":[18],"by":[19],"ensuring":[20],"data":[21],"confidentiality":[22],"during":[23],"computation.":[24],"However,":[25],"the":[26],"high":[27],"computational":[28],"overhead":[29],"of":[30],"ZKP,":[31],"particularly":[32],"proof":[34],"generation":[35,79],"verification,":[37],"limits":[38],"its":[39],"scalability":[40],"usability":[42],"real-world":[44],"applications.":[45],"Existing":[46],"efforts":[47],"to":[48,67],"accelerate":[49],"ZKP":[50],"primarily":[51],"focus":[52],"on":[53,80],"specific":[54],"components,":[55],"polynomial":[58],"commitment":[59],"schemes":[60],"or":[61],"elliptic":[62],"curve":[63],"operations,":[64],"but":[65],"fail":[66],"deliver":[68],"an":[69],"integrated,":[70],"flexible,":[71],"efficient":[73],"end-to-end":[74],"solution":[75],"that":[76],"includes":[77],"witness":[78],"commercial":[81],"computing":[82],"platforms.":[83]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-07-03T00:00:00"}