{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T20:28:35Z","timestamp":1784060915860,"version":"3.55.0"},"reference-count":20,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"4","funder":[{"DOI":"10.13039\/100014036","name":"Multidisciplinary University Research Initiative","doi-asserted-by":"publisher","award":["FA9550-18-1-0161"],"award-info":[{"award-number":["FA9550-18-1-0161"]}],"id":[{"id":"10.13039\/100014036","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF-12-1-0541"],"award-info":[{"award-number":["W911NF-12-1-0541"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000925","name":"John Templeton Foundation","doi-asserted-by":"publisher","award":["52536"],"award-info":[{"award-number":["52536"]}],"id":[{"id":"10.13039\/100000925","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1410022"],"award-info":[{"award-number":["CCF-1410022"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1137\/20m1371828","type":"journal-article","created":{"date-parts":[[2022,7,21]],"date-time":"2022-07-21T17:51:03Z","timestamp":1658425863000},"page":"1172-1229","source":"Crossref","is-referenced-by-count":11,"title":["Classical Verification of Quantum Computations"],"prefix":"10.1137","volume":"51","author":[{"given":"Urmila","family":"Mahadev","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2022,7,21]]},"reference":[{"key":"atypb1","first-page":"453","volume-title":"Proceedings of Innovations in Computer Science","author":"Aharonov D.","year":"2010"},{"key":"atypb2","volume-title":"Interactive Proofs for Quantum Computations, preprint, arXiv:1704.04487","author":"Aharonov D.","year":"2017"},{"key":"atypb3","volume-title":"Learning with Rounding","author":"Alwen J.","year":"2013"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01445125"},{"key":"atypb5","first-page":"68","author":"Brakerski Z.","year":"2021","journal-title":"J. ACM"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2009.36"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.78.012352"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1145\/2488608.2488680"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.80.012304"},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.96.012303"},{"key":"atypb11","first-page":"230","volume-title":"Proceedings of ICS","author":"Goldwasser S.","year":"2010"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/047"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2018.00039"},{"key":"atypb15","volume-title":"Post Hoc Verification with a Single Prover, preprint, arXiv:1603.06046","author":"Morimae T.","year":"2016"},{"key":"atypb16","volume-title":"Quantum Proofs Can Be Verified Using only Single Qubit Measurements, arXiv:1510.06789","author":"Morimae T.","year":"2015"},{"key":"atypb17","unstructured":"D. Micciancio and C. Peikert,Trapdoors for Lattices: Simpler, Tighter, Faster, Smaller, Cryptology ePrint Archive, Report 2011\/501,http:\/\/eprint.iacr.org\/2011\/501, 2011."},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1145\/1060590.1060603"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1145\/2422436.2422473"},{"key":"atypb20","first-page":"84","volume":"3","author":"Shi Y.","year":"2003","journal-title":"Quantum Inf. Comput."},{"key":"atypb21","volume-title":"https:\/\/en.wikipedia.org\/wiki\/Trace_distance","author":"Distance Trace","year":"2018"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2022,8,31]],"date-time":"2022-08-31T18:22:41Z","timestamp":1661970161000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/20M1371828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,21]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,8]]}},"alternative-id":["10.1137\/20M1371828"],"URL":"https:\/\/doi.org\/10.1137\/20m1371828","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,21]]}}}