{"id":"https://openalex.org/W4365807461","doi":"https://doi.org/10.1007/978-3-031-30617-4_11","title":"Witness-Succinct Universally-Composable SNARKs","display_name":"Witness-Succinct Universally-Composable SNARKs","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4365807461","doi":"https://doi.org/10.1007/978-3-031-30617-4_11"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30617-4_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-30617-4_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://pure.au.dk/portal/en/publications/f71806e9-2a74-434a-9632-b312b61d6030","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067115934","display_name":"Chaya Ganesh","orcid":"https://orcid.org/0000-0002-2909-9177"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Chaya Ganesh","raw_affiliation_strings":["Indian Institute of Science, Bengaluru, India"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, Bengaluru, India","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061724724","display_name":"Yashvanth Kondi","orcid":"https://orcid.org/0009-0008-1848-9234"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Yashvanth Kondi","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028570693","display_name":"Claudio Orlandi","orcid":"https://orcid.org/0000-0003-4992-0249"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Claudio Orlandi","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064734346","display_name":"Mahak Pancholi","orcid":"https://orcid.org/0009-0006-5317-5535"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Mahak Pancholi","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062998951","display_name":"Akira Takahashi","orcid":"https://orcid.org/0000-0001-8556-3053"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Akira Takahashi","raw_affiliation_strings":["University of Edinburgh, Edinburgh, Scotland"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, Scotland","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019867191","display_name":"Daniel Tschudi","orcid":"https://orcid.org/0000-0001-6188-1049"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniel Tschudi","raw_affiliation_strings":["Concordium, Zug, Switzerland"],"affiliations":[{"raw_affiliation_string":"Concordium, Zug, Switzerland","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5062998951"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":10.7726,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.98693336,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"315","last_page":"346"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998000264167786,"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.9998000264167786,"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9873999953269958,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9850999712944031,"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/computer-science","display_name":"Computer science","score":0.7759232521057129},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7555211186408997},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.7309707999229431},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5678802132606506},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.5235204696655273},{"id":"https://openalex.org/keywords/succinctness","display_name":"Succinctness","score":0.4961009919643402},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3077622056007385},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.218550443649292},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21332725882530212},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.09249234199523926},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.08602145314216614}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7759232521057129},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7555211186408997},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.7309707999229431},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5678802132606506},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5235204696655273},{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.4961009919643402},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3077622056007385},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.218550443649292},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21332725882530212},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.09249234199523926},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.08602145314216614},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-30617-4_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-30617-4_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire/f71806e9-2a74-434a-9632-b312b61d6030","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/f71806e9-2a74-434a-9632-b312b61d6030","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ganesh, C, Kondi, Y M, Orlandi, C, Pancholi, M R, Takahashi, A & Tschudi, D 2023, Witness-Succinct Universally-Composable SNARKs. in C Hazay & M Stam (eds), Advances in Cryptology \u2013 EUROCRYPT 2023 : 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23\u201327, 2023, Proceedings, Part II. Springer, Cham, Lecture Notes in Computer Science, vol. 14005, pp. 315\u2013346. https://doi.org/10.1007/978-3-031-30617-4_11","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/f71806e9-2a74-434a-9632-b312b61d6030","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/f71806e9-2a74-434a-9632-b312b61d6030","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ganesh, C, Kondi, Y M, Orlandi, C, Pancholi, M R, Takahashi, A & Tschudi, D 2023, Witness-Succinct Universally-Composable SNARKs. in C Hazay & M Stam (eds), Advances in Cryptology \u2013 EUROCRYPT 2023 : 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23\u201327, 2023, Proceedings, Part II. Springer, Cham, Lecture Notes in Computer Science, vol. 14005, pp. 315\u2013346. https://doi.org/10.1007/978-3-031-30617-4_11","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7599999904632568,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W159162986","https://openalex.org/W1005246175","https://openalex.org/W1499934958","https://openalex.org/W1505345253","https://openalex.org/W1508362310","https://openalex.org/W1532874975","https://openalex.org/W1548963432","https://openalex.org/W1557288322","https://openalex.org/W1562226375","https://openalex.org/W1576428636","https://openalex.org/W1590713339","https://openalex.org/W1805451635","https://openalex.org/W1887013885","https://openalex.org/W1909324101","https://openalex.org/W1970808997","https://openalex.org/W2013686252","https://openalex.org/W2018746447","https://openalex.org/W2038202352","https://openalex.org/W2040438296","https://openalex.org/W2051250911","https://openalex.org/W2052267638","https://openalex.org/W2059808351","https://openalex.org/W2067596507","https://openalex.org/W2077140897","https://openalex.org/W2090903439","https://openalex.org/W2113085788","https://openalex.org/W2117685508","https://openalex.org/W2136530453","https://openalex.org/W2159339434","https://openalex.org/W2189468733","https://openalex.org/W2291472021","https://openalex.org/W2473389213","https://openalex.org/W2496543269","https://openalex.org/W2536319456","https://openalex.org/W2726052863","https://openalex.org/W2739487772","https://openalex.org/W2765206040","https://openalex.org/W2795109472","https://openalex.org/W2883748642","https://openalex.org/W2884510571","https://openalex.org/W2884599530","https://openalex.org/W2898776076","https://openalex.org/W2949331520","https://openalex.org/W2982474429","https://openalex.org/W2984674716","https://openalex.org/W3023964980","https://openalex.org/W3030841918","https://openalex.org/W3091322675","https://openalex.org/W3097686659","https://openalex.org/W3109568238","https://openalex.org/W3113554767","https://openalex.org/W3191505753","https://openalex.org/W3192998623","https://openalex.org/W3203555989","https://openalex.org/W3205422116","https://openalex.org/W3207075287","https://openalex.org/W3209656134","https://openalex.org/W4294768166","https://openalex.org/W4320082969","https://openalex.org/W4320155028"],"related_works":["https://openalex.org/W2359995945","https://openalex.org/W1609236127","https://openalex.org/W1581583767","https://openalex.org/W1999147218","https://openalex.org/W2170813354","https://openalex.org/W302213122","https://openalex.org/W2109725814","https://openalex.org/W4235411703","https://openalex.org/W3194225004","https://openalex.org/W795970866"],"abstract_inverted_index":{"Zero-knowledge":[0],"Succinct":[1],"Non-interactive":[2],"ARguments":[3],"of":[4,22,30,51,92,133,146],"Knowledge":[5],"(zkSNARKs)":[6],"are":[7,81],"becoming":[8],"an":[9],"increasingly":[10],"fundamental":[11],"tool":[12],"in":[13,34,53,121],"many":[14],"real-world":[15],"applications":[16],"where":[17],"the":[18,23,35,54,64,122,130,144,149],"proof":[19,29],"compactness":[20],"is":[21,67],"utmost":[24],"importance,":[25],"including":[26],"blockchains.":[27],"A":[28],"security":[31,50],"for":[32],"SNARKs":[33,52,88],"Universal":[36],"Composability":[37],"(UC)":[38],"framework":[39],"(Canetti,":[40],"FOCS\u201901)":[41],"would":[42,73],"rule":[43],"out":[44],"devastating":[45],"malleability":[46],"attacks.":[47],"To":[48],"retain":[49],"UC":[55,104],"model,":[56,126],"one":[57,120],"must":[58],"show":[59],"their":[60],"simulation-extractability":[61,85],"such":[62],"that":[63,75],"knowledge":[65],"extractor":[66],"both":[68],"black-box":[69],"and":[70,155],"straight-line,":[71],"which":[72],"imply":[74],"proofs":[76],"generated":[77],"by":[78],"honest":[79],"provers":[80],"non-malleable.":[82],"However,":[83],"existing":[84,139],"results":[86],"on":[87],"either":[89],"lack":[90],"some":[91],"these":[93],"properties,":[94],"or":[95],"alternatively":[96],"have":[97],"to":[98,102,143],"sacrifice":[99],"witness":[100,134],"succinctness":[101],"prove":[103],"security.":[105],"In":[106],"this":[107,137],"paper,":[108],"we":[109,141],"provide":[110],"a":[111,118],"compiler":[112],"lifting":[113],"any":[114],"simulation-extractable":[115],"NIZKAoK":[116],"into":[117],"UC-secure":[119],"global":[123],"random":[124],"oracle":[125],"importantly,":[127],"while":[128],"preserving":[129],"same":[131],"level":[132],"succinctness.":[135],"Combining":[136],"with":[138],"zkSNARKs,":[140],"achieve,":[142],"best":[145],"our":[147],"knowledge,":[148],"first":[150],"zkSNARKs":[151],"simultaneously":[152],"achieving":[153],"UC-security":[154],"constant":[156],"sized":[157],"proofs.":[158]},"counts_by_year":[{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-04T09:10:02.777135","created_date":"2025-10-10T00:00:00"}