⚛️ quantum physics

Module Lattice Security (Part III): Structured CVP Distance on the Log-Unit Lattice

यह शोध पत्र यह स्थापित करता है कि $\mathbb{Q}(\zeta_{2^k})$ के रैंडम शॉर्ट रिंग एलिमेंट्स से लॉग-यूनिट लैटिस की $L^2$ दूरी एक विशिष्ट स्थिरांक (constant) के $\sqrt{n}$ गुना के रूप में अभिसरित (converge) होती है, जो यह सिद्ध करता है कि स्ट्रक्चर्ड टारगेट्स मूल बिंदु (origin) के वोरोनोई सेल (Voronoi cell) के भीतर स्थित हैं और ML-KEM के लिए CDPR एप्रोक्सिमेशन फैक्टर को घातीय (exponential) से उप-पॉलीनोमियल (sub-polynomial) तक कम करने में सक्षम बनाती है।

मूल लेखक: Ming-Xing Luo

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

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

CC BY 4.0

मूल लेखक: Ming-Xing Luo

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

मुख्य चित्र: एक धुंधले जंगल में खजाने की खोज

कल्पना कीजिए कि आप एक विशाल, जटिल जंगल के भीतर छिपे एक विशिष्ट, छोटे खजाने ("शॉर्ट जनरेटर") को खोजने की कोशिश कर रहे हैं। यह जंगल एक गणितीय संरचना का प्रतिनिधित्व करता है जिसका उपयोग आधुनिक कंप्यूटर एन्क्रिप्शन (विशेष रूप से ML-KEM सिस्टम, जो भविष्य के सुरक्षित सुरक्षा के लिए एक मानक है) की सुरक्षा के लिए किया जाता है।

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

यह शोध पत्र एक श्रृंखला का तीसरा भाग है जो इस बात की जांच करता है कि वह "रफ मैप" वास्तव में कितना "रफ" है। लेखक पूछ रहे हैं: क्या रफ मैप वास्तव में असली खजाने के इतने करीब है कि हमला आसानी से काम कर जाए? या क्या यह अभी भी हमें सुरक्षित रखने के लिए पर्याप्त दूर है?

उनका निष्कर्ष आश्चर्यजनक है: मैप वास्तव में खजाने के अविश्वसनीय रूप से करीब है। वास्तव में, आज उपयोग किए जाने वाले विशिष्ट एन्क्रिप्शन मानकों के लिए, "रफ मैप" इतना करीब है कि हमला पहले की तुलना में बहुत आसान हो जाता है। इन प्रणालियों की सुरक्षा अब गणितीय पहेली की कठिनाई पर नहीं, बल्कि इस प्रक्रिया के एक विशिष्ट चरण को चलाने में एक क्वांटम कंप्यूटर की गति पर निर्भर करती है।

मुख्य अवधारणाएं और उपमाएँ

1. लॉग-यूनिट लैटिस (Log-Unit Lattice): "कम्पास ग्रिड"

कल्पना कीजिए कि जंगल एक विशाल, अदृश्य ग्रिड पर बना है जो दिशाओं (compass directions) से बना है। इस ग्रिड को लॉग-यूनिट लैटिस कहा जाता है।

समस्या: आपके पास एक शुरुआती बिंदु (एक "जनरेटर") है जो केंद्र से थोड़ा हटकर है। आपको अपनी स्थिति को ठीक करने के लिए निकटतम ग्रिड इंटरसेक्शन (चौराहे) को खोजने की आवश्यकता है।
पुराना दृष्टिकोण: विशेषज्ञों का मानना था कि ग्रिड की रेखाएं इतनी दूर-दूर थीं कि यदि आप थोड़ा भी हट जाते, तो आप खो सकते थे या गलत इंटरसेक्शन चुन सकते थे।
नई खोज: लेखक सिद्ध करते हैं कि इन एन्क्रिप्शन सिस्टमों में उपयोग किए जाने वाले विशिष्ट प्रकार के शुरुआती बिंदुओं के लिए (जिनमें छोटी, यादृच्छिक संख्याएं होती हैं), आप लगभग हमेशा एक ही ग्रिड स्क्वायर के बिल्कुल बीच में खड़े होते हैं। आपको निकटतम इंटरसेक्शन खोजने के लिए किसी जटिल मानचित्र की आवश्यकता नहीं है; वह ठीक आपके पैरों के नीचे है।

