तकनीकी सारांश: RankGuard-Polar

समस्या विवरण (Problem Statement)

यह शोध पत्र साझा सार्वजनिक संसाधनों (जैसे, ब्रॉडकास्ट लिंक, क्लाउड स्टोरेज) पर पोलर कोडवर्ड निर्देशांकों (codeword coordinates) के एक उपसमूह को सुरक्षित रूप से प्रकाशित करने की चुनौती को संबोधित करता है, जबकि गोपनीय संदेश के लिए सूचना-सैद्धांतिक गोपनीयता (information-theoretic secrecy) बनाए रखता है। क्लासिकल वायरटैप परिदृश्यों के विपरीत, जहाँ एक ईव्सड्रॉपर (eavesdropper) शोर वाले चैनल (noisy channel) के आउटपुट को देखता है, यह कार्य एक "स्ट्रॉन्ग ईव्सड्रॉपर" को मानता है जिसके पास सार्वजनिक संसाधन के चैनल इनपुट तक सीधी पहुँच है। मुख्य परिचालन प्रश्न यह है: जब विशिष्ट कोडवर्ड निर्देशांकों को सार्वजनिक चैनल पर जानबूझकर उजागर किया जाता है, तो गोपनीय संदेश के बारे में कितनी जानकारी लीक होती है?

लेखक बाइनरी फील्ड्स ($\mathbb{F}_2$) पर परिमित-लंबाई (finite-length) वाले पोलर कोड्स पर ध्यान केंद्रित करते हैं, विशेष रूप से एक ढांचे के भीतर जहाँ एक ट्रांसमीटर निजी और सार्वजनिक चैनलों के बीच समय-साझाकरण (time-shares) करता है। लक्ष्य यह निर्धारित करना है कि कौन से इंडेक्स बिना स्वतंत्र रैखिक संयोजनों (independent linear combinations) को प्रकट किए प्रकाशित किए जा सकते हैं, जो पोलर कोड्स की अंतर्निहित संरचना का उपयोग करते हैं जहाँ "फ्रोजन बिट्स" (frozen bits) ताज़ा गुप्त यादृच्छिकता (fresh secret randomness/masks) के रूप में कार्य कर सकते हैं जिन्हें केवल वैध रिसीवर ही जानता है।

कार्यप्रणाली (Methodology)

प्रस्तावित ढांचा, RankGuard-Polar, पोलर जनरेटर मैट्रिक्स के उप-मैट्रिक्स (submatrices) के रैंक गुणों से प्राप्त सूचना रिसाव (information leakage) के सटीक बीजगणितीय लक्षण वर्णन (algebraic characterization) पर आधारित है।

1. सिस्टम मॉडल (System Model)

• एन्कोडर (Encoder): एन्कोडर एक कोडवर्ड $x = uG_N$ उत्पन्न करता है, जहाँ $u = (u_A, u_F)$ सूचना बिट्स ($u_A$) और फ्रोजन बिट्स ($u_F$) का संयोजन है। महत्वपूर्ण रूप से, $u_F$ को यूनिफॉर्म डिस्ट्रीब्यूशन ($\text{Bernoulli}(1/2)$) से i.i.d. के रूप में लिया जाता है और यह एन्कोडर और डिकोडर के बीच एक साझा गुप्त कुंजी (shared secret key) के रूप में कार्य करता है, लेकिन एडवरसरी (adversary) को इसकी जानकारी नहीं होती है।
• सार्वजनिक एक्सपोज़र (Public Exposure): एक इंडेक्स का उपसमूह $P \subset [1:N]$ प्रकाशित किया जाता है। एडवरसरी $x_P = u_A G_{A,P} \oplus u_F G_{F,P}$ को देखता है, जहाँ $G_{A,P}$ और $G_{F,P}$ जनरेटर मैट्रिक्स के पंक्तियों $P$ और कॉलम $A$ तथा $F$ के लिए प्रतिबंधित उप-मैट्रिक्स हैं।
• लीकेज परिभाषा (Leakage Definition): लीकेज को म्यूचुअल इंफॉर्मेशन $L(P) = I(u_A; x_P)$ के रूप में परिभाषित किया गया है।

2. लीकेज आइडेंटिटी (The Leakage Identity)

पेपर म्यूचुअल इंफॉर्मेशन को मैट्रिक्स रैंक से जोड़ने वाली एक मौलिक पहचान स्थापित करता है:
$$L(P) = \text{rank}(G_P) - \text{rank}(G_{F,P})$$
जहाँ $G_P$ पंक्ति $P$ और सभी कॉलमों के लिए $G_N$ का उप-मैट्रिक्स है, और $G_{F,P}$ पंक्ति $P$ और फ्रोजन कॉलम $F$ के लिए प्रतिबंधित है।

