{"id":"https://openalex.org/W4392954989","doi":"https://doi.org/10.1186/s42400-024-00215-x","title":"Shorter ZK-SNARKs from square span programs over ideal lattices","display_name":"Shorter ZK-SNARKs from square span programs over ideal lattices","publication_year":2024,"publication_date":"2024-03-19","ids":{"openalex":"https://openalex.org/W4392954989","doi":"https://doi.org/10.1186/s42400-024-00215-x"},"language":"en","primary_location":{"id":"doi:10.1186/s42400-024-00215-x","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s42400-024-00215-x","pdf_url":"https://cybersecurity.springeropen.com/counter/pdf/10.1186/s42400-024-00215-x","source":{"id":"https://openalex.org/S3035238565","display_name":"Cybersecurity","issn_l":"2523-3246","issn":["2523-3246"],"is_oa":true,"is_in_doaj":true,"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":"Cybersecurity","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://cybersecurity.springeropen.com/counter/pdf/10.1186/s42400-024-00215-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111192827","display_name":"Xi Lin","orcid":"https://orcid.org/0009-0000-1299-9008"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xi Lin","raw_affiliation_strings":["Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091111304","display_name":"Heyang Cao","orcid":"https://orcid.org/0009-0006-0180-0319"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Heyang Cao","raw_affiliation_strings":["Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0006-0180-0319","affiliations":[{"raw_affiliation_string":"Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083215230","display_name":"Feng-Hao Liu","orcid":"https://orcid.org/0000-0003-4298-3925"},"institutions":[{"id":"https://openalex.org/I72951846","display_name":"Washington State University","ror":"https://ror.org/05dk0ce17","country_code":"US","type":"education","lineage":["https://openalex.org/I72951846"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Feng-Hao Liu","raw_affiliation_strings":["School of Electrical Engineering & Computer Science, Washington State University, Pullman, WA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering & Computer Science, Washington State University, Pullman, WA, USA","institution_ids":["https://openalex.org/I72951846"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001471258","display_name":"Zhedong Wang","orcid":"https://orcid.org/0000-0001-5226-2131"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhedong Wang","raw_affiliation_strings":["School of Cyber Science and Engineering, Shanghai Jiaotong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Engineering, Shanghai Jiaotong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108047865","display_name":"Ming\u2010Sheng Wang","orcid":"https://orcid.org/0000-0002-2400-719X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingsheng Wang","raw_affiliation_strings":["Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2219,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81494283,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"7","issue":"1","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.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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11130","display_name":"Coding theory and cryptography","score":0.9973999857902527,"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/ideal","display_name":"Ideal (ethics)","score":0.7843685746192932},{"id":"https://openalex.org/keywords/square","display_name":"Square (algebra)","score":0.7206910848617554},{"id":"https://openalex.org/keywords/span","display_name":"Span (engineering)","score":0.5948535203933716},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4432949125766754},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.40372297167778015},{"id":"https://openalex.org/keywords/structural-engineering","display_name":"Structural engineering","score":0.17849186062812805},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17466598749160767},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09066969156265259},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.05689537525177002}],"concepts":[{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.7843685746192932},{"id":"https://openalex.org/C135692309","wikidata":"https://www.wikidata.org/wiki/Q111124","display_name":"Square (algebra)","level":2,"score":0.7206910848617554},{"id":"https://openalex.org/C2778753569","wikidata":"https://www.wikidata.org/wiki/Q1960395","display_name":"Span (engineering)","level":2,"score":0.5948535203933716},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4432949125766754},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40372297167778015},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.17849186062812805},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17466598749160767},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09066969156265259},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.05689537525177002},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1186/s42400-024-00215-x","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s42400-024-00215-x","pdf_url":"https://cybersecurity.springeropen.com/counter/pdf/10.1186/s42400-024-00215-x","source":{"id":"https://openalex.org/S3035238565","display_name":"Cybersecurity","issn_l":"2523-3246","issn":["2523-3246"],"is_oa":true,"is_in_doaj":true,"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":"Cybersecurity","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:4cdecb24492f492bb50539c837221925","is_oa":false,"landing_page_url":"https://doaj.org/article/4cdecb24492f492bb50539c837221925","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cybersecurity, Vol 7, Iss 1, Pp 1-19 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1186/s42400-024-00215-x","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s42400-024-00215-x","pdf_url":"https://cybersecurity.springeropen.com/counter/pdf/10.1186/s42400-024-00215-x","source":{"id":"https://openalex.org/S3035238565","display_name":"Cybersecurity","issn_l":"2523-3246","issn":["2523-3246"],"is_oa":true,"is_in_doaj":true,"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":"Cybersecurity","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1540646457","display_name":null,"funder_award_id":"62202305","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4392954989.pdf"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W236632755","https://openalex.org/W945570858","https://openalex.org/W1538440442","https://openalex.org/W1577653766","https://openalex.org/W1890128745","https://openalex.org/W1970606468","https://openalex.org/W1985439922","https://openalex.org/W1992938819","https://openalex.org/W2031533839","https://openalex.org/W2043007983","https://openalex.org/W2067047774","https://openalex.org/W2070189400","https://openalex.org/W2098290658","https://openalex.org/W2116556172","https://openalex.org/W2166670067","https://openalex.org/W2167236842","https://openalex.org/W2171337840","https://openalex.org/W2177209050","https://openalex.org/W2252150191","https://openalex.org/W2400700555","https://openalex.org/W2496543269","https://openalex.org/W2603155476","https://openalex.org/W2899523861","https://openalex.org/W2950609069","https://openalex.org/W2972929169","https://openalex.org/W3084618241","https://openalex.org/W3113927039","https://openalex.org/W3201715140","https://openalex.org/W3211614912","https://openalex.org/W4210966189","https://openalex.org/W4312987944","https://openalex.org/W4365806595","https://openalex.org/W4377007689","https://openalex.org/W4385654215","https://openalex.org/W4385654747"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793","https://openalex.org/W4238204885"],"abstract_inverted_index":{"Abstract":[0],"Zero-knowledge":[1],"succinct":[2],"non-interactive":[3],"arguments":[4],"of":[5,17,45,73,92,130,156,189,195],"knowledge":[6,220],"(zk-SNARKs)":[7],"are":[8],"cryptographic":[9],"protocols":[10],"that":[11],"offer":[12],"efficient":[13],"and":[14,22,34,71,79,97,114,118,164,170,203,209,230],"privacy-preserving":[15],"means":[16],"verifying":[18],"NP":[19],"language":[20],"relations":[21],"have":[23],"drawn":[24],"considerable":[25],"attention":[26],"for":[27,56],"their":[28],"appealing":[29],"applications,":[30],"e.g.,":[31],"verifiable":[32],"computation":[33],"anonymous":[35],"payment":[36],"protocol.":[37],"Compared":[38,104],"with":[39,105],"the":[40,43,49,57,69,90,127,145,157,171,187,196,213,219],"pre-quantum":[41],"case,":[42],"practicability":[44],"this":[46,62,64,86],"primitive":[47],"in":[48,233],"post-quantum":[50],"setting":[51,215],"is":[52,110,133,174],"still":[53],"unsatisfactory,":[54],"especially":[55],"space":[58],"complexity.":[59],"To":[60],"tackle":[61],"issue,":[63],"work":[65],"seeks":[66],"to":[67,212],"enhance":[68],"efficiency":[70],"compactness":[72],"lattice-based":[74,123,148],"zk-SNARKs,":[75],"including":[76],"proof":[77,117,128],"length":[78,129,173],"common":[80],"reference":[81],"string":[82],"(CRS)":[83],"length.":[84],"In":[85],"paper,":[87],"we":[88],"develop":[89,223],"framework":[91,188],"square":[93],"span":[94],"program-based":[95],"SNARKs":[96],"design":[98],"new":[99],"zk-SNARKs":[100,149],"over":[101],"cyclotomic":[102],"rings.":[103],"previous":[106,122],"works,":[107],"our":[108,131],"construction":[109],"without":[111],"parallel":[112],"repetition":[113],"achieves":[115],"shorter":[116],"CRS":[119,172],"lengths":[120],"than":[121,144],"zk-SNARK":[124],"schemes.":[125],"Particularly,":[126],"scheme":[132],"around":[134],"$$23.3\\%$$":[135],"<mml:math":[136,176],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[137,177],"<mml:mrow>":[138,178],"<mml:mn>23.3</mml:mn>":[139],"<mml:mo>%</mml:mo>":[140],"</mml:mrow>":[141,181],"</mml:math>":[142,182],"smaller":[143],"recent":[146],"shortest":[147],"by":[150,216,227],"Ishai":[151],"et":[152,191],"al.":[153,192],"(in:":[154,193],"Proceedings":[155,194],"2021":[158],"ACM":[159,198],"SIGSAC":[160,199],"conference":[161,200],"on":[162,201],"computer":[163,202],"communications":[165,204],"security,":[166,205],"pp":[167,206],"212\u2013234,":[168],"2021),":[169],"$$3.6\\times$$":[175],"<mml:mn>3.6</mml:mn>":[179],"<mml:mo>\u00d7</mml:mo>":[180],"smaller.":[183],"Our":[184],"constructions":[185,226],"follow":[186],"Gennaro":[190],"2018":[197],"556\u2013573,":[207],"2018),":[208],"adapt":[210],"it":[211],"ring":[214],"slightly":[217],"modifying":[218],"assumptions.":[221],"We":[222],"concretely":[224],"small":[225],"using":[228],"module-switching":[229],"key-switching":[231],"procedures":[232],"a":[234],"novel":[235],"way.":[236]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}