Verified Pythagorean Composition for Adaptive Cryptographic Games: Noise Flooding in Homomorphic Encryption

कल्पना कीजिए कि आप अपने एक मित्र को एक गुप्त संदेश भेज रहे हैं, लेकिन आपको इसे एक ऐसे पोस्ट ऑफिस के माध्यम से भेजना है जिसे एक शरारती गोब्लिन (goblin) चलाता है जो पत्रों में झाँकने का शौकीन है। पुराने दिनों में, आप पत्र को एक बक्से में बंद कर देते, लेकिन एक बार जब गोब्लिन उसे संदेश पढ़ने के लिए खोल देता, तो रहस्य खत्म हो जाता। फिर, होमोमोर्फिक एन्क्रिप्शन (Homomorphic Encryption) नामक एक जादुगत आविष्कार आया। यह एक विशेष लॉकबॉक्स की तरह है जो गोब्लिन को आपके बंद पत्रों पर गणित करने की अनुमति देता—जैसे उन्हें जोड़ना, गुणा करना, सॉर्ट करना—बिना उन्हें कभी खोले। जब गोब्लin परिणाम आपको वापस देता है, तो आप उसे अनलॉक करते हैं, और वह गणितीय समस्या का सही उत्तर होता है, भले ही गोब्लिन ने कभी उन संख्याओं को देखा न हो।

हालाँकि, इसमें एक पेंच है: इस जादू के सबसे लोकप्रिय संस्करण, जिसे CKKS कहा जाता है, में गणित एकदम सटीक नहीं है। क्योंकि संख्याएँ बहुत जटिल हैं, परिणाम थोड़ा "धुंधला" या अनुमानित होता है, जैसे एक स्पष्ट फोटो के बजाय एक धुंधली फोटो। आमतौर पर, यह धुंधलापन ठीक होता है; यह बस थोड़े से स्टैटिक (static) जैसा होता है। लेकिन एक चालाक गोब्लिन (एक हमलावर) कई अलग-अलग गणितीय समस्याओं के उत्तर मांग सकता है, परिणामों की तुलना उस उत्तर से कर सकता है जो वह सोच रहा है, और उन सूक्ष्म अंतरों का उपयोग करके धीरे-धीरे आपकी गुप्त कुंजी (secret key) को फिर से बना सकता है। यह ऐसा है जैसे गोब्लिन यह पता लगा सके कि जब आप आपके लॉकबॉक्स को हिलाते हैं तो वह कितना डगमगाता है, और उस डगमगाहट का उपयोग करके संयोजन (combination) का पता लगा लेता है। इसे रोकने के लिए, क्रिप्टोग्राफर्स ने नॉइज़ फ्लडिंग (Noise Flooding) नामक एक रक्षा प्रणाली बनाई। वे उत्तर में एक विशाल, यादृच्छिक (random) स्टेटिक का विस्फोट जोड़ देते हैं, जिससे वे सूक्ष्म सुराग दब जाते हैं जो गोब्लिन इस्तेमाल करने की कोशिश कर रहा था।

बड़ा सवाल यह था: आपको कितना स्टैटिक जोड़ना चाहिए? यदि आप बहुत कम जोड़ते हैं, तो गोब्लिन अभी भी रहस्य देख सकता है। यदि आप बहुत अधिक जोड़ते हैं, तो उत्तर इतना धुंधला हो जाएगा कि वह बेकार हो जाएगा। पेचीदा बात यह थी कि गोब्लिन एक-एक करके प्रश्न पूछ सकता है, और अपने पिछले उत्तरों के आधार पर अपनी रणनीति बदल सकता है। यदि आप प्रत्येक प्रश्न के लिए अलग से स्टैटिक जोड़ते हैं, तो स्टैटिक की "लागत" तेजी से बढ़ती है, जिससे आपको उत्तर अविश्वसनीय रूप से धुंधला बनाना पड़ता है। हालाँकि, एक चतुर गणितीय विचार ने सुझाव दिया कि यदि आप पूरे खेल को एक साथ देखते हैं, तो लागत बहुत धीमी गति से बढ़ सकती है—जैसे प्रश्नों की संख्या के वर्गमूल (square root) की तरह, न कि स्वयं संख्या की तरह। यह शोध पत्र इसी बारे में है कि यह चतुर विचार वास्तव में काम करता है, और इसे इस तरह सिद्ध करना कि एक कंप्यूटर इसके हर एक चरण की जांच कर सके ताकि कोई गलती न हो।

