सूचना-सैद्धांतिक रूप से सुरक्षित क्वांटम होमोमोर्फिक एन्क्रिप्शन के लिए गोपनीयता और शुद्धता व्यापार-नापसंद

सूचना-सैद्धांतिक रूप से सुरक्षित क्वांटम होमोमोर्फिक एन्क्रिप्शन के लिए गोपनीयता और शुद्धता व्यापार-नापसंद

स्रोत नोड: 2584725

यांगलिन हू1, यिंगकाई ओयुयांग1, तथा मार्को टॉमामिकेल1,2

1क्वांटम टेक्नोलॉजीज केंद्र, नेशनल यूनिवर्सिटी ऑफ सिंगापुर, सिंगापुर
2इलेक्ट्रिकल और कंप्यूटर इंजीनियरिंग विभाग, नेशनल यूनिवर्सिटी ऑफ़ सिंगापुर

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

सार

क्वांटम होमोमोर्फिक एन्क्रिप्शन, जो एन्क्रिप्टेड डेटा पर सीधे सर्वर द्वारा गणना की अनुमति देता है, एक मौलिक आदिम है जिसमें से अधिक जटिल क्वांटम क्रिप्टोग्राफी प्रोटोकॉल बनाए जा सकते हैं। ऐसे निर्माण संभव होने के लिए, क्वांटम होमोमोर्फिक एन्क्रिप्शन को दो गोपनीयता गुणों को पूरा करना होगा: डेटा गोपनीयता जो सुनिश्चित करती है कि इनपुट डेटा सर्वर से निजी है, और सर्किट गोपनीयता जो यह सुनिश्चित करती है कि गणना के बाद सिफरटेक्स्ट सर्किट के बारे में कोई अतिरिक्त जानकारी प्रकट नहीं करता है। गणना के आउटपुट से परे, इसे निष्पादित करने के लिए उपयोग किया जाता है। जबकि शास्त्रीय क्रिप्टोग्राफी में सर्किट गोपनीयता का अच्छी तरह से अध्ययन किया गया है और कई होमोमोर्फिक एन्क्रिप्शन योजनाएं इससे सुसज्जित हो सकती हैं, इसके क्वांटम एनालॉग पर थोड़ा ध्यान दिया गया है। यहां हम सूचना-सैद्धांतिक सुरक्षा के साथ क्वांटम होमोमोर्फिक एन्क्रिप्शन के लिए सर्किट गोपनीयता की परिभाषा स्थापित करते हैं। इसके अलावा, हम क्वांटम होमोमोर्फिक एन्क्रिप्शन में क्वांटम विस्मृति हस्तांतरण को कम करते हैं। इस कमी का उपयोग करके, हमारा काम क्वांटम होमोमोर्फिक एन्क्रिप्शन प्रोटोकॉल के एक व्यापक परिवार के लिए सर्किट गोपनीयता, डेटा गोपनीयता और शुद्धता के बीच मौलिक व्यापार-बंद को उजागर करता है, जिसमें ऐसी योजनाएं भी शामिल हैं जो केवल क्लिफोर्ड सर्किट की गणना की अनुमति देती हैं।

[एम्बेडेड सामग्री]

अपने टैक्स के बारे में अपने अकाउंटेंट से सलाह लेने के लिए किसी अकाउंटिंग फर्म में जाने की कल्पना करें। आप नहीं चाहेंगे कि आपका अकाउंटेंट आपके निजी डेटा, जैसे कि आपकी आय और टैक्स, के बारे में जाने। इसके विपरीत, आपका अकाउंटेंट नहीं चाहता कि आप सीखें कि वह आपके कर की गणना कैसे करती है। अन्यथा, अगली बार आप इसे स्वयं करेंगे, और वह अपनी नौकरी खो देगी। क्या यह संभव है कि आप दोनों संतुष्ट हों?
यदि आप में से कोई एक विशिष्ट जटिल समस्या का समाधान नहीं कर सकता है, तो हाँ, और आप क्लासिकल होमोमोर्फिक एन्क्रिप्शन का उपयोग कर सकते हैं। हालाँकि, क्या हम संदिग्ध धारणा से छुटकारा पा सकते हैं? आशा है कि क्वांटम यांत्रिकी को क्वांटम होमोमोर्फिक एन्क्रिप्शन में लाया जाएगा, जो आमतौर पर सुरक्षा में सुधार करता है।
हमारे पेपर में, हम प्रश्न का उत्तर 'नहीं' में देते हैं। आप और आपके अकाउंटेंट में से कोई भी संतुष्ट नहीं हो सकता. आपके द्वारा लीक की गई जानकारी और आपके अकाउंटेंट द्वारा लीक की गई जानकारी के बीच एक समझौता है।

