Koodimarsruutimine: uus rünnak asukoha kontrollimisele

Koodimarsruutimine: uus rünnak asukoha kontrollimisele

Koodi marsruutimine: uus rünnak asukohakontrolli PlatoBlockchain Data Intelligence vastu. Vertikaalne otsing. Ai.

Joy Cree ja Alex May

Stanfordi ülikooli

Kas see artikkel on huvitav või soovite arutada? Scite või jätke SciRate'i kommentaar.

Abstraktne

Asukoha kontrollimise krüptograafiline ülesanne püüab kontrollida ühe osapoole asukohta aegruumis, kasutades ära kvantinformatsiooni piiranguid ja relativistlikku põhjuslikku seost. Populaarne kontrolliskeem, mida tuntakse $f$-marsruutimise nime all, nõuab, et tõestaja suunaks ümber kvantsüsteemi Boole'i ​​funktsiooni $f$ väärtuse alusel. $f$-marsruutimise skeemi petmisstrateegiad nõuavad, et tõestaja kasutaks eeljagatud takerdumist ja skeemi turvalisus põhineb eeldustel, kui palju põimumist tõestaja suudab manipuleerida. Siin anname uue petmisstrateegia, milles kvantsüsteem on kodeeritud saladuste jagamise skeemi ja salajagamise skeemi autoriseerimisstruktuuri kasutatakse süsteemi asjakohaseks suunamiseks. See strateegia viib lõpule $f$-marsruutimise ülesande $O(SP_p(f))$ EPR paaride abil, kus $SP_p(f)$ on ulatusprogrammi minimaalne suurus väljal $mathbb{Z}_p$ arvutamisel $ f$. See näitab, et suudame pärast kohaliku eeltöötluse lubamist tõhusalt rünnata $f$-marsruutimisskeeme, kui $f$ on keerukusklassis $text{Mod}_ptext{L}$. Parim varasem konstruktsioon saavutas klassi L, mis arvatakse olevat rangelt $text{Mod}_ptext{L}$ sees. Samuti näitame, et indikaatorfunktsiooniga $f_I$ kvantsalajase jagamisskeemi suurus piirab funktsiooni $f_I$ $f$-marsruutimise ülempiiri takerdumiskulu.

► BibTeX-i andmed

► Viited

[1] Nishanth Chandran, Vipul Goyal, Ryan Moriarty ja Rafail Ostrovski. Positsioonipõhine krüptograafia. Aasta rahvusvahelises krüptoloogiakonverentsis, lk 391–407. Springer, 2009. https://​/​doi.org/​10.1007/​978-3-642-03356-8_23.
https:/​/​doi.org/​10.1007/​978-3-642-03356-8_23

[2] Adrian Kent, William J Munro ja Timothy P Spiller. Kvantmärgistamine: asukoha autentimine kvantteabe ja relativistlike signaalipiirangute kaudu. Physical Review A, 84 (1): 012326, 2011. https://​/​doi.org/​10.1103/​PhysRevA.84.012326.
https://​/​doi.org/​10.1103/​PhysRevA.84.012326

[3] Adrian Kent. Kvantülesanded Minkowski ruumis. Classical and Quantum Gravity, 29 (22): 224013, 2012. 10.1088/​0264-9381/​29/​22/​224013.
https:/​/​doi.org/​10.1088/​0264-9381/​29/​22/​224013

[4] William K Wootters ja Wojciech H Zurek. Ühtegi kvanti ei saa kloonida. Nature, 299 (5886): 802–803, 1982. https://​/​doi.org/​10.1038/​299802a0.
https://​/​doi.org/​10.1038/​299802a0

[5] Adrian P Kent, William J Munro, Timothy P Spiller ja Raymond G Beausoleil. Märgistussüsteemid, 11. juuli 2006. USA patent 7,075,438 XNUMX XNUMX.

[6] Robert A Malaney. Asukohast sõltuv side kvantpõimumise abil. Physical Review A, 81 (4): 042319, 2010. https://​/​doi.org/​10.1103/​PhysRevA.81.042319.
https://​/​doi.org/​10.1103/​PhysRevA.81.042319

[7] Harry Buhrman, Nishanth Chandran, Serge Fehr, Ran Gelles, Vipul Goyal, Rafail Ostrovski ja Christian Schaffner. Positsioonipõhine kvantkrüptograafia: võimatus ja konstruktsioonid. SIAM Journal on Computing, 43 (1): 150–178, 2014. https://​/​doi.org/​10.1137/​130913687.
https://​/​doi.org/​10.1137/​130913687

