{"id":"https://openalex.org/W3133819631","doi":"https://doi.org/10.1109/jsait.2021.3102267","title":"Multi-Party Proof Generation in QAP-Based zk-SNARKs","display_name":"Multi-Party Proof Generation in QAP-Based zk-SNARKs","publication_year":2021,"publication_date":"2021-08-04","ids":{"openalex":"https://openalex.org/W3133819631","doi":"https://doi.org/10.1109/jsait.2021.3102267","mag":"3133819631"},"language":"en","primary_location":{"id":"doi:10.1109/jsait.2021.3102267","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsait.2021.3102267","pdf_url":null,"source":{"id":"https://openalex.org/S4210211895","display_name":"IEEE Journal on Selected Areas in Information Theory","issn_l":"2641-8770","issn":["2641-8770"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Journal on Selected Areas in Information Theory","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2103.01344","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036532797","display_name":"Ali Rahimi","orcid":"https://orcid.org/0000-0001-6561-6074"},"institutions":[{"id":"https://openalex.org/I133529467","display_name":"Sharif University of Technology","ror":"https://ror.org/024c2fq17","country_code":"IR","type":"education","lineage":["https://openalex.org/I133529467"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"Ali Rahimi","raw_affiliation_strings":["Department of Electrical Engineering, Sharif University of Technology, Tehran, Iran","Department of Electrical Engineering, Sharif University of Technology Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Sharif University of Technology, Tehran, Iran","institution_ids":["https://openalex.org/I133529467"]},{"raw_affiliation_string":"Department of Electrical Engineering, Sharif University of Technology Tehran, Iran","institution_ids":["https://openalex.org/I133529467"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113662214","display_name":"Mohammad Ali Maddah-Ali","orcid":null},"institutions":[{"id":"https://openalex.org/I133529467","display_name":"Sharif University of Technology","ror":"https://ror.org/024c2fq17","country_code":"IR","type":"education","lineage":["https://openalex.org/I133529467"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Mohammad Ali Maddah-Ali","raw_affiliation_strings":["Department of Electrical Engineering, Sharif University of Technology, Tehran, Iran","Department of Electrical Engineering, Sharif University of Technology Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Sharif University of Technology, Tehran, Iran","institution_ids":["https://openalex.org/I133529467"]},{"raw_affiliation_string":"Department of Electrical Engineering, Sharif University of Technology Tehran, Iran","institution_ids":["https://openalex.org/I133529467"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5036532797"],"corresponding_institution_ids":["https://openalex.org/I133529467"],"apc_list":null,"apc_paid":null,"fwci":0.14110358,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.51058239,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"2","issue":"3","first_page":"931","last_page":"941"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"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.9998999834060669,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9994000196456909,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9818000197410583,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.9697469472885132},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.7822816371917725},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6038171052932739},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5880569815635681},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48209670186042786},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35155975818634033},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3473842442035675},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2479650378227234},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.16040483117103577},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.12048053741455078}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.9697469472885132},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.7822816371917725},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6038171052932739},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5880569815635681},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48209670186042786},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35155975818634033},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3473842442035675},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2479650378227234},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.16040483117103577},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.12048053741455078},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/jsait.2021.3102267","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsait.2021.3102267","pdf_url":null,"source":{"id":"https://openalex.org/S4210211895","display_name":"IEEE Journal on Selected Areas in Information Theory","issn_l":"2641-8770","issn":["2641-8770"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Journal on Selected Areas in Information Theory","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2103.01344","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2103.01344","pdf_url":"https://arxiv.org/pdf/2103.01344","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:3133819631","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2103.01344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2103.01344","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2103.01344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2103.01344","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2103.01344","pdf_url":"https://arxiv.org/pdf/2103.01344","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W95194128","https://openalex.org/W112550803","https://openalex.org/W945570858","https://openalex.org/W1511202603","https://openalex.org/W1537539847","https://openalex.org/W1890128745","https://openalex.org/W1970606468","https://openalex.org/W1984685443","https://openalex.org/W2018746447","https://openalex.org/W2043007983","https://openalex.org/W2088492763","https://openalex.org/W2092422002","https://openalex.org/W2096390054","https://openalex.org/W2104289399","https://openalex.org/W2169657197","https://openalex.org/W2185973617","https://openalex.org/W2293021588","https://openalex.org/W2489890856","https://openalex.org/W2496543269","https://openalex.org/W2517744317","https://openalex.org/W2536137494","https://openalex.org/W2601926089","https://openalex.org/W2610620376","https://openalex.org/W2726052863","https://openalex.org/W2739487772","https://openalex.org/W2765206040","https://openalex.org/W2766710082","https://openalex.org/W2790257806","https://openalex.org/W2793031414","https://openalex.org/W2793666341","https://openalex.org/W2811026317","https://openalex.org/W2883585522","https://openalex.org/W2883748642","https://openalex.org/W2889056548","https://openalex.org/W2898776076","https://openalex.org/W2903850320","https://openalex.org/W2908085188","https://openalex.org/W2908477164","https://openalex.org/W2948043589","https://openalex.org/W2963256807","https://openalex.org/W2967873809","https://openalex.org/W2969207949","https://openalex.org/W2977627479","https://openalex.org/W2984674716","https://openalex.org/W2990885002","https://openalex.org/W3022540164","https://openalex.org/W3023800193","https://openalex.org/W3049011873","https://openalex.org/W3081286936","https://openalex.org/W3101255377","https://openalex.org/W3124082353","https://openalex.org/W6686745969","https://openalex.org/W6723624725","https://openalex.org/W6741498619","https://openalex.org/W6754314453","https://openalex.org/W6765225108","https://openalex.org/W6768415072","https://openalex.org/W6777240075"],"related_works":["https://openalex.org/W1996362572","https://openalex.org/W2811088724","https://openalex.org/W2039487342","https://openalex.org/W2782872143","https://openalex.org/W2888609041","https://openalex.org/W3029827461","https://openalex.org/W2951060592","https://openalex.org/W3195852009","https://openalex.org/W2416431186","https://openalex.org/W2982531527","https://openalex.org/W3196690149","https://openalex.org/W2897936394","https://openalex.org/W2810776902","https://openalex.org/W3195592227","https://openalex.org/W2953038433","https://openalex.org/W69568143","https://openalex.org/W3029085122","https://openalex.org/W2102632861","https://openalex.org/W2023675273","https://openalex.org/W2949564582"],"abstract_inverted_index":{"Zero-knowledge":[0],"succinct":[1],"non-interactive":[2],"argument":[3],"of":[4,49,84,91,137,146,198,228,250,257,272,279],"knowledge":[5],"(zkSNARK)":[6],"allows":[7],"a":[8,25,144,192,205,226],"party,":[9,17],"known":[10,18],"as":[11,19,180],"the":[12,20,79,85,88,92,113,129,135,147,154,161,170,178,181,196,212,242,247,258,270,273,277,281],"prover,":[13],"to":[14,71,104,117,121,124,140,157,166,174,218,283],"convince":[15],"another":[16],"verifier,":[21],"that":[22,33,266],"he":[23],"knows":[24],"private":[26],"value":[27,244],"$v$,":[28,245],"without":[29],"revealing":[30],"it,":[31],"such":[32,265],"$F(u,v)=y$":[34],"for":[35],"some":[36,125],"function":[37],"$F$":[38],"and":[39,43,78,119],"public":[40],"values":[41],"$u$":[42],"$y$.":[44],"There":[45],"are":[46,163],"various":[47],"versions":[48],"zk-SNARK,":[50],"among":[51],"them,":[52],"Quadratic":[53],"Arithmetic":[54],"Program":[55],"(QAP)-based":[56],"zk-SNARK":[57],"has":[58,120,195],"been":[59],"widely":[60],"used":[61],"in":[62,65,94,276],"practice,":[63],"specially":[64],"Blockchain":[66],"technology.":[67],"This":[68,108],"is":[69,97,102,143,177,253,264],"attributed":[70],"two":[72],"desirable":[73],"features;":[74],"its":[75,216],"fixed-size":[76],"proof":[77,208],"very":[80,98,106],"light":[81],"computation":[82,89,115,150,171,184,248],"load":[83,90,109,136],"verifier.":[86],"However,":[87],"prover":[93,213],"QAP-based":[95],"zkSNARKs,":[96],"heavy,":[99],"even-though":[100],"it":[101],"designed":[103],"be":[105,111,122,158,167],"efficient.":[107],"can":[110,214],"beyond":[112],"prover's":[114,148,182,259,274],"power":[116],"handle,":[118],"offloaded":[123,139],"external":[126,284],"servers.":[127,285],"In":[128,187,201],"existing":[130],"offloading":[131],"solutions,":[132],"either":[133],"(i)":[134,223],"computation,":[138],"each":[141,175,251],"sever,":[142],"fraction":[145],"primary":[149,183,260],"(e.g.,":[151,185],"DZIK),":[152],"however":[153],"servers":[155,162],"need":[156],"trusted,":[159,168],"(ii)":[160,246],"not":[164],"required":[165],"but":[169],"complexity":[172,249],"imposed":[173],"one":[176],"same":[179],"Trinocchio).":[186],"this":[188],"paper,":[189],"we":[190,203,267],"present":[191],"scheme,":[193],"which":[194],"benefits":[197],"both":[199],"solutions.":[200],"particular,":[202],"propose":[204],"secure":[206],"multi-party":[207],"generation":[209],"algorithm":[210,275],"where":[211,222],"delegate":[215],"task":[217],"$N":[219],"$":[220],"servers,":[221,232],"even":[224],"if":[225],"group":[227],"$T":[229],"\\in":[230],"\\mathbb{N}$":[231],"$T\\le":[233],"N$,":[234],"collude,":[235],"they":[236],"cannot":[237],"gain":[238],"any":[239],"information":[240],"about":[241],"secret":[243],"server":[252],"less":[254],"than":[255],"$1/(N-T)$":[256],"computation.":[261],"The":[262],"design":[263],"don't":[268],"lose":[269],"efficiency":[271],"process":[278],"delegating":[280],"tasks":[282]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}