💻 computer science

Analyzing Linear Layers in Related-Differential Cryptanalysis

यह शोध पत्र AES-जैसे सिफर्स के लीनियर लेयर्स में रिलेटेड-डिफरेंशियल स्ट्रक्चर्स (related-differential structures) के अस्तित्व की व्यवस्थित रूप से जांच करता है, जो यह सिद्ध करता है कि इस प्रकार की कमजोरियां सभी नॉन-MDS मैट्रिसेस (non-MDS matrices), सभी विषम-क्रम सममित MDS मैट्रिसेस (odd-order symmetric MDS matrices) और अधिकांश सर्कुलेंट मैट्रिसेस (circulant matrices) के लिए अपरिहार्य हैं, साथ ही $\mathbb{F}_{2^m}$ पर $3 \times 3$ MDS मैट्रिसेस के लिए एक पूर्ण लक्षण वर्णन प्रदान करता है।

मूल लेखक: Yogesh Kumar, Akshay Ankush Yadav, Susanta Samanta

प्रकाशित 2026-05-28

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Yogesh Kumar, Akshay Ankush Yadav, Susanta Samanta

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

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

दशकों से, क्रिप्टोग्राफर्स ने एक विशिष्ट प्रकार की मिश्रण मशीन का उपयोग किया है जिसे MDS मैट्रिक्स (MDS Matrix) कहा जाता है क्योंकि यह चीजों को पूरी तरह से फैलाने के लिए "गोल्ड स्टैंडर्ड" है। उन्होंने सोचा, "यदि हम एक MDS मैट्रिक्स का उपयोग करते हैं, तो हम सुरक्षित हैं।"

हालाँकि, यह शोध पत्र इस सोच में एक छिपे हुए दोष को उजागर करता है। यह पता चलता है कि भले ही आपकी मिश्रण मशीन "गोल्ड स्टैंडर्ड" (MDS) हो, फिर भी इसमें एक गुप्त कमजोरी हो सकती है जिसे रिलेटेड डिफरेंशियल (Related Differentials) कहा जाता है।

यहाँ लेखकों द्वारा की गई खोजों का विवरण दिया गया, जिसे सरल उपमाओं (analogies) का उपयोग करके समझाया गया है:

1. "गोल्ड स्टैंडर्ड" पर्याप्त नहीं है

MDS गुण को इस तरह समझें जैसे कि वह गारंटी देता है कि आपकी मिश्रण मशीन कागज के पूरे पन्ने पर स्याही की एक बूंद को फैला देगी।

पुरानी धारणा: यदि मशीन स्याही को पूरी तरह से फैलाती है (MDS), तो यह सुरक्षित है।
नई खोज: लेखकों ने सिद्ध किया कि यदि आपकी मशीन स्याही को पूरी तरह से नहीं फैलाती है (Non-MDS), तो उसमें एक गुप्त कमजोरी निश्चित रूप से होगी।
उपमा: कल्पना कीजिए कि आप एक कमरे में एक गुप्त संदेश छिपाने की कोशिश कर रहे हैं। यदि कमरा छोटा और अव्यवस्थित है (Non-MDS), तो एक चोर पैटर्न खोजने के लिए आसानी से अंदर घुस सकता है। लेखकों ने सिद्ध किया कि केवल एक पूरी तरह से विशाल, व्यवस्थित कमरा (MDS) ही सुरक्षित होने की संभावना रखता है। लेकिन केवल विशाल कमरा होना ही सुरक्षा की गारंटी नहीं है; कमरे का आकार भी मायने रखता है।

2. "सिमेट्री ट्रैप" (Symmetry Trap)

कई मिश्रण मशीनें सिमेट्रिक (Symmetric) बनाई जाती हैं, जिसका अर्थ है कि यदि आप उन्हें पलट दें तो वे एक जैसी दिखती हैं (जैसे एक तितली)। यह लोकप्रिय है क्योंकि इसे बनाना आसान है।