[8] Salman Beigi ja Robert König. Lihtsustatud hetkeline mittelokaalne kvantarvutus asukohapõhise krüptograafia rakendustega. New Journal of Physics, 13 (9): 093036, 2011. 10.1088/​1367-2630/​13/​9/​093036.
https:/​/​doi.org/​10.1088/​1367-2630/​13/​9/​093036

[9] Andreas Bluhm, Matthias Christandl ja Florian Speelman. Ühe kubitiga asukoha kontrollimise protokoll, mis on kaitstud mitme kubiti rünnakute eest. Nature Physics, lk 1–4, 2022. https://​/​doi.org/​10.1038/​s41567-022-01577-0.
https:/​/​doi.org/​10.1038/​s41567-022-01577-0

[10] Harry Buhrman, Serge Fehr, Christian Schaffner ja Florian Speelman. Aiavooliku mudel. In Proceedings of the 4th Conference on Innovations in Theoretical Computer Science, lk 145–158, 2013. https://​/​doi.org/​10.1145/​2422436.2422455.
https://​/​doi.org/​10.1145/​2422436.2422455

[11] Hartmut Klauck ja Supartha Podder. Aiavooliku mudeli uued piirid. Tarkvaratehnoloogia ja teoreetilise arvutiteaduse alused, 2014. 10.4230/​LIPIcs.FSTTCS.2014.481.
https://​/​doi.org/​10.4230/​LIPIcs.FSTTCS.2014.481

[12] Srinivasan Arunachalam ja Supartha Podder. Suhtlemismeenutus: Mäluvaba suhtlemise keerukus. 12. Innovations in Theoretical Computer Science konverentsil (ITCS 2021). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021. 10.4230/​LIPIcs.ITCS.2021.61.
https://​/​doi.org/​10.4230/​LIPIcs.ITCS.2021.61

[13] Alex May. Kvantülesanded holograafias. Journal of High Energy Physics, 2019 (10): 1–39, 2019. https://​/​doi.org/​10.1007/​JHEP10(2019)233.
https://​/​doi.org/​10.1007/​JHEP10(2019)233

[14] Alex May, Geoff Penington ja Jonathan Sorce. Holograafiline hajutamine nõuab ühendatud põimumiskiilu. Journal of High Energy Physics, 2020 (8): 1–34, 2020. https://​/​doi.org/​10.1007/​JHEP08(2020)132.
https://​/​doi.org/​10.1007/​JHEP08(2020)132

[15] Alex May. Keerukus ja segadus mittelokaalses arvutuses ja holograafias. Quantum, 6: 864, november 2022. ISSN 2521-327X. 10.22331/q-2022-11-28-864. URL https://​/​doi.org/​10.22331/​q-2022-11-28-864.
https:/​/​doi.org/​10.22331/​q-2022-11-28-864

[16] Adam D Smith. Kvantsalajane jagamine üldiste juurdepääsustruktuuride jaoks. arXiv eeltrükk quant-ph/​0001087, 2000. https://​/​doi.org/​10.48550/​arXiv.quant-ph/​0001087.
https://​/​doi.org/​10.48550/​arXiv.quant-ph/​0001087
arXiv:quant-ph/0001087

[17] Juan Maldacena. Superkonformse välja teooriate ja supergravitatsiooni suure N piir. International Journal of theoretical physics, 38 (4): 1113–1133, 1999. https://​/​doi.org/​10.1023/​A:1026654312961.
https://​/​doi.org/​10.1023/​A:1026654312961

[18] Edward Witten. Istumisvastane ruum ja holograafia. Advances in Theoretical and Mathematical Physics, 2: 253–291, 1998. 10.4310/ATMP.1998.v2.n2.a2.
https:/​/​doi.org/​10.4310/​ATMP.1998.v2.n2.a2

[19] Daniel Gottesman. Kvantsaladuste jagamise teooria. Physical Review A, 61 (4): 042311, 2000. https://​/​doi.org/​10.1103/​PhysRevA.61.042311.
https://​/​doi.org/​10.1103/​PhysRevA.61.042311

[20] Benjamin Schumacher ja Michael A Nielsen. Kvantandmete töötlemine ja vigade parandamine. Physical Review A, 54 (4): 2629, 1996. https://​/​doi.org/​10.1103/​PhysRevA.54.2629.
https://​/​doi.org/​10.1103/​PhysRevA.54.2629

[21] Benjamin Schumacher ja Michael D Westmoreland. Ligikaudne kvantvea parandus. Quantum Information Processing, 1 (1): 5–12, 2002. https://​/​doi.org/​10.1023/​A:1019653202562.
https://​/​doi.org/​10.1023/​A:1019653202562

