← नवीनतम पेपर
⚡ electrical engineering

Secure Two-Party Matrix Multiplication from Lattices and Its Application to Encrypted Control

यह शोधपत्र लैटिस क्रिप्टोग्राफी पर आधारित अनुमानित मैट्रिक्स गुणन (approximate matrix multiplication) के लिए एक प्रमाणित सुरक्षित, एकल-चरण (single-round) द्वि-पक्षीय गणना प्रोटोकॉल प्रस्तावित करता है, जो गोपनीयता-संरक्षित एन्क्रिप्टेड रैखिक नियंत्रण अनुप्रयोगों में इसकी व्यावहारिक व्यवहार्यता और सटीकता को प्रदर्शित करता है।

मूल लेखक: Kaoru Teranishi

प्रकाशित 2026-03-25
📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

मूल लेखक: Kaoru Teranishi

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक प्रतिभाशाली इंजीनियर हैं और आपके पास एक बहुत ही संवेदनशील, हाई-टेक रोबोट (एक "साइबर-फिजिकल सिस्टम") है। आपके पास अपने रोबोट को पूरी तरह से नियंत्रित करने की एक गुप्त रेसिपी है, लेकिन आपके पास वास्तविक समय (real-time) में गणना करने के लिए आवश्यक सुपर-कंप्यूटर नहीं हैं। इसलिए, आप दो शक्तिशाली लेकिन अविश्वसनीय "क्लाउड सर्वर" को अपने लिए गणित करने के लिए काम पर रखना चाहते हैं।

समस्या क्या है? आप उन्हें अपनी गुप्त रेसिपी या अपने रोबोट की वर्तमान स्थिति नहीं भेज सकते, क्योंकि यदि वे आपका डेटा चुरा लेते हैं, तो वे आपके रोबोट को हैक कर सकते हैं या आपके रहस्यों को बेच सकते हैं।

यह शोध पत्र एक चतुर समाधान प्रस्तावित करता है: आपके और दो अजनबियों के बीच एक सुरक्षित, एक-चरणीय हैंडशेक (one-step handshake), जिसके माध्यम से गुप्त मैट्रिसेस (matrices) का गुणन किया जा सकता है, बिना किसी को भी वास्तविक नंबर दिखाए।

यहाँ सरल उपमाओं (analogies) का उपयोग करके इसका विवरण दिया गया है:

1. मुख्य समस्या: "गुप्त गणित" की दुविधा

आमतौर पर, एन्क्रिप्टेड डेटा (जैसे कि एक गुप्त रेसिपी) पर गणित करने के लिए, आपको कई बार संदेशों को आदान-प्रदान करने की आवश्यकता होती है। यह "हॉट पोटैटो" (गर्म आलू) के खेल की तरह है जहाँ आप एक बंद डिब्बे को बार-बार इधर-उधर पास करते हैं, सर्वरों से एक नंबर जोड़ने के लिए कहते हैं, फिर उसे फिर से लॉक करते हैं, और फिर उसे वापस पास करते हैं।

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

2. समाधान: "जादुई लॉकबॉक्स" और "गुप्त विभाजन"

लेखक, काओरू टेरानिशी (Kaoru Teranishi), इस समस्या को हल करने के लिए दो शक्तिशाली क्रिप्टोग्राफिक उपकरणों को मिलाते हैं:

  • गुप्त विभाजन (The "Pizza Slice" Method): कल्पना कीजिए कि आपके पास एक गुप्त संख्या है (जैसे किसी स्टॉक की कीमत)। पूरे नंबर को भेजने के बजाय, आप इसे दो स्लाइस में काट देते हैं। आप एक स्लाइस सर्वर A को और दूसरा सर्सेवर B को देते हैं। कोई भी स्लाइस उन्हें कीमत के बारे में कुछ नहीं बताता। केवल जब आप उन स्लाइस को वापस जोड़ते हैं, तभी आपको मूल संख्या प्राप्त होती है।
  • लैटिस क्रिप्टोग्राफी (The "Noisy Lockbox"): यह उच्च-आयामी ग्रिडों (lattices) पर आधारित गणित का एक प्रकार है। इसे एक ऐसे लॉकबॉक्स के रूप में सोचें जो थोड़ा "शोरयुक्त" (noisy) या धुंधला है।
    • आप अपना गुप्त डेटा इसके अंदर रखते हैं।
    • बॉक्स को एक विशेष कुंजी (key) के साथ लॉक किया जाता है।
    • भले ही कोई लॉक किए हुए बॉक्स को देखे, लेकिन "शोर" (noise) इसे रैंडम स्टैटिक जैसा बना देता है। वे इसके अंदर का डेटा नहीं देख सकते।
    • हालाँकि, बॉक्स को इस तरह डिज़ाइन किया गया है कि यदि आप इन लॉक किए गए बॉक्सों पर विशिष्ट गणितीय क्रियाएं करते हैं, तो शोर एक अनुमानित तरीके से समाप्त हो जाता है, जिससे गणित का परिणाम प्रकट होता है (बिना इनपुट को प्रकट किए)।

3. जादुिक ट्रिक: वन-राउंड मल्टीप्लिकेशन

