{"id":"https://openalex.org/W4414199215","doi":"https://doi.org/10.1109/dac63849.2025.11132681","title":"zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing","display_name":"zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4414199215","doi":"https://doi.org/10.1109/dac63849.2025.11132681"},"language":"en","primary_location":{"id":"doi:10.1109/dac63849.2025.11132681","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11132681","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","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/A5021804005","display_name":"Yancheng Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I106165777","display_name":"University of Central Florida","ror":"https://ror.org/036nfer12","country_code":"US","type":"education","lineage":["https://openalex.org/I106165777"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yancheng Zhang","raw_affiliation_strings":["University of Central Florida"],"affiliations":[{"raw_affiliation_string":"University of Central Florida","institution_ids":["https://openalex.org/I106165777"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101373790","display_name":"Mengxin Zheng","orcid":null},"institutions":[{"id":"https://openalex.org/I106165777","display_name":"University of Central Florida","ror":"https://ror.org/036nfer12","country_code":"US","type":"education","lineage":["https://openalex.org/I106165777"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mengxin Zheng","raw_affiliation_strings":["University of Central Florida"],"affiliations":[{"raw_affiliation_string":"University of Central Florida","institution_ids":["https://openalex.org/I106165777"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100451602","display_name":"Xun Chen","orcid":"https://orcid.org/0000-0002-4922-8116"},"institutions":[{"id":"https://openalex.org/I4210133173","display_name":"Research!America (United States)","ror":"https://ror.org/044pgyv50","country_code":"US","type":"company","lineage":["https://openalex.org/I4210133173"]},{"id":"https://openalex.org/I4210101778","display_name":"Samsung (United States)","ror":"https://ror.org/01bfbvm65","country_code":"US","type":"company","lineage":["https://openalex.org/I2250650973","https://openalex.org/I4210101778"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xun Chen","raw_affiliation_strings":["Samsung Research America"],"affiliations":[{"raw_affiliation_string":"Samsung Research America","institution_ids":["https://openalex.org/I4210101778","https://openalex.org/I4210133173"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066534595","display_name":"Jingtong Hu","orcid":"https://orcid.org/0000-0003-4029-4034"},"institutions":[{"id":"https://openalex.org/I170201317","display_name":"University of Pittsburgh","ror":"https://ror.org/01an3r305","country_code":"US","type":"education","lineage":["https://openalex.org/I170201317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jingtong Hu","raw_affiliation_strings":["University of Pittsburgh"],"affiliations":[{"raw_affiliation_string":"University of Pittsburgh","institution_ids":["https://openalex.org/I170201317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109410921","display_name":"Weidong Shi","orcid":"https://orcid.org/0000-0002-9005-3071"},"institutions":[{"id":"https://openalex.org/I44461941","display_name":"University of Houston","ror":"https://ror.org/048sx0r50","country_code":"US","type":"education","lineage":["https://openalex.org/I44461941"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weidong Shi","raw_affiliation_strings":["University of Houston"],"affiliations":[{"raw_affiliation_string":"University of Houston","institution_ids":["https://openalex.org/I44461941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063104755","display_name":"Lei Ju","orcid":"https://orcid.org/0000-0001-6186-5399"},"institutions":[{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Ju","raw_affiliation_strings":["Shandong University"],"affiliations":[{"raw_affiliation_string":"Shandong University","institution_ids":["https://openalex.org/I154099455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061775189","display_name":"Yan Solihin","orcid":"https://orcid.org/0000-0002-8863-941X"},"institutions":[{"id":"https://openalex.org/I106165777","display_name":"University of Central Florida","ror":"https://ror.org/036nfer12","country_code":"US","type":"education","lineage":["https://openalex.org/I106165777"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yan Solihin","raw_affiliation_strings":["University of Central Florida"],"affiliations":[{"raw_affiliation_string":"University of Central Florida","institution_ids":["https://openalex.org/I106165777"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006753786","display_name":"Qian Lou","orcid":"https://orcid.org/0000-0001-5462-2567"},"institutions":[{"id":"https://openalex.org/I106165777","display_name":"University of Central Florida","ror":"https://ror.org/036nfer12","country_code":"US","type":"education","lineage":["https://openalex.org/I106165777"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qian Lou","raw_affiliation_strings":["University of Central Florida"],"affiliations":[{"raw_affiliation_string":"University of Central Florida","institution_ids":["https://openalex.org/I106165777"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5021804005"],"corresponding_institution_ids":["https://openalex.org/I106165777"],"apc_list":null,"apc_paid":null,"fwci":5.6662,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.96023158,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9997000098228455,"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.9997000098228455,"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.9945999979972839,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9854000210762024,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.7827000021934509},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.5206000208854675},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.5170999765396118},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5103999972343445},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.4941999912261963},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4903999865055084},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.40720000863075256},{"id":"https://openalex.org/keywords/secure-multi-party-computation","display_name":"Secure multi-party computation","score":0.3700000047683716},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.3544999957084656}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8180999755859375},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.7827000021934509},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5206000208854675},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.5170999765396118},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5103999972343445},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5088000297546387},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.4941999912261963},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4903999865055084},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.40720000863075256},{"id":"https://openalex.org/C18396474","wikidata":"https://www.wikidata.org/wiki/Q2465888","display_name":"Secure multi-party computation","level":3,"score":0.3700000047683716},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.3544999957084656},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.353300005197525},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.33219999074935913},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.326200008392334},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3221000134944916},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.32109999656677246},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.3176000118255615},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.31690001487731934},{"id":"https://openalex.org/C3087436","wikidata":"https://www.wikidata.org/wiki/Q1386603","display_name":"Secret sharing","level":3,"score":0.31369999051094055},{"id":"https://openalex.org/C123201435","wikidata":"https://www.wikidata.org/wiki/Q456632","display_name":"Information privacy","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.3003999888896942},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.29919999837875366},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.29089999198913574},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.262800008058548},{"id":"https://openalex.org/C110406131","wikidata":"https://www.wikidata.org/wiki/Q41349","display_name":"Smart card","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.2526000142097473},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.2506999969482422}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dac63849.2025.11132681","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11132681","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","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":26,"referenced_works":["https://openalex.org/W1589034595","https://openalex.org/W2108598243","https://openalex.org/W2252150191","https://openalex.org/W2496543269","https://openalex.org/W2536319456","https://openalex.org/W2883585522","https://openalex.org/W2886845474","https://openalex.org/W2923014074","https://openalex.org/W2954625838","https://openalex.org/W2963091558","https://openalex.org/W2982474429","https://openalex.org/W2984674716","https://openalex.org/W2990120385","https://openalex.org/W3089022192","https://openalex.org/W3094502228","https://openalex.org/W3135955057","https://openalex.org/W3138516171","https://openalex.org/W3162090017","https://openalex.org/W3210485385","https://openalex.org/W3213013974","https://openalex.org/W4312820606","https://openalex.org/W4361805434","https://openalex.org/W4385245566","https://openalex.org/W4386764217","https://openalex.org/W4404955800","https://openalex.org/W4411337842"],"related_works":[],"abstract_inverted_index":{"In":[0,148],"the":[1,13,19,23,29,40,43,48,55,76,81,84,91,94,160,171,178],"context":[2],"of":[3,50,93,102,142],"cloud":[4,10],"computing,":[5],"services":[6],"are":[7,34,86],"held":[8],"on":[9,42,170,177],"servers,":[11],"where":[12],"clients":[14],"send":[15],"their":[16,121],"data":[17,31],"to":[18,36,39,78],"server":[20,44,85,172],"and":[21,32,71,116,174,192],"obtain":[22],"results":[24,33,82],"returned":[25],"by":[26],"server.":[27],"However,":[28],"computation,":[30],"prone":[35],"tampering":[37],"due":[38],"vulnerabilities":[41],"side.":[45,180],"Thus,":[46],"verifying":[47],"integrity":[49],"computation":[51,162],"is":[52,66,212],"important":[53],"in":[54,105,111,145,204],"client-server":[56],"setting.":[57],"The":[58,210],"cryptographic":[59],"method":[60],"known":[61],"as":[62,187],"Zero-Knowledge":[63,98],"Proof":[64],"(ZKP)":[65],"renowned":[67],"for":[68,163],"facilitating":[69],"private":[70],"verifiable":[72,117],"computing.":[73],"ZKP":[74,161,184],"allows":[75],"client":[77,179],"validate":[79],"that":[80],"from":[83],"computed":[87],"correctly":[88],"without":[89],"violating":[90],"privacy":[92],"server\u2019s":[95],"intellectual":[96],"property.":[97],"Succinct":[99],"NonInteractive":[100],"Argument":[101],"Knowledge":[103],"(zkSNARKs),":[104],"particular,":[106],"has":[107],"been":[108],"widely":[109],"applied":[110],"various":[112],"applications":[113],"like":[114,135],"blockchain":[115],"machine":[118],"learning.":[119],"Despite":[120],"popularity,":[122],"existing":[123],"zkSNARKs":[124],"approaches":[125],"remain":[126],"highly":[127],"computationally":[128],"intensive.":[129],"For":[130],"instance,":[131],"even":[132],"basic":[133],"operations":[134],"matrix":[136,164],"multiplication":[137],"require":[138],"an":[139],"extensive":[140],"number":[141],"constraints,":[143],"resulting":[144],"significant":[146],"overhead.":[147],"addressing":[149],"this":[150],"challenge,":[151],"we":[152],"introduce":[153],"$z":[154],"k":[155],"V":[156],"C$,":[157],"which":[158],"optimizes":[159],"multiplication,":[165],"enabling":[166],"rapid":[167],"proof":[168,205],"generation":[169],"side":[173],"efficient":[175],"verification":[176],"zkVC":[181],"integrates":[182],"optimized":[183],"modules,":[185],"such":[186],"Constraint-reduced":[188],"Polynomial":[189],"Circuit":[190],"(CRPC)":[191],"Prefix-Sum":[193],"Query":[194],"(PSQ),":[195],"collectively":[196],"yielding":[197],"a":[198],"more":[199],"than":[200],"$\\mathbf{1":[201],"2}$-fold":[202],"increase":[203],"speed":[206],"over":[207],"prior":[208],"methods.":[209],"code":[211],"available":[213],"at":[214],"https://github.com/UCF-Lou-Lab-PET/zkformer.":[215]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}