कोड-रूटिंग: स्थिति सत्यापन पर एक नया हमला

कोड-रूटिंग: स्थिति सत्यापन पर एक नया हमला

कोड-रूटिंग: स्थिति सत्यापन प्लेटोब्लॉकचेन डेटा इंटेलिजेंस पर एक नया हमला। लंबवत खोज. ऐ.

जॉय क्री और एलेक्स मे

स्टैनफोर्ड विश्वविद्यालय

इस पेपर को दिलचस्प खोजें या चर्चा करना चाहते हैं? Scate या SciRate पर एक टिप्पणी छोड़ दें.

सार

स्थिति सत्यापन का क्रिप्टोग्राफ़िक कार्य क्वांटम सूचना और सापेक्षतावादी कारणता पर बाधाओं का फायदा उठाकर स्पेसटाइम में एक पक्ष के स्थान को सत्यापित करने का प्रयास करता है। $f$-रूटिंग के रूप में जानी जाने वाली एक लोकप्रिय सत्यापन योजना में बूलियन फ़ंक्शन $f$ के मूल्य के आधार पर एक क्वांटम सिस्टम को पुनर्निर्देशित करने के लिए प्रोवर की आवश्यकता होती है। $f$-रूटिंग योजना के लिए धोखाधड़ी की रणनीतियों के लिए प्रोवर को पूर्व-साझा उलझाव का उपयोग करने की आवश्यकता होती है, और योजना की सुरक्षा इस धारणा पर निर्भर करती है कि एक प्रोवर कितने उलझाव में हेरफेर कर सकता है। यहां, हम एक नई धोखाधड़ी रणनीति देते हैं जिसमें क्वांटम सिस्टम को एक गुप्त-साझाकरण योजना में एन्कोड किया गया है, और सिस्टम को उचित रूप से निर्देशित करने के लिए गुप्त-साझाकरण योजना की प्राधिकरण संरचना का उपयोग किया जाता है। यह रणनीति $O(SP_p(f))$ EPR जोड़े का उपयोग करके $f$-रूटिंग कार्य को पूरा करती है, जहां $SP_p(f)$ फ़ील्ड $mathbb{Z}_p$ कंप्यूटिंग $ पर एक स्पैन प्रोग्राम का न्यूनतम आकार है। च$. इससे पता चलता है कि स्थानीय प्री-प्रोसेसिंग की अनुमति देने के बाद जब भी $f$ जटिलता वर्ग $text{Mod}_ptext{L}$ में होता है तो हम $f$-रूटिंग योजनाओं पर कुशलतापूर्वक हमला कर सकते हैं। पहले के सर्वश्रेष्ठ निर्माण ने कक्षा एल हासिल की, जो कि $text{Mod}_ptext{L}$ के बिल्कुल अंदर माना जाता है। हम यह भी दिखाते हैं कि संकेतक फ़ंक्शन $f_I$ के साथ क्वांटम गुप्त साझाकरण योजना का आकार $f_I$ फ़ंक्शन पर $f$-रूटिंग की ऊपरी सीमा उलझाव लागत है।

► 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] एड्रियन केंट, विलियम जे मुनरो और टिमोथी पी स्पिलर। क्वांटम टैगिंग: क्वांटम सूचना और सापेक्षतावादी सिग्नलिंग बाधाओं के माध्यम से स्थान को प्रमाणित करना। फिजिकल रिव्यू ए, 84 (1): 012326, 2011।
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] विलियम के वूटर्स और वोज्शिएच एच ज़्यूरेक। एक भी क्वांटम का क्लोन नहीं बनाया जा सकता। नेचर, 299 (5886): 802-803, 1982. https://​/doi.org/​10.1038/​299802a0.
https: / / doi.org/ 10.1038 / 299802a0

[5] एड्रियन पी केंट, विलियम जे मुनरो, टिमोथी पी स्पिलर और रेमंड जी ब्यूसोलिल। टैगिंग सिस्टम, 11 जुलाई 2006. यूएस पेटेंट 7,075,438।

[6] रॉबर्ट ए मैलेनी। क्वांटम उलझाव का उपयोग करते हुए स्थान-निर्भर संचार। भौतिक समीक्षा ए, 81 (4): 042319, 2010।
https: / / doi.org/ 10.1103 / PhysRevA.81.042319

[7] हैरी बुहरमैन, निशांत चंद्रन, सर्ज फेहर, रैन गेलेस, विपुल गोयल, राफेल ओस्ट्रोव्स्की और क्रिश्चियन शेफ़नर। स्थिति-आधारित क्वांटम क्रिप्टोग्राफी: असंभवता और निर्माण। सियाम जर्नल ऑन कंप्यूटिंग, 43 (1): 150–178, 2014. https:///doi.org/10.1137/130913687.
https: / / doi.org/ 10.1137 / १.१३,९४,२०८

[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 / १.१३,९४,२०८

[11] हर्टमट क्लॉक और सुपार्था पोड्डर। बाग़-नली मॉडल के लिए नई सीमाएँ। सॉफ्टवेयर प्रौद्योगिकी और सैद्धांतिक कंप्यूटर विज्ञान की नींव में, 2014। 10.4230/LIPIcs.FSTTCS.2014.481।
https://​doi.org/​10.4230/​LIPcs.FSTTCS.2014.481

[12] श्रीनिवासन अरुणाचलम और सुपार्थ पोद्दार। संचार स्मृतिचिह्न: स्मृतिहीन संचार जटिलता। 12वें सैद्धांतिक कंप्यूटर विज्ञान सम्मेलन (आईटीसीएस 2021) में नवाचार। श्लॉस डैगस्टुहल-लीबनिज-ज़ेंट्रम फर इंफॉर्मेटिक, 2021. 10.4230/LIPIcs.ITCS.2021.61।
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] एलेक्स मे. गैर-स्थानीय संगणना और होलोग्राफी में जटिलता और उलझाव। क्वांटम, 6: 864, नवंबर 2022। आईएसएसएन 2521-327एक्स। 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 प्रीप्रिंट क्वांट-ph/0001087, 2000. https:////doi.org/10.48550/arXiv.quant-ph/0001087.
https://​doi.org/​10.48550/​arXiv.quant-ph/​0001087
arXiv: बल्ली से ढकेलना-पीएच / 0001087