खोज: लेखकों ने पाया कि यदि एक सिमेट्रिक मशीन के भागों की संख्या विषम (odd number) है (जैसे 3x3 या 5x5), तो वह हमेशा असुरक्षित होती है।
उपमा: कल्पना कीजिए कि एक डांस फ्लोर है जहाँ विषम संख्या में डांसर हैं। वे चाहे कितनी भी जोड़ी बनाने की कोशिश करें, एक डांसर हमेशा बीच में खड़ा रह जाता है, जिससे एक अनुमानित पैटर्न बन जाता है। लेखकों ने सिद्ध किया कि किसी भी विषम-आकार की सिमेट्रिक मशीन के लिए, हमेशा एक "बचा हुआ" पैटर्न होता है जिसका फायदा एक हैकर उठा सकता है। इससे कोई फर्क नहीं पड़ता कि आपने इसे कितनी अच्छी तरह बनाया है; विषम संख्या इसे इस विशिष्ट प्रकार के हमले के खिलाफ स्वाभाविक रूप से कमजोर बनाती है।

3. "सर्कुलर पैटर्न" (Circular Pattern) की समस्या

एक अन्य लोकप्रिय डिज़ाइन सर्कुलेंट मैट्रिक्स (Circulant Matrix) है। कल्पना कीजिए कि एक कन्वेयर बेल्ट है जहाँ गियर का पैटर्न एक घेरे में दोहराया जाता है। यह कुशल और तेज़ है।

खोज: लेखकों ने इन गोलाकार मशीनों को देखा और उनके आकार (जिसे $n$ $n$ कहा जाता है) पर आधारित एक नियम पाया।
- यदि घेरे का आकार 3 का गुणज (जैसे 3, 6, 9) या 4 का गुणक (जैसे 4, 8, 12) है, तो यह असुरक्षित है।
- वास्तव में, उन्होंने सिद्ध किया कि जब तक आकार एक बहुत ही विशिष्ट संख्या (विशेष रूप से, वे संख्याएँ जो 12 के गुणज से 2 या 10 दूर नहीं हैं) नहीं होतीं, तब तक मशीन असुरक्षित रहती है।
उपमा: एक घड़ी के चेहरे के बारे में सोचें। यदि आप घड़ी के चारों ओर 3 या 4 के कदमों में चलते हैं, तो आप अंततः बार-बार उन्हीं जगहों पर पहुँचेंगे जो अनुमानित है। लेखकों ने दिखाया कि अधिकांश गोलाकार डिज़ाइनों के लिए, एक हैकर गियरों के माध्यम से एक "शॉर्टकट" ढूंढ सकता है जो सुरक्षा को दरकिनार कर देता है।

4. 3x3 मशीनों के लिए "परफेक्ट रेसिपी"

अंत में, लेखकों ने सबसे छोटे, सबसे सामान्य आकार: 3x3 मैट्रिसेस पर ध्यान केंद्रित किया।

समस्या: "सुरक्षित" 3x3 मशीन खोजने के पिछले प्रयास अधूरे थे। उन्होंने एक ऐसी रेसिपी दी जिसमें कुछ सामग्रियाँ छूट गई थीं।
समाधान: लेखकों ने 15 विशिष्ट नियमों (गणितीय समीकरणों) से युक्त एक पूर्ण रेसिपी लिखी।
उपमा: कल्पना कीजिए कि आप एक केक बना रहे हैं। पिछले शेफों ने कहा, "नमक का उपयोग न करें।" लेखकों ने कहा, "वास्तव में, आपको नमक, चीनी, आटा, अंडे, दूध और अन्य 11 विशिष्ट सामग्रियों के सटीक संयोजन से बचना चाहिए।" उन्होंने बचने के लिए 15 चीजों की एक चेकलिस्ट प्रदान की। यदि आपका 3x3 मशीन इन सभी 15 नियमों का पालन करता है, तो यह सुरक्षित है। यदि यह एक भी नियम तोड़ता है, तो यह असुरक्षित है।
परिणाम: उन्होंने गणना की कि कितने 3x3 मैट्रिक्स मौजूद हैं और उनमें से कितने वास्तव में सुरक्षित हैं। उन्होंने पाया कि "सुरक्षित" वाले हमारी सोच से कहीं अधिक दुर्लभ हैं।

मुख्य निष्कर्ष (Takeaway) का सारांश

