مسیریابی کد: یک حمله جدید به تأیید موقعیت

مسیریابی کد: یک حمله جدید به تأیید موقعیت

مسیریابی کد: یک حمله جدید به تأیید موقعیت، هوش داده پلاتوبلاک چین. جستجوی عمودی Ai.

جوی کری و الکس می

دانشگاه استنفورد

این مقاله را جالب می دانید یا می خواهید بحث کنید؟ SciRate را ذکر کنید یا در SciRate نظر بدهید.

چکیده

وظیفه رمزنگاری تأیید موقعیت تلاش می‌کند تا با بهره‌برداری از محدودیت‌های اطلاعات کوانتومی و علیت نسبیتی، مکان یک طرف را در فضازمان تأیید کند. یک طرح راستی‌آزمایی محبوب که به‌عنوان مسیریابی $f$ شناخته می‌شود، مستلزم این است که پروور یک سیستم کوانتومی را بر اساس مقدار تابع بولی $f$ هدایت کند. استراتژی‌های تقلب برای طرح مسیریابی $f$ مستلزم استفاده از درهم‌تنیدگی از پیش به اشتراک‌گذاشته‌شده توسط Prover است، و امنیت این طرح بر فرضیات مربوط به میزان درهم‌تنیدگی استوار است. در اینجا، ما یک استراتژی تقلب جدید ارائه می‌دهیم که در آن سیستم کوانتومی در یک طرح اشتراک‌گذاری راز کدگذاری می‌شود، و ساختار مجوز طرح اشتراک‌گذاری راز برای هدایت صحیح سیستم مورد سوء استفاده قرار می‌گیرد. این استراتژی وظیفه $f$-routing را با استفاده از جفت‌های $O(SP_p(f))$ EPR تکمیل می‌کند، که $SP_p(f)$ حداقل اندازه یک برنامه span در فیلد $mathbb{Z}_p$ محاسبه $ است. f$. این نشان می‌دهد که هر زمان که $f$ در کلاس پیچیدگی $text{Mod}_ptext{L}$ باشد، پس از اجازه پیش‌پردازش محلی، می‌توانیم به طور موثر به طرح‌های مسیریابی $f$ حمله کنیم. بهترین ساختار قبلی به کلاس L رسید، که اعتقاد بر این است که دقیقاً در داخل $text{Mod}_ptext{L}$ قرار دارد. همچنین نشان می‌دهیم که اندازه یک طرح اشتراک‌گذاری راز کوانتومی با تابع نشانگر $f_I$ کرانه‌های بالایی هزینه درهم‌تنیدگی $f$-مسیریابی روی تابع $f_I$ است.

► داده های BibTeX

◄ مراجع

[1] نیشانت چاندران، ویپول گویال، رایان موریارتی و رافائل اوستروفسکی. رمزنگاری مبتنی بر موقعیت در کنفرانس سالانه بین المللی رمز شناسی، صفحات 391-407. اسپرینگر، 2009. https://doi.org/​10.1007/​978-3-642-03356-8_23.
https:/​/​doi.org/​10.1007/​978-3-642-03356-8_23

[2] آدریان کنت، ویلیام جی مونرو و تیموتی پی اسپیلر. برچسب گذاری کوانتومی: احراز هویت مکان از طریق اطلاعات کوانتومی و محدودیت های سیگنالینگ نسبیتی. بررسی فیزیکی A، 84 (1): 012326، 2011. https://doi.org/​10.1103/​PhysRevA.84.012326.
https://doi.org/​10.1103/​PhysRevA.84.012326

[3] آدریان کنت. وظایف کوانتومی در فضای مینکوفسکی گرانش کلاسیک و کوانتومی، 29 (22): 224013، 2012. 10.1088/​0264-9381/​29/​22/​224013.
https:/​/​doi.org/​10.1088/​0264-9381/​29/​22/​224013

[4] ویلیام کی ووترز و وویچ اچ زورک. یک کوانتوم واحد را نمی توان شبیه سازی کرد. Nature, 299 (5886): 802–803, 1982. https://doi.org/​10.1038/​299802a0.
https://doi.org/​10.1038/​299802a0

[5] آدریان پی کنت، ویلیام جی مونرو، تیموتی پی اسپیلر و ریموند جی بوسلیل. سیستم های برچسب گذاری، 11 جولای 2006. ثبت اختراع ایالات متحده 7,075,438.

[6] رابرت آ مالنی. ارتباطات وابسته به مکان با استفاده از درهم تنیدگی کوانتومی بررسی فیزیکی A، 81 (4): 042319، 2010. https://doi.org/​10.1103/​PhysRevA.81.042319.
https://doi.org/​10.1103/​PhysRevA.81.042319

[7] هری بورمن، نیشانت چاندران، سرژ فهر، ران ژل، ویپول گویال، رافائل اوستروفسکی و کریستین شافنر. رمزنگاری کوانتومی مبتنی بر موقعیت: عدم امکان و ساختار SIAM Journal on Computing, 43 (1): 150-178, 2014. https://doi.org/​10.1137/​130913687.
https://doi.org/​10.1137/​130913687

