ORQ: Complex Analytics on Private Data with Strong Security Guarantees
ORQ एक नवीन प्रणाली है जो ऑन-द-फ्लाई एग्रीगेशन के माध्यम से सुरक्षित जॉइन्स की द्विघातीय लागत को समाप्त करके, विश्वसनीय तीसरे पक्ष या सूचना रिसाव पर निर्भर हुए बिना मल्टी-पार्टी कम्प्यूटेशन के तहत TPC-H स्केल फैक्टर 10 प्रदर्शन प्राप्त करते हुए, बड़े निजी डेटासेट्स के कुशल, क्रिप्टोग्राफिक रूप से सुरक्षित सहयोगात्मक विश्लेषण को सक्षम बनाती है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक जहाज के कप्तान हैं, और आपके साथ तीन अन्य कप्तान भी हैं। आप में से प्रत्येक के पास एक गुप्त मानचित्र है जिसमें बहुमूल्य खजाने के स्थान दिए गए हैं, लेकिन आप में से कोई भी दूसरों पर इतना भरोसा नहीं करता कि अपना मानचित्र दिखा सके। आप एक साथ मिलकर वह सबसे अच्छा रास्ता खोजना चाहते हैं जो आपके सभी मानचित्रों को जोड़ता हो, लेकिन आप यह नहीं बताना चाहते कि आपका विशिष्ट खजाना कहाँ है, या आपके पास कितने खजाने हैं।
यह वह समस्या है जिसे Orq हल करता है।
समस्या: "क्वाड्रेटिक एक्सप्लोजन" (Quadratic Explosion)
सुरक्षित कंप्यूटिंग की दुनिया में, एक तकनीक llamada है मल्टीपार्टी कम्प्यूटेशन (MPC)। यह लोगों को अपना निजी डेटा प्रकट किए बिना मिलकर गणना करने की अनुमति देता है। इसे ऐसे समझें जैसे कि लोगों का एक समूह एक गणितीय समस्या को हल कर रहा है, जहाँ हर कोई अपने नंबरों को कागज के एक टुकड़े पर लिखता है, लेकिन वे केवल उन नंबरों के "स्कैम्बल" (बदले हुए) संस्करणों को ही आपस में पास करते हैं।
हालाँकि, इसमें एक बड़ी बाधा है: जॉइन्स (Joins)।
कल्पना कीजिए कि आपके पास नामों की दो सूचियाँ हैं। आप उन सभी नामों को खोजना चाहते हैं जो दोनों सूचियों में मौजूद हैं।
- पुराना तरीका: यदि आप इसे सुरक्षित रूप से बिना कुछ प्रकट किए करना चाहते हैं, तो कंप्यूटर को सूची A के हर एक नाम की सूची B के हर एक नाम के साथ तुलना करनी होगी। यदि सूची A में 1,000 नाम हैं और सूची B में 1,000 नाम हैं, तो कंप्यूटर को 1,000,000 (1,000 x 1,000) बार जाँच करनी होगी।
- "कैस्केडिंग" दुःस्वप्न: यदि आपके पास जोड़ने के लिए तीन सूचियाँ हैं, तो जाँचों की संख्या बढ़कर 1,000,000,000 हो जाएगी। यदि चार हैं, तो यह एक ट्रिलियन हो जाएगी। इसे "क्वाड्रेटिक ब्लोअप" कहा जाता है। यह ऐसा है जैसे घास के ढेर में सुई ढूँढना, लेकिन हर बार जब आप देखते हैं, तो घास का ढेर दोगुना हो जाता है। पिछले सिस्टम या तो इस विस्फोट से बचने के लिए रहस्य लीक कर देते थे, या उन्हें एक "विश्वस्त" तीसरे पक्ष (जैसे कि एक न्यायाधीश) की आवश्यकता होती था जो निगरानी कर सके।
समाधान: Orq (एक "स्मार्ट सॉर्टर")
शोधकर्ताओं ने Orq नामक एक प्रणाली बनाई है जो खेल के नियम बदल देती है। हर संयोजन को अंधाधुंध जाँचने के बजाय, Orq पहले सूचियों को सॉर्ट (क्रमबद्ध) करता है।
इसे एक अव्यवस्थित पुस्तकालय को व्यवस्थित करने की तरह समझें।
- पुराना तरीका: आप पुस्तकालय की हर किताब के पास जाते हैं और पूछते हैं, "क्या यह किताब बिल्लियों के बारे में है?" आप हर एक किताब के लिए ऐसा करते हैं, भले ही वे गलत सेक्शन में हों।
- Orq का तरीका: आप पहले किताबों को वर्णानुक्रम (alphabetically) में व्यवस्थित करते हैं। अब, यदि आप "बिल्ली" वाली किताबें खोजना चाहते हैं, तो आप सीधे "B" सेक्शन में जा सकते हैं। आपको "A" या "Z" सेक्शन को जाँचने की आवश्यकता नहीं है।
Orq डेटा के साथ यही करता है। यह गुप्त डेटा को इस तरह सॉर्ट करता है कि मेल खाने वाली वस्तुएं एक-दूसरे के ठीक बगल में आ जाती हैं। यह असंभव "सब कुछ जाँचने" वाले कार्य को एक प्रबंधनीय "पड़ोसियों को जाँचने" वाले कार्य में बदल देता है।
गुप्त मंत्र: "ऑन-द-फ्लाई" एग्रीगेशन (On-the-Fly Aggregation)
पेपर एक विशिष्ट अंतर्दृष्टि पर प्रकाश डालता है: अधिकांश वास्तविक दुनिया के प्रश्नों में (जैसे "हमने कितना पैसा कमाया?"), हमें वास्तव में प्रत्येक लेनदेन की अंतिम सूची देखने की आवश्यकता नहीं होती है। हमें केवल कुल योग (total) की आवश्यकता होती है।
Orq जॉइन-एग्रीगेशन (Join-Aggregation) नामक एक तकनीक का उपयोग करता है।
- एक रिले रेस की कल्पना करें: पूरी रेस दौड़ने, हर कदम को गिनने के लिए रुकने और फिर से दौड़ने के बजाय, Orq दौड़ने और गिनने को एक ही सहज गति में जोड़ देता है।
- जैसे-जैसे डेटा सिस्टम के माध्यम से आगे बढ़ता है, Orq तालिकाओं को जोड़ता (join) भी है और संख्याओं को जोड़ता (aggregate) भी है। यह सभी संभावित संयोजनों की विशाल, मध्यवर्ती सूची कभी नहीं बनाता है। यह डेटा के आकार को सीमित रखता है, जैसे कि एक बाल्टी जो कभी भर कर बाहर नहीं निकलती, चाहे आप उसमें कितना भी पानी डालें।
परिणाम: गति और पैमाना
शोधकर्ताओं ने Orq का परीक्षण दो वातावरणों में किया:
- LAN (लोकल एरिया नेटवर्क): एक ही इमारत में स्थित कंप्यूटर।
- WAN (वाइड एरिया नेटवर्क): इंटरनेट पर फैले हुए कंप्यूटर (जैसे अलग-अलग देशों में)।
उन्होंने क्या पाया:
- गति: Orq पिछले सिस्टम की तुलना में नाटकीय रूप रूप से तेज़ है। कुछ मामलों में, यह 800 गुना तेज़ है।
- पैमाना: वे प्रसिद्ध TPC-H बेंचमार्क (डेटाबेस प्रदर्शन के लिए एक मानक परीक्षण) को "स्केल फैक्टर 10" के साथ चलाने में सक्षम थे। इसका अर्थ है कि उन्होंने पूरी तरह से सुरक्षित एन्क्रिप्शन के तहत 58 मिलियन पंक्तियों (rows) के डेटा को प्रोसेस किया।
- संदर्भ: पिछले सुरक्षित सिस्टम केवल तभी इतना डेटा संभाल सकते थे जब वे रहस्य लीक करते थे या किसी विश्वसनीय तीसरे पक्ष का उपयोग करते थे। Orq ने इसे शून्य लीकेज और बिना किसी विश्वसनीय तीसरे पक्ष के किया।
- सुरक्षा: यह तब भी काम करता है जब कुछ कंप्यूटर "दुर्भावनापूर्ण" (धोखा देने की कोशिश करने वाले) या "सेमी-ऑनेस्ट" (नियमों का पालन करने वाले लेकिन झाँकने की कोशिश करने वाले) हों।
मुख्य निष्कर्ष
Orq एक सुरक्षित कार के लिए एक नए, अत्यधिक कुशल इंजन की तरह है। पहले, भारी भार (जटिल डेटा) के साथ एक सुरक्षित कार चलाने की कोशिश करना इतना धीमा और खतरनाक था कि लोग या तो गाड़ी नहीं चलाते थे या सुरक्षा लॉक हटा देते थे (डेटा लीक करना)। Orq ने इंजन को इस तरह से फिर से डिज़ाइन किया है कि आप तेज़ी से चल सकते हैं, भारी भार उठा सकते हैं और सुरक्षा लॉक को मजबूती से बरकरार रख सकते हैं।
उन्होंने इसके कोड को ओपन-सोर्स भी बना दिया है, ताकि कोई भी इस "इंजन" का उपयोग करके अपने स्वयं के सुरक्षित डेटा विश्लेषण टूल बना सके।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।