यह शोध पत्र डिजिटल तालों के लिए एक सुरक्षा निरीक्षक की तरह है। उन्होंने हमें बताया:

Non-MDS मशीनें निश्चित रूप से असुरक्षित हैं। (आपको MDS का उपयोग करना चाहिए)।
विषम-आकार की Symmetric मशीनें निश्चित रूप से असुरक्षित हैं। (यदि आप सिमेट्री चाहते हैं तो विषम संख्याओं का उपयोग न करें)।
अधिकांश Circular मशीनें असुरक्षित हैं। (जब तक कि आकार बहुत विशिष्ट न हो)।
3x3 मशीनों के लिए, यहाँ एक सटीक चेकलिस्ट दी गई है ताकि आप यह सुनिश्चित कर सकें कि आप एक कमजोर ताला नहीं बना रहे हैं।

लेखकों ने एक नया ताला नहीं बनाया; उन्होंने बस हमें बेहतर तरीका दिया जिससे हम यह जाँच सकें कि जो ताले हम पहले से बना रहे हैं उनमें कोई छिपी हुई दरार तो नहीं है।

तकनीकी सारांश: संबंधित-विभेदक क्रिप्टोएनालिसिस (Related-Differential Cryptanalysis) में रैखिक परतों का विश्लेषण

समस्या विवरण
SPN-आधारित ब्लॉक सिफर्स (जैसे AES) में, रैखिक प्रसार परत (linear diffusion layer) को आमतौर पर इष्टतम ब्रांच नंबर और शास्त्रीय विभेदक (differential) एवं रैखिक क्रिप्टोएनालिसिस के विरुद्ध प्रतिरोध सुनिश्चित करने के लिए मैक्सिमम डिस्टेंस सेपरेबल (MDS) मैट्रिसेस का उपयोग करके स्थापित किया जाता है। हालाँकि, डेमेन और रिजन (2009) तथा बार्डे और रिजन (2022) के हालिया कार्यों ने खुलासा किया है कि MDS मैट्रिसेस अभी भी "संबंधित-विभेदक" (related-differential) संरचनाएं प्रदर्शित कर सकते हैं। ये संरचनाएं ऐसे संबंधित-विभेदक अभिलक्षणों (characteristics) के निर्माण की अनुमति देती हैं जिनका उपयोग हमलों में किया जा सकता है, जैसे कि AES-128 पर 7-राउंड की कुंजी-रिकवरी हमला। जबकि पिछले अध्ययनों ने विशिष्ट उदाहरणों (जैसे 4×4 सर्कुलेंट मैट्रिसेस, 3×3 इनवोल्यूटरी मैट्रिसेस) में संबंधित विभेदों की पहचान की है, यह समझना अभी भी अधूरा है कि कौन सी रैखिक परत संरचनाएं स्वाभाविक रूप से इन विभेदों से बचती हैं या इन्हें स्वीकार करती हैं। यह शोध पत्र इस बात की जांच करता है कि किन परिस्थितियों में परिमित क्षेत्रों (finite fields) पर रैूर्ण परतें संबंधित विभेदों से बचती हैं, जिसका लक्ष्य उन मैट्रिक्स वर्गों की पहचान करना है जो इस विशिष्ट क्रिप्टोएनालिटिक वेक्टर के प्रति स्वाभाविक रूप से प्रतिरोधी हैं।

कार्यप्रणाली (Methodology)
लेखक विशेषता 2 के परिमित क्षेत्र ( $\mathbb{F}_{2^m}$ ) पर एक सैद्धांतिक बीजगणितीय दृष्टिकोण का उपयोग करते हैं। कार्यप्रणाली में शामिल हैं:

