{"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":["CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","QuSoft (Netherlands)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"QuSoft (Netherlands)","institution_ids":["https://openalex.org/I4210099082"]}]},{"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.4759,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71228979,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"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/article"},{"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/article"}],"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/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/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/G4361426476","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/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":{"$":[0,1],"The":[2,153],"problem":[3],"of":[4,9,52,68,70,76,79,82,94,108,127,135,165,167,197,205,216,239,247,254,261,271],"reliably":[5],"certifying":[6],"the":[7,53,58,61,65,74,83,133,136,148,236,259,262],"outcome":[8],"a":[10,14,26,32,92,125,162,180,211,231,240],"computation":[11,34],"performed":[12],"by":[13,57,191,225,244],"quantum":[15,33,40,241],"device":[16],"is":[17,98,113,117,130,141,156,173,214],"rapidly":[18],"gaining":[19],"relevance.":[20],"We":[21],"present":[22],"two":[23,36,185],"protocols":[24,46,222],"for":[25,90,235],"classical":[27],"verifier":[28,59,181],"to":[29,35,101,182],"verifiably":[30],"delegate":[31],"non-communicating":[37],"but":[38,159],"entangled":[39,77,186],"provers,":[41,63,85],"with":[42,64,210,230],"statistical":[43],"soundness.":[44],"Our":[45,121,169,218],"have":[47],"near-optimal":[48],"complexity":[49],"in":[50,99,106,119,132,258],"terms":[51,107],"total":[54,66],"resources":[55,109],"employed":[56],"and":[60,140,269],"honest":[62,84],"number":[67,75,126,164],"operations":[69],"each":[71],"party,":[72],"including":[73],"pairs":[78],"qubits":[80],"required":[81],"scaling":[86],"as":[87],"$O(g\\log":[88],"g)$":[89],"delegating":[91],"circuit":[93,137,149],"size":[95],"$g$.":[96],"This":[97],"contrast":[100],"previous":[102],"protocols,":[103],"whose":[104],"overhead":[105],"employed,":[110],"while":[111],"polynomial,":[112],"far":[114],"beyond":[115],"what":[116],"feasible":[118],"practice.":[120],"first":[122],"protocol":[123,155,234],"requires":[124,160],"rounds":[128,166],"that":[129,178,184,213],"linear":[131],"depth":[134],"being":[138],"delegated,":[139],"blind,":[142,158],"meaning":[143],"neither":[144],"prover":[145],"can":[146],"learn":[147],"or":[150],"its":[151],"input.":[152],"second":[154],"not":[157],"only":[161],"constant":[163],"interaction.":[168],"main":[170],"technical":[171],"innovation":[172],"an":[174,192],"efficient":[175],"rigidity":[176,228],"theorem":[177,229],"allows":[179],"test":[183],"provers":[187],"perform":[188],"measurements":[189],"specified":[190],"arbitrary":[193],"$m$-qubit":[194],"tensor":[195],"product":[196],"single-qubit":[198],"Clifford":[199],"observables":[200],"on":[201,267],"their":[202],"respective":[203],"halves":[204],"$m$":[206],"shared":[207],"EPR":[208],"pairs,":[209],"robustness":[212],"independent":[215],"$m$.":[217],"two-prover":[219],"classical-verifier":[220],"delegation":[221,238],"are":[223],"obtained":[224],"combining":[226],"this":[227,255],"single-prover":[232],"quantum-verifier":[233],"verifiable":[237],"computation,":[242],"introduced":[243],"Broadbent":[245],"(Theory":[246],"Computing,":[248],"2018).":[249],"-------------------":[250],"A":[251],"conference":[252],"version":[253],"paper":[256],"appeared":[257],"Proceedings":[260],"48th":[263],"Ann.":[264],"Internat.":[265],"Conf.":[266],"Theory":[268],"Appl.":[270],"Cryptographic":[272],"Techniques":[273],"(EUROCRYPT":[274],"2019).":[275]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2024-09-05T00:00:00"}