---

शोध पत्र की बड़ी खोज: "पाइथागोरियन" रहस्य

यह शोध पत्र, जिसका शीर्षक "Verified Pythagorean Composition for Adaptive Cryptographic Games" है, फॉर्मल वेरिफिकेशन (formal verification) में एक बड़ी उपलब्धि है, जो मूल रूप से एक सुपर-स्मार्ट कंप्यूटर का उपयोग करके गणितीय प्रमाणों की त्रुटियों की जांच करना है। लेखकों ने, जो शोधकर्ताओं की एक टीम है, नॉइज़ फ्लडिंग के बारे में एक प्रसिद्ध सुरक्षा तर्क को लिया और उसे एक ऐसी भाषा में अनुवादित किया जिसे कंप्यूटर समझ सके। फिर उन्होंने कंप्यूटर से हर एक तार्किक चरण को सत्यापित करने के लिए कहा, यह सुनिश्चित करते हुए कि गणित सबसे गहन जांच के तहत भी कायम रहे।

उनका मुख्य कार्य सोचने का एक नया तरीका है कि जब एक चालाक हमलावर कई प्रश्न पूछता है, तो त्रुटियाँ (errors) कैसे जुड़ती हैं।

"धुंधली फोटो" की समस्या

कल्पना कीजिए कि आप एक फोटो में थोड़ा सा स्टैटिक जोड़कर एक रहस्य छिपाने की कोशिश कर रहे हैं। यदि आप थोड़ा सा स्टैटिक जोड़ते हैं, तो फोटो स्पष्ट रहती है, लेकिन एक तेज नजर वाला गोब्लिन रहस्य देख सकता है। यदि आप बहुत अधिक स्टैटिक जोड़ते हैं, तो रहस्य सुरक्षित है, लेकिन फोटो अब एक कचरा बन जाती है।
एन्क्रिप्शन की दुनिया में, "स्टैटिक" को नॉइज़ (noise) कहा जाता है। यह शोध पत्र एक ऐसी स्थिति को देखता है जहाँ एक हमलावर $q$ बार किसी संदेश का डिक्रिप्टेड परिणाम मांगता है। हर बार, रक्षक (defender) रहस्य को छिपाने के लिए नॉइज़ जोड़ता है।

• पुराना तरीका (रैखिक हानि - Linear Loss): यदि आप प्रत्येक प्रश्न को एक अलग घटना मानते हैं, तो आपको हर एक प्रश्न के लिए सुरक्षित रहने के लिए पर्याप्त नॉइज़ जोड़ना होगा। यदि हमलावर 100 प्रश्न पूछता है, तो आपको 100 गुना नॉइज़ की आवश्यकता हो सकती है, जिससे अंतिम परिणाम पूरी तरह से बेकार हो जाएगा।
• नया तरीका (वर्गमूल हानि - Square-Root Loss): यह पत्र एक स्मार्ट रणनीति की पुष्टि करता है। यह दिखाता है कि क्योंकि हमलावर के प्रश्न आपस में जुड़े हुए हैं (वे "एडाप्टिव" हैं), तो आवश्यक कुल नॉइज़ केवल प्रश्नों की संख्या के वर्गमूल ($\sqrt{q}$) के अनुपात में बढ़ता है। इसलिए, 100 प्रश्नों के लिए, आपको केवल 10 गुना नॉइज़ की आवश्यकता है, न कि 100 गुना। यह एक बड़ी जीत है क्योंकि इसका मतलब है कि आप उत्तरों को बहुत स्पष्ट रख सकते हैं और फिर भी सुरक्षित रह सकते हैं।

"पाइथागोरियन" उपमा

