{"id":"https://openalex.org/W7133553505","doi":"https://doi.org/10.1109/hpca68181.2026.11408480","title":"zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates","display_name":"zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates","publication_year":2026,"publication_date":"2026-01-31","ids":{"openalex":"https://openalex.org/W7133553505","doi":"https://doi.org/10.1109/hpca68181.2026.11408480"},"language":null,"primary_location":{"id":"doi:10.1109/hpca68181.2026.11408480","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca68181.2026.11408480","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE International Symposium on High Performance Computer Architecture (HPCA)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030922237","display_name":"Alhad Daftardar","orcid":"https://orcid.org/0000-0001-8523-6490"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alhad Daftardar","raw_affiliation_strings":["New York University Tandon School of Engineering"],"affiliations":[{"raw_affiliation_string":"New York University Tandon School of Engineering","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016851675","display_name":"Jianqiao Mo","orcid":"https://orcid.org/0000-0001-9533-8183"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jianqiao Mo","raw_affiliation_strings":["New York University Tandon School of Engineering"],"affiliations":[{"raw_affiliation_string":"New York University Tandon School of Engineering","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093854332","display_name":"Joey Ah-kiow","orcid":"https://orcid.org/0000-0003-1009-5499"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joey Ah-kiow","raw_affiliation_strings":["New York University Tandon School of Engineering"],"affiliations":[{"raw_affiliation_string":"New York University Tandon School of Engineering","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050862609","display_name":"Benedikt B\u00fcnz","orcid":"https://orcid.org/0000-0003-2082-4480"},"institutions":[{"id":"https://openalex.org/I36672615","display_name":"Courant Institute of Mathematical Sciences","ror":"https://ror.org/037tm7f56","country_code":"US","type":"education","lineage":["https://openalex.org/I36672615","https://openalex.org/I57206974"]},{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benedikt B\u00fcnz","raw_affiliation_strings":["New York University Courant Institute of Mathematical Sciences"],"affiliations":[{"raw_affiliation_string":"New York University Courant Institute of Mathematical Sciences","institution_ids":["https://openalex.org/I36672615","https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Siddharth Garg","orcid":null},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Siddharth Garg","raw_affiliation_strings":["New York University Tandon School of Engineering"],"affiliations":[{"raw_affiliation_string":"New York University Tandon School of Engineering","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5123778860","display_name":"Brandon Reagen","orcid":null},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brandon Reagen","raw_affiliation_strings":["New York University Tandon School of Engineering"],"affiliations":[{"raw_affiliation_string":"New York University Tandon School of Engineering","institution_ids":["https://openalex.org/I57206974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5030922237"],"corresponding_institution_ids":["https://openalex.org/I57206974"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.48674371,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"15"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.2524999976158142,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.2524999976158142,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.17139999568462372,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.09239999949932098,"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/key","display_name":"Key (lock)","score":0.25529998540878296},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.2402999997138977},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.23829999566078186},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.2320999950170517}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6322000026702881},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4348999857902527},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.28529998660087585},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.24220000207424164},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.2402999997138977},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.23829999566078186},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.2320999950170517},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.21490000188350677},{"id":"https://openalex.org/C110050671","wikidata":"https://www.wikidata.org/wiki/Q1063837","display_name":"Erasable programmable logic device","level":5,"score":0.2134000062942505}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hpca68181.2026.11408480","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca68181.2026.11408480","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE International Symposium on High Performance Computer Architecture (HPCA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W1589034595","https://openalex.org/W1909324101","https://openalex.org/W1971605365","https://openalex.org/W1974338211","https://openalex.org/W2070239372","https://openalex.org/W2071520502","https://openalex.org/W2113244484","https://openalex.org/W2157229523","https://openalex.org/W2496543269","https://openalex.org/W2515122689","https://openalex.org/W2584298940","https://openalex.org/W2883585522","https://openalex.org/W2954625838","https://openalex.org/W3157477139","https://openalex.org/W3158989923","https://openalex.org/W3165659700","https://openalex.org/W3207119887","https://openalex.org/W3207326900","https://openalex.org/W4281609193","https://openalex.org/W4281792301","https://openalex.org/W4307925365","https://openalex.org/W4313042292","https://openalex.org/W4318541683","https://openalex.org/W4321393203","https://openalex.org/W4365808257","https://openalex.org/W4367060154","https://openalex.org/W4380081638","https://openalex.org/W4380881143","https://openalex.org/W4381894550","https://openalex.org/W4383987980","https://openalex.org/W4389159461","https://openalex.org/W4395106435","https://openalex.org/W4400587717","https://openalex.org/W4400681761","https://openalex.org/W4401599157","https://openalex.org/W4402387171","https://openalex.org/W4402821614","https://openalex.org/W4403320246","https://openalex.org/W4404133337","https://openalex.org/W4404134060","https://openalex.org/W4404954873","https://openalex.org/W4405242258","https://openalex.org/W4405934624","https://openalex.org/W4407197132","https://openalex.org/W4407197262","https://openalex.org/W4407863044","https://openalex.org/W4408903490","https://openalex.org/W4409248630","https://openalex.org/W4409248819","https://openalex.org/W4409833168","https://openalex.org/W4411486290","https://openalex.org/W4415281338","https://openalex.org/W4415285687","https://openalex.org/W4416429963","https://openalex.org/W7118018264"],"related_works":[],"abstract_inverted_index":{"Zero-Knowledge":[0],"Proofs":[1],"(ZKPs)":[2],"have":[3,50,76],"emerged":[4],"as":[5],"a":[6,22,71,91,146,173,184],"powerful":[7],"tool":[8],"for":[9],"secure":[10],"and":[11,43,80,85,109,113,203,233],"privacy-preserving":[12],"computation.":[13],"ZKPs":[14,49],"enable":[15],"one":[16],"party":[17],"to":[18,121,150,223],"convince":[19],"another":[20],"of":[21,55,74,83,94,162,175,228],"statement's":[23],"validity":[24],"without":[25],"revealing":[26],"anything":[27],"else.":[28],"This":[29],"capability":[30],"has":[31],"profound":[32],"implications":[33],"in":[34,100,128,182],"many":[35],"domains,":[36],"including:":[37],"machine":[38],"learning,":[39],"blockchain,":[40],"image":[41],"authentication,":[42],"electronic":[44],"voting.":[45],"Despite":[46],"their":[47,56],"potential,":[48],"seen":[51],"limited":[52],"deployment":[53],"because":[54],"exceptionally":[57],"high":[58],"computational":[59,101],"overhead,":[60,102],"which":[61],"manifests":[62],"primarily":[63],"during":[64],"proof":[65,103,236],"generation.":[66],"To":[67],"mitigate":[68],"these":[69,123,216],"overheads,":[70],"(growing)":[72],"body":[73],"researchers":[75],"proposed":[77],"hardware":[78],"accelerators":[79],"GPU":[81],"implementations":[82],"kernels":[84],"complete":[86],"protocols.":[87],"Prior":[88],"art":[89],"spans":[90],"wide":[92],"variety":[93],"ZKP":[95,116,130],"schemes":[96],"that":[97,188],"vary":[98],"significantly":[99],"size,":[104],"verifier":[105],"cost,":[106],"protocol":[107],"setup,":[108],"trust.":[110],"The":[111],"latest,":[112],"widely":[114],"used":[115],"protocols":[117],"are":[118],"intentionally":[119],"designed":[120],"balance":[122],"trade-offs.":[124],"A":[125],"particular":[126],"challenge":[127,144],"modern":[129],"systems":[131],"is":[132],"supporting":[133],"complex,":[134],"high-degree":[135],"gates":[136,155],"using":[137],"the":[138,190,211],"SumCheck":[139],"protocol.":[140,192],"We":[141,178],"address":[142],"this":[143,180],"with":[145],"novel":[147],"programmable":[148],"accelerator":[149,159,187],"efficiently":[151],"handle":[152],"arbitrary":[153],"custom":[154],"via":[156],"SumCheck.":[157],"Our":[158],"achieves":[160,194],"upwards":[161],"<tex":[163,195,204],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[164,196,205,230,239],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$1000":[165],"\\times$</tex>":[166,198,207],"geomean":[167,199,208],"speedup":[168,200,209],"over":[169,201,210],"CPU-based":[170],"SumChecks":[171],"across":[172],"range":[174],"gate":[176],"types.":[177],"include":[179],"unit":[181],"zkPHIRE,":[183],"programmable,":[185],"full-system":[186],"accelerates":[189],"HyperPlonk":[191],"zkPHIRE":[193],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$1486":[197],"CPU":[202],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$11.87":[206],"state-of-the-art":[212],"at":[213],"iso-area.":[214],"Together,":[215],"results":[217],"demonstrate":[218],"compelling":[219],"performance":[220],"while":[221],"scaling":[222],"large":[224],"problem":[225],"sizes":[226,237],"(upwards":[227],"2<sup":[229],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">30</sup>":[231],"constraints)":[232],"maintaining":[234],"small":[235],"(<tex":[238],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$4-5$</tex>":[240],"KB).":[241]},"counts_by_year":[],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2026-03-05T00:00:00"}