शोध पत्र की बड़ी सफलता दो गुप्त मैट्रिसेस (संख्याओं के ग्रिड) को केवल एक राउंड के संचार में गुणा करने में है।

यह "वन-राउंड" नृत्य कैसे काम करता है:

  1. तैयारी (Offline): आप (क्लाइंट) कुछ "जादुic सामग्री" (रैंडम नंबर और लॉक किए हुए बॉक्स) तैयार करते हैं और उन्हें दो सर्वरों को भेजते हैं। आप एक गुप्त कुंजी अपने पास रखते हैं।
  2. इनपुट (Online):
    • आप अपने गुप्त डेटा (रोबोट की स्थिति और आपकी नियंत्रण रेसिपी) को लेकर उसे स्लाइस में विभाजित करते हैं।
    • आप एक स्लाइस सर्वर A को और दूसरा सर्वर B को भेजते हैं।
    • महत्वपूर्ण बात: आप यह सब बिना किसी को भी पूरा डेटा भेजे करते हैं।
  3. गणना (सर्वरों का काम):
    • सर्वर A और सर्वर B अपने स्लाइस और उस "जादुic सामग्री" का उपयोग करते हैं जो आपने उन्हें पहले दी थी।
    • वे एक विशिष्ट गणना करते हैं जो इस तरह दिखती है: (स्लाइस A + मैजिक) + (स्लाइस B + मैजिक) - (सीक्रेट की मैजिक)
    • LWE और SIS के विशेष गणित गुणों के कारण, "सीक्रेट की मैजिक" वाले हिस्से पूरी तरह से एक दूसरे को रद्द कर देते हैं, जिससे केवल गुणन का परिणाम बचता है, साथ ही थोड़ा सा हानिरहित "शोर" (noise) भी।
  4. परिणाम: वे अपने गणना किए गए स्लाइस आपको वापस भेजते हैं। आप उन्हें जोड़ते हैं, थोड़ा सा शोर हटाते हैं, और आपके पास आपका उत्तर होता है!

यह अद्भुत क्यों है?

  • गति: यह एक ही चरण में होता है। कोई बार-बार आना-जाना नहीं।
  • गोपनीयता: सर्वर कभी भी आपके रोबोट की स्थिति या आपकी गुप्त रेसिपी नहीं देख पाते। वे केवल रैंडम स्लाइस और लॉक किए हुए बॉक्स देखते हैं।
  • दक्षता: आपका कंप्यूटर (क्लाइंट) वास्तविक ऑपरेशन के दौरान बहुत कम काम करता है। वह बस डेटा को विभाजित करता है और अंतिम स्लाइस को जोड़ता है। सारा भारी काम सर्वरों द्वारा किया जाता है।

4. "अनुमान" (Approximation) का समझौता

शोध पत्र स्वीकार करता है कि गणित पूरी तरह से सटीक (अनंत दशमलव तक) नहीं है। यह "अनुमानित" है।

  • उपमा: कल्पना कीजिए कि आप एक मेज को एक ऐसे रूलर से माप रहे हैं जिस पर निशान थोड़े धुंधले हैं। आपको ठीक 10 इंच के बजाय 10.001 इंच मिल सकता है।
  • अच्छी खबर: लेखक गणितीय रूप से सिद्ध करते हैं कि यह "धुंधलापन" इतना कम है कि रोबोट को नियंत्रित करने के लिए यह मायने नहीं रखता। रोबोट अभी भी बिल्कुल वहीं जाएगा जहाँ उसे जाना चाहिए। त्रुटि एक फुटबॉल के मैदान के आकार की तुलना में एक मानव बाल की मोटाई से भी कम है।

5. वास्तविक दुनिया का प्रभाव: "एन्क्रिप्टेड कंट्रोलर"

शोध पत्र इसका परीक्षण एक लीनियर कंट्रोल लॉ (एक मानक तरीका जो सिस्टम को स्थिर रखता है, जैसे ड्रोन का हवा में तैरना या कार का अपनी लेन में रहना) पर करता है।

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

सारांश

यह शोध पत्र दो अविश्वसनीय कंप्यूटरों का उपयोग करके गुप्त डेटा पर जटिल गणित करने का एक नया तरीका पेश करता है। "गुप्त विभाजन" और "शोरयुक्त लॉकबॉक्स" के मिश्रण का उपयोग करके, यह उपयोगकर्ता को भारी गणनाओं (जैसे एक रोबोट को नियंत्रित करना) को तुरंत और सुरक्षित रूप से आउटसोर्स करने की अनुमति देता है, जिससे उपयोगकर्ता का कंप्यूटर थकता नहीं है और सर्वर कभी भी रहस्य नहीं जान पाते। यह दो अजनबियों को आपकी गुप्त रेसिपी का उपयोग करके केक बनाने के लिए काम पर रखने जैसा है, जहाँ वे केवल आटे का ढेर और चीनी का ढेर देखते हैं, लेकिन कभी रेसिपी नहीं देखते, और वे आपको एक ही बार में तैयार केक सौंप देते हैं।

अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?

आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।

Digest आज़माएँ →