{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T15:40:11Z","timestamp":1766158811990,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"7883","license":[{"start":{"date-parts":[[2021,11,3]],"date-time":"2021-11-03T00:00:00Z","timestamp":1635897600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,3]],"date-time":"2021-11-03T00:00:00Z","timestamp":1635897600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nature"],"published-print":{"date-parts":[[2021,11,4]]},"DOI":"10.1038\/s41586-021-03998-y","type":"journal-article","created":{"date-parts":[[2021,11,3]],"date-time":"2021-11-03T17:16:49Z","timestamp":1635959809000},"page":"47-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Experimental relativistic zero-knowledge proofs"],"prefix":"10.1038","volume":"599","author":[{"given":"Pouriya","family":"Alikhani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Brunner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9990-8005","authenticated-orcid":false,"given":"Claude","family":"Cr\u00e9peau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0303-3556","authenticated-orcid":false,"given":"S\u00e9bastien","family":"Designolle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rapha\u00ebl","family":"Houlmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weixu","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9237-1700","authenticated-orcid":false,"given":"Hugo","family":"Zbinden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,3]]},"reference":[{"key":"3998_CR1","doi-asserted-by":"crossref","unstructured":"Goldwasser, S., Micali, S. & Rackoff, C. The knowledge complexity of interactive proof systems. In Proc. Seventeenth Annual ACM Symposium on Theory of Computing 291\u2013304 (ACM, 1985).","DOI":"10.1145\/22145.22178"},{"key":"3998_CR2","doi-asserted-by":"crossref","unstructured":"Ben-Or, M., Goldwasser, S., Kilian, J. & Wigder-son, A. Multi-prover interactive proofs: how to remove intractability assumptions. In Proc. Twentieth Annual ACM Symposium on Theory of Computing 113\u2013131 (ACM, 1988).","DOI":"10.1145\/62212.62223"},{"key":"3998_CR3","unstructured":"Kilian, J. Strong separation models of multi prover interactive proofs. In DIMACS Workshop on Cryptography (DIMACS, 1990)."},{"key":"3998_CR4","unstructured":"Ben-Sasson, E., Bentov, I., Horesh, Y. & Riabzev, M. Scalable, transparent, and post-quantum secure computational integrity. Preprint at https:\/\/eprint.iacr.org\/2018\/046.pdf (2018)."},{"key":"3998_CR5","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1137\/0218012","volume":"18","author":"S Goldwasser","year":"1989","unstructured":"Goldwasser, S., Micali, S. & Rackoff, C. The knowledge complexity of interactive proof systems. SIAM J. Comput. 18, 186\u2013208 (1989).","journal-title":"SIAM J. Comput."},{"key":"3998_CR6","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/359340.359342","volume":"21","author":"RL Rivest","year":"1978","unstructured":"Rivest, R. L., Shamir, A. & Adleman, L. A method for obtaining digital signatures and public-key cryptosystems. Commun. ACM 21, 120\u2013126 (1978).","journal-title":"Commun. ACM"},{"key":"3998_CR7","unstructured":"Garey, M. R. & Johnson, D. S. Computers and Intractability: A Guide to the Theory of NP-Completeness (W. H. Freeman & Co., 1979)."},{"key":"3998_CR8","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1145\/116825.116852","volume":"38","author":"O Goldreich","year":"1991","unstructured":"Goldreich, O., Micali, S. & Wigderson, A. Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. J. ACM 38, 690\u2013728 (1991).","journal-title":"J. ACM"},{"key":"3998_CR9","doi-asserted-by":"crossref","unstructured":"Fortnow, L. The complexity of perfect zero-knowledge. In Proc. Nineteenth Annual ACM Symposium on Theory of Computing 204\u2013209 (ACM, 1987).","DOI":"10.1145\/28395.28418"},{"key":"3998_CR10","doi-asserted-by":"crossref","unstructured":"Ben Sasson, E. et al. Zerocash: decentralized anonymous payments from Bitcoin. In Proc. IEEE Symp. Security and Privacy 459\u2013474 (IEEE, 2014).","DOI":"10.1109\/SP.2014.36"},{"key":"3998_CR11","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1038\/nature23461","volume":"549","author":"DJ Bernstein","year":"2017","unstructured":"Bernstein, D. J. & Lange, T. Post-quantum cryptography. Nature 549, 188\u2013194 (2017).","journal-title":"Nature"},{"key":"3998_CR12","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1038\/s41586-019-1666-5","volume":"574","author":"F Arute","year":"2019","unstructured":"Arute, F. et al. Quantum supremacy using a programmable superconducting processor. Nature 574, 505\u2013510 (2019).","journal-title":"Nature"},{"key":"3998_CR13","doi-asserted-by":"publisher","first-page":"1447","DOI":"10.1103\/PhysRevLett.83.1447","volume":"83","author":"A Kent","year":"1999","unstructured":"Kent, A. Unconditionally secure bit commitment. Phys. Rev. Lett. 83, 1447\u20131450 (1999).","journal-title":"Phys. Rev. Lett."},{"key":"3998_CR14","unstructured":"Cr\u00e9peau, C., Massenet, A., Salvail, L., Stinchcombe, L. & Yang, N. Practical relativistic zero-knowledge for NP. In Proc. 1st Conf. Information-Theoretic Cryptography 4, 1\u201318 (LIPiCS, 2020)."},{"key":"3998_CR15","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1016\/j.dam.2006.07.015","volume":"156","author":"K Mizuno","year":"2008","unstructured":"Mizuno, K. & Nishihara, S. Constructive generation of very hard 3-colorability instances. Discret. Appl. Math. 156, 218\u2013229 (2008).","journal-title":"Discret. Appl. Math"},{"key":"3998_CR16","doi-asserted-by":"crossref","unstructured":"Katz, J. & Lindell, Y. Introduction to Modern Cryptography 3rd edn (CRC, 2020).","DOI":"10.1201\/9781351133036"},{"key":"3998_CR17","doi-asserted-by":"publisher","first-page":"140506","DOI":"10.1103\/PhysRevLett.117.140506","volume":"117","author":"E Verbanis","year":"2016","unstructured":"Verbanis, E. et al. 24-hour relativistic bit commitment. Phys. Rev. Lett. 117, 140506 (2016).","journal-title":"Phys. Rev. Lett."},{"key":"3998_CR18","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.ffa.2014.06.001","volume":"30","author":"N Li","year":"2014","unstructured":"Li, N., Li, C., Helleseth, T., Ding, C. & Tang, X. Optimal ternary cyclic codes with minimum distance four and five. Finite Fields their Appl. 30, 100\u2013120 (2014).","journal-title":"Finite Fields their Appl"},{"key":"3998_CR19","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s10623-009-9272-4","volume":"52","author":"T Tassa","year":"2009","unstructured":"Tassa, T. & Villar, J. L. On proper secrets, (t, k)-bases and linear codes. Des. Codes Cryptogr. 52, 129\u2013154 (2009).","journal-title":"Des. Codes Cryptogr."},{"key":"3998_CR20","doi-asserted-by":"publisher","first-page":"030502","DOI":"10.1103\/PhysRevLett.115.030502","volume":"115","author":"T Lunghi","year":"2015","unstructured":"Lunghi, T. et al. Practical relativistic bit commitment. Phys. Rev. Lett. 115, 030502 (2015).","journal-title":"Phys. Rev. Lett."},{"key":"3998_CR21","first-page":"195","volume":"1","author":"JS Bell","year":"1964","unstructured":"Bell, J. S. On the Einstein\u2013Podolsky\u2013Rosen paradox. Phys. Phys. Fiz. 1, 195\u2013200 (1964).","journal-title":"Phys. Phys. Fiz"},{"key":"3998_CR22","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1137\/090751293","volume":"40","author":"J Kempe","year":"2011","unstructured":"Kempe, J., Kobayashi, H., Matsumoto, K., Toner, B. & Vidick, T. Entangled games are hard to approximate. SIAM J. Comput. 40, 848\u2013877 (2011).","journal-title":"SIAM J. Comput."},{"key":"3998_CR23","doi-asserted-by":"crossref","unstructured":"Chailloux, A. & Leverrier, A. Relativistic (or 2-prover 1-round) zero-knowledge protocol for NP secure against quantum adversaries. In Advances in Cryptology \u2013 EUROCRYPT 2017 (eds. Coron, J. S. & Nielsen, J.) 369\u2013396 (Springer, 2017).","DOI":"10.1007\/978-3-319-56617-7_13"},{"key":"3998_CR24","unstructured":"Ji, Z. Binary constraint system games and locally commutative reductions. Preprint at https:\/\/arxiv.org\/abs\/1310.3794 (2013)."},{"key":"3998_CR25","doi-asserted-by":"crossref","unstructured":"Groth, J. Non-interactive zero-knowledge arguments for voting. In Applied Cryptography and Network Security (eds. Ioannidis, J., Keromytis, A. & Yung, M.) 467\u2013482 (Springer, 2005).","DOI":"10.1007\/11496137_32"},{"key":"3998_CR26","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/2574871","volume":"57","author":"S Micali","year":"2014","unstructured":"Micali, S. & Rabin, M. O. Cryptography miracles, secure auctions, matching problem verification. Commun. ACM 57, 85\u201393 (2014).","journal-title":"Commun. ACM"},{"key":"3998_CR27","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1038\/nature13457","volume":"510","author":"A Glaser","year":"2014","unstructured":"Glaser, A., Barak, B. & Goldston, R. J. A zero-knowledge protocol for nuclear warhead verification. Nature 510, 497\u2013502 (2014).","journal-title":"Nature"},{"key":"3998_CR28","unstructured":"Group of Applied Physics. Google Maps https:\/\/goo.gl\/maps\/qhriiVPu8ktAqfZd9 (2020)."}],"container-title":["Nature"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.nature.com\/articles\/s41586-021-03998-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.nature.com\/articles\/s41586-021-03998-y","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.nature.com\/articles\/s41586-021-03998-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T07:05:32Z","timestamp":1636009532000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.nature.com\/articles\/s41586-021-03998-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,3]]},"references-count":28,"journal-issue":{"issue":"7883","published-print":{"date-parts":[[2021,11,4]]}},"alternative-id":["3998"],"URL":"https:\/\/doi.org\/10.1038\/s41586-021-03998-y","relation":{},"ISSN":["0028-0836","1476-4687"],"issn-type":[{"type":"print","value":"0028-0836"},{"type":"electronic","value":"1476-4687"}],"subject":[],"published":{"date-parts":[[2021,11,3]]},"assertion":[{"value":"15 January 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 September 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 November 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}