होमोमोर्फिक एन्क्रिप्शन: Difference between revisions
No edit summary |
No edit summary |
||
Line 15: | Line 15: | ||
}} | }} | ||
'''होमोमॉर्फिक [[ कूटलेखन |एन्क्रिप्शन]]''', एन्क्रिप्शन का एक रूप है। जो पहले होमोमोर्फिक एन्क्रिप्शन को डिक्रिप्ट किए बिना एन्क्रिप्टेड डेटा पर संगणना करने की स्वीकृति प्रदान करता है। परिणामी संगणनाओं को एन्क्रिप्टेड रूप में छोड़ दिया जाता | '''होमोमॉर्फिक [[ कूटलेखन |एन्क्रिप्शन]]''', एन्क्रिप्शन का एक रूप है। जो पहले होमोमोर्फिक एन्क्रिप्शन को डिक्रिप्ट किए बिना एन्क्रिप्टेड डेटा पर संगणना करने की स्वीकृति प्रदान करता है। जब इसे डिक्रिप्ट किया जाता है। तो परिणामी संगणनाओं को एन्क्रिप्टेड रूप में छोड़ दिया जाता है, जिससे परिणाम उस आउटपुट के समान होता है, जो अनएन्क्रिप्टेड डेटा पर संचालन किया गया था। '''होमोमॉर्फिक एन्क्रिप्शन''' का उपयोग गोपनीयता-संरक्षण आउटसोर्स स्टोरेज और संगणना के लिए किया जा सकता है। यह डेटा को एन्क्रिप्टेड होने और प्रसंस्करण के लिए व्यावसायिक क्लाउड इन्वायरमेंट में सभी एन्क्रिप्टेड होने पर आउटसोर्स करने की स्वीकृति प्रदान करता है। | ||
डेटा के लिए, जैसे स्वास्थ्य देखरेख की जानकारी, होमोमोर्फिक एन्क्रिप्शन का उपयोग डेटा को साझा करने में बाधा डालने वाली गोपनीयता बाधाओं को हटाकर या उपस्थित सेवाओं में सुरक्षा बढ़ाकर नई सेवाओं को सक्षम करने के लिए इसका प्रयोग किया जा सकता है। उदाहरण के लिए [[चिकित्सा गोपनीयता|चिकित्सा डेटा प्राइवेसी]] कमियों के कारण स्वास्थ्य देखरेख में विश्लेषण तीसरे पक्ष के सेवा प्रदान करने वाले के माध्यम से संचालित करना कठिन हो सकता है। किन्तु यदि प्रीडिक्टिव एनालिटिक्स विश्लेषण सेवा प्रदाता इसके अतिरिक्त एन्क्रिप्टेड डेटा पर कार्य कर सकता है, जिससे कि ये गोपनीयता चिंताएँ कम हो जाती हैं। इसके अतिरिक्त डेटा सुरक्षित रहेगा, तथापि सेवा प्रदाता की प्रणाली से समझौता किया गया हो। | |||
{{TOC limit|3}} | {{TOC limit|3}} |
Revision as of 15:14, 26 May 2023
General | |
---|---|
Derived from | Various assumptions, including learning with errors, Ring learning with errors or even RSA (multiplicative) and others |
Related to | Functional encryption |
होमोमॉर्फिक एन्क्रिप्शन, एन्क्रिप्शन का एक रूप है। जो पहले होमोमोर्फिक एन्क्रिप्शन को डिक्रिप्ट किए बिना एन्क्रिप्टेड डेटा पर संगणना करने की स्वीकृति प्रदान करता है। जब इसे डिक्रिप्ट किया जाता है। तो परिणामी संगणनाओं को एन्क्रिप्टेड रूप में छोड़ दिया जाता है, जिससे परिणाम उस आउटपुट के समान होता है, जो अनएन्क्रिप्टेड डेटा पर संचालन किया गया था। होमोमॉर्फिक एन्क्रिप्शन का उपयोग गोपनीयता-संरक्षण आउटसोर्स स्टोरेज और संगणना के लिए किया जा सकता है। यह डेटा को एन्क्रिप्टेड होने और प्रसंस्करण के लिए व्यावसायिक क्लाउड इन्वायरमेंट में सभी एन्क्रिप्टेड होने पर आउटसोर्स करने की स्वीकृति प्रदान करता है।
डेटा के लिए, जैसे स्वास्थ्य देखरेख की जानकारी, होमोमोर्फिक एन्क्रिप्शन का उपयोग डेटा को साझा करने में बाधा डालने वाली गोपनीयता बाधाओं को हटाकर या उपस्थित सेवाओं में सुरक्षा बढ़ाकर नई सेवाओं को सक्षम करने के लिए इसका प्रयोग किया जा सकता है। उदाहरण के लिए चिकित्सा डेटा प्राइवेसी कमियों के कारण स्वास्थ्य देखरेख में विश्लेषण तीसरे पक्ष के सेवा प्रदान करने वाले के माध्यम से संचालित करना कठिन हो सकता है। किन्तु यदि प्रीडिक्टिव एनालिटिक्स विश्लेषण सेवा प्रदाता इसके अतिरिक्त एन्क्रिप्टेड डेटा पर कार्य कर सकता है, जिससे कि ये गोपनीयता चिंताएँ कम हो जाती हैं। इसके अतिरिक्त डेटा सुरक्षित रहेगा, तथापि सेवा प्रदाता की प्रणाली से समझौता किया गया हो।
विवरण
होमोमोर्फिक एन्क्रिप्शन, एन्क्रिप्शन का एक रूप है। जिसमें गुप्त कुंजी (क्रिप्टोग्राफी) तक पहुंच के बिना एन्क्रिप्टेड डेटा पर कंप्यूटिंग के लिए अतिरिक्त मूल्यांकन क्षमता होती है। ऐसी संगणना का परिणाम एन्क्रिप्टेड होता है। होमोमॉर्फिक एन्क्रिप्शन सार्वजनिक कुंजी क्रिप्टोग्राफी के विस्तार के रूप में देखा जा सकता है। होमोमोर्फिक बीजगणित में समरूपता को संदर्भित करने का कार्य करता है। एन्क्रिप्शन और डिक्रिप्शन फलनों को प्लेनटेक्स्ट और सिफरटेक्स्ट रिक्त स्थान के बीच समरूपता के रूप में माना जा सकता है।
होमोमॉर्फिक एन्क्रिप्शन में कई प्रकार की एन्क्रिप्शन योजनाएँ सम्मिलित की गयी हैं। जो एन्क्रिप्टेड डेटा पर विभिन्न प्रकार की संगणनाएँ कर सकती हैं।[1] गणनाओं को बूलियन या अंकगणितीय सर्किट के रूप में प्रदर्शित किया जा सकता है। होमोमोर्फिक एन्क्रिप्शन के कुछ सामान्य प्रकार आंशिक रूप से होमोमोर्फिक, कुछ सीमा तक होमोमोर्फिक, पूर्णतयः होमोमोर्फिक और पूर्णतयः होमोमोर्फिक एन्क्रिप्शन होते हैं।
- आंशिक रूप से होमोमोर्फिक एन्क्रिप्शन में ऐसी योजनाएँ सम्मिलित की गयी हैं। जो केवल एक प्रकार के गेट वाले सर्किट के मूल्यांकन का समर्थन करती हैं। जैसे- जोड़ या गुणा।
- कुछ सीमा तक होमोमोर्फिक एन्क्रिप्शन योजनाएँ दो प्रकार के गेटों का मूल्यांकन कर सकती हैं। किन्तु केवल सर्किट के उप-समुच्चय के लिए।
- स्तरित पूर्णतयः होमोमोर्फिक एन्क्रिप्शन बाध्य (पूर्व-निर्धारित) गहराई के कई प्रकार के द्वारों से बने स्वयं निर्मित सर्किट के मूल्यांकन का समर्थन करता है।
- पूर्णतयः होमोमोर्फिक एन्क्रिप्शन (एफएचई) असीमित गहराई के कई प्रकार के गेटों से बने स्वयं निर्मित सर्किट के मूल्यांकन की अनुमति प्रदान करता है और होमोमोर्फिक एन्क्रिप्शन की सबसे शक्तिशाली धारणा है।
अधिकांशतः होमोमोर्फिक एन्क्रिप्शन योजनाओं के लिए एन्क्रिप्टेड डेटा पर संगणना करने में सर्किट की गुणात्मक गहराई मुख्य व्यावहारिक सीमा है। होमोमॉर्फिक एन्क्रिप्शन योजनाएँ स्वाभाविक रूप से आघातवर्ध्यता (क्रिप्टोग्राफी) होती हैं। आघातवर्धनीयता के संदर्भ में होमोमोर्फिक एन्क्रिप्शन योजनाओं में गैर-होमोमोर्फिक योजनाओं की तुलना में अशक्त सुरक्षा गुण सम्मिलित होते हैं।
इतिहास
होमोमोर्फिक एन्क्रिप्शन योजनाओं को विभिन्न दृष्टिकोणों का उपयोग करके विकसित किया गया है। विशेष रूप से पूर्णतयः होमोमोर्फिक एन्क्रिप्शन योजनाओं को अधिकांशतः अंतर्निहित दृष्टिकोण के अनुरूप पीढ़ियों में समूहीकृत किया जाता है।[2]
प्री-एफएचई
आरएसए योजना के प्रकाशन के एक वर्ष के अन्तर्गत 1978 में पूर्णतयः होमोमोर्फिक एन्क्रिप्शन योजना के निर्माण की समस्या पहली बार प्रस्तावित की गई थी।[3] 30 से अधिक वर्षों के लिए यह स्पष्ट नहीं था कि कोई समाधान उपस्थित है या नहीं। उस अवधि के समय आंशिक परिणामों में निम्नलिखित योजनाएँ सम्मिलित की गयीं थीं:
- आरएसए क्रिप्टो प्रणाली क्रिप्टो प्रणाली (मॉड्यूलर गुणन की असीमित संख्या)
- ईएलगमाल एन्क्रिप्शन (मॉड्यूलर गुणन की असीमित संख्या)
- गोल्डवेसर-मिकाली क्रिप्टो प्रणाली (अनबाउंड नंबर ऑफ एकमात्र ऑपरेशंस)
- बेनलोह क्रिप्टो प्रणाली (मॉड्यूलर परिवर्धन की असीमित संख्या)
- पैलियर क्रिप्टो प्रणाली (मॉड्यूलर परिवर्धन की असीमित संख्या)
- सैंडर-यंग-युंग प्रणाली (20 से अधिक वर्षों के बाद लॉगरिदमिक डेप्थ सर्किट के लिए समस्या का समाधान हो गया है।)[4]
- बोन-गोह-निसिम क्रिप्टो प्रणाली (अतिरिक्त संचालन की असीमित संख्या किन्तु अधिकतम एक गुणन पर)[5]
- ईशाई-पास्किन क्रिप्टो प्रणाली (बहुपद-आकार शाखा कार्यक्रम)[6]
प्रथम पीढ़ी का एफएचई
क्रेग जेंट्री (कंप्यूटर वैज्ञानिक) ने लैटिस-आधारित क्रिप्टोग्राफी का उपयोग करते हुए 2009 में पूर्णतयः होमोमोर्फिक एन्क्रिप्शन योजना के लिए पहला प्रशंसनीय निर्माण वर्णित किया था।[7] जेंट्री की योजना सिफरटेक्स्ट पर जोड़ और गुणा संचालन दोनों का समर्थन करती है। जिससे अनगिनत प्रकार से संगणना करने के लिए सर्किट का निर्माण संभव हुआ है। इसके निर्माण की कुछ सीमा तक होमोमोर्फिक एन्क्रिप्शन योजना से प्रारम्भ होती है। जो एन्क्रिप्टेड डेटा पर कम-डिग्री बहुपदों के मूल्यांकन तक सीमित होती है। यह सीमित है क्योंकि प्रत्येक सिफरटेक्स्ट कुछ अर्थों में न्वॉइस है और यह न्वॉइस को तब तक बढ़ता है। जब तक कोई सिफरटेक्स्ट को जोड़ता और गुणा करता है। जब तक कि न्वॉइस परिणामी सिफरटेक्स्ट को कोडेड रूप नहीं प्रदान करता है।
जेंट्री यह प्रदर्शित करता है कि इस योजना को बूटस्ट्रैप करने योग्य बनाने के लिए कैसे थोड़ा संशोधित किया जाए। अर्थात् अपने स्वयं के डिक्रिप्शन सर्किट का मूल्यांकन करने में सक्षम और फिर कम से कम एक और ऑपरेशन करने में सक्षम होता है। अंत में वह प्रदर्शित करता है कि किसी भी बूटस्ट्रैपेबल कुछ होमोमोर्फिक एन्क्रिप्शन योजना को पुनरावर्ती स्व-एम्बेडिंग के माध्यम से पूर्णतयः होमोमोर्फिक एन्क्रिप्शन में परिवर्तित किया जा सकता है। जेंट्री की न्वॉइस योजना के लिए बूटस्ट्रैपिंग प्रक्रिया प्रभावी रूप से डिक्रिप्शन प्रक्रिया को होमोमोर्फिक रूप से संचालित करके सिफरटेक्स्ट को फ्रेश करती है। जिससे एक नया सिफरटेक्स्ट प्राप्त होता है। जो पहले के समान मूल्य को एन्क्रिप्ट करता है। किन्तु इसमें कम न्वॉइस होता है। जब भी न्वॉइस बहुत बड़ा हो जाता है। तब समय-समय पर सिफरटेक्स्ट को रीफ्रेश करके न्वॉइस को बहुत अधिक बढ़ाए बिना स्वयं के रूप से जोड़ और गुणा की गणना करना संभव होता है।
जेंट्री ने अपनी योजना की सुरक्षा को दो समस्याओं की अनुमानित कठोरता पर आधारित किया: आदर्श लैटिस क्रिप्टोग्राफी पर कुछ सबसे खराब स्थिति वाली समस्याएं और विरल (या कम वजन) उपसमुच्चय समस्या। जेंट्री की पीएच.डी. थीसिस[8] अतिरिक्त विवरण प्रदान करता है। जेंट्री के मूल क्रिप्टो प्रणाली के जेंट्री-हेलवी कार्यान्वयन ने लगभग 30 मिनट प्रति बेसिक बिट ऑपरेशन के समय की सूचना प्रदान की।[9] इसके बाद के वर्षों में व्यापक प्रारूप और कार्यान्वयन कार्य ने परिमाण रनटाइम प्रदर्शन के कई आदेशों द्वारा इन प्रारम्भिक कार्यान्वयनों को त्रुटिहीन बनाने का कार्य करता है।
2010 में मार्टन वैन डिज्क, क्रेग जेंट्री (कंप्यूटर वैज्ञानिक), शाई हलेवी और विनोद वैकुंठनाथन ने दूसरी पूर्णतयः होमोमोर्फिक एन्क्रिप्शन योजना प्रस्तुत की।[10] जो जेंट्री के निर्माण के कई उपकरणों का उपयोग करता है। किन्तु जिसके लिए आइडियल लैटिस क्रिप्टोग्राफी की आवश्यकता नहीं होती है। इसके अतिरिक्त वे यह प्रदर्शित करते हैं कि जेंट्री की आदर्श लैटिस-आधारित योजना के कुछ सीमा तक होमोमोर्फिक घटक को पूर्णांकों का उपयोग करने वाली एक बहुत ही सरल कुछ समरूप योजना से बदला जा सकता है। इसलिए योजना जेंट्री की आदर्श लैटिस योजना की तुलना में वैचारिक रूप से सरल है। किन्तु होमोमोर्फिक संचालन और दक्षता के संबंध में समान गुण प्राप्त होते हैं। वैन डिज्क एट अल के कार्य में कुछ सीमा तक होमोमोर्फिक घटक 2008 में लेविइल और डेविड नैकाचे द्वारा प्रस्तावित एक एन्क्रिप्शन योजना के समान प्राप्त होते है[11] और 1998 में ब्रैम कोहेन द्वारा प्रस्तावित एक के समान होते हैं।[12]
यद्यपि कोहने की विधि अतिरिक्त रूप से होमोमोर्फिक भी नहीं है। लेविइल-नाकाचे योजना केवल परिवर्धन का समर्थन करती है। किन्तु इसे कम संख्या में गुणन का समर्थन करने के लिए भी संशोधित किया जा सकता है। वैन डिज्क एट अल की योजना के कई शोधन और अनुकूलन जीन-सेबास्टियन कोरोन, टेंक्रेडे लेपॉइंट, अवरादीप मंडल, डेविड नाकाचे और मेसीमाी टिबौची द्वारा कार्यों के अनुक्रम में प्रस्तावित किए गए थे।[13][14][15][16] इनमें से कुछ कार्यों में परिणामी योजनाओं का कार्यान्वयन भी सम्मिलित किया गया था।
दूसरी पीढ़ी का एफएचई
इस दूसरी पीढ़ी के होमोमोर्फिक क्रिप्टो प्रणाली उन विधियों से प्राप्त हुए हैं। जिन्हें 2011-2012 में ज़्विका ब्रेकर्सकी, क्रेग जेंट्री (कंप्यूटर वैज्ञानिक), विनोद वैकुंठनाथन और अन्य द्वारा विकसित किया गया था। इन नवाचारों ने कुछ सीमा तक अधिक कुशल और पूर्णतयः होमोमोर्फिक क्रिप्टो प्रणाली के विकास का नेतृत्व किया। इसमे सम्मिलित है:
- ब्रैकर्सकी-जेंट्री-वैकुंठनाथन (बीजीवी, 2011) योजना,[17] ब्रकार्स्की-वैकुंठनाथन की विधियों पर निर्माण;[18]
- लोपेज़-ऑल्ट, ट्रोमर और वैकुंठनाथन (एलटीवी, 2012) द्वारा एनटीआरयू-आधारित योजना;[19]
- ब्रैकर्सकी/फैन-वेरकाउटेन (बीएफवी, 2012) योजना,[20] ब्रकर्सकी पर निर्माण स्केल-अपरिवर्तनीय क्रिप्टो प्रणाली;[21]
- एनटीआरयू-आधारित योजना बॉस, लॉटर, लोफ्टस और नाह्रिग (बीएलएलएन 2013) द्वारा[22] एलटीवी और ब्रैकर्सकी के स्केल-इनवेरिएंट क्रिप्टो प्रणाली पर निर्माण;[21]
इन योजनाओं में से अधिकांशतः सुरक्षा त्रुटियों के साथ रिंग लर्निंग की कठोरता पर आधारित होती है।[23] एनटीआरयू कम्प्यूटेशनल समस्या का संस्करण एनटीआरयू के इस संस्करण को बाद में सबफील्ड लैटिस आक्रमणों के प्रति संवेदनशील दिखाया गया।[24][23] यही कारण है कि इन दोनों योजनाओं का व्यवहार में अब उपयोग नहीं किया जाता है।
दूसरी पीढ़ी के सभी क्रिप्टो प्रणाली अभी भी जेंट्री के मूल निर्माण के मूल योजनाओँ का पालन करते हैं, अर्थात् वे पहले कुछ होमोमोर्फिक क्रिप्टो प्रणाली का निर्माण करते हैं और फिर बूटस्ट्रैपिंग का उपयोग करके इसे पूर्णतयः होमोमोर्फिक क्रिप्टो प्रणाली में परिवर्तित करने का कार्य करते हैं।
दूसरी पीढ़ी के क्रिप्टो प्रणाली की एक विशिष्ट विशेषता यह है कि वे सभी होमोमोर्फिक कंप्यूटेशंस के समय न्वॉइस के बहुत धीमे विकास की सुविधा प्रदान करते हैं। क्रेग जेंट्री (कंप्यूटर वैज्ञानिक), शाई हलेवी, और निगेल स्मार्ट (क्रिप्टोग्राफर) द्वारा अतिरिक्त अनुकूलन के परिणामस्वरूप लगभग उच्चतम विषमता वाली जटिलता के साथ क्रिप्टो प्रणाली: प्रदर्शन सुरक्षा पैरामीटर के साथ एन्क्रिप्टेड डेटा पर संचालन की एकमात्र जटिलता है।[25][26][27] ये अनुकूलन स्मार्ट-वरकौटर्न विधियों पर निर्मित होते हैं। जो एकल सिफरटेक्स्ट में कई प्लेनटेक्स्ट मानों को पैक करने और इन सभी प्लेनटेक्स्ट मानों को एसआईएमडी फैशन में संचालित करने में सक्षम बनाने का कार्य करता है।[28] इन दूसरी पीढ़ी के क्रिप्टो प्रणाली में कई अग्रिमों को पूर्णांक से अधिक क्रिप्टो प्रणाली में परिवर्तित किया गया था।[15][16]
दूसरी पीढ़ी की योजनाओं की एक और विशिष्ट विशेषता यह है कि वे बूटस्ट्रैपिंग को निर्धारित किए बिना भी कई अनुप्रयोगों के लिए पर्याप्त रूप से कुशल हैं। इसके अतिरिक्त स्तरित एफएचई मोड में काम कर रहे हैं।
तीसरी पीढ़ी का एफएचई
2013 में क्रेग जेंट्री (कंप्यूटर वैज्ञानिक), अमित सहाई, और ब्रेंट वाटर्स (जीएसडब्ल्यू) ने एफएचई योजनाओं के निर्माण के लिए एक नई विधि का प्रस्ताव दिया। जो होमोमोर्फिक गुणन में एक महंगे पुनर्निर्धारण कदम से बचती है।[29] ज़्विका ब्रकर्स्की और विनोद वैकुंठनाथन ने देखा कि कुछ प्रकार के सर्किटों के लिए जीएसडब्ल्यू क्रिप्टो प्रणाली में न्वॉइस की धीमी वृद्धि दर होती है और इसलिए उत्तम दक्षता और शक्तिशाली सुरक्षा होती है।[30] जैकब एल्परिन-शेरिफ और क्रिस पिकर्ट ने इस अवलोकन के आधार पर एक बहुत ही कुशल बूटस्ट्रैपिंग विधि का वर्णन किया।[31]
जीएसडब्ल्यू क्रिप्टो प्रणाली के कुशल रिंग वेरिएंट को विकसित करने के लिए इन विधियों में और सुधार किया गया: एफएचईडब्लू (2014)[32]और टीएफएचई (2016)।[33]एफएचईडब्लू स्कीम पहली बार यह दिखाने वाली थी कि हर एक ऑपरेशन के बाद सिफरटेक्स्ट को रिफ्रेश करके, बूटस्ट्रैपिंग समय को सेकंड के एक अंश तक कम करना संभव है। एफएचईडब्लू ने एन्क्रिप्टेड डेटा पर बूलियन गेट्स की गणना करने के लिए एक नया उपाय प्रस्तुत किया। जो बूटस्ट्रैपिंग को बहुत सरल करता है और बूटस्ट्रैपिंग प्रक्रिया के एक संस्करण को संचालित करता है।[31] टीएफएचई योजना द्वारा एफएचईडब्लू की दक्षता में और सुधार किया गया है। जो बूटस्ट्रैपिंग प्रक्रिया के रिंग वेरिएंट को संचालित करता है।[34] एफएचईडब्लू में एक के समान एक विधि का उपयोग करता है।
चौथी पीढ़ी का एफएचई
2016 में चेओन, किम, किम और सॉन्ग (सीकेकेएस)[35] एक अनुमानित होमोमोर्फिक एन्क्रिप्शन योजना प्रस्तावित की गई है। जो एक विशेष प्रकार के निश्चित-बिंदु अंकगणित का समर्थन करती है। जिसे सामान्यतः फ्लोटिंग पॉइंट को ब्लॉक करें अंकगणित कहा जाता है। सीकेकेएस योजना में एक कुशल रीस्केलिंग ऑपरेशन सम्मिलित है। जो गुणा के बाद एक एन्क्रिप्टेड संदेश को स्केल करता है। तुलना के लिए, इस प्रकार के पुनर्विक्रय के लिए बीजीवी और बीएफवी योजनाओं में बूटस्ट्रैपिंग की आवश्यकता होती है। रीस्केलिंग ऑपरेशन सीकेकेएस योजना को बहुपद अनुमानों के मूल्यांकन के लिए सबसे कुशल उपाय का निर्माण करता है और गोपनीयता-संरक्षण मशीन सीखने के अनुप्रयोगों को संचालित करने के लिए प्रथम उपाय है। । योजना कई सन्निकटन त्रुटियों का परिचय प्रदान करती है। दोनों गैर-नियतात्मक और नियतात्मक हैं। जिन्हें व्यवहार में विशेष हैंडलिंग की आवश्यकता होती है।[36]
बैयू ली और 2020 के डेनियल मिचियान्सियो का एक लेख सीकेकेएस के विरुद्ध निष्क्रिय आक्रमणों पर चर्चा करता है। यह सुझाव प्रदान करता है कि मानक आईएनडी-सीपीए परिभाषा उन परिदृश्यों में पर्याप्त नहीं हो सकती है। जहाँ डिक्रिप्शन परिणाम साझा किए जाते हैं।[37] लेखक आक्रमण को चार आधुनिक होमोमोर्फिक एन्क्रिप्शन लाइब्रेरी (हीन, सील, हेलिब और पालिसेड) पर संचालित करते हैं और रिपोर्ट करते हैं कि कई पैरामीटर कॉन्फ़िगरेशन में डिक्रिप्शन परिणामों से गुप्त कुंजी को पुनर्प्राप्त करना संभव है। लेखक इन आक्रमणों के लिए नष्ट करने की रणनीतियों का भी प्रस्ताव करते हैं और कागज में एक उत्तरदायी प्रकटीकरण सम्मिलित करते हैं। जो यह सुझाव प्रदान करते हैं कि होमोमोर्फिक एन्क्रिप्शन पुस्तकालयों ने लेख के सार्वजनिक रूप से उपलब्ध होने से पहले ही आक्रमणों के लिए नष्ट करने की क्रिया को संचालित कर दिया था। होमोमोर्फिक एन्क्रिप्शन पुस्तकालयों में कार्यान्वित नष्ट करने की रणनीतियों पर और अधिक जानकारी भी प्रकाशित की गई है।[38][39]
आंशिक रूप से होमोमोर्फिक क्रिप्टो प्रणाली
निम्नलिखित उदाहरणों में अंकन संदेश के एन्क्रिप्शन को प्रदर्शित करने के लिए उपयोग किया जाता है।
बिना पैड वाला आरएसए-
यदि आरएसए क्रिप्टो प्रणाली सार्वजनिक कुंजी में मॉड्यूलस और एन्क्रिप्शन प्रतिपादक मापांक है। फिर किसी संदेश का एन्क्रिप्शन E(m)= me mod n द्वारा दिया गया है। तब होमोमोर्फिक गुण है-
एलगमाल-
एलगमाल एन्क्रिप्शन में, एक चक्रीय समूह में ऑडर की जनरेटर के साथ , यदि सार्वजनिक कुंजी है। जहाँ और गुप्त कुंजी है। फिर संदेश का एन्क्रिप्शन कुछ यादृच्छिक के लिए है। तब होमोमोर्फिक गुण है-
गोल्ड वेसर-मिकाली-
गोल्ड वेसर-मिकाली क्रिप्टो प्रणाली में, यदि सार्वजनिक कुंजी और द्विघात गैर-अवशेष मापांक है। फिर बिट का एन्क्रिप्शन कुछ यादृच्छिक के लिए है। तब होमोमोर्फिक गुण है-
जहाँ अतिरिक्त मोडुलो 2 को प्रदर्शित किया गया है। (तथापि अनन्य संयोजन एक्सक्लूसिव-या)।
बेनालोह-
बेनलोह क्रिप्टो प्रणाली में, यदि सार्वजनिक कुंजी और आधार के एक ब्लॉक आकार के साथ मापांक है। फिर किसी संदेश का एन्क्रिप्शन कुछ यादृच्छिक के लिए है। तब होमोमोर्फिक गुण है-
पैलियर-
पैलियर क्रिप्टो प्रणाली में, यदि सार्वजनिक कुंजी और आधार मापांक है। फिर किसी संदेश का एन्क्रिप्शन कुछ यादृच्छिक के लिए है। तब होमोमोर्फिक गुण है-
अन्य आंशिक रूप से होमोमोर्फिक क्रिप्टो प्रणाली
- ओकामोटो-उचियामा क्रिप्टो प्रणाली
- नाकाचे-स्टर्न क्रिप्टो प्रणाली
- डैमगार्ड–जुरिक क्रिप्टो प्रणाली
- सैंडर-यंग-युंग एन्क्रिप्शन योजना
- बोन-गोह-निसिम क्रिप्टो प्रणाली
- ईशाई-पास्किन क्रिप्टो प्रणाली
- जॉय-लिबर्ट क्रिप्टो प्रणाली[40]
- कास्टैग्नोस-लैगुइलौमी क्रिप्टो प्रणाली[41]
पूर्णतयः समरूप एन्क्रिप्शन-
एक क्रिप्टो प्रणाली, जो सिफरटेक्स्ट पर अनगिनत संगणना का समर्थन करता है, उसे पूर्णतयः होमोमोर्फिक एन्क्रिप्शन (एफएचई) के रूप में जाना जाता है। ऐसी योजना किसी भी वांछित कार्यक्षमता के लिए प्रोग्राम के निर्माण को सक्षम बनाती है। जो परिणाम के एन्क्रिप्शन का उत्पादन करने के लिए एन्क्रिप्टेड इनपुट पर चलाया जा सकता है। चूंकि इस प्रकार के कार्यक्रम को कभी भी अपने इनपुट को डिक्रिप्ट करने की आवश्यकता नहीं होती है। यह एक अविश्वसनीय पार्टी द्वारा अपने इनपुट और आंतरिक स्थिति को प्रकट किए बिना चलाया जा सकता है। क्लाउड कंप्यूटिंग के संदर्भ में, पूर्णतयः होमोमोर्फिक क्रिप्टो प्रणाली के निजी संगणनाओं की आउटसोर्सिंग में बहुत व्यावहारिक प्रभाव हैं।[42]
कार्यान्वयन
दूसरी पीढ़ी (बीजीवी/बीएफवी), तीसरी पीढ़ी (एफएचईडब्ल्यू/टीएफएचई) और/या चौथी पीढ़ी (सीकेकेएस) एफएचई योजनाओं को संचालित करने वाले ओपन-सोर्स एफएचई पुस्तकालयों की एक सूची नीचे दी गई है।
पूर्णतयः होमोमोर्फिक एन्क्रिप्शन योजनाओं के कई ओपन-सोर्स कार्यान्वयन हैं। दूसरी पीढ़ी और चौथी पीढ़ी की एफएचई योजना कार्यान्वयन सामान्यतः समतल एफएचई मोड में काम करते हैं (चूंकि कुछ पुस्तकालयों में बूटस्ट्रैपिंग अभी भी उपलब्ध है) और डेटा की कुशल सिमड-जैसी पैकिंग का समर्थन करते हैं। वे सामान्यतः एन्क्रिप्टेड पूर्णांक या वास्तविक/जटिल संख्याओं पर गणना करने के लिए उपयोग किए जाते हैं। तीसरी पीढ़ी की एफएचई योजना कार्यान्वयन अधिकांशतः प्रत्येक ऑपरेशन के बाद बूटस्ट्रैप होता है। किन्तु पैकिंग के लिए सीमित समर्थन होता है। वे प्रारम्भ में एन्क्रिप्टेड बिट्स पर बूलियन सर्किट की गणना करने के लिए उपयोग किए गए थे। किन्तु पूर्णांक अंकगणित और यूनीवेरिएट फलन मूल्यांकन का समर्थन करने के लिए विस्तारित किया गया है। दूसरी पीढ़ी बनाम तीसरी पीढ़ी बनाम चौथी पीढ़ी योजना का उपयोग करने का विकल्प इनपुट डेटा प्रकार और वांछित गणना पर निर्भर करता है।
नाम | डेवलपर | बीजीवी | सीकेकेएस[35] | बीएफवी[20] | एफएचईडब्लू [32] | सीकेकेएस बूटस्ट्रैपिंग [43] | टीएफएचई[33] | विवरण |
---|---|---|---|---|---|---|---|---|
हेलिब[44] | आईबीएम | Yes | Yes | No | No | No | No | जीएचएस अनुकूलन के साथ बीजीवी योजना। |
माइक्रोसॉफ्ट सील[45] | माइक्रो्सॉफ्ट | Yes | Yes | Yes | No | No | No | |
ओपेन एफएचई | डुअलिटी टेक्नोलॉजीज, सैमसंग एडवांस्ड इंस्टीट्यूट ऑफ टेक्नोलॉजी, इंटेल, एमआईटी, कैलिफोर्निया विश्वविद्यालय, सैन डिएगो और अन्य | Yes | Yes | Yes | Yes | Yes | Yes | पलिसडे के उत्तराधिकारी |
पालिसडे[46] | न्यू जर्सी प्रौद्योगिकी संस्थान, द्वैत प्रौद्योगिकियां, रेथियॉन बीबीएन टेक्नोलॉजीज, एमआईटी, कैलिफोर्निया विश्वविद्यालय, सैन डिएगो और अन्य | Yes | Yes | Yes | Yes | No | Yes | सामान्य प्रयोजन जाली क्रिप्टोग्राफी पुस्तकालय। ओपन एफएचई के पूर्ववर्ती। |
हीन[47] | सियोल राष्ट्रीय विश्वविद्यालय | No | Yes | No | No | Yes | No | |
एफएचईडब्लू[32] | लियो डुकास और डेनियल माइकियानियो | No | No | No | Yes | No | No | |
टीएफएचई[33] | इलारिया चिलोटी, निकोलस गामा, मारिया जॉर्जीवा और मलिका इजाबाचेने | No | No | No | No | No | Yes | |
एफवी-एनएफएलआईबी[48] | क्रिप्टो विशेषज्ञ | No | style="background:#FFC7C7;vertical-align:middle;text-align:center;" class="table-no"|No | Yes | No | No | No | |
नूएफएचई[49] | नूसाइफर | No | No | No | No | No | Yes | टीएफएचई का जीपीयू कार्यान्वयन प्रदान करता है। |
रेडकूएफएचई[50] | टीडब्ल्यूसी समूह | No | style="background:#FFC7C7;vertical-align:middle;text-align:center;" class="table-no"|No | No | No | No | Yes | टीएफएचई का बहु-जीपीयू कार्यान्वयन। |
लैटिगो[51] | ईपीएफएल-एलडीएस, ट्यून इनसाइट | Yes | Yes | Yes | No | Yes[52] | No | उनके वितरित वेरिएंट के साथ गो में कार्यान्वयन सुरक्षित मल्टी-पार्टी संगणना को सक्षम करता है।[53] |
कन्क्रीट[54] | ज़ामा | No | style="background:#FFC7C7;vertical-align:middle;text-align:center;" class="table-no"|No | No | No | No | Yes |
टीएफएचई-विस्तारित, सपोर्टिंग बूलियन गेट्स, लेवलेड इंटीजर ऑपरेशंस और यूनीवेरिएट फंक्शन इवैल्यूएशन (प्रोग्रामेबल बूटस्ट्रैपिंग के माध्यम से) का रस्ट इम्प्लीमेंटेशन.[55] एक Num Py कंपाइलर भी उपलब्ध है।[56] |
Name | Developer | एफएचईडब्लू [32] | TFHE | HElib | SEAL | PALISADE | Lattigo |
---|---|---|---|---|---|---|---|
ई3[57] | एनवाईयू अबू धाबी में मोमा लैब | style="background:#9EFF9E;vertical-align:middle;text-align:center;" class="table-yes"|Yes | Yes | Yes | Yes | Yes | No |
शीप[58] | एलन ट्यूरिंग संस्थान | style="background:#FFC7C7;vertical-align:middle;text-align:center;" class="table-no"|No | Yes | Yes | Yes | Yes | No |
टी2[59] | टीडब्ल्यूसी समूह | style="background:#FFC7C7;vertical-align:middle;text-align:center;" class="table-no"|No | Yes | Yes | Yes | Yes | Yes |
मानकीकरण
2017 में, आईबीएम, माइक्रोसॉफ्ट, इनटेल, राष्ट्रीय मानक और प्रौद्योगिकी संस्थान और अन्य के शोधकर्ताओं ने एक संवृत संघहोमोमॉर्फिक एन्क्रिप्शन मानक मानकीकरण कंसोर्टियम (Homomorphicencryption.org) का गठन किया। जो एक सामुदायिक सुरक्षा होमोमोर्फिक एन्क्रिप्शन मानक (मानक) बनाए रखने में सहायता प्रदान करता है।[60][61][62]
यह भी देखें
- होमोमोर्फिक सीक्रेट शेयरिंग
- नेटवर्क कोडिंग के लिए होमोमोर्फिक हस्ताक्षर
- निजी बायोमेट्रिक्स
- सत्यापन योग्य कंप्यूटिंग
- क्लाइंट-साइड एन्क्रिप्शन
- खोज योग्य सममित एन्क्रिप्शन
- सुरक्षित बहुदलीय अभिकलन
- प्रारूप-संरक्षण एन्क्रिप्शन
- बहुरूपी कोड
- प्राइवेट समुच्चय इन्टरसेक्शन
संदर्भ
- ↑ Armknecht, Frederik; Boyd, Colin; Gjøsteen, Kristian; Jäschke, Angela; Reuter, Christian; Strand, Martin (2015). "A Guide to Fully Homomorphic Encryption". Cryptology ePrint Archive.
- ↑ Vinod Vaikuntanathan. "Homomorphic Encryption References".
- ↑ R. L. Rivest, L. Adleman, and M. L. Dertouzos. On data banks and privacy homomorphisms. In Foundations of Secure Computation, 1978.
- ↑ Sander, Tomas; Young, Adam L.; Yung, Moti (1999). "Non-Interactive CryptoComputing For NC1". Focs1991. pp. 554–566. doi:10.1109/SFFCS.1999.814630. ISBN 978-0-7695-0409-4. S2CID 1976588.
- ↑ D. Boneh, E. Goh, and K. Nissim. Evaluating 2-DNF Formulas on Ciphertexts. In Theory of Cryptography Conference, 2005.
- ↑ Y. Ishai and A. Paskin. Evaluating branching programs on encrypted data. In Theory of Cryptography Conference, 2007.
- ↑ Craig Gentry. Fully Homomorphic Encryption Using Ideal Lattices. In the 41st ACM Symposium on Theory of Computing (STOC), 2009.
- ↑ Craig Gentry. "A Fully Homomorphic Encryption Scheme (Ph.D. thesis)" (PDF).
- ↑ Gentry, Craig; Halevi, Shai (2010). "Implementing Gentry's fully-homomorphic encryption scheme". Eurocrypt 2011.
- ↑ Van Dijk, Marten; Gentry, Craig; Halevi, Shai; Vinod, Vaikuntanathan (2009). "Fully Homomorphic Encryption over the Integers". Eurocrypt 2010.
- ↑ Levieil, Eric; Naccache, David. "Cryptographic Test Correction" (PDF).
- ↑ Cohen, Bram. "Simple Public Key Encryption". Archived from the original on 2011-10-07.
- ↑ Coron, Jean-Sébastien; Naccache, David; Tibouchi, Mehdi (2011). "Public Key Compression and Modulus Switching for Fully Homomorphic Encryption over the Integers". Eurocrypt 2012.
- ↑ Coron, Jean-Sébastien; Mandal, Avradip; Naccache, David; Tibouchi, Mehdi (2011). "Fully Homomorphic Encryption over the Integers with Shorter Public Keys". In Rogaway, P. (ed.). Advances in Cryptology – CRYPTO 2011. Lecture Notes in Computer Science. Vol. 6841. pp. 487–504. doi:10.1007/978-3-642-22792-9_28. ISBN 978-3-642-22791-2.
- ↑ 15.0 15.1 Coron, Jean-Sébastien; Lepoint, Tancrède; Tibouchi, Mehdi (2013). "Batch Fully Homomorphic Encryption over the Integers". Eurocrypt 2013.
- ↑ 16.0 16.1 Coron, Jean-Sébastien; Lepoint, Tancrède; Tibouchi, Mehdi (2014). "Scale-Invariant Fully Homomorphic Encryption over the Integers". PKC 2014.
- ↑ Z. Brakerski, C. Gentry, and V. Vaikuntanathan. Fully Homomorphic Encryption without Bootstrapping, In ITCS 2012
- ↑ Z. Brakerski and V. Vaikuntanathan. Efficient Fully Homomorphic Encryption from (Standard) LWE. In FOCS 2011 (IEEE)
- ↑ A. Lopez-Alt, E. Tromer, and V. Vaikuntanathan. On-the-Fly Multiparty Computation on the Cloud via Multikey Fully Homomorphic Encryption. In STOC 2012 (ACM)
- ↑ 20.0 20.1 Fan, Junfeng; Vercauteren, Frederik (2012). "Somewhat Practical Fully Homomorphic Encryption". Cryptology ePrint Archive.
- ↑ 21.0 21.1 Z. Brakerski. Fully Homomorphic Encryption without Modulus Switching from Classical GapSVP, In CRYPTO 2012 (Springer)
- ↑ J. Bos, K. Lauter, J. Loftus, and M. Naehrig. Improved Security for a Ring-Based Fully Homomorphic Encryption Scheme. In IMACC 2013 (Springer)
- ↑ 23.0 23.1 M. Albrecht, S. Bai, and L. Ducas. A subfield lattice attack on overstretched NTRU assumptions, In CRYPTO 2016 (Springer)
- ↑ Cheon, J. H.; Jeong, J; Lee, C. (2016). "An algorithm for NTRU problems and cryptanalysis of the GGH multilinear map without a low-level encoding of zero". LMS Journal of Computation and Mathematics. 19 (1): 255–266. doi:10.1112/S1461157016000371.
- ↑ C. Gentry, S. Halevi, and N. P. Smart. Fully Homomorphic Encryption with Polylog Overhead. In EUROCRYPT 2012 (Springer)
- ↑ C. Gentry, S. Halevi, and N. P. Smart. Better Bootstrapping in Fully Homomorphic Encryption. In PKC 2012 (SpringeR)
- ↑ C. Gentry, S. Halevi, and N. P. Smart. Homomorphic Evaluation of the AES Circuit. In CRYPTO 2012 (Springer)
- ↑ Smart, Nigel P.; Vercauteren, Frederik (2014). "Fully Homomorphic SIMD Operations". Designs, Codes and Cryptography. 71 (1): 57–81. doi:10.1007/s10623-012-9720-4. S2CID 11202438.
- ↑ C. Gentry, A. Sahai, and B. Waters. Homomorphic Encryption from Learning with Errors: Conceptually-Simpler, Asymptotically-Faster, Attribute-Based. In CRYPTO 2013 (Springer)
- ↑ Z. Brakerski and V. Vaikuntanathan. Lattice-Based FHE as Secure as PKE. In ITCS 2014
- ↑ 31.0 31.1 J. Alperin-Sheriff and C. Peikert. Faster Bootstrapping with Polynomial Error. In CRYPTO 2014 (Springer)
- ↑ 32.0 32.1 32.2 32.3 Leo Ducas; Daniele Micciancio. "FHEW: A Fully Homomorphic Encryption library". GitHub. Retrieved 31 December 2014.
- ↑ 33.0 33.1 33.2 Ilaria Chillotti; Nicolas Gama; Mariya Georgieva; Malika Izabachene. "Faster Fully Homomorphic Encryption: Bootstrapping in less than 0.1 Seconds". Retrieved 31 December 2016.
- ↑ N. Gama, M. Izabachène, P.Q. Nguyen, and X. Xie Structural Lattice Reduction: Generalized Worst-Case to Average-Case Reductions and Homomorphic Cryptosystems. In EUROCRYPT 2016 (Springer)
- ↑ 35.0 35.1 Cheon, Jung Hee; Kim, Andrey; Kim, Miran; Song, Yongsoo (2017). "Homomorphic encryption for arithmetic of approximate numbers". Takagi T., Peyrin T. (eds) Advances in Cryptology – ASIACRYPT 2017. ASIACRYPT 2017. Lecture Notes in Computer Science. Vol. 10624. Springer, Cham. pp. 409–437. doi:10.1007/978-3-319-70694-8_15. ISBN 978-3-319-70693-1.
- ↑ Kim A., Papadimitriou A., Polyakov Y. Approximate Homomorphic Encryption with Reduced Approximation Error, In CT-RSA 2022 (Springer)
- ↑ Li, Baily; Micciancio, Daniele (2020). "अनुमानित संख्या पर होमोमोर्फिक एन्क्रिप्शन की सुरक्षा पर" (PDF). IACR ePrint Archive 2020/1533.
- ↑ Cheon, Jung Hee; Hong, Seungwan; Kim, Duhyeong (2020). "अभ्यास में सीकेकेएस योजना की सुरक्षा पर टिप्पणी" (PDF). IACR ePrint Archive 2020/1581.
- ↑ "सीकेकेएस की सुरक्षा". Retrieved 10 March 2021.
- ↑ Benhamouda, Fabrice; Herranz, Javier; Joye, Marc; Libert, Benoît (2017). "Efficient cryptosystems from 2k-th power residue symbols" (PDF). Journal of Cryptology. 30 (2): 519–549. doi:10.1007/s00145-016-9229-5. hdl:2117/103661. S2CID 62063.
- ↑
Guilhem Castagnos and Fabien Laguillaumie (2015). "Linearly Homomorphic Encryption from DDH" (PDF).
{{cite journal}}
: Cite journal requires|journal=
(help) - ↑ Daniele Micciancio (2010-03-01). "A First Glimpse of Cryptography's Holy Grail". Association for Computing Machinery. p. 96. Retrieved 2010-03-17.
- ↑ Jung Hee Cheon, Kyoohyung Han, Andrey Kim, Miran Kim and Yongsoo Song. Bootstrapping for Approximate Homomorphic Encryption. In EUROCRYPT 2018 (Springer).
- ↑ Shai Halevi; Victor Shoup. "HElib: An Implementation of homomorphic encryption". GitHub. Retrieved 31 December 2014.
- ↑ Microsoft Research. "Microsoft SEAL". Microsoft. Retrieved 20 February 2019.
- ↑ "PALISADE Lattice Cryptography Library". Retrieved 1 January 2019.
- ↑ Jung Hee Cheon; Kyoohyung Han; Andrey Kim; Miran Kim; Yongsoo Song. "Homomorphic Encryption for Arithmetic of Approximate Numbers". GitHub. Retrieved 15 May 2016.
- ↑ Crypto Experts. "FV-NFLlib". GitHub. Retrieved 1 November 2019.
- ↑ NuCypher. "A GPU implementation of fully homomorphic encryption on torus". GitHub. Retrieved 1 November 2019.
- ↑ Trustworthy Computing (TwC) Group. "A Multi-GPU Implementation of the CGGI Cryptosystem". GitHub. Retrieved 7 March 2023.
- ↑ EPFL-LDS. "Lattigo v3.0.5". GitHub. Retrieved 13 September 2022.
- ↑ Jean-Philippe Bossuat, Christian Mouchet, Juan Troncoso-Pastoriza and Jean-Pierre Hubaux. Efficient Bootstrapping for Approximate Homomorphic Encryption with Non-Sparse Keys. In EUROCRYPT 2021 (Springer).
- ↑ Christian Mouchet, Juan Troncoso-Pastoriza, Jean-Philippe Bossuat and Jean-Pierre Hubaux. Multiparty Homomorphic Encryption from Ring-Learning-With-Errors.
- ↑ Zama (20 May 2022). "Concrete". GitHub. Retrieved 20 May 2022.
- ↑ Chillotti, Ilaria; Joye, Marc; Paillier, Pascal (2021). "Programmable Bootstrapping Enables Efficient Homomorphic Inference of Deep Neural Networks" (PDF). Cyber Security Cryptography and Machine Learning. Lecture Notes in Computer Science (in English). 12716: 1–19. doi:10.1007/978-3-030-78086-9_1. ISBN 978-3-030-78085-2. S2CID 231732347. Retrieved 17 November 2022.
- ↑ "Links". GitHub. 7 May 2022.
- ↑ MoMA Lab, New York University Abu Dhabi (2019-07-24). "Encrypt-Everything-Everywhere (E3)". GitHub. Retrieved 27 July 2019.
- ↑
Alan Turing Institute, London, UK (2019-11-01). "SHEEP, a Homomorphic Encryption Evaluation Platform". GitHub. Retrieved 1 November 2019.
{{cite web}}
: CS1 maint: multiple names: authors list (link) - ↑ Trustworthy Computing (TwC) Group (2023-03-02). "T2: A cross compiler and standardized benchmarks for FHE computation". GitHub. Retrieved 3 February 2023.
- ↑ "होमोमॉर्फिक एन्क्रिप्शन मानकीकरण कार्यशाला". Microsoft. 2017-07-13. Retrieved 2022-05-12.
- ↑ "Intel, Microsoft Research और Duality Technologies ने गोपनीयता मानकों के लिए AI समुदाय का आयोजन किया". Intel Newsroom. 2019-08-16. Retrieved 2022-05-12.
- ↑ "इंटेल, माइक्रोसॉफ्ट पूरी तरह से होमोमोर्फिक एन्क्रिप्शन को गति देने के लिए DARPA के प्रयास में शामिल हुए". 8 March 2021.
बाहरी संबंध
- FHE.org Community (conference, meetup and discussion group)
- Daniele Micciancio's FHE references
- Vinod Vaikuntanathan's FHE references
- "Alice and Bob in Cipherspace". American Scientist (in English). September 2012. Retrieved 2018-05-08.
- A list of homomorphic encryption implementations maintained on GitHub