संबंधित विभेदों को परिभाषित करना: डेमेन और रिजन की परिभाषाओं का उपयोग करते हुए, जहाँ दो विभेद $(u, Mu) $और$ (v, Mv) $"संबंधित" होते हैं यदि इनपुट युग्म$ (u, v) $और आउटपुट युग्म$ (Mu, Mv) $सभी निर्देशांकों के लिए स्थिति$ x_i \cdot y_i \cdot (x_i \oplus y_i) = 0$ को संतुष्ट करते हैं।
संरचनात्मक विश्लेषण: मैट्रिक्स गुणों (MDS स्थिति, समरूपता, सर्कुलेंट संरचना) और गैर-तुच्छ (nontrivial) संबंधित-विभेदक युग्मों के अस्तित्व के बीच संबंध की जांच करना।
पॉलीनोमियल अपघटन (Polynomial Decomposition): सर्कुलेंट मैट्रिसेस के लिए, लेखक मैट्रिक्स ऑपरेशंस को कोशिएंट रिंग $\mathbb{F}_{2^m}[X]/\langle X^n - 1 \rangle$ में पॉलीनोमियल गुणन में मैप करते हैं। वे विशिष्ट इनपुट अंतर युग्मों के निर्माण के लिए घातांकों के मॉड्यूलर अंकगणित (modulo 2, 3, और 4) के आधार पर ट्रांसफॉर्मेशन पॉलीनोमियल को विघटित करते हैं।
केस-दर-केस गणना (Case-by-Case Enumeration): $3 \times 3$ के मामले के लिए, लेखक किसी भी MDS मैट्रिक्स को एक प्रतिनिधि रूप $M = D_1 M_1 D_2$ (जहाँ $D_i$ विकर्ण हैं और $M_1$ एक विशिष्ट प्रतिनिधि है) में विघटन का उपयोग करते हैं। वे संबंधित विभेदों के अभाव के लिए आवश्यक और पर्याप्त बीजगणितीय स्थितियों को प्राप्त करने के लिए इनपुट अंतर ट्रिपलेट्स $(u, v, u \oplus v)$ के सभी हैमिंग वेट पैटर्न का व्यवस्थित रूप से विश्लेषण करते हैं।

प्रमुख योगदान और परिणाम

MDS गुण की आवश्यकता:
यह शोध पत्र सिद्ध करता है कि संबंधित विभेदों से बचने के लिए MDS गुण एक आवश्यक शर्त है। विशेष रूप से, प्रमेय 2 (Theorem 2) प्रदर्शित करता है कि प्रत्येक गैर-MDS मैट्रिक्स कम से कम एक गैर-तुच्छ संबंधित-विभेदक युग्म को स्वीकार करता है। यह प्रतिरोधी रैखिक परतों की खोज के स्थान को सख्ती से MDS मैट्रिसेस के वर्ग तक सीमित कर देता है।
सममित मैट्रिसेस (Symmetric Matrices) की भेद्यता:
लेखक स्थापित करते हैं कि विषम आयामों में समरूपता एक अंतर्निहित भेद्यता है। प्रमेय 4 (Theorem 4) सिद्ध करता है कि प्रत्येक विषम-क्रम का सममित MDS मैट्रिक्स संबंधित विभेद स्वीकार करता है। यह परिणाम व्यापक निर्माण परिवारों को खारिज करता है, जिसमें टाइप 2 कॉची-आधारित (Cauchy-based) MDS मैट्रिसेस और विषम क्रम के लेफ्ट-सर्कुलेंट मैट्रिसेस (अनुलग्नक 2 और 3) शामिल हैं, क्योंकि वे स्वाभाविक रूप से सममित हैं और इसलिए भेद्य हैं।
सर्कुलेंट मैट्रिसेस की भेद्यता:
यह शोध पत्र सर्कुलेंट मैट्रिसेस के लिए एक व्यापक लक्षण वर्णन प्रदान करता है। मैट्रिक्स क्रम $n$ के मॉड्यूलर गुणों का विश्लेषण करके, लेखक प्रमेय 5 (Theorem 5) में सिद्ध करते हैं कि एक क्रम $n$ का सर्कुलेंट MDS मैट्रिक्स संबंधित विभेद स्वीकार करता है जब $n \not\equiv \pm 2 \pmod{12}$ हो। यह $3 \times 3$ और $4 \times 4$ मामलों के पिछले निष्कर्षों का सामान्यीकरण करता है, जिससे भेद्य आदेशों (orders) के एक व्यापक वर्ग की पहचान होती है।
$3 \times 3$ मैट्रिसेस का पूर्ण लक्षण वर्णन:
$3 \times 3$ के मामले को पुनरावृत्त करते हुए, लेखक एक पूर्ण बीजगणितीय लक्षण वर्णन प्राप्त करते हैं। प्रमेय 7 (Theorem 7) एक प्रतिनिधि $3 \times 3$ MDS मैट्रिक्स के मापदंडों पर 15 आवश्यक और पर्याप्त पॉलीनोमियल बाधाओं (constraints) का एक स्पष्ट सेट प्रदान करता है। यदि इनमें से कोई भी 15 शर्तें पूरी होती हैं, तो मैट्रिक्स संबंधित विभेद स्वीकार करता है; यदि कोई भी नहीं, तो मैट्रिक्स प्रतिरोधी है।

