{"id":"https://openalex.org/W4376651399","doi":"https://doi.org/10.1145/3564246.3585119","title":"Hard Languages in NP \u2229 coNP and NIZK Proofs from Unstructured Hardness","display_name":"Hard Languages in NP \u2229 coNP and NIZK Proofs from Unstructured Hardness","publication_year":2023,"publication_date":"2023-05-16","ids":{"openalex":"https://openalex.org/W4376651399","doi":"https://doi.org/10.1145/3564246.3585119"},"language":"en","primary_location":{"id":"doi:10.1145/3564246.3585119","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3564246.3585119","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3564246.3585119","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3564246.3585119","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066433982","display_name":"Riddhi Ghosal","orcid":"https://orcid.org/0009-0005-3370-9256"},"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":true,"raw_author_name":"Riddhi Ghosal","raw_affiliation_strings":["University of California at Los Angeles, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"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, Israel"],"affiliations":[{"raw_affiliation_string":"Technion, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058713822","display_name":"Alexis Korb","orcid":"https://orcid.org/0000-0001-6888-5296"},"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":"Alexis Korb","raw_affiliation_strings":["University of California at Los Angeles, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036104549","display_name":"Eyal Kushilevitz","orcid":"https://orcid.org/0009-0009-9277-3863"},"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":"Eyal Kushilevitz","raw_affiliation_strings":["Technion, Israel"],"affiliations":[{"raw_affiliation_string":"Technion, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002073784","display_name":"Paul Lou","orcid":"https://orcid.org/0000-0002-8709-2205"},"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":"Paul Lou","raw_affiliation_strings":["University of California at Los Angeles, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103835895","display_name":"Amit Sahai","orcid":"https://orcid.org/0000-0003-2216-9600"},"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":"Amit Sahai","raw_affiliation_strings":["University of California at Los Angeles, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5066433982"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":0.1728,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53538552,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1243","last_page":"1256"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9991000294685364,"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.9991000294685364,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.944100022315979,"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/obfuscation","display_name":"Obfuscation","score":0.6627323031425476},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6440744996070862},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.6324371099472046},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5536342263221741},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.5380576848983765},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.5212329626083374},{"id":"https://openalex.org/keywords/injective-function","display_name":"Injective function","score":0.47611624002456665},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.4243968427181244},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4113447964191437},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4093118906021118},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.38351231813430786},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.36554163694381714},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3556661009788513},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.2547868490219116},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24417412281036377},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13172981142997742},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10686984658241272},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.06597846746444702}],"concepts":[{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.6627323031425476},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6440744996070862},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.6324371099472046},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5536342263221741},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.5380576848983765},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5212329626083374},{"id":"https://openalex.org/C128107574","wikidata":"https://www.wikidata.org/wiki/Q182003","display_name":"Injective function","level":2,"score":0.47611624002456665},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.4243968427181244},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4113447964191437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4093118906021118},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38351231813430786},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.36554163694381714},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3556661009788513},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.2547868490219116},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24417412281036377},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13172981142997742},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10686984658241272},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.06597846746444702},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3564246.3585119","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3564246.3585119","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3564246.3585119","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3564246.3585119","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3564246.3585119","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3564246.3585119","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1413547058","display_name":null,"funder_award_id":"HR0011202002","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4027870532","display_name":null,"funder_award_id":"HR00112020024","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G7061093365","display_name":null,"funder_award_id":"SIEVE","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G7315415636","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"},{"id":"https://openalex.org/G7411330843","display_name":null,"funder_award_id":"2774/20","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"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"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4376651399.pdf","grobid_xml":"https://content.openalex.org/works/W4376651399.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W156977962","https://openalex.org/W1026822280","https://openalex.org/W1511581834","https://openalex.org/W1522706628","https://openalex.org/W1565012603","https://openalex.org/W1569394207","https://openalex.org/W1589034595","https://openalex.org/W1625658248","https://openalex.org/W1836725053","https://openalex.org/W1966347268","https://openalex.org/W1967103374","https://openalex.org/W1972416792","https://openalex.org/W1980471700","https://openalex.org/W1998918799","https://openalex.org/W2016506875","https://openalex.org/W2021736779","https://openalex.org/W2052267638","https://openalex.org/W2062767125","https://openalex.org/W2068290327","https://openalex.org/W2079913403","https://openalex.org/W2084732248","https://openalex.org/W2094321606","https://openalex.org/W2109693837","https://openalex.org/W2152688060","https://openalex.org/W2154034877","https://openalex.org/W2252149818","https://openalex.org/W2293639154","https://openalex.org/W2296709588","https://openalex.org/W2395825961","https://openalex.org/W2552640487","https://openalex.org/W2728974496","https://openalex.org/W2767196686","https://openalex.org/W2769677883","https://openalex.org/W2771768632","https://openalex.org/W2937088631","https://openalex.org/W2947157832","https://openalex.org/W2952604022","https://openalex.org/W2967898990","https://openalex.org/W3164947441","https://openalex.org/W4236776215","https://openalex.org/W4238430791","https://openalex.org/W4285128331","https://openalex.org/W4313227608"],"related_works":["https://openalex.org/W2951897892","https://openalex.org/W2186373936","https://openalex.org/W3029820167","https://openalex.org/W2407469053","https://openalex.org/W2560067070","https://openalex.org/W2166561215","https://openalex.org/W2951539835","https://openalex.org/W2755430954","https://openalex.org/W2563806996","https://openalex.org/W4376651399"],"abstract_inverted_index":{"The":[0],"existence":[1],"of":[2,102],"\u201cunstructured\u201d":[3],"hard":[4,43],"languages":[5],"in":[6,45,52],"NP":[7,26,46],"\u2229":[8,27,47],"coNP":[9,28,48],"is":[10,23,87],"an":[11,79,83],"intriguing":[12],"open":[13,38],"question.":[14],"Bennett":[15],"and":[16],"Gill":[17],"(SICOMP,":[18,70],"1981)":[19],"asked":[20],"whether":[21],"P":[22],"separated":[24],"from":[25,56],"relative":[29],"to":[30,89],"a":[31,34,42,53,57,75,99],"random":[32],"oracle,":[33],"question":[35],"that":[36,86],"remained":[37],"ever":[39],"since.":[40],"While":[41],"language":[44],"can":[49],"be":[50],"constructed":[51],"black-box":[54,100],"way":[55],"one-way":[58,81],"permutation,":[59],"for":[60],"which":[61],"only":[62],"few":[63],"(structured)":[64],"candidates":[65],"exist,":[66],"Bitansky":[67],"et":[68],"al.":[69],"2021)":[71],"ruled":[72],"out":[73],"such":[74],"construction":[76],"based":[77],"on":[78],"injective":[80],"function,":[82],"unstructured":[84],"primitive":[85],"easy":[88],"instantiate":[90],"heuristically.":[91],"In":[92],"fact,":[93],"the":[94],"latter":[95],"holds":[96],"even":[97],"with":[98],"use":[101],"indistinguishability":[103],"obfuscation.":[104]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}