Federated Computing as Code (FCaC): Sovereignty-aware Systems by Design
यह शोध पत्र फेडरेटेड कंप्यूटिंग एज कोड (FCaC) को प्रस्तुत करता है, जो एक डिक्लेरेटिव आर्किटेक्चर है जो अधिकार को क्रिप्टोग्राफिक रूप से सत्यापन योग्य आर्टिफ़ैक्ट्स और प्रूफ-कैरिंग क्षमताओं में संकलित करके वितरित प्रणालियों में संप्रभुता-महत्वपूर्ण बाधाओं को लागू करता है, जिससे रनटाइम पॉलिसी मूल्यांकन पर निर्भरता के स्थान पर स्थानीय सीमा सत्यापन को प्रतिस्थापित किया जाता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप अस्पतालों, बैंकों या अनुसंधान प्रयोगशालाओं के एक समूह का हिस्सा हैं जो सभी मिलकर एक बड़ी समस्या को हल करना चाहते हैं (जैसे किसी बीमारी का इलाज खोजना या बाजार की गिरावट की भविष्यवाणी करना)। समस्या यह है कि कोई भी अपना गुप्त डेटा साझा नहीं करना चाहता। अस्पताल A, अस्पताल B के रोगी रिकॉर्ड नहीं भेज सकता क्योंकि गोपनीयता कानून लागू हैं, और बैंक X, बैंक Y को अपने लेनदेन लॉग नहीं दिखा सकता क्योंकि सुरक्षा नियम मौजूद हैं।
आमतौर पर, इसे हल करने के लिए, सभी को एक "बिचौलिए" (एक केंद्रीय सर्वर) पर भरोसा करना पड़ता है या बहुत सारे कानूनी अनुबंधों पर हस्ताक्षर करने पड़ते हैं जिन्हें बाद में जांचना कठिन होता है। यदि बिचौलिया हैक हो जाता है या अनुबंध भ्रमित करने वाले हो जाते हैं, तो पूरा सिस्टम टूट जाता है।
फेडरेटेड कंप्यूटिंग एज़ कोड (FCaC) इस समस्या को हल करने का एक नया तरीका है। इसे ऐसे समझें जैसे हर प्रतिभागी को एक जादुई, अटूट पासपोर्ट दिया जा रहा है जो डेटा के साथ नहीं, बल्कि कंप्यूटेशन (गणना) के साथ यात्रा करता है।
यह कैसे काम करता है, यहाँ सरल उपमाओं (analogies) में दिया गया है:
1. समस्या: "मुझ पर विश्वास करो" वाली प्रणाली
अभी, यदि अस्पताल A को अस्पताल B के डेटा पर एक परीक्षण चलाना है, तो अस्पताल B को कहना होगा, "ठीक है, मैं तुम पर भरोसा करता हूँ, और मैं उस केंद्रीय कंप्यूटर पर भी भरोसा करता हूँ जिसका हम दोनों उपयोग कर रहे हैं।"
- दोष: यदि केंद्रीय कंप्यूटर धीमा है, हैक हो गया है, या यदि नियम बदल जाते हैं, तो अस्पताल B अनजाने में अस्पताल A को वह सब कुछ करने दे सकता है जो उसे नहीं करना चाहिए। यह एक अजनबी को आपके घर में प्रवेश देने जैसा है क्योंकि आप दरबान पर भरोसा करते हैं, लेकिन आप कभी खुद उसकी आईडी की जांच नहीं करते।
2. समाधान: "जादुई पासपोर्ट" (FCaC)
FCaC खेल बदल देता है। हर बार केंद्रीय दरबान से अनुमति मांगने के बजाय, नियमों को एक डिजिटल पासपोर्ट (जिसे एनवेलप कैपेबिलिटी टोकन या ECT कहा जाता है) में ही समाहित कर दिया जाता है।
- पासपोर्ट: यह केवल कागज का टुकड़ा नहीं है; यह एक क्रिप्टोग्राफिक रूप से सीलबंद डिजिटल लिफाफा है। यह कहता है: "मुझे इस विशिष्ट डेटा पर एक विशिष्ट गणितीय परीक्षण चलाने की अनुमति है, लेकिन केवल सुबह 9 बजे से शाम 5 बजे के बीच, और केवल तभी जब परिणाम एक औसत (average) हो, न कि कच्चे नाम।"
- जादू: यह पासपोर्ट "कोड" का उपयोग करके बनाया जाता है। नियम एक ऐसी भाषा में लिखे जाते हैं जिसे कंप्यूटर पूरी तरह से पढ़ सकते हैं, जिससे मानवीय त्रुटि या "ओह, मैं वह नियम भूल गया" की कोई गुंजाइश नहीं रहती।
3. तीन-चरणीय सुरक्षा श्रृंखला
यह सुनिश्चित करने के लिए कि यह पासपोर्ट असली है और सही व्यक्ति द्वारा उपयोग किया जा रहा है, FCaC एक तीन-भाग वाली सुरक्षा श्रृंखला का उपयोग करता है (एक हाई-टेक बाउंसर द्वारा वीआईपी सूची की जांच करने की तरह):
- की योर ऑर्गनाइजेशन (KYO) - "आप कौन हैं?"
- कल्पना कीजिए कि प्रत्येक अस्पताल के पास एक अद्वितीय, अटूट डिजिटल सील (एक क्रिप्टोग्राफिक कुंजी) है जो यह साबित करती है कि वे वास्तव में वही हैं जो वे कह रहे हैं। इससे पहले कि किसी को पासपोर्ट मिले, उन्हें यह साबित करना होगा कि वे इस सील के मालिक हैं। यह किसी केंद्रीय सरकार द्वारा उनकी पुष्टि करने की आवश्यकता को समाप्त करता है।
- द पासपोर्ट (ECT) - "आप क्या कर सकते हैं?"
- एक बार जब अस्पताल यह साबित कर देता है कि वह कौन है, तो उसे एक पासपोर्ट मिलता है। यह पासपोर्ट स्पष्ट रूप से सूचीबद्ध करता है कि उसे क्या करने की अनुमति है। यह एक टिकट की तरह है जो कहता है "जिम में प्रवेश, लेकिन केवल तैराकी के लिए, वेटलिफ्टिंग के लिए नहीं।" यदि आप वेटलिफ्टिंग रूम में जाने की कोशिश करते हैं, तो टिकट अमान्य हो जाता है।
- प्रूफ ऑफ पॉसेशन (PoP) - "क्या आप इसे अभी पकड़े हुए हैं?"
- यह सबसे चतुर हिस्सा है। केवल पासपोर्ट होने से काम नहीं चलता; कोई इसे चुरा भी सकता है। इसलिए, हर बार जब अस्पताल एक परीक्षण चलाना चाहता है, तो उसे अपनी निजी कुंजी (private key) के साथ एक डिजिटल "हैंडशेक" करना होता है। यह साबित करता है कि वह व्यक्ति ठीक उसी क्षण पासपोर्ट पकड़े हुए है। यह एक फोटो आईडी दिखाने जैसा है जो हर सेकंड बदल जाती है ताकि कोई चोरी की गई कॉपी का उपयोग न कर सके।
4. दो प्रकार के नियम
यह पेपर दो प्रकार के नियमों के बीच एक बहुत महत्वपूर्ण अंतर बताता है:
- संवैधानिक नियम (पासपोर्ट की जांच): ये कठोर, अपरिवर्तनीय नियम हैं जो सीमा पर होते हैं। क्या यह व्यक्ति प्रवेश कर सकता है? क्या इसके पास सही टिकट है? इसकी जांच तुरंत और स्वचालित रूप से ECT का उपयोग करके की जाती है। इसमें किसी भी मनुष्य को शामिल होने की आवश्यकता नहीं है।
- प्रक्रियात्मक नियम (अंदर के नियम): एक बार जब व्यक्ति अंदर चला जाता है, तो स्थानीय नियम अभी भी लागू होते हैं। क्या जिम में भीड़ है? क्या पानी बहुत ठंडा है? क्या हमें फिर से उनके मेडिकल इतिहास की जांच करने की आवश्यकता है? ये स्थानीय सिस्टम द्वारा संभाले जाते हैं पासपोर्ट की जांच के बाद। FCaC इन नियमों को नियंत्रित करने की कोशिश नहीं करता है; यह केवल यह सुनिश्चित करता है कि व्यक्ति दरवाजा पार करने की अनुमति रखता है।
5. यह एक बड़ी बात क्यों है
इसे इन्फ्रास्ट्रक्चर एज़ कोड (घर बनाने के निर्देशों को लिखना) की तरह सोचें, लेकिन विश्वास (Trust) के लिए।
- पुराना तरीका: आप एक घर बनाते हैं, और फिर हर बार किसी के प्रवेश की जांच करने के लिए एक सुरक्षा गार्ड को नियुक्त करते हैं। यदि गार्ड थक जाता है या आईडी सूची गलत होती है, तो कोई भी अंदर आ सकता है जिसे नहीं आना चाहिए।
- FCaC तरीका: आप दरवाजे को ही ऐसा बनाते हैं कि वह केवल तभी खुलता है जब आपके पास एक विशिष्ट, गणितीय रूप से सटीक चाबी हो जो ताले से मेल खाती हो। दरवाजे को गार्ड की आवश्यकता नहीं है; ताला काम करता है।
पेपर में वास्तविक दुनिया का उदाहरण
लेखकों ने MNIST (लिखे हुए नंबरों का एक प्रसिद्ध डेटासेट) का उपयोग करके एक काल्पनिक परिदृश्य के साथ इसका परीक्षण किया।
- परिदृश्य: अस्पताल A के पास "सम संख्या" (Even Numbers) का डेटा है और अस्पताल B के पास "विषम संख्या" (Odd Numbers) का डेटा है।
- परीक्षण: उन्होंने एक ऐसा सिस्टम बनाया जहाँ एक शोधकर्ता केवल "सम संख्या" पर एक ट्रेनिंग मॉडल चला सकता था।
- परिणाम: जब शोधकर्ता ने "विषम संख्या" पर मॉडल चलाने की कोशिश की (या कच्चे डेटा को चुराने की कोशिश की), तो सिस्टम ने उन्हें तुरंत खारिज कर दिया क्योंकि उनके डिजिटल पासपोर्ट पर सही "सम संख्या" वाला स्टैम्प नहीं था। यह अस्वीकृति स्वचालित रूप से हुई, बिना किसी इंसान द्वारा लॉग चेक करने या मैनेजर को कॉल करने के।
सारांश
फेडरेटेड कंप्यूटिंग एज़ कोड इस बारे में है कि विश्वास को "सिस्टम काम करेगा" की उम्मीद से हटाकर "गणितीय रूप से सिद्ध करना कि नियमों का पालन किया जा रहा है" पर ले जाया जाए।
यह विभिन्न संगठनों को संवेदनशील डेटा को स्वयं साझा किए बिना उस पर सहयोग करने की अनुमति देता है। यह अस्थिर मानवीय समझौतों और केंद्रीकृत सर्वरों को डिजिटल पासपोर्ट से बदल देता है जो जालसाजी के अयोग्य हैं, जिन्हें अनदेखा करना असंभव है, और जो यात्रा के हर चरण में स्वचालित रूप से जांचे जाते हैं। यह प्रत्येक डेटा पैकेट को एक बॉडीगार्ड देने जैसा है जो जानता है कि उसे कहाँ जाने की अनुमति है और यदि वह कहीं और जाने की कोशिश करता है तो उसे रोक देता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।