{"id":"https://openalex.org/W1992436148","doi":"https://doi.org/10.1093/ietfec/e89-a.10.2894","title":"Zero-Knowledge and Correlation Intractability","display_name":"Zero-Knowledge and Correlation Intractability","publication_year":2006,"publication_date":"2006-10-01","ids":{"openalex":"https://openalex.org/W1992436148","doi":"https://doi.org/10.1093/ietfec/e89-a.10.2894","mag":"1992436148"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/ietfec/e89-a.10.2894","pdf_url":null,"source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5063047804","display_name":"Satoshi Hada","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. HADA","raw_affiliation_strings":["The author is with IBM Tokyo Research Laboratory, Yamato-shi, 242-8502 Japan. E-mail: satoshih@jp.ibm.com,#TAB#"],"affiliations":[{"raw_affiliation_string":"The author is with IBM Tokyo Research Laboratory, Yamato-shi, 242-8502 Japan. E-mail: satoshih@jp.ibm.com,#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101507978","display_name":"Teruo Tanaka","orcid":"https://orcid.org/0000-0002-5218-6607"},"institutions":[{"id":"https://openalex.org/I4210164495","display_name":"KDDI Research (Japan)","ror":"https://ror.org/05qsqt662","country_code":"JP","type":"company","lineage":["https://openalex.org/I4210164495"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"T. TANAKA","raw_affiliation_strings":["The author is with KDDI R&D Laboratories Inc., Fujimino-shi, 356-8502 Japan.#TAB#"],"affiliations":[{"raw_affiliation_string":"The author is with KDDI R&D Laboratories Inc., Fujimino-shi, 356-8502 Japan.#TAB#","institution_ids":["https://openalex.org/I4210164495"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.677024,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":72,"max":74},"biblio":{"volume":"E89-A","issue":"10","first_page":"2894","last_page":"2905"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9974,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9974,"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/T10237","display_name":"Cryptography and Data Security","score":0.9966,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9938,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6976747},{"id":"https://openalex.org/keywords/triviality","display_name":"Triviality","score":0.6698661},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.6576361},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.57566047},{"id":"https://openalex.org/keywords/zero","display_name":"Zero (linguistics)","score":0.46172944},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.4532817}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8316505},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6976747},{"id":"https://openalex.org/C2778795013","wikidata":"https://www.wikidata.org/wiki/Q945127","display_name":"Triviality","level":2,"score":0.6698661},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.6576361},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6176723},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.58744025},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.57566047},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5533417},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4973891},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.46172944},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.4532817},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4282096},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3878067},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22258806},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.08878487},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.077426046},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/ietfec/e89-a.10.2894","pdf_url":null,"source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3013941779","https://openalex.org/W2951326186","https://openalex.org/W2388301251","https://openalex.org/W2376029318","https://openalex.org/W2070814711","https://openalex.org/W2013770701","https://openalex.org/W2011957396","https://openalex.org/W1998659141","https://openalex.org/W1965609966","https://openalex.org/W1791476549"],"abstract_inverted_index":{"The":[0],"notion":[1],"of":[2,18,67,117,144],"correlation":[3,125],"intractable":[4],"function":[5],"ensembles":[6],"(CIFEs)":[7],"was":[8],"introduced":[9],"in":[10,61],"an":[11,34],"attempt":[12],"to":[13,32,108,131],"capture":[14],"the":[15,38,62,65,84,115,124],"unpredictability":[16],"property":[17],"random":[19,26],"oracles":[20],"[12]:":[21],"If":[22],"O":[23],"is":[24,30,127],"a":[25,137],"oracle":[27],"then":[28],"it":[29],"infeasible":[31],"find":[33],"inputx":[35],"such":[36],"that":[37,70,89,123,141,154],"input-output":[39,133],"pair":[40],"(x,O(x))":[41],"has":[42],"some":[43],"desired":[44],"property.":[45],"In":[46,83],"this":[47],"paper,":[48],"we":[49,58,87,139],"observe":[50],"relationships":[51],"between":[52],"zero-knowledge":[53,73],"protocols":[54],"and":[55],"CIFEs.":[56],"Specifically,":[57],"show":[59,88,140],"that,":[60],"non-uniform":[63],"model,":[64,86],"existence":[66,116],"CIFEs":[68,147],"implies":[69],"3-round":[71,90],"auxiliary-input":[72],"(AIZK)":[74],"AM":[75,92,111,157],"interactive":[76,93,112,158],"proofs":[77,94,113,159],"exist":[78,98],"only":[79,99,163],"for":[80,100,164],"BPP":[81],"languages.":[82,102,166],"uniform":[85,145,149],"AIZK":[91,110,156],"with":[95,129,160],"perfect":[96,161],"completeness":[97,162],"easy-to-approximate":[101,165],"These":[103],"conditional":[104],"triviality":[105],"results":[106],"extend":[107],"constant-round":[109,155],"assuming":[114],"multi-input":[121],"CIFEs,":[119],"where":[120],"means":[122],"intractability":[126],"satisfied":[128],"respect":[130],"multiple":[132],"pairs.":[134],"Also,":[135],"as":[136],"corollary,":[138],"any":[142],"construction":[143],"from":[148],"one-way":[150],"functions":[151],"proves":[152],"unconditionally":[153]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1992436148","counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2024-12-15T16:20:58.475495","created_date":"2016-06-24"}