► BibTeX डेटा

► संदर्भ

[1] जोसेफ़ एफ फ़िट्ज़सिमोंस। "निजी क्वांटम गणना: ब्लाइंड क्वांटम कंप्यूटिंग और संबंधित प्रोटोकॉल का परिचय"। एनपीजे क्वांटम सूचना 3, 1-11 (2017)।
https:/​/​doi.org/​10.1038/​s41534-017-0025-3

[2] डोरिट अहरोनोव, माइकल बेन-ओर, और एलाड एबन। "क्वांटम गणनाओं के लिए इंटरैक्टिव प्रमाण" (2008) arXiv:0810.5375।
https://​doi.org/​10.48550/​arXiv.0810.5375
arXiv: 0810.5375

[3] ऐनी ब्रॉडबेंट, जोसेफ़ फ़िट्ज़सिमोंस, और एल्हम काशेफ़ी। "यूनिवर्सल ब्लाइंड क्वांटम गणना"। 2009 में कंप्यूटर विज्ञान की नींव पर 50वीं वार्षिक IEEE संगोष्ठी। पृष्ठ 517-526। (2009)।
https: / / doi.org/ 10.1109 / FOCS.2009.36

[4] टोमोयुकी मोरीमे और कीसुके फ़ूजी। "ब्लाइंड क्वांटम गणना प्रोटोकॉल जिसमें ऐलिस केवल माप करता है"। भौतिक. रेव. ए 87, 050301 (2013)।
https: / / doi.org/ 10.1103 / PhysRevA.87.050301

[5] बेन डब्ल्यू रीचर्ड, फ़ॉक अनगर, और उमेश वज़ीरानी। "क्वांटम सिस्टम की शास्त्रीय कमान"। प्रकृति 496, 456-460 (2013)।
https: / / doi.org/ 10.1038 / nature12035

[6] अतुल मंत्री, टोमासो एफ. डेमरी, निकोलस सी. मेनिकुची, और जोसेफ एफ. फिट्ज़सिमोंस। "प्रवाह अस्पष्टता: शास्त्रीय रूप से संचालित अंध क्वांटम गणना की ओर एक पथ"। भौतिक. रेव. एक्स 7, 031004 (2017)।
https: / / doi.org/ 10.1103 / PhysRevX.7.031004

[7] ली यू, कार्लोस ए. पेरेज़-डेलगाडो, और जोसेफ़ एफ. फिट्ज़सिमोंस। "सूचना-सैद्धांतिक रूप से सुरक्षित क्वांटम होमोमोर्फिक एन्क्रिप्शन पर सीमाएं"। भौतिक. रेव. ए 90, 050303 (2014)।
https: / / doi.org/ 10.1103 / PhysRevA.90.050303

[8] ऐनी ब्रॉडबेंट और स्टेसी जेफ़री। "कम टी-गेट जटिलता के सर्किट के लिए क्वांटम होमोमोर्फिक एन्क्रिप्शन"। रोसारियो गेनारो और मैथ्यू रॉबशॉ, संपादकों में, क्रिप्टोलॉजी में प्रगति - क्रिप्टो 2015। पृष्ठ 609-629। बर्लिन, हीडलबर्ग (2015)। स्प्रिंगर बर्लिन हीडलबर्ग।
https:/​/​doi.org/​10.1007/​978-3-662-48000-7_30

[9] यफ़्के डुलेक, क्रिश्चियन शेफ़नर, और फ़्लोरियन स्पीलमैन। "बहुपद आकार के सर्किट के लिए क्वांटम होमोमोर्फिक एन्क्रिप्शन"। मैथ्यू रॉबशॉ और जोनाथन काट्ज़, संपादकों में, क्रिप्टोलॉजी में प्रगति - क्रिप्टो 2016। पृष्ठ 3-32। बर्लिन, हीडलबर्ग (2016)। स्प्रिंगर बर्लिन हीडलबर्ग।
https:/​/​doi.org/​10.1007/​978-3-662-53015-3_1

