{"id":"https://openalex.org/W2989230924","doi":"https://doi.org/10.1145/3319535.3339820","title":"LegoSNARK","display_name":"LegoSNARK","publication_year":2019,"publication_date":"2019-11-06","ids":{"openalex":"https://openalex.org/W2989230924","doi":"https://doi.org/10.1145/3319535.3339820","mag":"2989230924"},"language":"en","primary_location":{"id":"doi:10.1145/3319535.3339820","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3319535.3339820","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security","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/A5007176053","display_name":"Matteo Campanelli","orcid":"https://orcid.org/0000-0001-8184-4704"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Matteo Campanelli","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"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","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"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052174647","display_name":"Ana\u00efs Querol","orcid":null},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]},{"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"],"is_corresponding":false,"raw_author_name":"Ana\u00efs Querol","raw_affiliation_strings":["IMDEA Software Institute & Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute & Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154","https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5007176053"],"corresponding_institution_ids":["https://openalex.org/I4210162154"],"apc_list":null,"apc_paid":null,"fwci":7.2155,"has_fulltext":false,"cited_by_count":140,"citation_normalized_percentile":{"value":0.97625033,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"2075","last_page":"2092"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9995999932289124,"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.9995999932289124,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9886999726295471,"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/T11424","display_name":"Security and Verification in Computing","score":0.978600025177002,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8286181688308716},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.7644919157028198},{"id":"https://openalex.org/keywords/gadget","display_name":"Gadget","score":0.7263224720954895},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6591904759407043},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5793341398239136},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.5528964400291443},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.552498459815979},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.5508954524993896},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4823819696903229},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.471747487783432},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.44926851987838745},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4313993752002716},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41340431571006775},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2421663999557495},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13549378514289856},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11673307418823242}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8286181688308716},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.7644919157028198},{"id":"https://openalex.org/C119770614","wikidata":"https://www.wikidata.org/wiki/Q5516347","display_name":"Gadget","level":2,"score":0.7263224720954895},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6591904759407043},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5793341398239136},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.5528964400291443},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.552498459815979},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.5508954524993896},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4823819696903229},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.471747487783432},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.44926851987838745},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4313993752002716},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41340431571006775},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2421663999557495},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13549378514289856},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11673307418823242},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3319535.3339820","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3319535.3339820","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3864877474","display_name":null,"funder_award_id":"S2018/TCS-4339","funder_id":"https://openalex.org/F4320325116","funder_display_name":"Consejer\u00eda de Educaci\u00f3n, Juventud y Deporte, Comunidad de Madrid"}],"funders":[{"id":"https://openalex.org/F4320325116","display_name":"Consejer\u00eda de Educaci\u00f3n, Juventud y Deporte, Comunidad de Madrid","ror":"https://ror.org/038tahs86"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W835751452","https://openalex.org/W1424543055","https://openalex.org/W1970606468","https://openalex.org/W1970808997","https://openalex.org/W2002616520","https://openalex.org/W2043007983","https://openalex.org/W2049982182","https://openalex.org/W2067700169","https://openalex.org/W2082647621","https://openalex.org/W2095708839","https://openalex.org/W2100818808","https://openalex.org/W2166670067","https://openalex.org/W2171337840","https://openalex.org/W2192481898","https://openalex.org/W2394843291","https://openalex.org/W2473389213","https://openalex.org/W2496543269","https://openalex.org/W2676157184","https://openalex.org/W2765206040","https://openalex.org/W2768583136","https://openalex.org/W2769337162","https://openalex.org/W2882986534","https://openalex.org/W2883585522","https://openalex.org/W2884510571","https://openalex.org/W2884599530","https://openalex.org/W2964279767","https://openalex.org/W4210966189"],"related_works":["https://openalex.org/W4252293060","https://openalex.org/W4212943538","https://openalex.org/W2475971442","https://openalex.org/W4312756098","https://openalex.org/W3194202522","https://openalex.org/W4319586723","https://openalex.org/W2206440698","https://openalex.org/W3091274767","https://openalex.org/W3109836769","https://openalex.org/W4399583465"],"abstract_inverted_index":{"We":[0,68],"study":[1],"the":[2,28,66,79,134,141,201,299,305],"problem":[3],"of":[4,136,176,192,227,234,257,301,308],"building":[5],"non-interactive":[6],"proof":[7,169,229,249],"systems":[8],"modularly":[9],"by":[10],"linking":[11],"small":[12],"specialized":[13,76],"\"gadget\"":[14],"SNARKs":[15,77],"in":[16,50,124,277,298],"a":[17,96,110,117,121,127,137,151,182,189,232,254,266,274,282,290,322],"lightweight":[18],"manner.":[19],"Our":[20,147],"motivation":[21],"is":[22,149],"both":[23],"theoretical":[24,29],"and":[25,37,63,106,139,240,271,294,316],"practical.":[26],"On":[27],"side,":[30],"modular":[31,128],"SNARK":[32,284],"designs":[33],"would":[34,113],"be":[35,61,82,210,219],"flexible":[36],"reusable.":[38],"Also,":[39],"previous":[40,51],"works":[41,92],"(e.g.,":[42],"Geppetto)":[43],"consider":[44],"They":[45],"have":[46,78,93],"been":[47],"successfully":[48],"employed":[49],"works.(cite":[52],"prev":[53],"papers":[54],").":[55],"These":[56],"approaches,":[57],"however,":[58],"tend":[59],"to":[60,64,70,81,116,184,188,221,245],"ad-hoc":[62],"reinventing":[65],"wheel.":[67],"propose":[69],"fill":[71],"this":[72],"gap.":[73],"In":[74],"practice,":[75],"potential":[80],"more":[83],"efficient":[84],"than":[85],"general-purpose":[86,111],"schemes,":[87],"on":[88],"which":[89],"most":[90],"existing":[91,193],"focused.":[94],"If":[95],"computation":[97,138],"naturally":[98],"presents":[99],"different":[100],"\"components\"":[101],"(e.g.":[102],"one":[103,107,130,206,213],"arithmetic":[104,286],"circuit":[105,302],"boolean":[108],"circuit),":[109],"scheme":[112,208,217,307],"homogenize":[114],"them":[115,197],"single":[118],"representation":[119],"with":[120,265,313],"subsequent":[122],"cost":[123],"performance.":[125],"Through":[126],"approach":[129],"could":[131],"instead":[132],"exploit":[133],"nuances":[135],"choose":[140],"best":[142],"gadget":[143],"for":[144,155,171,231,285,324],"each":[145],"component.":[146],"contribution":[148],"LegoSNARK,":[150],"\"toolbox\"":[152],"(or":[153],"framework)":[154],"commit-and-prove":[156,186,255],"zkSNARKs":[157],"(CP-SNARKs)":[158],"that":[159,260,272,288,327],"includes:":[160],"1)":[161],"General":[162],"composition":[163],"tools:":[164],"build":[165],"new":[166,247],"CP-SNARKs":[167],"from":[168],"gadgets":[170,230],"basic":[172],"relationssimply.":[173],"Formalize":[174],"notion":[175],"cc-SNARK.":[177],"2)":[178],"A":[179,225],"\"lifting\"":[180],"tool:":[181],"compiler":[183],"add":[185],"capabilities":[187],"broad":[190],"class":[191],"zkSNARKsefficiently.":[194],"This":[195],"makes":[196],"interoperable":[198],"(linkable)":[199],"within":[200],"same":[202],"computation.":[203],"For":[204],"example,":[205],"QAP-based":[207],"can":[209,218],"used":[211,220],"prove":[212,222],"component;":[214],"another":[215],"GKR-based":[216],"another.":[223],"3)":[224],"collection":[226],"succinct":[228,248],"variety":[233],"relations.":[235],"Additionally,":[236],"through":[237],"our":[238],"framework":[239],"gadgets,":[241],"we":[242],"are":[243],"able":[244],"obtain":[246],"systems.":[250],"Notably:":[251],"--":[252,280,320],"LegoGro16,":[253],"version":[256],"Groth16":[258],"zkSNARK,":[259],"operates":[261],"over":[262],"data":[263],"committed":[264],"classical":[267],"Pedersen":[268],"vector":[269],"commitment,":[270],"achieves":[273,328],"5000\u00d7":[275],"speedup":[276],"proving":[278,295,318,330],"time.":[279],"LegoUAC,":[281],"pairing-based":[283],"circuits":[287],"has":[289],"universal,":[291],"circuit-independent,":[292],"CRS,":[293],"time":[296],"linear":[297],"number":[300],"gates":[303],"(vs.":[304],"recent":[306],"Groth":[309],"et":[310],"al.":[311],"(CRYPTO'18)":[312],"quadratic":[314],"CRS":[315],"quasilinear":[317],"time).":[319],"LegoMM,":[321],"CP-SNARK":[323],"matrix":[325],"multiplication":[326],"optimal":[329],"complexity.":[331]},"counts_by_year":[{"year":2026,"cited_by_count":7},{"year":2025,"cited_by_count":30},{"year":2024,"cited_by_count":31},{"year":2023,"cited_by_count":22},{"year":2022,"cited_by_count":18},{"year":2021,"cited_by_count":18},{"year":2020,"cited_by_count":13},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2019-11-22T00:00:00"}