[17] जुआन मालदासेना। सुपरकॉन्फॉर्मल फील्ड थ्योरी और सुपर ग्रेविटी की लार्ज-एन सीमा। सैद्धांतिक भौतिकी का अंतर्राष्ट्रीय जर्नल, 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] बेंजामिन शूमाकर और माइकल ए नीलसन। क्वांटम डेटा प्रोसेसिंग और त्रुटि सुधार। फिजिकल रिव्यू ए, 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] गेरहार्ड बंटरॉक, कार्स्टन डैम, उलरिच हरट्रैम्प, और क्रिस्टोफ़ मीनल। लॉगस्पेस-मॉड क्लास की संरचना और महत्व। गणितीय प्रणाली सिद्धांत, 25 (3): 223-237, 1992। https://​doi.org/​10.1007/​BF01374526।
https: / / doi.org/ 10.1007 / BF01374526

[23] मौरिसियो कार्चमेर और एवी विगडरसन। स्पैन कार्यक्रमों पर। [1993] जटिलता सिद्धांत सम्मेलन में आठवीं वार्षिक संरचना की कार्यवाही, पृष्ठ 102-111। आईईईई, 1993. 10.1109/​एससीटी.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] क्लॉस रेनहार्ड्ट और एरिक एलेन्डर। गैर-नियतिवाद को स्पष्ट बनाना। कंप्यूटिंग पर सियाम जर्नल, 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] इयाल कुशिलेविट्ज़। संचार जटिलता. एडवांस इन कंप्यूटर्स में, खंड 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 में कंप्यूटर विज्ञान की नींव (एफओसीएस) पर आईईईई 57वीं वार्षिक संगोष्ठी, पृष्ठ 406-415। आईईईई, 2016. 10.1109/एफओसीएस.2016.51।
https: / / doi.org/ 10.1109 / FOCS.2016.51

[30] फ्लोरियन स्पीलमैन. कम टी-गहराई क्वांटम सर्किट की तात्कालिक गैर-स्थानीय गणना। क्वांटम कम्प्यूटेशन, संचार और क्रिप्टोग्राफी (टीक्यूसी 11) के सिद्धांत पर 2016वें सम्मेलन में, लीबनिज इंटरनेशनल प्रोसीडिंग्स इन इंफॉर्मेटिक्स (एलआईपीआईसी) का खंड 61, पृष्ठ 9:1-9:24, डगस्टुहल, जर्मनी, 2016। श्लॉस डगस्टुहल-लीबनिज- ज़ेंट्रम फ़्यूर इंफॉर्मेटिक। आईएसबीएन 978-3-95977-019-4. 10.4230/LIPIcs.TQC.2016.9.
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2016.9

द्वारा उद्धृत

[1] एलेक्स मे, "गैर-स्थानीय संगणना और होलोग्राफी में जटिलता और उलझाव", क्वांटम 6, 864 (2022).

[2] एलेक्स मे, जोनाथन सोर्स, और बेनी योशिदा, "कनेक्टेड वेज प्रमेय और इसके परिणाम", उच्च ऊर्जा भौतिकी जर्नल 2022 11, 153 (2022).

[3] केफिर डोलेव और सैम क्री, "गैर-स्थानीय क्वांटम संगणना के लिए एक संसाधन के रूप में होलोग्राफी", arXiv: 2210.13500, (2022).

[4] केफिर डोलेव और सैम क्री, "छोटे प्रकाश शंकु के साथ क्वांटम सर्किट की गैर-स्थानीय गणना", arXiv: 2203.10106, (2022).

[5] रेने एलरस्टॉर्फर, हैरी बुहरमैन, एलेक्स मे, फ्लोरियन स्पीलमैन, और फिलिप वेरडुइन लुनेल, "गैर-स्थानीय क्वांटम गणना को सूचना सैद्धांतिक क्रिप्टोग्राफी से संबंधित", arXiv: 2306.16462, (2023).

[6] लोरेंको एस्कोला-फ़ार्रस और फ़्लोरियन स्पीलमैन, "सिंगल-क्विबिट हानि-सहिष्णु क्वांटम स्थिति सत्यापन प्रोटोकॉल उलझे हुए हमलावरों के खिलाफ सुरक्षित है", arXiv: 2212.03674, (2022).

उपरोक्त उद्धरण से हैं SAO / NASA ADS (अंतिम अद्यतन सफलतापूर्वक 2023-08-10 03:31:42)। सूची अधूरी हो सकती है क्योंकि सभी प्रकाशक उपयुक्त और पूर्ण उद्धरण डेटा प्रदान नहीं करते हैं।

On Crossref की उद्धृत सेवा द्वारा कार्यों का हवाला देते हुए कोई डेटा नहीं मिला (अंतिम प्रयास 2023-08-10 03:31:41)।

समय टिकट:

से अधिक क्वांटम जर्नल