• व्याख्या (Interpretation): $L(P)$ उन स्वतंत्र रैखिक संयोजनों की संख्या है जिन्हें एडवरसरी सूचना वेक्टर $u_A$ से सार्वजनिक अवलोकन $x_P$ के माध्यम से पुनः प्राप्त कर सकता है।
• लीकेज सर्टिफिकेट (Leakage Certificate): यदि $L(P) = 0$ है, तो $u_A$ के बारे में कोई जानकारी प्रकट नहीं होती है (अर्थात $G_{A,P}$ के कॉलम पूरी तरह से $G_{F,P}$ के कॉलम स्पेस के भीतर हैं)। यदि $L(P) = r > 0$ है, तो सूचना के $r$ स्वतंत्र बिट्स तक एक्सपोजर होता है।

3. रचनात्मक निष्कर्षण (Constructive Extraction)

पेपर सिद्ध करता है कि यदि $L(P) = r$ है, तो एक स्पष्ट रैखिक एक्सट्रैक्टर मैट्रिक्स $R$ मौजूद है ताकि:

1. $G_{F,P} R = 0$ (फ्रोजन बिट्स के प्रभाव को समाप्त करना)।
2. $\text{rank}(G_{A,P} R) = r$।
   सार्वजनिक अवलोकन को $R$ से गुणा करने पर $x_P R = u_A (G_{A,P} R)$ प्राप्त होता है, जो एडवरसरी को संदेश बिट्स के संबंध में $r$ स्वतंत्र रैखिक समीकरण प्रदान करता है।

4. चयन एल्गोरिदम (Selection Algorithm - ScoreGreedy)

चूंकि लीकेज को न्यूनतम करने के लिए आकार $k$ के अनुकूलतम सेट $P$ की खोज करना कॉम्बिनेटोरियली महंगा ($O(\binom{N}{k} \cdot Nk^2)$) है, लेखक एक ScoreGreedy (SG) एल्गोरिदम प्रस्तावित करते हैं:

• स्कोरिंग (Scoring): प्रत्येक पंक्ति $i$ को स्कोर $s_i = f_i - a_i$ के आधार पर दिया जाता है, जहाँ $f_i$ फ्रोजन कॉलम में गैर-शून्य प्रविष्टियों (non-zero entries) की संख्या है और $a_i$ उस पंक्ति के सूचना कॉलम में गैर-शून्य प्रविष्टियों की संख्या है।
• चयन (Selection): एल्गोरिदम उच्चतम स्कोर वाली शीर्ष-$k$ पंक्तियों का चयन करता है।
• सैद्धांतिक सीमा (Theoretical Bound): थ्योरम 3 एक नियत (deterministic) ऊपरी सीमा प्रदान करता है, जो दिखाता है कि चयनित सेट के लिए $a_i$ का योग लीकेज को सीमित करता है, जो सूचना-कॉलम स्पर्श (information-column touches) को कम करने और फ्रोजन-कॉलम स्पर्श (frozen-column touches) को अधिकतम करने के सरोगेट ऑब्जेक्टिव को न्यायसंगत बनाता है।

मुख्य योगदान (Key Contributions)

1. सटीक लीकेज सर्टिफिकेट (Exact Leakage Certificate): रैंक-डिफरेंस आइडेंटिटी $L(P) = \text{rank}(G_P) - \text{rank}(G_{F,P})$ का व्युत्पत्ति, जो किसी भी परिमित-लंबाई वाले पोलर कोड के लिए किसी भी प्रकाशित इंडेक्स सेट के लिए सूचना रिसाव का सटीक, गैर-एसिम्प्टोटिक (non-asymptotic) माप प्रदान करता है।
2. रचनात्मक एक्सट्रैक्टर्स (Constructive Extractors): एक मैट्रिक्स $R$ के अस्तित्व का प्रमाण जो विशेष रूप से किसी विशिष्ट सार्वजनिक सेट $P$ द्वारा लीक किए गए संदेश बिट्स के रैखिक संयोजनों का निर्माण करता है।
3. कुशल प्रमाणन प्रक्रियाएं (Efficient Certification Procedures): लीकेज की गणना करने और किसी भी इंडेक्स सेट की सुरक्षा प्रमाणित करने के लिए कुशल एल्गोरिदम का विकास, जो एसिम्प्टोटिक सीक्रेसी रेट विश्लेषण से आगे बढ़कर परिमित-ब्लॉक गारंटी प्रदान करता है।
4. व्यावहारिक चयन एल्गोरिदम (Practical Selection Algorithm): ScoreGreedy एल्गोरिदम का परिचय, जो लीकेज को न्यूनतम करने के लिए एक तेज़ ($O(N^2)$) ह्यूरिस्टिक है, जिसे एक सैद्धांतिक ऊपरी सीमा द्वारा मान्य किया गया है।

