{"id":"https://openalex.org/W3011699807","doi":"https://doi.org/10.1137/18m1193530","title":"Zero-Knowledge Proof Systems for QMA","display_name":"Zero-Knowledge Proof Systems for QMA","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3011699807","doi":"https://doi.org/10.1137/18m1193530","mag":"3011699807"},"language":"en","primary_location":{"id":"doi:10.1137/18m1193530","is_oa":false,"landing_page_url":"https://doi.org/10.1137/18m1193530","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"],"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/A5034032202","display_name":"Anne Broadbent","orcid":"https://orcid.org/0000-0003-1911-0093"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Anne Broadbent","raw_affiliation_strings":["Department of Mathematics and Statistics","University of Ottawa, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics","institution_ids":[]},{"raw_affiliation_string":"University of Ottawa, Canada","institution_ids":["https://openalex.org/I153718931"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043930796","display_name":"Zhengfeng Ji","orcid":"https://orcid.org/0000-0002-7659-3178"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210096034","display_name":"Centre for Quantum Computation and Communication Technology","ror":"https://ror.org/00rnbty21","country_code":"AU","type":"facility","lineage":["https://openalex.org/I1337719021","https://openalex.org/I165143802","https://openalex.org/I2801453606","https://openalex.org/I4210096034","https://openalex.org/I4210132349"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Zhengfeng Ji","raw_affiliation_strings":["Centre for Quantum Computation and Intelligent Systems, School of Software Faculty of Engineering and Information Technology University of Technology Sydney, Australia","State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Quantum Computation and Intelligent Systems, School of Software Faculty of Engineering and Information Technology University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I114017466","https://openalex.org/I4210096034"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064804413","display_name":"Fang Song","orcid":"https://orcid.org/0000-0002-3098-6451"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Fang Song","raw_affiliation_strings":["Institute for Quantum Computing and Department of Combinatorics & Optimization University of Waterloo, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Quantum Computing and Department of Combinatorics & Optimization University of Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022329888","display_name":"John Watrous","orcid":"https://orcid.org/0000-0002-4263-9393"},"institutions":[{"id":"https://openalex.org/I109736498","display_name":"Canadian Institute for Advanced Research","ror":"https://ror.org/01sdtdd95","country_code":"CA","type":"facility","lineage":["https://openalex.org/I109736498"]},{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"John Watrous","raw_affiliation_strings":["Canadian Institute for Advanced Research Toronto, Canada","Institute for Quantum Computing and School of Computer Science University of Waterloo, Canada"],"raw_orcid":"https://orcid.org/0000-0002-4263-9393","affiliations":[{"raw_affiliation_string":"Canadian Institute for Advanced Research Toronto, Canada","institution_ids":["https://openalex.org/I109736498"]},{"raw_affiliation_string":"Institute for Quantum Computing and School of Computer Science University of Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4744,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.85802135,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"49","issue":"2","first_page":"245","last_page":"283"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","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/T10682","display_name":"Quantum Computing Algorithms and Architecture","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/T10237","display_name":"Cryptography and Data Security","score":0.9995999932289124,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9987000226974487,"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/quantum-complexity-theory","display_name":"Quantum complexity theory","score":0.6255991458892822},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.6145062446594238},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.6073327660560608},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5926394462585449},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.5775600671768188},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.48045605421066284},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.47015929222106934},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.46726030111312866},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.4406142830848694},{"id":"https://openalex.org/keywords/true-quantified-boolean-formula","display_name":"True quantified Boolean formula","score":0.4276140332221985},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.42750149965286255},{"id":"https://openalex.org/keywords/proof-complexity","display_name":"Proof complexity","score":0.4219062924385071},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.40965592861175537},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.35429733991622925},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33376169204711914},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.31469228863716125},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24816888570785522},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.2409486472606659},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.20008298754692078},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.18728330731391907}],"concepts":[{"id":"https://openalex.org/C92043244","wikidata":"https://www.wikidata.org/wiki/Q7269023","display_name":"Quantum complexity theory","level":4,"score":0.6255991458892822},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.6145062446594238},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.6073327660560608},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5926394462585449},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.5775600671768188},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48045605421066284},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47015929222106934},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.46726030111312866},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.4406142830848694},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.4276140332221985},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.42750149965286255},{"id":"https://openalex.org/C105605280","wikidata":"https://www.wikidata.org/wiki/Q7249999","display_name":"Proof complexity","level":3,"score":0.4219062924385071},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40965592861175537},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.35429733991622925},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33376169204711914},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.31469228863716125},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24816888570785522},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2409486472606659},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.20008298754692078},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.18728330731391907},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/18m1193530","is_oa":false,"landing_page_url":"https://doi.org/10.1137/18m1193530","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:opus.lib.uts.edu.au:10453/127886","is_oa":false,"landing_page_url":"http://hdl.handle.net/10453/127886","pdf_url":null,"source":{"id":"https://openalex.org/S4306401357","display_name":"UTS ePRESS (University of Technology Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114017466","host_organization_name":"University of Technology Sydney","host_organization_lineage":["https://openalex.org/I114017466"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceeding"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309949","display_name":"Canadian Institute for Advanced Research","ror":"https://ror.org/01sdtdd95"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1534752942","https://openalex.org/W1827590847","https://openalex.org/W1970606468","https://openalex.org/W1999502904","https://openalex.org/W2011112377","https://openalex.org/W2012045293","https://openalex.org/W2015880590","https://openalex.org/W2021547858","https://openalex.org/W2038517014","https://openalex.org/W2049471987","https://openalex.org/W2070767505","https://openalex.org/W2073086835","https://openalex.org/W2073618294","https://openalex.org/W2100827027","https://openalex.org/W2131690084","https://openalex.org/W2159566537","https://openalex.org/W2201916012","https://openalex.org/W2308553311","https://openalex.org/W2554893608","https://openalex.org/W2618912166","https://openalex.org/W2895657145","https://openalex.org/W3023478445","https://openalex.org/W3100072758","https://openalex.org/W3101600503","https://openalex.org/W4250445866"],"related_works":["https://openalex.org/W4390097871","https://openalex.org/W4317668779","https://openalex.org/W3031554726","https://openalex.org/W2327776271","https://openalex.org/W2950810033","https://openalex.org/W2295995314","https://openalex.org/W1981914472","https://openalex.org/W2591371812","https://openalex.org/W2122747219","https://openalex.org/W4206841129"],"abstract_inverted_index":{"Prior":[0],"work":[1],"has":[2,54,85],"established":[3],"that":[4,46,77,91,122,168],"all":[5],"problems":[6],"in":[7,49,80,152,178],"NP":[8],"admit":[9],"classical":[10],"zero-knowledge":[11,57,93],"proof":[12,23,58,89,102,139],"systems,":[13],"and":[14,69,162],"under":[15,136],"reasonable":[16],"hardness":[17],"assumptions":[18],"for":[19,128],"quantum":[20,30,39,56,70,87,98,108,119,126,179],"computations,":[21,120],"these":[22],"systems":[24],"can":[25],"be":[26],"made":[27],"secure":[28],"against":[29,106],"attacks.":[31],"We":[32,166],"prove":[33,76],"a":[34,37,55,86,125,129,143],"result":[35],"representing":[36],"further":[38],"generalization":[40],"of":[41,65,132,146,171],"this":[42,172],"fact,":[43],"which":[44,153],"is":[45,92,104],"every":[47,78],"problem":[48,79,135,151,173],"the":[50,63,81,133,147,154,169],"complexity":[51,82],"class":[52,83],"QMA":[53,84,101,134],"system.":[59],"More":[60],"specifically,":[61],"assuming":[62],"existence":[64],"an":[66,113],"unconditionally":[67],"binding":[68],"computationally":[71],"concealing":[72],"commitment":[73],"scheme,":[74],"we":[75],"interactive":[88],"system":[90,103,140],"with":[94],"respect":[95],"to":[96,116],"efficient":[97],"computations.":[99],"Our":[100],"sound":[105],"arbitrary":[107],"provers,":[109],"but":[110],"only":[111],"requires":[112],"honest":[114],"prover":[115],"perform":[117],"polynomial-time":[118],"provided":[121],"it":[123],"holds":[124],"witness":[127],"given":[130],"instance":[131],"consideration.":[137],"The":[138],"relies":[141],"on":[142],"new":[144],"variant":[145],"QMA-complete":[148],"local":[149,155],"Hamiltonian":[150],"terms":[156],"are":[157],"described":[158],"by":[159],"Clifford":[160],"operations":[161],"standard":[163],"basis":[164],"measurements.":[165],"believe":[167],"QMA-completeness":[170],"may":[174],"have":[175],"other":[176],"uses":[177],"complexity.":[180]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}