{"id":"https://openalex.org/W4400692708","doi":"https://doi.org/10.1007/s12095-024-00723-0","title":"Uni/multi variate polynomial embeddings for zkSNARKs","display_name":"Uni/multi variate polynomial embeddings for zkSNARKs","publication_year":2024,"publication_date":"2024-07-16","ids":{"openalex":"https://openalex.org/W4400692708","doi":"https://doi.org/10.1007/s12095-024-00723-0"},"language":"en","primary_location":{"id":"doi:10.1007/s12095-024-00723-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s12095-024-00723-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s12095-024-00723-0.pdf","source":{"id":"https://openalex.org/S129219326","display_name":"Cryptography and Communications","issn_l":"1936-2447","issn":["1936-2447","1936-2455"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cryptography and Communications","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/s12095-024-00723-0.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036636567","display_name":"Guang Gong","orcid":"https://orcid.org/0000-0003-2684-9259"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Guang Gong","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5036636567"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":1.8013,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.87046909,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"16","issue":"6","first_page":"1257","last_page":"1288"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9994999766349792,"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.9994999766349792,"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.9958999752998352,"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/T11797","display_name":"graph theory and CDMA systems","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/random-variate","display_name":"Random variate","score":0.8579714894294739},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5695347189903259},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4497213661670685},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.38625916838645935},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3492526710033417},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2177959680557251},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.2089698314666748},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09361419081687927},{"id":"https://openalex.org/keywords/random-variable","display_name":"Random variable","score":0.07728922367095947}],"concepts":[{"id":"https://openalex.org/C141547133","wikidata":"https://www.wikidata.org/wiki/Q7291996","display_name":"Random variate","level":3,"score":0.8579714894294739},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5695347189903259},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4497213661670685},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38625916838645935},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3492526710033417},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2177959680557251},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.2089698314666748},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09361419081687927},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.07728922367095947}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s12095-024-00723-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s12095-024-00723-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s12095-024-00723-0.pdf","source":{"id":"https://openalex.org/S129219326","display_name":"Cryptography and Communications","issn_l":"1936-2447","issn":["1936-2447","1936-2455"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cryptography and Communications","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s12095-024-00723-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s12095-024-00723-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s12095-024-00723-0.pdf","source":{"id":"https://openalex.org/S129219326","display_name":"Cryptography and Communications","issn_l":"1936-2447","issn":["1936-2447","1936-2455"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cryptography and Communications","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6600000262260437,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4400692708.pdf"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W159162986","https://openalex.org/W1471103927","https://openalex.org/W1526993157","https://openalex.org/W1548880861","https://openalex.org/W1557386445","https://openalex.org/W1599026900","https://openalex.org/W1970808997","https://openalex.org/W1976646754","https://openalex.org/W2043007983","https://openalex.org/W2067596507","https://openalex.org/W2069535412","https://openalex.org/W2071520502","https://openalex.org/W2080132708","https://openalex.org/W2082647621","https://openalex.org/W2132605415","https://openalex.org/W2136570131","https://openalex.org/W2144752539","https://openalex.org/W2148352980","https://openalex.org/W2416431186","https://openalex.org/W2477523090","https://openalex.org/W2496543269","https://openalex.org/W2614074621","https://openalex.org/W2765206040","https://openalex.org/W2883585522","https://openalex.org/W2883748642","https://openalex.org/W2898776076","https://openalex.org/W2912568927","https://openalex.org/W2914525031","https://openalex.org/W2954625838","https://openalex.org/W2964028050","https://openalex.org/W2977846258","https://openalex.org/W2982474429","https://openalex.org/W3015343560","https://openalex.org/W3023964980","https://openalex.org/W3037784990","https://openalex.org/W3097836574","https://openalex.org/W3134710142","https://openalex.org/W3163505986","https://openalex.org/W3215622318","https://openalex.org/W4205482204","https://openalex.org/W4243205024","https://openalex.org/W4312884376","https://openalex.org/W4385648276","https://openalex.org/W4385891514"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W4254888883","https://openalex.org/W2784077364","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596"],"abstract_inverted_index":{"Abstract":[0],"A":[1,33],"zero-knowledge":[2,37,124],"proof":[3,50,125,130,186],"is":[4,44,106,117,120],"a":[5,10,14,19,81,84,107,113,132,153,160,170,174,226],"cryptographic":[6],"primitive":[7],"that":[8,97,245],"enables":[9],"prover":[11],"to":[12,30,127,135,158,208,215],"convince":[13],"verifier":[15],"the":[16,31,88,103,111,129,145,181,237,266,269],"validity":[17],"of":[18,41,65,90,102,131,184,222,225,239,268],"mathematical":[20],"statement":[21],"(an":[22],"NP":[23],"statement)":[24],"without":[25],"revealing":[26],"any":[27],"secret":[28],"inputs":[29],"verifier.":[32],"special":[34],"case,":[35],"called":[36],"Succinct":[38],"Non-interactive":[39],"ARgument":[40],"Knowledge":[42],"(zkSNARK)":[43],"particularly":[45],"designed":[46],"for":[47,229],"arithmetic":[48],"circuit":[49,171],"systems":[51,126],"which":[52],"have":[53],"important":[54],"applications":[55],"in":[56,62,87,122,144],"blockchain":[57],"privacy.":[58],"The":[59],"major":[60],"computations":[61],"this":[63,149],"type":[64],"zkSNARK":[66,194],"proofs":[67],"with":[68,253],"post-quantum":[69,246,250],"security":[70,254],"are":[71,99,263],"polynomial":[72,109,175,199,204],"evaluations":[73],"and":[74,92,110,177,188,201],"Lagrange":[75,230],"interpolations":[76],"over":[77,83],"finite":[78,85,146],"fields.":[79],"Given":[80],"sequence":[82],"field,":[86],"field":[89,228],"coding":[91],"sequences":[93],"research,":[94],"we":[95,151,213],"understand":[96],"there":[98],"two":[100,192],"representations":[101],"sequence,":[104],"one":[105],"univariate":[108,198],"other,":[112],"multivariate":[114,203],"polynomial.":[115],"This":[116,232],"exactly":[118],"what":[119],"done":[121],"those":[123],"transform":[128],"R1CS":[133,240],"relation":[134],"evaluate":[136],"uni/multi":[137],"variate":[138],"polynomials":[139],"at":[140,265],"some":[141],"random":[142],"points":[143],"field.":[147],"In":[148],"paper,":[150],"present":[152],"comparative":[154],"analysis":[155,179],"on":[156,180,257],"how":[157],"convert":[159],"rank":[161],"1":[162],"constrained":[163],"satisfiability":[164],"(R1CS)":[165],"system":[166],"(more":[167],"general":[168],"than":[169],"system)":[172],"into":[173],"equality":[176],"provide":[178],"concrete":[182,193],"complexities":[183],"provers,":[185],"sizes":[187],"verifiers.":[189],"We":[190,243],"use":[191],"schemes,":[195],"i.e.,":[196],"Polaris,":[197],"encodings":[200,241],"Spartan,":[202],"encodings,":[205],"as":[206,219],"examples":[207],"show":[209],"our":[210],"analysis.":[211],"Secondly,":[212],"propose":[214],"select":[216],"interpolating":[217],"sets":[218],"subfields":[220],"instead":[221],"affine":[223],"spaces":[224],"large":[227],"interpolation.":[231],"new":[233],"method":[234],"has":[235],"improved":[236],"performance":[238],"largely.":[242],"comment":[244],"secure":[247],"zkSNARKs":[248],"yield":[249],"digital":[251],"signatures":[252],"only":[255],"depending":[256],"symmetric-key":[258],"schemes.":[259],"Some":[260],"open":[261],"problems":[262],"proposed":[264],"end":[267],"paper.":[270]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4}],"updated_date":"2026-03-11T06:11:40.159057","created_date":"2025-10-10T00:00:00"}