{"id":"https://openalex.org/W2991209463","doi":"https://doi.org/10.1007/s10623-023-01245-1","title":"Zero-knowledge proofs for set membership: efficient, succinct, modular","display_name":"Zero-knowledge proofs for set membership: efficient, succinct, modular","publication_year":2023,"publication_date":"2023-07-01","ids":{"openalex":"https://openalex.org/W2991209463","doi":"https://doi.org/10.1007/s10623-023-01245-1","mag":"2991209463"},"language":"en","primary_location":{"id":"doi:10.1007/s10623-023-01245-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10623-023-01245-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10623-023-01245-1.pdf","source":{"id":"https://openalex.org/S81616010","display_name":"Designs Codes and Cryptography","issn_l":"0925-1022","issn":["0925-1022","1573-7586"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Designs, Codes and Cryptography","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10623-023-01245-1.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067855618","display_name":"Daniel Benarroch","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniel Benarroch","raw_affiliation_strings":["Inversed Technologies, Madrid, Spain","cLabs, Berlin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inversed Technologies, Madrid, Spain","institution_ids":[]},{"raw_affiliation_string":"cLabs, Berlin, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007176053","display_name":"Matteo Campanelli","orcid":"https://orcid.org/0000-0001-8184-4704"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Matteo Campanelli","raw_affiliation_strings":["Protocol Labs, San Francisco, USA","cLabs, Berlin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Protocol Labs, San Francisco, USA","institution_ids":[]},{"raw_affiliation_string":"cLabs, Berlin, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030511364","display_name":"Dario Fiore","orcid":"https://orcid.org/0000-0001-7274-6600"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Dario Fiore","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain","cLabs, Berlin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"cLabs, Berlin, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075495677","display_name":"Kobi Gurkan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210152054","display_name":"General Electric (United Kingdom)","ror":"https://ror.org/03yt24h27","country_code":"GB","type":"company","lineage":["https://openalex.org/I1332737386","https://openalex.org/I4210152054"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES","GB"],"is_corresponding":false,"raw_author_name":"Kobi Gurkan","raw_affiliation_strings":["Geometry Research, London, UK","Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","cLabs, Berlin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Geometry Research, London, UK","institution_ids":["https://openalex.org/I4210152054"]},{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"cLabs, Berlin, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030145655","display_name":"Dimitris Kolonelos","orcid":"https://orcid.org/0000-0001-6555-0589"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Dimitris Kolonelos","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain","Protocol Labs, San Francisco, USA","cLabs, Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0001-6555-0589","affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"Protocol Labs, San Francisco, USA","institution_ids":[]},{"raw_affiliation_string":"cLabs, Berlin, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":2.4452,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.90783577,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"91","issue":"11","first_page":"3457","last_page":"3525"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":1.0,"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":1.0,"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.9987000226974487,"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.9969000220298767,"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/algorithm","display_name":"Algorithm","score":0.6238749027252197},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5552376508712769},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.46494853496551514},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36715129017829895},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.35274767875671387},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.33927929401397705}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6238749027252197},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5552376508712769},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.46494853496551514},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36715129017829895},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.35274767875671387},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.33927929401397705}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10623-023-01245-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10623-023-01245-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10623-023-01245-1.pdf","source":{"id":"https://openalex.org/S81616010","display_name":"Designs Codes and Cryptography","issn_l":"0925-1022","issn":["0925-1022","1573-7586"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Designs, Codes and Cryptography","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10623-023-01245-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10623-023-01245-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10623-023-01245-1.pdf","source":{"id":"https://openalex.org/S81616010","display_name":"Designs Codes and Cryptography","issn_l":"0925-1022","issn":["0925-1022","1573-7586"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Designs, Codes and Cryptography","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G387917957","display_name":null,"funder_award_id":"S2018/TCS-4339","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4359099593","display_name":"Cryptography for Privacy and Integrity of Computation on Untrusted Machines","funder_award_id":"101001283","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8475781007","display_name":"Cryptography for Privacy and Integrity of Computation on Untrusted Machines","funder_award_id":"101001283","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320309928","display_name":"Aarhus Universitet","ror":"https://ror.org/01aj84f44"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2991209463.pdf"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W2137705","https://openalex.org/W31244460","https://openalex.org/W1561877077","https://openalex.org/W1607188293","https://openalex.org/W1970606468","https://openalex.org/W2013686672","https://openalex.org/W2018746447","https://openalex.org/W2031618446","https://openalex.org/W2043007983","https://openalex.org/W2067047774","https://openalex.org/W2113085788","https://openalex.org/W2141395382","https://openalex.org/W2148509425","https://openalex.org/W2470757336","https://openalex.org/W2496543269","https://openalex.org/W2535060913","https://openalex.org/W2734207648","https://openalex.org/W2882986534","https://openalex.org/W2883748642","https://openalex.org/W2967236513","https://openalex.org/W2989230924","https://openalex.org/W3013097088","https://openalex.org/W3015343560","https://openalex.org/W3125944381","https://openalex.org/W3204585232","https://openalex.org/W3208203740","https://openalex.org/W4308410007","https://openalex.org/W4308633401","https://openalex.org/W4308641918","https://openalex.org/W4387028953"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W3046775127","https://openalex.org/W3107602296","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W4313488044","https://openalex.org/W3209574120","https://openalex.org/W4312192474","https://openalex.org/W4210805261"],"abstract_inverted_index":{"Abstract":[0],"We":[1,72,113,195],"consider":[2],"the":[3,23,143],"problem":[4,43,81],"of":[5,13,69,142,249],"proving":[6,93,124,244],"in":[7,45,105,140,223],"zero":[8],"knowledge":[9],"that":[10,103,212],"an":[11],"element":[12],"a":[14,18,100,106,200,247],"public":[15,107,230],"set":[16,88,160,248],"satisfies":[17],"given":[19],"property":[20],"without":[21],"disclosing":[22],"element,":[24],"i.e.,":[25],"for":[26,54,79,87,99,168,246],"some":[27],"u":[28,39,102,154,171],",":[29,90,122],"\u201c":[30,145],"$$u":[31,94,125,146],"\\in":[32,95,147],"S$$":[33,96,127,148],"<mml:math":[34,97,110,128,149,236,241,252],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:mi>u</mml:mi><mml:mo>\u2208</mml:mo><mml:mi>S</mml:mi></mml:mrow></mml:math>":[35,98,150],"and":[36,76,151,203,220,232],"P":[37,152,169],"(":[38,153,170],")":[40,155],"holds\u201d.":[41],"This":[42],"arises":[44],"many":[46],"applications":[47],"(anonymous":[48],"cryptocurrencies,":[49],"credentials":[50],"or":[51,56,193],"whitelists)":[52],"where,":[53],"privacy":[55],"anonymity":[57],"reasons,":[58],"it":[59],"is":[60,104],"crucial":[61],"to":[62,118,209],"hide":[63],"certain":[64],"data":[65],"while":[66],"ensuring":[67],"properties":[68],"such":[70,190],"data.":[71],"design":[73],"new":[74,83],"modular":[75],"efficient":[77],"constructions":[78],"this":[80],"through":[82],"commit-and-prove":[84,166],"zero-knowledge":[85],"systems":[86,162,189],"membership":[89],"i.e.":[91,123],"schemes":[92,198],"value":[101],"commitment":[108],"$$c_u$$":[109],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:msub><mml:mi>c</mml:mi><mml:mi>u</mml:mi></mml:msub></mml:math>":[111],".":[112,130,254],"also":[114],"extend":[115],"our":[116,133,159,197],"results":[117],"support":[119],"non-membership":[120],"proofs":[121],"\\notin":[126],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:mi>u</mml:mi><mml:mo>\u2209</mml:mo><mml:mi>S</mml:mi></mml:mrow></mml:math>":[129],"Being":[131],"commit-and-prove,":[132],"solutions":[134,225],"can":[135],"act":[136],"as":[137,191,199],"plug-and-play":[138],"modules":[139],"statements":[141],"form":[144],"holds\u201d":[156],"by":[157],"combining":[158,218],"(non-)membership":[161],"with":[163,176,187],"any":[164],"other":[165],"scheme":[167],").":[172],"Also,":[173],"they":[174],"work":[175,211],"Pedersen":[177],"commitments":[178],"over":[179],"prime":[180],"order":[181],"groups":[182],"which":[183],"makes":[184],"them":[185],"compatible":[186],"popular":[188],"Bulletproofs":[192],"Groth16.":[194],"implemented":[196],"software":[201],"library,":[202],"tested":[204],"experimentally":[205],"their":[206],"performance.":[207],"Compared":[208],"previous":[210],"achieves":[213],"similar":[214],"properties\u2014the":[215],"clever":[216],"techniques":[217],"zkSNARKs":[219],"Merkle":[221],"Trees":[222],"Zcash\u2014our":[224],"offer":[226],"more":[227],"flexibility,":[228],"shorter":[229],"parameters":[231],"$$3.7":[233],"\\times":[234],"$$":[235,240],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:mn>3.7</mml:mn><mml:mo>\u00d7</mml:mo></mml:mrow></mml:math>":[237],"\u2013":[238],"$$30\\times":[239],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:mn>30</mml:mn><mml:mo>\u00d7</mml:mo></mml:mrow></mml:math>":[242],"faster":[243],"time":[245],"size":[250],"$$2^{64}$$":[251],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:msup><mml:mn>2</mml:mn><mml:mn>64</mml:mn></mml:msup></mml:math>":[253]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":6},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2025-10-10T00:00:00"}