[8] سلمان بیگی و رابرت کونیگ. محاسبات کوانتومی غیرمحلی آنی ساده شده با کاربردهای رمزنگاری مبتنی بر موقعیت. مجله جدید فیزیک، 13 (9): 093036، 2011. 10.1088/​1367-2630/​13/​​​9/​093036.
https:/​/​doi.org/​10.1088/​1367-2630/​13/​9/​093036

[9] آندریاس بلوم، ماتیاس کریستندل و فلوریان اسپیلمن. یک پروتکل تأیید موقعیت تک کیوبیتی که در برابر حملات چند کیوبیتی ایمن است. فیزیک طبیعت، صفحات 1-4، 2022. https://doi.org/​10.1038/​s41567-022-01577-0.
https:/​/​doi.org/​10.1038/​s41567-022-01577-0

[10] هری بورمن، سرژ فهر، کریستین شافنر و فلوریان اسپیلمن. مدل شیلنگ باغچه. در مجموعه مقالات چهارمین کنفرانس نوآوری در علوم کامپیوتر نظری، صفحات 4-145، 158. https://doi.org/​2013/​10.1145.
https://doi.org/​10.1145/​2422436.2422455

[11] هارتموت کلاوک و سوپارتا پودر. محدودیت های جدید برای مدل شیلنگ باغچه. در مبانی فناوری نرم افزار و علوم کامپیوتر نظری، 2014. 10.4230/​LIPIcs.FSTTCS.2014.481.
https://doi.org/​10.4230/​LIPIcs.FSTTCS.2014.481

[12] سرینیواسان آروناچلام و سوپارتا پودر. یادگاری ارتباط: پیچیدگی ارتباط بدون حافظه. در دوازدهمین کنفرانس نوآوری در علوم کامپیوتر نظری (ITCS 12). Schloss Dagstuhl-Leibniz-Zentrum für Informatik، 2021. 2021/​LIPIcs.ITCS.10.4230.
https://doi.org/​10.4230/​LIPIcs.ITCS.2021.61

[13] الکس می. وظایف کوانتومی در هولوگرافی مجله فیزیک انرژی بالا، 2019 (10): 1–39، 2019. https://doi.org/​10.1007/​JHEP10(2019)233.
https://doi.org/​10.1007/​JHEP10(2019)233

[14] الکس می، جف پنینگتون و جاناتان سورس. پراکندگی هولوگرافیک به یک گوه درهم تنیدگی متصل نیاز دارد. مجله فیزیک انرژی بالا، 2020 (8): 1–34، 2020. https://doi.org/​10.1007/​JHEP08(2020)132.
https://doi.org/​10.1007/​JHEP08(2020)132

[15] الکس می. پیچیدگی و درهم تنیدگی در محاسبات غیر محلی و هولوگرافی Quantum, 6: 864, نوامبر 2022. ISSN 2521-327X. 10.22331/​q-2022-11-28-864. نشانی اینترنتی https://doi.org/​10.22331/​q-2022-11-28-864.
https:/​/​doi.org/​10.22331/​q-2022-11-28-864

[16] آدام دی اسمیت. اشتراک گذاری راز کوانتومی برای ساختارهای دسترسی عمومی arXiv preprint 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] خوان مالداسینا. حد N بزرگ تئوری های میدان ابرهمشکل و ابر گرانش. مجله بین المللی فیزیک نظری، 38 (4): 1113–1133، 1999. https://doi.org/​10.1023/​A:1026654312961.
https://doi.org/​10.1023/​A:1026654312961

[18] ادوارد ویتن فضای ضد نشستن و هولوگرافی. پیشرفت در فیزیک نظری و ریاضی، 2: 253-291، 1998. 10.4310/​ATMP.1998.v2.n2.a2.
https:/​/​doi.org/​10.4310/​ATMP.1998.v2.n2.a2

[19] دانیل گوتسمن. نظریه اشتراک راز کوانتومی بررسی فیزیکی A، 61 (4): 042311، 2000. https://doi.org/​10.1103/​PhysRevA.61.042311.
https://doi.org/​10.1103/​PhysRevA.61.042311

[20] بنجامین شوماخر و مایکل آ نیلسن پردازش داده های کوانتومی و تصحیح خطا. Physical Review A, 54 (4): 2629, 1996. https://doi.org/​10.1103/​PhysRevA.54.2629.
https://doi.org/​10.1103/​PhysRevA.54.2629

[21] بنجامین شوماخر و مایکل دی وستمورلند. تصحیح تقریبی خطای کوانتومی پردازش اطلاعات کوانتومی، 1 (1): 5-12، 2002. https://doi.org/​10.1023/​A:1019653202562.
https://doi.org/​10.1023/​A:1019653202562

