{"id":"https://openalex.org/W3030345336","doi":"https://doi.org/10.1007/s00145-022-09424-4","title":"Succinct Non-Interactive Arguments via Linear Interactive Proofs","display_name":"Succinct Non-Interactive Arguments via Linear Interactive Proofs","publication_year":2022,"publication_date":"2022-05-02","ids":{"openalex":"https://openalex.org/W3030345336","doi":"https://doi.org/10.1007/s00145-022-09424-4","mag":"3030345336"},"language":"en","primary_location":{"id":"doi:10.1007/s00145-022-09424-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00145-022-09424-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00145-022-09424-4.pdf","source":{"id":"https://openalex.org/S190936789","display_name":"Journal of Cryptology","issn_l":"0933-2790","issn":["0933-2790","1432-1378"],"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":"Journal of Cryptology","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/s00145-022-09424-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065373891","display_name":"Nir Bitansky","orcid":"https://orcid.org/0000-0001-8361-6035"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]},{"id":"https://openalex.org/I4210141777","display_name":"Academic College of Tel Aviv-Yafo","ror":"https://ror.org/04cg6c004","country_code":"IL","type":"education","lineage":["https://openalex.org/I4210141777"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Nir Bitansky","raw_affiliation_strings":["Tel Aviv University, Tel Aviv-Yafo, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv-Yafo, Israel","institution_ids":["https://openalex.org/I16391192","https://openalex.org/I4210141777"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101591310","display_name":"Alessandro Chiesa","orcid":"https://orcid.org/0000-0002-3029-2353"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Alessandro Chiesa","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081852077","display_name":"Yuval Ishai","orcid":"https://orcid.org/0009-0009-4096-6305"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yuval Ishai","raw_affiliation_strings":["Technion, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020375635","display_name":"Rafail Ostrovsky","orcid":"https://orcid.org/0000-0002-1501-1330"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rafail Ostrovsky","raw_affiliation_strings":["Department of Computer Science and Department of Mathematics, UCLA, Los Angeles, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Department of Mathematics, UCLA, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035828031","display_name":"Omer Paneth","orcid":"https://orcid.org/0000-0001-8561-1123"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]},{"id":"https://openalex.org/I4210141777","display_name":"Academic College of Tel Aviv-Yafo","ror":"https://ror.org/04cg6c004","country_code":"IL","type":"education","lineage":["https://openalex.org/I4210141777"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Omer Paneth","raw_affiliation_strings":["Tel Aviv University, Tel Aviv-Yafo, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv-Yafo, Israel","institution_ids":["https://openalex.org/I16391192","https://openalex.org/I4210141777"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101591310"],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":{"value":2890,"currency":"USD","value_usd":2890},"fwci":1.7413,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.85877984,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"35","issue":"3","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.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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9972000122070312,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9940999746322632,"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/mathematical-proof","display_name":"Mathematical proof","score":0.766128659248352},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6954239010810852},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6115265488624573},{"id":"https://openalex.org/keywords/randomness","display_name":"Randomness","score":0.5540779232978821},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4988822937011719},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.46054312586784363},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.451994925737381},{"id":"https://openalex.org/keywords/relaxation","display_name":"Relaxation (psychology)","score":0.4487718641757965},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.4309841990470886},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35981306433677673},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3316344618797302},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.260816365480423},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2045702338218689}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.766128659248352},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6954239010810852},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6115265488624573},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.5540779232978821},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4988822937011719},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.46054312586784363},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.451994925737381},{"id":"https://openalex.org/C2776029896","wikidata":"https://www.wikidata.org/wiki/Q3935810","display_name":"Relaxation (psychology)","level":2,"score":0.4487718641757965},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.4309841990470886},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35981306433677673},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3316344618797302},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.260816365480423},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2045702338218689},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"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/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00145-022-09424-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00145-022-09424-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00145-022-09424-4.pdf","source":{"id":"https://openalex.org/S190936789","display_name":"Journal of Cryptology","issn_l":"0933-2790","issn":["0933-2790","1432-1378"],"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":"Journal of Cryptology","raw_type":"journal-article"},{"id":"pmh:oai:infoscience.epfl.ch:294195","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/188066","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"WoS","raw_type":"research article"}],"best_oa_location":{"id":"doi:10.1007/s00145-022-09424-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00145-022-09424-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00145-022-09424-4.pdf","source":{"id":"https://openalex.org/S190936789","display_name":"Journal of Cryptology","issn_l":"0933-2790","issn":["0933-2790","1432-1378"],"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":"Journal of Cryptology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1527512015","display_name":"CIF: Small: Energy-Efficient Scheduling and Load Balancing","funder_award_id":"1016540","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1593595250","display_name":null,"funder_award_id":"IIS-1065276","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2092149828","display_name":null,"funder_award_id":"CCF-0916574","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2411602101","display_name":null,"funder_award_id":"CNS-1136174","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2657661861","display_name":null,"funder_award_id":"N00014-11-1-0392","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4179278414","display_name":"AF:  Small:  A Theory of Cryptography and the Physical World","funder_award_id":"0916574","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G424203603","display_name":null,"funder_award_id":"CCF-1016540","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4294166479","display_name":"III: Medium: Private Identification of Relatives and Private GWAS: First Steps in the New Field of CryptoGenomics","funder_award_id":"1065276","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G452700904","display_name":null,"funder_award_id":"N00014-11-1-0392","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7695292013","display_name":"TC: Small: Towards Resettable & Statistical Security in Zero Knowledge","funder_award_id":"1118126","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8055454154","display_name":"AF: Small: New Directions in Cryptography: Non-Black-Box Techniques against Non-Black-Box Attacks","funder_award_id":"1218461","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8328601810","display_name":null,"funder_award_id":"CNS-0830803","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8435639173","display_name":null,"funder_award_id":"1361/10","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"},{"id":"https://openalex.org/F4320320915","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337179","display_name":"Check Point Institute for Information Security, Tel Aviv University","ror":null},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3030345336.pdf","grobid_xml":"https://content.openalex.org/works/W3030345336.grobid-xml"},"referenced_works_count":106,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W53264231","https://openalex.org/W152838131","https://openalex.org/W174102541","https://openalex.org/W175430765","https://openalex.org/W346929228","https://openalex.org/W945570858","https://openalex.org/W1483170929","https://openalex.org/W1510433903","https://openalex.org/W1521660974","https://openalex.org/W1525737403","https://openalex.org/W1530008367","https://openalex.org/W1538440442","https://openalex.org/W1540469777","https://openalex.org/W1550137840","https://openalex.org/W1553083934","https://openalex.org/W1555733702","https://openalex.org/W1557386445","https://openalex.org/W1577653766","https://openalex.org/W1589034595","https://openalex.org/W1686241726","https://openalex.org/W1689674179","https://openalex.org/W1930567086","https://openalex.org/W1965541031","https://openalex.org/W1970606468","https://openalex.org/W1970808997","https://openalex.org/W1971029566","https://openalex.org/W1973452640","https://openalex.org/W1978478346","https://openalex.org/W1980516015","https://openalex.org/W1983595405","https://openalex.org/W1984685443","https://openalex.org/W1992282993","https://openalex.org/W2002919335","https://openalex.org/W2003159902","https://openalex.org/W2006837132","https://openalex.org/W2007671490","https://openalex.org/W2012654427","https://openalex.org/W2016602956","https://openalex.org/W2019578639","https://openalex.org/W2022381972","https://openalex.org/W2029859729","https://openalex.org/W2038202352","https://openalex.org/W2038691311","https://openalex.org/W2040438296","https://openalex.org/W2049761975","https://openalex.org/W2049982182","https://openalex.org/W2052965490","https://openalex.org/W2053086236","https://openalex.org/W2061949491","https://openalex.org/W2067047774","https://openalex.org/W2067596507","https://openalex.org/W2074221157","https://openalex.org/W2077202644","https://openalex.org/W2077901621","https://openalex.org/W2079913403","https://openalex.org/W2083222410","https://openalex.org/W2085983185","https://openalex.org/W2086653003","https://openalex.org/W2087900794","https://openalex.org/W2098290658","https://openalex.org/W2099498229","https://openalex.org/W2100283019","https://openalex.org/W2106287110","https://openalex.org/W2108834246","https://openalex.org/W2116653107","https://openalex.org/W2117852003","https://openalex.org/W2126664878","https://openalex.org/W2128057004","https://openalex.org/W2129107602","https://openalex.org/W2132172731","https://openalex.org/W2134679597","https://openalex.org/W2136936712","https://openalex.org/W2137467444","https://openalex.org/W2140430935","https://openalex.org/W2140797111","https://openalex.org/W2144238522","https://openalex.org/W2146099890","https://openalex.org/W2146261818","https://openalex.org/W2146555867","https://openalex.org/W2148352980","https://openalex.org/W2151433956","https://openalex.org/W2153413398","https://openalex.org/W2154276597","https://openalex.org/W2154650342","https://openalex.org/W2156708311","https://openalex.org/W2166670067","https://openalex.org/W2169657197","https://openalex.org/W2170368342","https://openalex.org/W2192481898","https://openalex.org/W2293988196","https://openalex.org/W2402869180","https://openalex.org/W2407977113","https://openalex.org/W2496543269","https://openalex.org/W2754619027","https://openalex.org/W2914525031","https://openalex.org/W2950404013","https://openalex.org/W2962736685","https://openalex.org/W2969140724","https://openalex.org/W2990120385","https://openalex.org/W3028987847","https://openalex.org/W3029660052","https://openalex.org/W3048460738","https://openalex.org/W4210300416","https://openalex.org/W4210966189","https://openalex.org/W4312884376"],"related_works":["https://openalex.org/W2355730523","https://openalex.org/W152021879","https://openalex.org/W2365629437","https://openalex.org/W2072918937","https://openalex.org/W2023935927","https://openalex.org/W2348330439","https://openalex.org/W2350372928","https://openalex.org/W2377292126","https://openalex.org/W3034924094","https://openalex.org/W1488708774"],"abstract_inverted_index":{"Abstract":[0],"Succinct":[1],"non-interactive":[2],"arguments":[3],"(SNARGs)":[4],"enable":[5],"verifying":[6],"NP":[7,16,109],"statements":[8],"with":[9,280],"lower":[10],"complexity":[11],"than":[12],"required":[13],"for":[14,137,221],"classical":[15],"verification.":[17],"Traditionally,":[18],"the":[19,25,43,57,69,108,118,138,169,183],"focus":[20,204],"has":[21],"been":[22],"on":[23,35,205,227,257,337],"minimizing":[24,36],"length":[26],"of":[27,45,68,77,89,104,120,129,140,168,186,214,260,301,340,347],"such":[28,192,326],"arguments;":[29],"nowadays,":[30],"researchers":[31],"have":[32,80,116],"focused":[33],"also":[34,287,332],"verification":[37,99],"time,":[38],"by":[39,265],"drawing":[40],"motivation":[41],"from":[42,247,307],"problem":[44],"delegating":[46],"computation.":[47],"A":[48],"common":[49,184],"relaxation":[50],"is":[51,66,100,158,180],"a":[52,125,134,165,334,344],"preprocessing":[53,78,141,250,329,341],"SNARG,":[54],"which":[55],"allows":[56],"verifier":[58],"to":[59,71,115,182,231,249,291,349],"conduct":[60],"an":[61],"expensive":[62],"offline":[63],"phase":[64],"that":[65,173],"independent":[67],"statement":[70],"be":[72,255],"proven":[73],"later.":[74],"Recent":[75],"constructions":[76,113,213,224,321,339],"SNARGs":[79,300],"achieved":[81],"attractive":[82],"features:":[83],"they":[84],"are":[85,225],"publicly-verifiable,":[86],"proofs":[87,122,219],"consist":[88],"only":[90],"O":[91],"(1)":[92,160],"encrypted":[93],"(or":[94,207],"encoded)":[95],"field":[96],"elements,":[97],"and":[98,163,195,210,236,278,295,303,311,351],"via":[101],"arithmetic":[102],"circuits":[103],"size":[105],"linear":[106,206,217,233,261],"in":[107,189,200],"statement.":[110],"Additionally,":[111],"these":[112,348],"seem":[114],"\u201cescaped":[117],"hegemony\u201d":[119],"probabilistically-checkable":[121],"(PCPs)":[123],"as":[124,149,151,193,327],"basic":[126],"building":[127],"block":[128],"succinct":[130],"arguments.":[131],"We":[132,161,241,286,331],"present":[133],"general":[135,228],"methodology":[136,290],"construction":[139],"$$\\text{":[142],"SNARG":[143],"}":[144],"$$":[145],"<mml:math":[146],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:mspace/><mml:mtext>SNARG</mml:mtext><mml:mspace/></mml:mrow></mml:math>":[147],"s,":[148],"well":[150],"resulting":[152],"new":[153,178,323,335],"efficiency":[154,324],"features.":[155],"Our":[156,223,269,297],"contribution":[157],"threefold:":[159],"introduce":[162],"study":[164,185],"natural":[166],"extension":[167],"interactive":[170,218],"proof":[171],"model":[172],"considers":[174],"algebraically-bounded":[175,187],"provers;":[176],"this":[177,201,316],"setting":[179],"analogous":[181],"\u201cadversaries\u201d":[188],"other":[190],"fields,":[191],"pseudorandomness":[194],"randomness":[196],"extraction.":[197],"More":[198],"concretely,":[199],"work":[202],"we":[203,318],"affine)":[208],"provers,":[209],"provide":[211],"several":[212,320],"(succinct":[215],"two-message)":[216],"(LIPs)":[220],"NP.":[222],"based":[226,256],"transformations":[229,246,270],"applied":[230],"both":[232],"PCPs":[234],"(LPCPs)":[235],"traditional":[237],"\u201cunstructured\u201d":[238],"PCPs.":[239],"(2)":[240],"give":[242],"conceptually":[243],"simple":[244],"cryptographic":[245],"LIPs":[248,274,279,294],"SNARGs,":[251,277,342],"whose":[252],"security":[253],"can":[254,305],"different":[258],"forms":[259],"targeted":[262],"malleability":[263],"(implied":[264],"previous":[266],"knowledge":[267,302],"assumptions).":[268],"convert":[271],"arbitrary":[272],"(two-message)":[273],"into":[275,283],"designated-verifier":[276],"degree-bounded":[281],"verifiers":[282],"publicly-verifiable":[284],"SNARGs.":[285,296],"extend":[288],"our":[289],"obtain":[292],"zero-knowledge":[293],"techniques":[298],"yield":[299],"thus":[304],"benefit":[306],"known":[308],"recursive":[309],"composition":[310],"bootstrapping":[312],"techniques.":[313],"(3)":[314],"Following":[315],"methodology,":[317],"exhibit":[319],"achieving":[322],"features,":[325],"\u201csingle-ciphertext":[328],"SNARGs.\u201d":[330],"offer":[333],"perspective":[336],"existing":[338],"revealing":[343],"direct":[345],"connection":[346],"LPCPs":[350],"LIPs.":[352]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}