[22] Gerhard Buntrock, Carsten Damm, Ulrich Hertrampf ja Christoph Meinel. Logspace-mod klassi struktuur ja tähtsus. Matemaatiline süsteemiteooria, 25 (3): 223–237, 1992. https://​/​doi.org/​10.1007/​BF01374526.
https://​/​doi.org/​10.1007/​BF01374526

[23] Mauricio Karchmer ja Avi Wigderson. Kavaprogrammide kohta. In [1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference, lk 102–111. IEEE, 1993. 10.1109/SCT.1993.336536.
https://​/​doi.org/​10.1109/​SCT.1993.336536

[24] Neil D Jones, Y Edmund Lien ja William T Laaser. Mittedeterministliku logiruumi uued probleemid on lõpetatud. Matemaatiline süsteemiteooria, 10 (1): 1–17, 1976. https://​/​doi.org/​10.1007/​BF01683259.
https://​/​doi.org/​10.1007/​BF01683259

[25] Klaus Reinhardt ja Eric Allender. Mittedeterminismi üheselt mõistetavaks muutmine. SIAM Journal on Computing, 29 (4): 1118–1131, 2000. https://​/​doi.org/​10.1137/​S0097539798339041.
https://​/​doi.org/​10.1137/​S0097539798339041

[26] Eric Allender, Klaus Reinhardt ja Shiyu Zhou. Ühtsete ja ebaühtlaste ülemiste piiride eraldamine, sobitamine ja loendamine. Journal of Computer and System Sciences, 59 (2): 164–181, 1999. https://​/​doi.org/​10.1006/​jcss.1999.1646.
https://​/​doi.org/​10.1006/​jcss.1999.1646

[27] Eyal Kushilevitz. Suhtlemise keerukus. Väljaandes Advances in Computers, köide 44, lk 331–360. Elsevier, 1997. https://​/​doi.org/​10.1016/​S0065-2458(08)60342-3.
https:/​/​doi.org/​10.1016/​S0065-2458(08)60342-3

[28] Noam Nisan. Läveväravate kommunikatsiooni keerukus. Combinatorics, Paul Erdos on kaheksakümmend, 1: 301–315, 1993.

[29] Robert Robere, Toniann Pitassi, Benjamin Rossman ja Stephen A Cook. Monotoonse ulatusega programmide eksponentsiaalsed alumised piirid. 2016. aastal IEEE 57. iga-aastane arvutiteaduse aluste sümpoosion (FOCS), lk 406–415. IEEE, 2016. 10.1109/FOCS.2016.51.
https://​/​doi.org/​10.1109/​FOCS.2016.51

[30] Florian Speelman. Madala T-sügavusega kvantahelate hetkeline mittelokaalne arvutamine. In 11th Conference on the Theory of theory of Quantum Computation, Communication and Cryptography (TQC 2016), Leibniz International Proceedings in Informatics (LIPIcs) köide 61, lk 9:1–9:24, Dagstuhl, Saksamaa, 2016. Schloss Dagstuhl–Leibniz- Zentrum für Informatik. ISBN 978-3-95977-019-4. 10.4230/LIPIcs.TQC.2016.9.
https://​/​doi.org/​10.4230/​LIPIcs.TQC.2016.9

Viidatud

[1] Alex May, "Keerukus ja takerdumine mittekohalikus arvutamises ja holograafias", Quantum 6 864 (2022).

[2] Alex May, Jonathan Sorce ja Beni Yoshida, "Ühendatud kiiluteoreem ja selle tagajärjed", Journal of High Energy Physics 2022, 11, 153 (2022).

[3] Kfir Dolev ja Sam Cree, "Holograafia kui mittekohaliku kvantarvutuse ressurss", arXiv: 2210.13500, (2022).

[4] Kfir Dolev ja Sam Cree, "Väikeste valguskoonustega kvantahelate mittelokaalne arvutamine", arXiv: 2203.10106, (2022).

[5] Rene Allerstorfer, Harry Buhrman, Alex May, Florian Speelman ja Philip Verduyn Lunel, "Mittelokaalse kvantarvutuse seos teabeteoreetilise krüptograafiaga". arXiv: 2306.16462, (2023).

[6] Llorenç Escolà-Farràs ja Florian Speelman, "Ühe kubitine kadu taluv kvantasendi kontrollimise protokoll on turvaline takerdunud ründajate vastu", arXiv: 2212.03674, (2022).

Ülaltoodud tsitaadid on pärit SAO/NASA KUULUTUSED (viimati edukalt värskendatud 2023-08-10 03:31:42). Loend võib olla puudulik, kuna mitte kõik väljaandjad ei esita sobivaid ja täielikke viiteandmeid.

On Crossrefi viidatud teenus teoste viitamise andmeid ei leitud (viimane katse 2023-08-10 03:31:41).

Ajatempel:

Veel alates Quantum Journal