[10] सी-हुई टैन, जोशुआ ए. केटलवेल, यिंगकाई ओयांग, लिन चेन, और जोसेफ एफ. फिट्ज़सिमोंस। "होमोमोर्फिक एन्क्रिप्शन के लिए एक क्वांटम दृष्टिकोण"। वैज्ञानिक रिपोर्ट 6, 33467 (2016)।
https: / / doi.org/ 10.1038 / srep33467

[11] यिंगकाई ओयांग, सी-हुई टैन, और जोसेफ एफ. फिट्ज़सिमोंस। "क्वांटम कोड से क्वांटम होमोमोर्फिक एन्क्रिप्शन"। भौतिक. रेव. ए 98, 042334 (2018)।
https: / / doi.org/ 10.1103 / PhysRevA.98.042334

[12] उर्मीला महादेव. "क्वांटम सर्किट के लिए शास्त्रीय होमोमोर्फिक एन्क्रिप्शन"। कंप्यूटिंग 0 पर SIAM जर्नल, FOCS18–189 (2020)।
https: / / doi.org/ 10.1137 / 18M1231055

[13] यिंगकाई ओयांग और पीटर पी. रोहडे। "क्वांटम होमोमोर्फिक एन्क्रिप्शन और क्वांटम त्रुटि सुधार की संरचना के लिए एक सामान्य रूपरेखा" (2022) arXiv:2204.10471।
https://​doi.org/​10.48550/​arXiv.2204.10471
arXiv: 2204.10471

[14] क्रेग जेंट्री. "आदर्श लैटिस का उपयोग करके पूरी तरह से होमोमोर्फिक एन्क्रिप्शन"। कंप्यूटिंग के सिद्धांत पर 41वीं वार्षिक एसीएम संगोष्ठी की कार्यवाही में। पृष्ठ 169-178। (2009)।
https: / / doi.org/ 10.1145 / १.१३,९४,२०८

[15] क्रेग जेंट्री. "एक पूरी तरह से होमोमोर्फिक एन्क्रिप्शन योजना"। पीएचडी शोधलेख। स्टैनफोर्ड विश्वविद्यालय। (2009)। यूआरएल: क्रिप्टो.स्टैनफोर्ड.edu/​क्रेग।
https://​crypto.stanford.edu/​craig

[16] क्रेग जेंट्री, शाई हलेवी, और विनोद वैकुंठनाथन। "आई-हॉप होमोमोर्फिक एन्क्रिप्शन और रीरैंडमाइज़ेबल याओ सर्किट"। क्रिप्टोलॉजी में प्रगति पर 30वें वार्षिक सम्मेलन की कार्यवाही में। पृष्ठ 155-172। CRYPTO'10बर्लिन, हीडलबर्ग (2010)। स्प्रिंगर-वेरलाग।
https:/​/​doi.org/​10.1007/​978-3-642-14623-7_9

[17] बाओज़ बराक और ज़विका ब्रेकरस्की। "क्रिप्टोग्राफी का स्विस आर्मी चाकू" (2012) यूआरएल: windowontheory.org/​2012/​05/​01/​the-swiss-army-knife-of-cryptography/​।
https://​windowsontheory.org/​2012/​05/​01/​the-swiss-army-knife-of-cryptography/​

[18] येहुदा लिंडेल. "क्रिप्टोग्राफी की नींव पर ट्यूटोरियल: ओडेड गोल्डरेइच को समर्पित"। स्प्रिंगर पब्लिशिंग कंपनी, निगमित। (2017)। पहला संस्करण.
https:/​/​doi.org/​10.1007/​978-3-319-57048-8

[19] सईद एस्माईलज़ादे, नसरोल्लाह पकनियात, और ज़िबा एस्लामी। "होमोमोर्फिक एन्क्रिप्शन योजनाओं से सरल विस्मृति हस्तांतरण प्रोटोकॉल बनाने के लिए एक सामान्य निर्माण"। द जर्नल ऑफ़ सुपरकंप्यूटिंग 78, 72-92 (2022)।
https:/​/​doi.org/​10.1007/​s11227-021-03826-0

[20] ओमर रींगोल्ड, लुका ट्रेविसन, और सलिल वधान। "क्रिप्टोग्राफ़िक आदिमों के बीच रिड्यूसिबिलिटी की धारणाएँ"। मोनी नाओर में, संपादक, क्रिप्टोग्राफी का सिद्धांत। पेज 1-20. बर्लिन, हीडलबर्ग (2004)। स्प्रिंगर बर्लिन हीडलबर्ग।
https:/​/​doi.org/​10.1007/​978-3-540-24638-1_1