परिणाम और उदाहरण (Results and Examples)

पेपर सैद्धांतिक प्रमाणों और उदाहरणों (जैसे, $N=4$ पोलर कोड्स) के माध्यम से अपने ढांचे को मान्य करता है:

• परिदृश्य 1: एक ऐसा निर्देशांक प्रकाशित करना जो सीधे एक सूचना बिट ले जाता है (जैसे, $x_4 = u_4$), जिसके परिणामस्वरूप $L(P)=1$ होता है, जो बिट को पूरी तरह से उजागर कर देता है।
• परिदृश्य 2: एक ऐसा निर्देशांक प्रकाशित करना जो सूचना और फ्रोजन बिट्स के रैखिक संयोजन का एक हिस्सा है (जैसे, $x_1 = u_4 \oplus u_3 \oplus u_2 \oplus u_1$), जिसके परिणामस्वरूप $L(P)=0$ होता है यदि फ्रोजन बिट्स सूचना को प्रभावी ढंग से मास्क (mask) करते हैं, जिससे कोई स्वतंत्र रैखिक संयोजन प्रकट नहीं होता है।
• मिश्रित सेट (Mixed Sets): फ्रेमवर्क आंशिक लीकेज (जैसे, $L(P)=2$) को सही ढंग से परिमाणित करता है जब निर्देशांकों का एक सेट सूचना बिट्स के बीच रैखिक संबंधों को उजागर करता है, भले ही कुछ बिट्स मास्क किए गए हों।

महत्व और दावे (Significance and Claims)

लेखक RankGuard-Polar को सार्वजनिक संसाधनों का उपयोग करने वाले सिस्टम के लिए एक ऑपरेशनल ऑडिट-एंड-कंट्रोल लेयर के रूप में प्रस्तुत करते हैं।

• परिमित-लंबाई फोकस (Finite-Length Focus): क्लासिकल वायरटैप साहित्य के विपरीत, जो अक्सर $N \to \infty$ के लिए एसिम्प्टोटिक सीक्रेसी रेट्स पर निर्भर करता है, यह कार्य सटीक, परिमित-$N$ गारंटी प्रदान करता है।
• स्ट्रॉन्ग एडवरसरी मॉडल (Strong Adversary Model): फ्रेमवर्क को एक स्ट्रॉन्ग ईव्सड्रॉपर के लिए डिज़ाइन किया गया है जो चैनल इनपुट को देखता है, जो मानक वायरटैप मॉडल से भिन्न है जहाँ एडवरसरी एक शोर वाले चैनल आउटपुट को देखता है।
• व्यावहारिक उपयोगिता (Practical Utility): यह विधि एसिम्प्टोटिक वायरटैप कंस्ट्रक्शन को प्रतिस्थापित नहीं करती है, बल्कि एक ऐसा तंत्र प्रदान करती है जो यह प्रमाणित और नियंत्रित कर सकता है कि थ्रूपुट या लागत में कमी के लिए मिश्रित सार्वजनिक/निजी चैनल उपयोग के मामले में कौन से निर्देशांक सुरक्षित रूप से उजागर किए जा सकते हैं।
• बीजगणितीय पारदर्शिता (Algebraic Transparency): लीकेज को लीनियर अलजेब्रा (मैट्रिक्स रैंक) में बदलकर, यह ढांचा जटिल क्रिप्टोग्राफिक धारणाओं या गुप्त जनरेटर मैट्रिसेस पर निर्भर रहने के बजाय सुरक्षा गुणों को सत्यापित करने का एक पारदर्शी और गणनीय तरीका प्रदान करता है।

पेपर निष्कर्ष निकालता है कि RankGuard-Polar सार्वजनिक चैनलों के सुरक्षित दोहन को सक्षम बनाता है, क्योंकि यह यह निर्धारित करने के लिए एक कठोर, रचनात्मक विधि प्रदान करता है कि कौन से कोडवर्ड निर्देशांक उजागर किए जा सकते हैं और कितनी जानकारी से समझौता किया जा सकता है।