{"id":"https://openalex.org/W2021741544","doi":"https://doi.org/10.1145/129712.129781","title":"Making zero-knowledge provers efficient","display_name":"Making zero-knowledge provers efficient","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W2021741544","doi":"https://doi.org/10.1145/129712.129781","mag":"2021741544"},"language":"en","primary_location":{"id":"doi:10.1145/129712.129781","doi":"https://doi.org/10.1145/129712.129781","is_oa":true,"landing_page_url":"https://doi.org/10.1145/129712.129781","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/129712.129781","source":{"id":"https://openalex.org/S7407087723","display_name":"ACM Symposium on Theory of Computing (STOC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/129712.129781","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033480276","display_name":"Mihir Bellare","orcid":"https://orcid.org/0000-0002-8765-5573","observed_orcids":["https://orcid.org/0000-0002-8765-5573"]},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mihir Bellare","raw_affiliation_strings":["High Performance Computing and Communications, IBM T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"High Performance Computing and Communications, IBM T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY","institution_ids":["https://openalex.org/I4210114115"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073517584","display_name":"Erez Petrank","orcid":"https://orcid.org/0000-0002-6353-956X","observed_orcids":["https://orcid.org/0000-0002-6353-956X"]},"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":"Erez Petrank","raw_affiliation_strings":["Department of Computer Science, Technion, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technion, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2295,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.85952381,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"711","last_page":"722"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9854000210762024,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9854000210762024,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.010200000368058681,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/zero-knowledge-proofs","display_name":"zero-knowledge proofs","score":0.9319999814033508},{"id":"https://openalex.org/keywords/statistical-zero-knowledge","display_name":"statistical zero-knowledge","score":0.8809999823570251},{"id":"https://openalex.org/keywords/np-oracle","display_name":"NP oracle","score":0.8560000061988831},{"id":"https://openalex.org/keywords/one-way-permutations","display_name":"one-way permutations","score":0.7409999966621399},{"id":"https://openalex.org/keywords/knowledge-complexity","display_name":"knowledge complexity","score":0.878000020980835},{"id":"https://openalex.org/keywords/probabilistic-polynomial-time","display_name":"probabilistic polynomial time","score":0.45899999141693115}],"concepts":[{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.8936011791229248},{"id":"https://openalex.org/C2776608531","wikidata":"https://www.wikidata.org/wiki/Q12253","display_name":"Watson","level":2,"score":0.886765718460083},{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.85017991065979},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6712035536766052},{"id":"https://openalex.org/C2779463800","wikidata":"https://www.wikidata.org/wiki/Q5062222","display_name":"Center (category theory)","level":2,"score":0.5871866941452026},{"id":"https://openalex.org/C2777532764","wikidata":"https://www.wikidata.org/wiki/Q31855","display_name":"Research center","level":2,"score":0.572097897529602},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.4626385271549225},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.3182322680950165},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15959015488624573},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/129712.129781","doi":"https://doi.org/10.1145/129712.129781","is_oa":true,"landing_page_url":"https://doi.org/10.1145/129712.129781","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/129712.129781","source":{"id":"https://openalex.org/S7407087723","display_name":"ACM Symposium on Theory of Computing (STOC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.22.9485","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.9485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.technion.ac.il/~erez/bp.ps","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/129712.129781","doi":"https://doi.org/10.1145/129712.129781","is_oa":true,"landing_page_url":"https://doi.org/10.1145/129712.129781","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/129712.129781","source":{"id":"https://openalex.org/S7407087723","display_name":"ACM Symposium on Theory of Computing (STOC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2021741544.pdf","grobid_xml":"https://content.openalex.org/works/W2021741544.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W1496630551","https://openalex.org/W1539572409","https://openalex.org/W1630273691","https://openalex.org/W1705124964","https://openalex.org/W1970606468","https://openalex.org/W2002032317","https://openalex.org/W2006761152","https://openalex.org/W2032133054","https://openalex.org/W2052207834","https://openalex.org/W2064423787","https://openalex.org/W2080578129","https://openalex.org/W2081058418","https://openalex.org/W2086430938","https://openalex.org/W2096390054","https://openalex.org/W2113244484","https://openalex.org/W2118547397","https://openalex.org/W2126001040","https://openalex.org/W2131798840","https://openalex.org/W2134839489","https://openalex.org/W2137883105","https://openalex.org/W2176018476","https://openalex.org/W2990241304","https://openalex.org/W3111890340"],"related_works":["https://openalex.org/W2119602408","https://openalex.org/W7099451361","https://openalex.org/W7100168726","https://openalex.org/W7099479746","https://openalex.org/W3183430051","https://openalex.org/W1848028118","https://openalex.org/W2032133054","https://openalex.org/W7099339476","https://openalex.org/W1970588133","https://openalex.org/W1942383888"],"abstract_inverted_index":{"We":[0],"look":[1],"at":[2],"the":[3,18,23,50,66,84,149],"question":[4],"of":[5,25,68,75,87,89,105,148],"how":[6],"powerful":[7],"a":[8,14,26,34,37,44,96,106,113,139,143],"prover":[9,51],"must":[10],"be":[11],"to":[12,73],"give":[13],"zero-knowledge":[15,39,46],"proof.We":[16],"present":[17],"first":[19],"unconditional":[20],"bounds":[21,82],"on":[22,83,121,152],"complexity":[24,77,86],"statistical":[27,38,45],"ZK":[28],"prover.The":[29],"result":[30],"is":[31,95],"that":[32],"if":[33],"language":[35],"possesses":[36,43],"then":[40],"it":[41],"also":[42],"proof":[47],"in":[48,53,129,132],"which":[49],"runs":[52,128],"probabilistic,":[54],"polynomial":[55,131],"time":[56,85,130],"with":[57,116],"an":[58,101,117],"NP":[59,118],"oracle.Previously":[60],"this":[61],"was":[62],"only":[63],"known":[64],"given":[65],"existence":[67],"one-way":[69],"permutations.Extending":[70],"these":[71,93],"techniques":[72],"protocols":[74],"knowledge":[76,91],"k(n)":[78],">0,":[79],"we":[80,111],"derive":[81],"languages":[88],"\"small\"":[90],"complexity.Underlying":[92],"results":[94],"technique":[97],"for":[98],"efficiently":[99],"generating":[100],"\"almost\"":[102],"random":[103,140],"element":[104],"set":[107],"S":[108,153],"E":[109],"P.Namely,":[110],"construct":[112],"probabilistic":[114],"machine":[115],"oracle":[119],"which,":[120],"input":[122],"1\"":[123],"and":[124,134,137],"6":[125,147],">":[126],"0":[127],"n":[133,154],"lg":[135],"6-1,":[136],"outputs":[138],"string":[141],"from":[142],"distribution":[144,151],"within":[145],"distance":[146],"uniform":[150],"{O,":[155],"l}~.":[156]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}