[21] चिंग-यी लाई और काई-मिन चुंग। "सांख्यिकीय रूप से सुरक्षित क्वांटम होमोमोर्फिक एन्क्रिप्शन पर"। क्वांटम जानकारी. गणना. 18, 785-794 (2018)।
https: / / doi.org/ 10.26421 / QIC18.9-10-4

[22] माइकल न्यूमैन. "सूचना-सैद्धांतिक रूप से सुरक्षित क्वांटम होमोमोर्फिक एन्क्रिप्शन पर आगे की सीमाएं" (2018) arXiv:1809.08719।
https://​doi.org/​10.48550/​arXiv.1809.08719
arXiv: 1809.08719

[23] अश्विन नायक. "क्वांटम ऑटोमेटा और रैंडम एक्सेस कोड के लिए इष्टतम निचली सीमाएं"। कंप्यूटर विज्ञान की नींव पर 40वीं वार्षिक संगोष्ठी में (कैट नं.99सीबी37039)। पृष्ठ 369-376। (1999)।
https: / / doi.org/ 10.1109 / SFFCS.1999.814608

[24] सी-हुई टैन, यिंगकाई ओयांग, और पीटर पी. रोहडे। "सुसंगत अवस्थाओं के साथ व्यावहारिक कुछ हद तक सुरक्षित क्वांटम कुछ हद तक होमोमोर्फिक एन्क्रिप्शन"। भौतिक. रेव. ए 97, 042308 (2018)।
https: / / doi.org/ 10.1103 / PhysRevA.97.042308

[25] यिंगकाई ओयांग, सी-हुई टैन, जोसेफ फिट्ज़सिमोंस, और पीटर पी. रोहडे। "स्पर्शोन्मुख रूप से पूर्ण सुरक्षा के साथ प्रकाश की लगभग मनमानी स्थितियों पर रैखिक प्रकाशिकी क्वांटम गणना का होमोमोर्फिक एन्क्रिप्शन"। शारीरिक समीक्षा अनुसंधान 2, 013332 (2020)।
https: / / doi.org/ 10.1103 / PhysRevResearch.2.013332

[26] आंद्रे चैलौक्स, इओर्डानिस केरेनिडिस, और जेमी सिकोरा। "क्वांटम विस्मृति हस्तांतरण के लिए निचली सीमाएं"। क्वांटम जानकारी. गणना. 13, 158-177 (2013)।
https: / / doi.org/ 10.26421 / QIC13.1-2-9

[27] आंद्रे चैलौक्स और जेमी सिकोरा। "अर्ध-ईमानदार क्वांटम विस्मृति हस्तांतरण के लिए इष्टतम सीमाएं"। सैद्धांतिक कंप्यूटर विज्ञान के शिकागो जर्नल 2016 (2016)।
https: / / doi.org/ 10.4086 / cjtcs.2016.013

[28] रयान अमीरी, रॉबर्ट स्टारेक, डेविड रीचमुथ, इत्तूप वी. पुथूर, मिशल मिकुडा, लादिस्लाव मिस्टा, जूनियर, मिलोस्लाव ड्यूसेक, पेट्रोस वाल्डेन और एरिका एंडरसन। "अपूर्ण 1-आउट-ऑफ़-2 क्वांटम विस्मृति स्थानांतरण: सीमा, एक प्रोटोकॉल, और इसका प्रयोगात्मक कार्यान्वयन"। पीआरएक्स क्वांटम 2, 010335 (2021)।
https: / / doi.org/ 10.1103 / PRXQuantum.2.010335

[29] कोएनराड एमआर ऑडेनार्ट और मिलन मोसोनी। "क्वांटम मल्टीपल स्टेट भेदभाव में त्रुटि संभावनाओं और स्पर्शोन्मुख त्रुटि प्रतिपादकों पर ऊपरी सीमा"। गणितीय भौतिकी जर्नल 55, 102201 (2014)।
https: / / doi.org/ 10.1063 / १.१३,९४,२०८

[30] कार्ल डब्ल्यू हेलस्ट्रॉम। "पता लगाने का सिद्धांत और क्वांटम यांत्रिकी"। सूचना और नियंत्रण 10, 254-291 (1967)।
https:/​/​doi.org/​10.1016/​S0019-9958(67)90302-6