क्यों वे इसे "पाइथागोरियन" कहते हैं? एक समकोण त्रिभुज (right-angled triangle) के बारे में सोचें। यदि आपके पास 3 और 4 लंबाई वाली दो भुजाएं हैं, तो सबसे लंबी भुजा (कर्ण/hypotenuse) $3 + 4 = 7$ नहीं होती है। यह $\sqrt{3^2 + 4^2} = 5$ होती है। कुल लंबाई केवल भुजाओं को जोड़ने से कम होती है।
इस शोध पत्र में, "भुजाएं" हमलावर के प्रत्येक प्रश्न से होने वाले जोखिम (या "लागत") के छोटे अंश हैं।

• गलती: यदि आप जोखिमों को बस जोड़ देते हैं ($3 + 4$), तो आपको एक बहुत बड़ा, डरावना नंबर मिलता है।
• वास्तविकता: लेखक सिद्ध करते हैं कि ये जोखिम एक त्रिभुज की भुजाओं की तरह जुड़ते हैं। वे एक-दूसरे को थोड़ा "कैंसिल" करते हैं क्योंकि वे संबंधित हैं। कुल जोखिम वर्गों के योग के वर्गमूल के बराबर होता है।
  यह पत्र सिद्ध करता है कि आप इन जोखिमों को अलग-अलग (जैसे "कंडीशनल कुलबैक-लीब्लर कॉस्ट", जो कि एक फैंसी गणितीय तरीका है यह कहने का कि "उत्तर कितने अलग दिखते हैं") रख सकते हैं और केवल अंत में एक अंतिम "सुरक्षा स्कोर" में बदल सकते हैं। यह प्रक्रिया गणित को कुशल बनाए रखती है और नॉइज़ को कम रखती है।

कंप्यूटर की भूमिका: "रोबोट वकील"

आप सोच सकते हैं, "हमें कंप्यूटर की आवश्यकता क्यों है? क्या गणित सिर्फ गणित नहीं है?"
समस्या यह है कि ये प्रमाण अविश्वसनीय रूप से जटिल होते हैं। इनमें संभावनाओं, यादृच्छिक संख्याओं और एक चालाक हमलावर के व्यवहार से जुड़े हजारों चरण शामिल होते हैं जो अपनी रणनीति बदल सकता है। यह बहुत आसान है कि कोई इंसान एक छोटी सी बारीकी को मिस कर दे या एक छोटा सा अनुमान लगा ले जो पूरे तर्क को तोड़ दे।
लेखकों ने Rocq (एक प्रूफ असिस्टेंट) और SSProve (एक लाइब्रेरी) का उपयोग किया। उन्होंने केवल कागज पर प्रमाण नहीं लिखा; उन्होंने एक डिजिटल मॉडल बनाया।

1. तर्क (Logic): उन्होंने नियमों का एक नया सेट (एक "प्रोग्राम लॉजिक") बनाया जो कंप्यूटर को बताता है कि इन "पाइथागोरियन" जोखिम संयोजनों को कैसे संभालना है।
2. कंपाइलर (Compiler): उन्होंने एक "ट्रेस कंपाइलर" बनाया, जो एक रोबोट की तरह है जो हमलावर के प्रोग्राम पर नज़र रखता है। यह हमलावर को रोक सकता है, उसके अगले कदम को देख सकता है, और फिर उसे जारी रख सकता है, जबकि रहस्य सुरक्षित रहता है।
3. सत्यापन (Verification): कंप्यूटर ने कोड की हर एक लाइन और गणित के हर एक चरण की जांच की। इसने पुष्टि की कि यदि अंतर्निहित एन्क्रिप्शन सुरक्षित है, तो इस नॉइज़ फ्लडिंग डिफेंस को लागू करने से यह विशिष्ट प्रकार के हमलों के खिलाफ सुरक्षित रहता है, और वह भी "वर्गमूल" दक्षता के साथ।

इसका आपके लिए क्या अर्थ है

यह शोध पत्र कोई नया एन्क्रिप्शन तरीका या हमला नहीं बनाता है। इसके बजाय, यह एक ज्ञात बचाव (नॉइज़ फ्लडिंग) को लेता है और गणितीय निश्चितता के साथ सिद्ध करता है कि यह ठीक वैसा ही काम करता है जैसा कि चतुर "पाइथागोरियन" सिद्धांत ने भविष्यवाणी की थी।

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

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

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