{"id":"https://openalex.org/W4402242858","doi":"https://doi.org/10.4086/toc.2024.v020a003","title":"","display_name":"","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4402242858","doi":"https://doi.org/10.4086/toc.2024.v020a003"},"language":"en","primary_location":{"id":"doi:10.4086/toc.2024.v020a003","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2024.v020a003","pdf_url":"https://theoryofcomputing.org/articles/v020a003/v020a003.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://theoryofcomputing.org/articles/v020a003/v020a003.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091749382","display_name":"Andrea Coladangelo","orcid":"https://orcid.org/0000-0002-6773-2711"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrea Coladangelo","raw_affiliation_strings":["University of Washington [Seattle] (Seattle, Washington 98105 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Washington [Seattle] (Seattle, Washington 98105 - United States)","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090313356","display_name":"Alex B. Grilo","orcid":"https://orcid.org/0000-0001-7374-7082"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alex B. Grilo","raw_affiliation_strings":["QI - Information Quantique [LIP6] (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"QI - Information Quantique [LIP6] (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033408175","display_name":"Stacey Jeffery","orcid":"https://orcid.org/0000-0003-0046-5089"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I4210099082","display_name":"QuSoft","ror":"https://ror.org/00zq3ce72","country_code":"NL","type":"facility","lineage":["https://openalex.org/I4210099082"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Stacey Jeffery","raw_affiliation_strings":["QuSoft (Netherlands)","CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"QuSoft (Netherlands)","institution_ids":["https://openalex.org/I4210099082"]},{"raw_affiliation_string":"CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019616211","display_name":"Thomas Vidick","orcid":"https://orcid.org/0000-0002-6405-365X"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Thomas Vidick","raw_affiliation_strings":["Weizmann Institute of Science [Rehovot, Isra\u00ebl] (234 Herzl Street, Rehovot 7610001 - Israel)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Weizmann Institute of Science [Rehovot, Isra\u00ebl] (234 Herzl Street, Rehovot 7610001 - Israel)","institution_ids":["https://openalex.org/I53964585"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.601,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.73521789,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"20","issue":"1","first_page":"1","last_page":"87"},"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.9986000061035156,"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.9986000061035156,"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.9894999861717224,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.9850999712944031,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.901528000831604},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.7203838229179382},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6453021764755249},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6164263486862183},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5174489617347717},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4792616367340088},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.436744749546051},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3416129946708679},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20267751812934875},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.12064704298973083},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08693364262580872},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08638480305671692}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.901528000831604},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.7203838229179382},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6453021764755249},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6164263486862183},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5174489617347717},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4792616367340088},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.436744749546051},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3416129946708679},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20267751812934875},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.12064704298973083},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08693364262580872},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08638480305671692},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.4086/toc.2024.v020a003","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2024.v020a003","pdf_url":"https://theoryofcomputing.org/articles/v020a003/v020a003.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:publications/74a92793-07f7-40cf-8500-08ff46511fd5","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/verifieronaleash(74a92793-07f7-40cf-8500-08ff46511fd5).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Coladangelo, A, Grilo, A B, Jeffery, S & Vidick, T 2024, 'Verifier-on-a-leash : New schemes for verifiable delegated quantum computation, with quasilinear resources', Theory of Computing, vol. 20, 3. https://doi.org/10.4086/toc.2024.v020a003","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:cwi.nl:35159","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/35159","pdf_url":"https://ir.cwi.nl/pub/35159/35159.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory of Computing vol. 20, pp. 3:1-3:87","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/74a92793-07f7-40cf-8500-08ff46511fd5","is_oa":true,"landing_page_url":"https://hdl.handle.net/11245.1/74a92793-07f7-40cf-8500-08ff46511fd5","pdf_url":"https://pure.uva.nl/ws/files/311264367/v020a003.pdf","source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Coladangelo, A, Grilo, A B, Jeffery, S & Vidick, T 2024, 'Verifier-on-a-leash : New schemes for verifiable delegated quantum computation, with quasilinear resources', Theory of Computing, vol. 20, 3. https://doi.org/10.4086/toc.2024.v020a003","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.4086/toc.2024.v020a003","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2024.v020a003","pdf_url":"https://theoryofcomputing.org/articles/v020a003/v020a003.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1352987678","display_name":null,"funder_award_id":"FA9550-18-1-0161","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G230078430","display_name":null,"funder_award_id":"FA9550-16","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G2684148513","display_name":null,"funder_award_id":"12500028","funder_id":"https://openalex.org/F4320306202","funder_display_name":"Gordon and Betty Moore Foundation"},{"id":"https://openalex.org/G2894089465","display_name":null,"funder_award_id":"PHY-1125565","funder_id":"https://openalex.org/F4320306202","funder_display_name":"Gordon and Betty Moore Foundation"},{"id":"https://openalex.org/G3392305090","display_name":null,"funder_award_id":"-16-1-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G3549753986","display_name":null,"funder_award_id":"CCF-1553477","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3616359867","display_name":null,"funder_award_id":"FA9550-16-1","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G3667278221","display_name":null,"funder_award_id":"PHY-1125565","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3747832099","display_name":"Institute for Quantum Information and Matter (IQIM)","funder_award_id":"1125565","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5175037542","display_name":null,"funder_award_id":"FA9550-16-1-0495","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8163048266","display_name":null,"funder_award_id":"FA9550-18-1-0161","funder_id":"https://openalex.org/F4320333591","funder_display_name":"Multidisciplinary University Research Initiative"},{"id":"https://openalex.org/G8415630618","display_name":"CAREER: Interactions with Untrusted Quantum Devices","funder_award_id":"1553477","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8838030021","display_name":null,"funder_award_id":"PHY-1125565","funder_id":"https://openalex.org/F4320334224","funder_display_name":"Institute for Quantum Information and Matter, California Institute of Technology"},{"id":"https://openalex.org/G999948053","display_name":null,"funder_award_id":"GBMF-12500028","funder_id":"https://openalex.org/F4320306202","funder_display_name":"Gordon and Betty Moore Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306202","display_name":"Gordon and Betty Moore Foundation","ror":"https://ror.org/006wxqw41"},{"id":"https://openalex.org/F4320309949","display_name":"Canadian Institute for Advanced Research","ror":"https://ror.org/01sdtdd95"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320322892","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73"},{"id":"https://openalex.org/F4320333591","display_name":"Multidisciplinary University Research Initiative","ror":null},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null},{"id":"https://openalex.org/F4320334224","display_name":"Institute for Quantum Information and Matter, California Institute of Technology","ror":null},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402242858.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2355730523","https://openalex.org/W152021879","https://openalex.org/W2072918937","https://openalex.org/W2365629437","https://openalex.org/W2023935927","https://openalex.org/W2348330439","https://openalex.org/W2350372928","https://openalex.org/W2377292126","https://openalex.org/W2364126283","https://openalex.org/W4383721755"],"abstract_inverted_index":{"The":[0,152],"problem":[1],"of":[2,7,50,66,68,74,77,80,93,107,126,134,164,166,196,204,215,238,246],"reliably":[3],"certifying":[4],"the":[5,51,56,59,63,72,81,132,135,147,235],"outcome":[6],"a":[8,12,24,30,91,124,161,179,210,230,239],"computation":[9,32],"performed":[10],"by":[11,55,190,224,243],"quantum":[13,31,38,240],"device":[14],"is":[15,97,112,116,129,140,155,172,213],"rapidly":[16],"gaining":[17],"relevance.":[18],"We":[19],"present":[20],"two":[21,34,184],"protocols":[22,44,221],"for":[23,89,234],"classical":[25],"verifier":[26,57,180],"to":[27,33,100,181],"verifiably":[28],"delegate":[29],"non-communicating":[35],"but":[36,158],"entangled":[37,75,185],"provers,":[39,61,83],"with":[40,62,209,229],"statistical":[41],"soundness.":[42],"Our":[43,120,168,217],"have":[45],"near-optimal":[46],"complexity":[47],"in":[48,98,105,118,131],"terms":[49,106],"total":[52,64],"resources":[53,108],"employed":[54],"and":[58,139],"honest":[60,82],"number":[65,73,125,163],"operations":[67],"each":[69],"party,":[70],"including":[71],"pairs":[76],"qubits":[78],"required":[79],"scaling":[84],"as":[85],"O(g":[86],"log":[87],"g)":[88],"delegating":[90],"circuit":[92,136,148],"size":[94],",.":[95],"This":[96],"contrast":[99],"previous":[101],"protocols,":[102],"whose":[103],"overhead":[104],"employed,":[109],"while":[110],"polynomial,":[111],"far":[113],"beyond":[114],"what":[115],"feasible":[117],"practice.":[119],"first":[121],"protocol":[122,154,233],"requires":[123,159],"rounds":[127,165],"that":[128,177,183,212],"linear":[130],"depth":[133],"being":[137],"delegated,":[138],"blind,":[141,157],"meaning":[142],"neither":[143],"prover":[144],"can":[145],"learn":[146],"or":[149],"its":[150],"input.":[151],"second":[153],"not":[156],"only":[160],"constant":[162],"interaction.":[167],"main":[169],"technical":[170],"innovation":[171],"an":[173,191],"efficient":[174],"rigidity":[175,227],"theorem":[176,228],"allows":[178],"test":[182],"provers":[186],"perform":[187],"measurements":[188],"specified":[189],"arbitrary":[192],"<-qubit":[193],"tensor":[194],"product":[195],"single-qubit":[197],"Clifford":[198],"observables":[199],"on":[200],"their":[201],"respective":[202],"halves":[203],"<":[205],"shared":[206],"EPR":[207],"pairs,":[208],"robustness":[211],"independent":[214],"<.":[216],"twoprover":[218],"classical-verifier":[219],"delegation":[220,237],"are":[222],"obtained":[223],"combining":[225],"this":[226],"single-prover":[231],"quantum-verifier":[232],"verifiable":[236],"computation,":[241],"introduced":[242],"Broadbent":[244],"(Theory":[245],"Computing,":[247],"2018).":[248]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-22T08:00:12.763002","created_date":"2024-09-05T00:00:00"}