[31] अलेक्जेंडर एस होलेवो। "क्वांटम संचार चैनल द्वारा प्रेषित सूचना की मात्रा के लिए सीमा"। सूचना प्रसारण की समस्याएँ 9, 177-183 (1973)। यूआरएल: http://​/​mi.mathnet.ru/​ppi903.
http://​/​mi.mathnet.ru/​ppi903

[32] जॉन वॉटरस. "क्वांटम सूचना का सिद्धांत"। कैम्ब्रिज यूनिवर्सिटी प्रेस. (2018)।
https: / / doi.org/ 10.1017 / १.१३,९४,२०८

[33] सीए फुच्स और जे. वैन डी ग्राफ़। "क्वांटम-मैकेनिकल अवस्थाओं के लिए क्रिप्टोग्राफ़िक विशिष्टता उपाय"। सूचना सिद्धांत पर आईईईई लेनदेन 45, 1216-1227 (1999)।
https: / / doi.org/ 10.1109 / १.१३,९४,२०८

[34] ए उहलमान। *-बीजगणित के राज्य स्थान में "संक्रमण संभावना"। गणितीय भौतिकी पर रिपोर्ट 9, 273-279 (1976)।
https:/​/​doi.org/​10.1016/​0034-4877(76)90060-4

[35] माइकल ए नील्सन और इसाक चुआंग। "क्वांटम गणना और क्वांटम जानकारी: 10वीं वर्षगांठ संस्करण"। कैम्ब्रिज यूनिवर्सिटी प्रेस. (2010)।
https: / / doi.org/ 10.1017 / CBO9780511976667

[36] होई-क्वांग लो. "क्वांटम सुरक्षित संगणना की असुरक्षा"। भौतिक. रेव. ए 56, 1154-1162 (1997)।
https: / / doi.org/ 10.1103 / PhysRevA.56.1154

[37] रोजर कोलबेक. "सुरक्षित दो-पक्षीय शास्त्रीय गणना की असंभवता"। भौतिक. रेव. ए 76, 062308 (2007)।
https: / / doi.org/ 10.1103 / PhysRevA.76.062308

[38] कार्लोस मोचोन. "क्वांटम कमजोर सिक्का मनमाने ढंग से छोटे पूर्वाग्रह के साथ उछाल रहा है" (2007) arXiv:0711.4114।
https://​doi.org/​10.48550/​arXiv.0711.4114
arXiv: 0711.4114

[39] आंद्रे चैलौक्स और इओर्डानिस केरेनिडिस। "इष्टतम क्वांटम मजबूत सिक्का उछालना"। 2009 में कंप्यूटर विज्ञान की नींव पर 50वीं वार्षिक आईईईई संगोष्ठी। पृष्ठ 527-533। आईईईई (2009)।
https: / / doi.org/ 10.1109 / FOCS.2009.71

[40] डोरिट अहरोनोव, आंद्रे चैलौक्स, माओर गैंज़, इओर्डानिस केरेनिडिस और लोइक मैग्निन। "मनमाने ढंग से छोटे पूर्वाग्रह के साथ क्वांटम कमजोर सिक्के के अस्तित्व का एक सरल प्रमाण"। कंप्यूटिंग 45, 633-679 (2016) पर सियाम जर्नल।
https: / / doi.org/ 10.1137 / 14096387X

[41] कार्ल ए. मिलर. "कुशल क्वांटम कमजोर सिक्का उछालने की असंभवता"। कंप्यूटिंग के सिद्धांत पर 52वें वार्षिक ACM SIGACT संगोष्ठी की कार्यवाही में। पृष्ठ 916-929। न्यूयॉर्क, एनवाई, यूएसए (2020)। संगणक तंत्र संस्था।

[42] होई-क्वांग लो और एचएफ चाऊ। "क्या क्वांटम बिट प्रतिबद्धता वास्तव में संभव है?" भौतिक. रेव्ह. लेट. 78, 3410-3413 (1997)।
https: / / doi.org/ 10.1103 / PhysRevLett.78.3410

[43] डोमिनिक मेयर्स. "बिना शर्त सुरक्षित क्वांटम बिट प्रतिबद्धता असंभव है"। भौतिक. रेव्ह. लेट. 78, 3414-3417 (1997)।
https: / / doi.org/ 10.1103 / PhysRevLett.78.3414

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

समय टिकट:

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