[22] گرهارد بانتروک، کارستن دام، اولریش هرترامپف و کریستوف ماینل. ساختار و اهمیت کلاس logspace-mod. نظریه سیستم های ریاضی، 25 (3): 223-237، 1992. https://doi.org/​10.1007/​BF01374526.
https://doi.org/​10.1007/​BF01374526

[23] مائوریسیو کارچمر و آوی ویگدرسون. در برنامه های span. در [1993] مجموعه مقالات هشتمین کنفرانس ساختار سالانه در نظریه پیچیدگی، صفحات 102-111. IEEE، 1993. 10.1109/​SCT.1993.336536.
https://doi.org/​10.1109/​SCT.1993.336536

[24] نیل دی جونز، وای ادموند لین، و ویلیام تی لیزر. مشکلات جدید برای فضای گزارش غیر قطعی کامل شد. نظریه سیستم های ریاضی، 10 (1): 1-17، 1976. https://doi.org/​10.1007/​BF01683259.
https://doi.org/​10.1007/​BF01683259

[25] کلاوس راینهارت و اریک آلندر. بدون ابهام ساختن غیر جبرگرایی SIAM Journal on Computing, 29 (4): 1118–1131, 2000. https://doi.org/​10.1137/​S0097539798339041.
https://doi.org/​10.1137/​S0097539798339041

[26] اریک آلندر، کلاوس راینهارت و شیو ژو. جداسازی، تطبیق و شمارش کرانهای بالایی یکنواخت و غیریکنواخت. مجله علوم کامپیوتر و سیستم، 59 (2): 164-181، 1999. https://doi.org/​10.1006/​jcss.1999.1646.
https://doi.org/​10.1006/​jcss.1999.1646

[27] ایال کوشیلویتز. پیچیدگی ارتباطات In Advances in Computers، جلد 44، صفحات 331–360. الزویر، 1997. https://doi.org/10.1016/​S0065-2458(08)60342-3.
https:/​/​doi.org/​10.1016/​S0065-2458(08)60342-3

[28] نوام نیسان. پیچیدگی ارتباط دروازه های آستانه ترکیبیات، پل اردوس هشتاد ساله است، 1: 301–315، 1993.

[29] رابرت روبر، تونیان پیتاسی، بنجامین راسمن و استفان کوک. کران های پایین نمایی برای برنامه های دهانه یکنواخت. در سال 2016 IEEE پنجاه و هفتمین سمپوزیوم سالانه مبانی علوم کامپیوتر (FOCS)، صفحات 57-406. IEEE، 415. 2016/​FOCS.10.1109.
https://doi.org/​10.1109/​FOCS.2016.51

[30] فلوریان اسپیلمن. محاسبات غیرمحلی آنی مدارهای کوانتومی با عمق T پایین. در یازدهمین کنفرانس تئوری محاسبات کوانتومی، ارتباطات و رمزنگاری (TQC 11)، جلد 2016 مجموعه مقالات بین المللی لایبنیتس در انفورماتیک (LIPIcs)، صفحات 61:9–1:9، داگستول، آلمان، 24. Schloss Dagstuhl–Leibniz. Zentrum fuer Informatik. شابک 2016-978-3-95977-019. 4/​LIPIcs.TQC.10.4230.
https://doi.org/​10.4230/​LIPIcs.TQC.2016.9

ذکر شده توسط

[1] الکس می، "پیچیدگی و درهم تنیدگی در محاسبات غیر محلی و هولوگرافی"، Quantum 6, 864 (2022).

[2] الکس می، جاناتان سورس، و بنی یوشیدا، "قضیه گوه متصل و پیامدهای آن"، Journal of High Energy Physics 2022 11, 153 (2022).

[3] Kfir Dolev و Sam Cree، "هولوگرافی به عنوان منبعی برای محاسبات کوانتومی غیر محلی"، arXiv: 2210.13500, (2022).

[4] Kfir Dolev و Sam Cree، "محاسبات غیر محلی مدارهای کوانتومی با مخروط های نور کوچک"، arXiv: 2203.10106, (2022).

[5] رنه آلرستورفر، هری بورمن، الکس می، فلوریان اسپیلمن، و فیلیپ وردین لونل، "ارتباط محاسبات کوانتومی غیر محلی با رمزنگاری نظری اطلاعات"، arXiv: 2306.16462, (2023).

[6] Llorenç Escolà-Farràs و Florian Speelman، "پروتکل تایید موقعیت کوانتومی با تحمل از دست دادن تک کیوبیت ایمن در برابر مهاجمان درهم تنیده"، arXiv: 2212.03674, (2022).

نقل قول های بالا از SAO/NASA Ads (آخرین به روز رسانی با موفقیت 2023-08-10 03:31:42). فهرست ممکن است ناقص باشد زیرا همه ناشران داده های استنادی مناسب و کاملی را ارائه نمی دهند.

On سرویس استناد شده توسط Crossref هیچ داده ای در مورد استناد به آثار یافت نشد (آخرین تلاش 2023-08-10 03:31:41).

تمبر زمان:

بیشتر از مجله کوانتومی