{"id":"https://openalex.org/W2019573778","doi":"https://doi.org/10.1137/0218049","title":"Minimum-Knowledge Interactive Proofs for Decision Problems","display_name":"Minimum-Knowledge Interactive Proofs for Decision Problems","publication_year":1989,"publication_date":"1989-08-01","ids":{"openalex":"https://openalex.org/W2019573778","doi":"https://doi.org/10.1137/0218049","mag":"2019573778"},"language":"en","primary_location":{"id":"doi:10.1137/0218049","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0218049","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.7916/d89s203v","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048955152","display_name":"Zvi Galil","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Zvi Galil","raw_affiliation_strings":["Columbia University, New York, NY;"],"affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY;","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111363846","display_name":"Stuart Haber","orcid":null},"institutions":[{"id":"https://openalex.org/I4210107053","display_name":"Core Competence","ror":"https://ror.org/012cc0c94","country_code":"US","type":"company","lineage":["https://openalex.org/I4210107053"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stuart Haber","raw_affiliation_strings":["Bell Communications Research, Morristown, NJ#TAB#"],"affiliations":[{"raw_affiliation_string":"Bell Communications Research, Morristown, NJ#TAB#","institution_ids":["https://openalex.org/I4210107053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030243906","display_name":"Moti Yung","orcid":"https://orcid.org/0000-0003-0848-0873"},"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":"Moti Yung","raw_affiliation_strings":["IBM Thomas J. Watson Research Center Yorktown Heights, NY#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Thomas J. Watson Research Center Yorktown Heights, NY#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5048955152"],"corresponding_institution_ids":["https://openalex.org/I78577930"],"apc_list":null,"apc_paid":null,"fwci":2.0305,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.88336211,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"18","issue":"4","first_page":"711","last_page":"739"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":1.0,"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":1.0,"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.9994999766349792,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991000294685364,"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/computer-science","display_name":"Computer science","score":0.7398439049720764},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6502772569656372},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.6164635419845581},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6100578904151917},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.6034232378005981},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5495256185531616},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5313287973403931},{"id":"https://openalex.org/keywords/cryptosystem","display_name":"Cryptosystem","score":0.49984192848205566},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4462663531303406},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.4289427101612091},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.41763120889663696},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3810915946960449},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2543148696422577},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.25068020820617676},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19639432430267334},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.12388131022453308}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7398439049720764},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6502772569656372},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.6164635419845581},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6100578904151917},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.6034232378005981},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5495256185531616},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5313287973403931},{"id":"https://openalex.org/C6295992","wikidata":"https://www.wikidata.org/wiki/Q976521","display_name":"Cryptosystem","level":3,"score":0.49984192848205566},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4462663531303406},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.4289427101612091},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.41763120889663696},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3810915946960449},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2543148696422577},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25068020820617676},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19639432430267334},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.12388131022453308},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1137/0218049","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0218049","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:academiccommons.columbia.edu:10.7916/D89S203V","is_oa":false,"landing_page_url":"https://doi.org/10.7916/D89S203V","pdf_url":null,"source":{"id":"https://openalex.org/S4306402601","display_name":"Columbia Academic Commons (Columbia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I78577930","host_organization_name":"Columbia University","host_organization_lineage":["https://openalex.org/I78577930"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Reports"},{"id":"doi:10.7916/d89s203v","is_oa":true,"landing_page_url":"https://doi.org/10.7916/d89s203v","pdf_url":null,"source":{"id":"https://openalex.org/S4306402601","display_name":"Columbia Academic Commons (Columbia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I78577930","host_organization_name":"Columbia University","host_organization_lineage":["https://openalex.org/I78577930"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.7916/d89s203v","is_oa":true,"landing_page_url":"https://doi.org/10.7916/d89s203v","pdf_url":null,"source":{"id":"https://openalex.org/S4306402601","display_name":"Columbia Academic Commons (Columbia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I78577930","host_organization_name":"Columbia University","host_organization_lineage":["https://openalex.org/I78577930"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1422634090","display_name":"The Design of Efficient Algorithms and Proving Lower Bounds (Computer Research)","funder_award_id":"8303139","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2086463484","display_name":"Combinatorial Algorithms on Strings","funder_award_id":"8511713","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W340987026","https://openalex.org/W1494965429","https://openalex.org/W1498590645","https://openalex.org/W1569930334","https://openalex.org/W1603973540","https://openalex.org/W1920472694","https://openalex.org/W1970606468","https://openalex.org/W2027471022","https://openalex.org/W2027948337","https://openalex.org/W2057182494","https://openalex.org/W2061106457","https://openalex.org/W2077476995","https://openalex.org/W2085759780","https://openalex.org/W2088492763","https://openalex.org/W2093297089","https://openalex.org/W2096390054","https://openalex.org/W2099188893","https://openalex.org/W2132836799","https://openalex.org/W2144752539","https://openalex.org/W2148373594","https://openalex.org/W2152005134","https://openalex.org/W2164284862","https://openalex.org/W3015745092","https://openalex.org/W3133519615","https://openalex.org/W3150645827","https://openalex.org/W3175367423","https://openalex.org/W4205182377","https://openalex.org/W4210300416"],"related_works":["https://openalex.org/W2978367780","https://openalex.org/W2145566839","https://openalex.org/W2088941273","https://openalex.org/W2102905434","https://openalex.org/W2080578129","https://openalex.org/W3187976475","https://openalex.org/W2785078146","https://openalex.org/W3158728532","https://openalex.org/W2996527948","https://openalex.org/W3202533652"],"abstract_inverted_index":{"Interactive":[0],"communication":[1],"of":[2,7,9,18,31,48,116,122,147,178,186,194,217],"knowledge":[3,60,242],"from":[4],"the":[5,16,29,40,46,62,65,102,106,108,112,117,134,144,179,184,187,195,204,208,215,225,241],"point":[6],"view":[8],"resource-bounded":[10],"computational":[11,67],"complexity":[12],"is":[13,70,91,128,166,171,190,197,212,244],"studied.":[14],"Extending":[15],"work":[17],"Goldwasser,":[19],"Micali,":[20],"and":[21,98,248],"Rackof":[22],"[Proc.":[23],"17th":[24],"Annual":[25],"ACM":[26],"Symposium":[27],"on":[28],"Theory":[30],"Computing,":[32],"1985,":[33],"pp.":[34,38],"291\u2013304;":[35],".,18":[36],"(1989),":[37],"186\u2013208],":[39],"authors":[41],"define":[42,232],"a":[43,79,96,99,114,123,139,157,198,233],"protocol":[44,90,165,170],"transferring":[45],"result":[47],"any":[49],"fixed":[50],"computation":[51],"to":[52,61,84,111,130,136,154,207,231,246],"be":[53,76],"minimum-knowledge":[54],"if":[55],"it":[56],"communicates":[57],"no":[58],"additional":[59],"recipient":[63],"besides":[64],"intended":[66],"result.":[68],"It":[69],"proved":[71],"that":[72,156,189],"such":[73],"protocols":[74],"may":[75],"combined":[77],"in":[78,224,235],"natural":[80],"way":[81],"so":[82],"as":[83],"build":[85],"more":[86],"complex":[87],"protocols.":[88],"A":[89],"introduced":[92],"for":[93,133],"two":[94,205],"parties,":[95],"prover":[97,109],"verifier,":[100],"with":[101],"following":[103],"properties:(1)":[104],"Following":[105],"protocol,":[107,180],"gives":[110],"verifier":[113,135],"proof":[115],"value,":[118],"0":[119],"or":[120],"1,":[121],"particular":[124],"Boolean":[125],"predicate,":[126],"which":[127,150,236],"(assumed":[129],"be)":[131],"hard":[132],"compute.":[137],"Such":[138],"deciding":[140],"\u201cinteractive":[141],"proof-system\u201d":[142],"extends":[143],"interactive":[145],"proof-systems":[146],"[op.":[148],"cit.],":[149],"are":[151],"used":[152],"only":[153],"confirm":[155],"certain":[158],"predicate":[159,188,196],"has":[160],"value":[161,185,193],"1.":[162],"(2)":[163],"The":[164,169,192],"minimum-knowledge.":[167],"(3)":[168],"result-indistinguishable:":[172],"an":[173,176],"eavesdropper,":[174],"overhearing":[175],"execution":[177],"does":[181],"not":[182],"learn":[183],"proved.":[191],"cryptographically":[199],"secure":[200],"bit,":[201],"shared":[202],"by":[203],"parties":[206],"protocol.":[209],"This":[210],"security":[211],"achieved":[213],"without":[214],"use":[216],"encryption":[218],"functions,":[219],"all":[220],"messages":[221],"being":[222],"sent":[223],"clear.":[226],"These":[227],"properties":[228],"enable":[229],"one":[230],"cryptosystem":[234],"each":[237],"user":[238],"receives":[239],"exactly":[240],"he":[243],"supposed":[245],"receive,":[247],"nothing":[249],"more.":[250]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}