शोध पत्र नोट करता है कि पिछले लक्षण वर्णन (जैसे ओटल एट अल. द्वारा) अपूर्ण थे।
इस लक्षण वर्णन का उपयोग करते हुए, लेखक विभिन्न परिमित क्षेत्रों ( $\mathbb{F}_{2^m}$ ) पर उन $3 \times 3$ MDS मैट्रिसेस की सटीक संख्या की गणना करते हैं जिनमें कोई संबंधित विभेद नहीं है, यह प्रदर्शित करते हुए कि प्रतिरोधी मैट्रिसेस का सेट सभी MDS मैट्रिसेस का एक सख्त उपसमुच्चय (strict subset) है (तालिका I)।

महत्व और दावे
यह शोध पत्र संबंधित-विभेदक क्रिप्टोएनालिसिस का प्रतिरोध करने के लिए संरचनात्मक पूर्वशर्तों की एक व्यवस्थित जांच प्रदान करने का दावा करता है। इसका प्राथमिक महत्व निम्नलिखित में निहित है:

सीमाओं को स्थापित करना: यह सिद्ध करना कि केवल MDS गुण प्रतिरोध के लिए पर्याप्त नहीं है और विशिष्ट संरचनात्मक गुण (विषम-क्रम समरूपता, विशिष्ट सर्कुलेंट आदेश) भेद्यता की गारंटी देते हैं।
डिजाइन मानदंडों को परिष्कृत करना: $3 \times 3$ मैट्रिसेस के लिए 15 बीजगणितीय बाधाओं का एक ठोस, सत्यापन योग्य सेट प्रदान करना, जिससे डिजाइनकर्ता इस आयाम में प्रतिरोधी मैट्रिसेस का पूर्ण सत्यापन या निर्माण कर सकें।
भविष्य के निर्माण का मार्गदर्शन करना: यह पहचानकर कि गैर-MDS मैट्रिसेस स्वाभाविक रूप से भेद्य हैं और कई सामान्य सममित निर्माण विफल हो जाते हैं, यह कार्य भविष्य के अनुसंधान को ऐसे MDS मैट्रिसेस के निर्माण की ओर निर्देशित करता है जो सममित (या सम-क्रम सममित) हों और प्रतिरोध के लिए व्युत्पन्न विशिष्ट बीजगणितीय बाधाओं को पूरा करते हों।

लेखक निष्कर्ष निकालते हैं कि जबकि $3 \times 3$ का मामला पूरी तरह से वर्णित है, इन परिणामों को $4 \times 4$ मैट्रिसेस तक विस्तारित करना और बिना संबंधित विभेदों वाले हल्के, कुशल MDS मैट्रिसेस का निर्माण करना अभी भी खुली चुनौतियाँ हैं। वे यह भी नोट करते हैं कि सर्कुलेंट मैट्रिसेस के अनसुलझे मामले (जहाँ $n \equiv \pm 2 \pmod{12}$ ) भविष्य के प्रमाण के लिए एक अनुमान (conjecture) प्रस्तुत करते हैं।

1. "गोल्ड स्टैंडर्ड" पर्याप्त नहीं है

2. "सिमेट्री ट्रैप" (Symmetry Trap)

3. "सर्कुलर पैटर्न" (Circular Pattern) की समस्या

4. 3x3 मशीनों के लिए "परफेक्ट रेसिपी"

मुख्य निष्कर्ष (Takeaway) का सारांश

इसी तरह के और पेपर