2. "कोर्स लैटिस" प्रमेय (The "Coarse Lattice" Theorem): विशाल रूलर

लेखक एक अवधारणा पेश करते हैं जिसे कोर्स लैटिस थ्योरम कहा जाता है।

उपमा: कल्पना कीजिए कि आप एक ऐसे रूलर (पैमाने) का उपयोग करके एक नन्ही चींटी (आपका लक्ष्य) को मापने की कोशिश कर रहे हैं जिसके निशान हर 10 मील पर हैं (लैटिस)।
परिणाम: क्योंकि रूलर आपकी चींटी (लक्ष्य) के आकार की तुलना में बहुत "कोर्स" (निशान बहुत दूर-दूर) है, इसलिए रूलर बस कहता है, "चींटी शून्य पर है।" यह सूक्ष्म उतार-चढ़ाव को अनदेखा कर देता है।
यह क्यों महत्वपूर्ण है: हमले में, इसका मतलब है कि एक मानक एल्गोरिदम (Babai's algorithm) बिना किसी भारी मेहनत के लक्ष्य को सही "शून्य" बिंदु पर स्वतः ही सेट कर देता है। यह लगभग पूरी तरह से संयोग से काम करता है क्योंकि ग्रिड के सापेक्ष लक्ष्य बहुत छोटा है।

3. "ट्रिगामा थ्योरम" (The "Trigamma Theorem"): अपरिवर्तित संतुलन

यह शोध पत्र मॉड्यूल लैटिस (Module Lattices) पर भी विचार करता है, जो ऐसे ग्रिड की कई परतों के एक के ऊपर एक रखे जाने जैसा है।

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

4. दूरी: मैप कितना करीब है?

लेखक "रफ मैप" और "असली खजाने" के बीच की सटीक दूरी की गणना करते हैं।

पुराना अनुमान: उन्हें लगा था कि दूरी बहुत बड़ी है, जैसे एक महाद्वीप पार करना ( $\exp(\sqrt{n})$ )।
नया अनुमान: वे सिद्ध करते हैं कि दूरी बहुत कम है, जैसे एक कमरे में चलना ( $\exp(\sqrt{\log n})$ )।
परिणाम: मानक एन्क्रिप्शन सेटिंग्स (ML-KEM के साथ $n=256$ ) के लिए, दूरी इतनी कम है कि "एप्रोक्सिमेशन फैक्टर" लगभग 24 से 25 है। यह क्रिप्टोग्राफी की दुनिया में एक बहुत छोटी संख्या है। इसका मतलब है कि "रफ मैप" व्यावहारिक रूप से असली खजाने के समान है।

सुरक्षा के लिए इसका क्या अर्थ है (पेपर के अनुसार)

शोध पत्र निष्कर्ष निकालता है कि शॉर्ट जनरेटर प्रॉब्लम (मुख्य पहेली) की गणितीय "कठिनाई" (hardness) ही ML-KEM की सुरक्षा का मुख्य कारण नहीं है।

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

सरल शब्दों में: ताला इसलिए तोड़ना कठिन नहीं है क्योंकि कीहोल (चाबी का छेद) बहुत बड़ा और स्पष्ट है। केवल एक ही कारण है जिससे घर सुरक्षित है—वह यह कि चोर के पास समय रहते कीहोल तक पहुँचने के लिए पर्याप्त तेज़ उपकरण नहीं है।

दावों का सारांश

दूरी: समाधान तक की दूरी उतनी बड़ी नहीं है जितना पहले सोचा गया था (यह एक विशिष्ट स्थिरांक $\sqrt{n}$ के करीब पहुँचती है)।
स्थान: लक्ष्य लगभग हमेशा सही उत्तर के "सुरक्षित क्षेत्र" (Voronoi cell) के भीतर होता है, जिसका अर्थ है कि सबसे सरल एल्गोरिदम काम करता है।
स्थिरता: लेयर्ड सिस्टम (मॉड्यूल्स) के लिए समस्या की कठिनाई स्थिर है और सिस्टम के आकार से स्वतंत्र है।
सुरक्षा स्थिति: इस विशिष्ट हमले के खिलाफ ML-KEM की सुरक्षा पूरी तरह से पहले चरण के क्वांटम गेट कॉस्ट (समय/ऊर्जा) पर निर्भर करती है, न कि गणितीय पहेली की कठिनाई पर।

तकनीकी सारांश: लॉग-यूनिट लैटिस पर स्ट्रक्चर्ड CVP डिस्टेंस

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

यह शोध पत्र साइक्लोटोमिक रिंग्स $R = \mathbb{Z}[\zeta_{2^k}]$ पर आइडियल लैटिस के संदर्भ में CDPR क्वांटम अटैक के भीतर शॉर्ट जनरेटर प्रॉब्लम (SGP) को संबोधित करता है। CDPR हमला एक प्रिसिंपल आइडियल $I=(g_0)$ के शॉर्ट जनरेटर $g_0$ को खोजने की समस्या को लॉग-यूनिट लैटिस $\Lambda$ पर एक क्लोजेस्ट वेक्टर प्रॉब्लम (CVP) में बदल देता है।

मुख्य चुनौती एप्रोक्सीमेशन फैक्टर $\gamma = \exp(\rho_\infty)$ है, जहाँ $\rho_\infty$ , CVP रेसिडुअल का $L_\infty$ -नॉर्म है। पिछले वर्स्ट-केस विश्लेषणों (जैसे क्रेमर आदि) ने CVP टारगेट को एम्बिएंट स्पेस में एक मनमाने बिंदु के रूप में माना, जिससे $\gamma = \exp(\tilde{O}(\sqrt{n}))$ का एप्रोक्सीमेशन फैक्टर प्राप्त हुआ। हालांकि, शॉर्ट जनरेटर्स से उत्पन्न होने वाले टारगेट अत्यधिक स्ट्रक्चर्ड होते हैं: वे रिंग एलिमेंट्स के लॉग-एम्बेडिंग्स हैं जिनके गुणांक (coefficients) छोटे और सीमित होते हैं। यह शोध पत्र जांच करता है कि क्या इस विशिष्ट संरचना के कारण CVP डिस्टेंस पर काफी कड़े बाउंड्स लगाए जा सकते हैं, जिससे एप्रोक्सीमेशन फैक्टर को सब-पॉलिनोमियल (sub-polynomial) मान तक कम किया जा सके।

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

लेखक एनालिटिक नंबर थ्योरी, रैंडम मैट्रिक्स थ्योरी और हाई-डायमेंशनल प्रोबेबिलिटी के उपकरणों को संयोजित करते हुए एक संभावabilistic दृष्टिकोण अपनाते हैं:

संभाव्यता मॉडलिंग (Probabilistic Modeling): शोध पत्र रिंग एलिमेंट $g$ के गुणांकों को स्वतंत्र और समान रूप से वितरित (i.i.d.) बाउंडेड रैंडम वेरिएबल्स के रूप में मॉडल करता है। यह सेंट्रल लिमिट थ्योरम (CLT) का उपयोग करके यह दर्शाता है कि ऐसे एलिमेंट्स के कैनोनिकल एम्बेडिंग्स स्वतंत्र कॉम्प्लेक्स गौसियन वेरिएबल्स की ओर अभिसरित (converge) होते हैं।
वैरिएंस विश्लेषण (Variance Analysis): ट्रिगामा फंक्शन ( $\psi'$ ) और डिगामा फंक्शन ( $\psi$ ) के गुणों का उपयोग करते हुए, लेखक कॉम्प्लेक्स गौसियन वेरिएबल्स के मॉड्यूल के लॉग के लिए सटीक वैरिएंस आइडेंटिटीज़ निकालते हैं।
लैटिस ज्योमेट्री (Lattice Geometry): विश्लेषण ट्रेस-जीरो हाइपरप्लेन $H_0$ के भीतर लॉग-यूनिट लैटिस $\Lambda$ की ज्यामिति पर केंद्रित है। यह स्ट्रक्चर्ड टारगेट्स के वैरिएंस के सापेक्ष लैटिस बेसिस के ग्राम-श्मिट नॉर्म्स (Gram-Schmidt norms) का परीक्षण करता है।
एल्गोरिथमिक विश्लेषण (Algorithmic Analysis): यह पेपर लॉग-यूनिट लैटिस की विशिष्ट स्थितियों के तहत बाबाई के नियरेस्ट-प्लेन एल्गोरिदम (Babai's nearest-plane algorithm) का विश्लेषण करता है, और यह सिद्ध करता है कि स्ट्रक्चर्ड टारगेट्स के लिए एल्गोरिदम की "कोर्सनेस" (coarseness) उसे शून्य वेक्टर (zero vector) लौटाने के लिए मजबूर करती है।
एक्सट्रीम वैल्यू थ्योरी (Extreme Value Theory): $L_\infty$ डिस्टेंस को सब-गौसियन रैंडम वेरिएबल्स के मैक्सिमम पर परिणामों का उपयोग करके बाउंड किया गया है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. एसिम्प्टोटिक CVP डिस्टेंस (Theorems 4.1 & 4.2)

शोध पत्र सिद्ध करता है कि i.i.d. बाउंडेड कोएफिशिएंट्स वाले एक शॉर्ट एलिमेंट $g$ के लिए, इसके लॉग-एम्बेडिंग का लॉग-यूनिट लैटिस से $L_2$ डिस्टेंस एक विशिष्ट स्थिरांक (constant) के $\sqrt{n}$ के बराबर होता है:
$\frac{1}{\sqrt{n}} \|\Pi_{H_0}(L(g))\|_2 \xrightarrow{p} \frac{\pi}{2\sqrt{6}} \approx 0.6413$
इसके अतिरिक्त, थ्योरम 4.2 स्थापित करता है कि $k \ge 4$ के लिए, यह स्ट्रक्चर्ड टारगेट वेक्टर प्रायिकता $1 - o(1)$ के साथ ओरिजिन के वोरोनोई सेल (Voronoi cell) के भीतर स्थित होता है। इसका तात्पर्य यह है कि ओरिजिन ही निकटतम लैटिस पॉइंट है, और CVP डिस्टेंस स्वयं टारगेट का नॉर्म है।

B. सब-पॉलिनोमियल एप्रोक्सीमेशन फैक्टर (Theorem 4.3)

प्रोजेक्टेड टारगेट के $L_\infty$ नॉर्म का विश्लेषण करके, लेखक SGP के लिए एप्रोक्सीमेशन फैक्टर प्राप्त करते हैं:
$\gamma = \exp\left( \frac{\pi}{2\sqrt{3}} \sqrt{\ln n} + O(\sqrt{\ln \ln n}) \right) = o(n^\epsilon) \quad \forall \epsilon > 0$
ML-KEM पैरामीटर सेट ( $n=256$ ) के लिए, यह एप्रोक्सीमेशन फैक्टर $\gamma \approx 24.1$ (गौसियन लिमिट) या $24.9$ (रिंग-बेस्ड) देता है, जो पिछले वर्स्ट-केस बाउंड से काफी कम है और हमले के सफल होने के लिए आवश्यक मोडुलस थ्रेशोल्ड से बहुत नीचे है।

C. द कोर्स लैटिस थ्योरम (The Coarse Lattice Theorem - Theorem 5.1)

यह पेपर कोर्स लैटिस थ्योरम पेश करता है, जो यह समझाता है कि बाबाई का एल्गोरिदम इन स्ट्रक्चर्ड टारगेट्स पर क्यों ट्रिवियल व्यवहार करता है। लॉग-यूनिट लैटिस बेसिस के ग्राम-श्मिट नॉर्म्स $\Omega(\sqrt{n})$ हैं, जबकि स्ट्रक्चर्ड टारगेट का प्रति-घटक (per-component) स्टैंडर्ड डेविएशन $O(1)$ है। यह स्केल मिसमैच सुनिश्चित करता है कि बाबाई के एल्गोरिदम में प्रोजेक्शन कोएफिशिएंट्स अत्यधिक संभावना के साथ शून्य की ओर राउंड हो जाते हैं। फलस्वरूप, बाबाई का एल्गोरिदम बैलेंस्ड टारगेट के लिए शून्य वेक्टर लौटाता है, जिससे यूनिट परटर्बेशन (unit perturbation) ठीक से रिकवर हो जाता है।

D. द ट्रिगामा थ्योरम (The Trigamma Theorem - Theorem 6.1)

मॉड्यूल लैटिस (जो ML-KEM के लिए प्रासंगिक है) के विश्लेषण का विस्तार करते हुए, शोध पत्र सिद्ध करता है कि मॉड्यूल के डिटर्मिनेंट आइडियल के शॉर्टेस्ट जनरेटर का प्रति-घटक वैरिएंस $\sigma_{g_0}^2$ इस मान की ओर अभिसरित होता है:
$\sigma_{g_0}^2 \xrightarrow{p} \frac{1}{4} \sum_{j=1}^d \psi'(j)$
जहाँ $d$ मॉड्यूल रैंक है। महत्वपूर्ण रूप से, यह वैरिएंस मोडुलस $q$ से स्वतंत्र है और केवल मॉड्यूल रैंक $d$ पर निर्भर करता है। ML-KEM-1024 ( $d=4, n=256$ ) के लिए, यह $\sigma_{g_0} \approx 0.861$ (एसिम्प्टोटिक) या $\approx 1.03$ (फाइनाइट $n$ ) परिणाम देता है, जो पुष्टि करता है कि सब-पॉलिनोमियल एप्रोक्सीमेशन फैक्टर मॉड्यूल लैटिस के लिए भी मान्य है।

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

शोध पत्र का दावा है कि यह यह प्रदर्शित करके आइडियल और मॉड्यूल लैटिस पर CDPR अटैक के सैद्धांतिक बॉटलनेक को हल करता है कि एप्रोक्सीमेशन फैक्टर $\sqrt{n}$ में एक्सपोनेंशियल होने के बजाय सब-पॉलिनोमियल है।

CDPR फैक्टर में कमी: इस श्रृंखला के भाग I और II के साथ मिलकर, यह कार्य CDPR एप्रोक्सीमेशन फैक्टर को $\exp(\tilde{O}(\sqrt{n}))$ से घटाकर एक सब-पॉलिनोमियल मान ( $\approx 24$ $n=256$ के लिए) तक कम करता है।
सुरक्षा बॉटलनेक में बदलाव: लेखक निष्कर्ष निकालते हैं कि ML-KEM की सुरक्षा CDPR हमले के विरुद्ध CVP एप्रोक्सीमेशन की कठिनाई पर निर्भर नहीं है (जो अब स्ट्रक्चर्ड टारगेट्स के लिए आसान दिखाया गया है)। इसके बजाय, सुरक्षा पूरी तरह से बायसे-सॉन्ग PIP एल्गोरिदम (Biasse-Song PIP algorithm) (अटैक का चरण 1) के क्वांटम गेट कॉस्ट पर निर्भर करती है, जो आइडियल का एक जनरेटर खोजता है।
अनकंडीशनल रिकवरी: "कोर्स लैटिस थ्योरम" एक अनकंडीशनल गारंटी प्रदान करता है कि बाबाई का एल्गोरिदम यूनिट परटर्बेशन को ठीक से रिकवर करता है, बशर्ते कि बैलेंस्ड टारगेट शून्य पर मैप हो (जो एक अत्यधिक संभावित घटना है)।

संक्षेप में, शोध पत्र तर्क देता है कि साइक्लोटोमिक फील्ड्स में शॉर्ट जनरेटर्स के स्ट्रक्चरल गुण CDPR अटैक के CVP स्टेप को ट्रिवियल बना देते हैं, जिससे ML-KEM जैसे पोस्ट-क्वांटम स्कीम्स की सुरक्षा का भार पूरी तरह से PIP के क्वांटम सबरूटीन की दक्षता पर स्थानांतरित हो जाता है।