{"id":"https://openalex.org/W4407186325","doi":"https://doi.org/10.48550/arxiv.2502.02387","title":"SoK: Understanding zk-SNARKs: The Gap Between Research and Practice","display_name":"SoK: Understanding zk-SNARKs: The Gap Between Research and Practice","publication_year":2025,"publication_date":"2025-02-04","ids":{"openalex":"https://openalex.org/W4407186325","doi":"https://doi.org/10.48550/arxiv.2502.02387"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2502.02387","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.02387","pdf_url":"https://arxiv.org/pdf/2502.02387","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2502.02387","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5116167502","display_name":"Junkai Liang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang, Junkai","raw_affiliation_strings":["Peking University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University ,","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hu, Daqi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hu, Daqi","raw_affiliation_strings":["Peking University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University ,","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103249299","display_name":"Pengfei Wu","orcid":"https://orcid.org/0000-0002-6163-0917","observed_orcids":["https://orcid.org/0000-0002-6163-0917"]},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Wu, Pengfei","raw_affiliation_strings":["Singapore Management University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Singapore Management University ,","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yang, Yunbo","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang, Yunbo","raw_affiliation_strings":["East China Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035938543","display_name":"Qingni Shen","orcid":"https://orcid.org/0000-0002-0605-6043","observed_orcids":["https://orcid.org/0000-0002-0605-6043"]},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shen, Qingni","raw_affiliation_strings":["Peking University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University ,","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114149999","display_name":"Z.-G Wu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wu, Zhonghai","raw_affiliation_strings":["Peking University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University ,","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.002099999925121665,"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.0005000000237487257,"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/zk-snarks","display_name":"zk-SNARKs","score":0.9990000128746033},{"id":"https://openalex.org/keywords/succinct-non-interactive-arguments-of-knowledge","display_name":"succinct non-interactive arguments of knowledge","score":0.9179999828338623},{"id":"https://openalex.org/keywords/zero-knowledge-proofs","display_name":"zero-knowledge proofs","score":0.9490000009536743},{"id":"https://openalex.org/keywords/constraint-systems","display_name":"constraint systems","score":0.8650000095367432},{"id":"https://openalex.org/keywords/compiler-toolchain","display_name":"compiler toolchain","score":0.5320000052452087},{"id":"https://openalex.org/keywords/library-usability","display_name":"library usability","score":0.4390000104904175},{"id":"https://openalex.org/keywords/compatibility","display_name":"compatibility","score":0.4300000071525574},{"id":"https://openalex.org/keywords/standardization","display_name":"standardization","score":0.7879999876022339},{"id":"https://openalex.org/keywords/research-practice-gap","display_name":"research-practice gap","score":0.5619999766349792}],"concepts":[{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.35731804370880127},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33598649501800537}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2502.02387","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.02387","pdf_url":"https://arxiv.org/pdf/2502.02387","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2502.02387","doi":"https://doi.org/10.48550/arxiv.2502.02387","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2502.02387","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2502.02387","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.02387","pdf_url":"https://arxiv.org/pdf/2502.02387","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4407186325.pdf","grobid_xml":"https://content.openalex.org/works/W4407186325.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W4392182262"],"related_works":["https://openalex.org/W7197450362","https://openalex.org/W4392182262","https://openalex.org/W7160015697","https://openalex.org/W4392529207","https://openalex.org/W7162642410","https://openalex.org/W7172233585","https://openalex.org/W4365815708","https://openalex.org/W4308411318","https://openalex.org/W4402355140","https://openalex.org/W4405724398"],"abstract_inverted_index":{"Zero-knowledge":[0],"succinct":[1],"non-interactive":[2],"arguments":[3],"of":[4,26,66,183],"knowledge":[5],"(zk-SNARKs)":[6],"are":[7],"a":[8,63,79,89,92,127,171,204],"powerful":[9],"tool":[10],"for":[11,181,217],"proving":[12,41,189],"computation":[13],"correctness,":[14],"attracting":[15],"significant":[16],"interest":[17],"from":[18,68],"researchers,":[19],"developers,":[20],"and":[21,46,51,56,74,125,133,157,161,215,225],"users.":[22],"However,":[23],"the":[24,84,107,136,179,188,192,200,218],"complexity":[25],"zk-SNARKs":[27,98,122],"has":[28],"created":[29],"gaps":[30,73],"between":[31,114],"these":[32,152,163],"groups,":[33],"hindering":[34],"progress.":[35],"Researchers":[36],"focus":[37,194],"on":[38,151],"constructing":[39],"efficient":[40],"systems":[42,165],"with":[43],"stronger":[44],"security":[45],"new":[47],"properties,":[48],"while":[49],"developers":[50],"users":[52],"prioritize":[53],"toolchains,":[54],"usability,":[55,154],"compatibility.":[57,226],"In":[58,198],"this":[59,210],"work,":[60],"we":[61,141,168,212],"provide":[62,126,170],"comprehensive":[64],"study":[65],"zk-SNARK,":[67],"theory":[69],"to":[70,100,177,221],"practice,":[71],"pinpointing":[72],"limitations.":[75,158],"We":[76,94,118,149,185],"first":[77],"present":[78],"master":[80,139],"recipe":[81],"that":[82,187],"unifies":[83],"main":[85,108],"steps":[86,137],"in":[87,110,138,175,195,206],"converting":[88],"program":[90],"into":[91],"zk-SNARK.":[93],"then":[95,142],"classify":[96],"existing":[97,115],"according":[99],"their":[101,131],"key":[102],"techniques.":[103],"Our":[104],"classification":[105],"addresses":[106],"difference":[109],"practically":[111],"valuable":[112],"properties":[113],"zk-SNARK":[116,164],"schemes.":[117],"survey":[119,143],"over":[120],"40":[121],"since":[123],"2013":[124],"reference":[128],"table":[129],"listing":[130],"categories":[132],"properties.":[134],"Following":[135],"recipe,":[140],"11":[144],"general-purpose":[145],"popular":[146],"used":[147],"libraries.":[148],"elaborate":[150],"libraries'":[153],"compatibility,":[155],"efficiency":[156],"Since":[159],"installing":[160],"executing":[162],"is":[166,191],"challenging,":[167],"also":[169],"completely":[172],"virtual":[173],"environment":[174],"which":[176],"run":[178],"compiler":[180],"each":[182],"them.":[184],"identify":[186],"system":[190,202],"primary":[193],"cryptography":[196],"academia.":[197],"contrast,":[199],"constraint":[201],"presents":[203],"bottleneck":[205],"industry.":[207],"To":[208],"bridge":[209],"gap,":[211],"offer":[213],"recommendations":[214],"advocate":[216],"opensource":[219],"community":[220],"enhance":[222],"documentation,":[223],"standardization":[224]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":8}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2025-02-06T00:00:00"}