The HyperFrog Cryptosystem: High-Genus Voxel Topology as a Trapdoor for Post-Quantum KEMs
यह शोध पत्र हाइपरफ्रॉग (HyperFrog) पोस्ट-क्वांटम की एनकैप्सुलेशन मैकेनिज्म (Key Encapsulation Mechanism) के एक संशोधित विनिर्देश को प्रस्तुत करता है, जो एक मानक अनस्ट्रक्चर्ड लर्निंग विद एरर्स (Learning With Errors) कोर को बनाए रखता है लेकिन एक 16×16×16 वोक्सेल ग्रिड पर एक कनेक्टेड फ्रंटियर ग्रोथ प्रोसेस (connected frontier growth process) पर आधारित एक नवीन, औपचारिक रूप से परिभाषित गुप्त वितरण पेश करता है जो 2048 के सटीक ऑक्यूपाइड वेट (occupied weight) और एक ट्यूनेबल ग्राफ साइकिल रैंक थ्रेशोल्ड (graph cycle rank threshold) को लागू करता है, जबकि औपचारिक सुरक्षा दावों को इंजीनियरिंग कार्यान्वयन मोड से स्पष्ट रूप से अलग करता है और एक पारदर्शी बेंचमार्क सुइट प्रदान करता है जो क्रिप्टोग्राफिक लागतों और पासवर्ड-आधारित की अनलॉक लेटेंसी (password-based key unlock latencies) के बीच के अंतर को स्पष्ट करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
यहाँ HyperFrog Cryptosystem पेपर का सरल भाषा में अनुवाद दिया गया है, जिसमें रोज़मर्रा के उदाहरणों का उपयोग किया गया है।
बड़ी तस्वीर: एक नए प्रकार का डिजिटल ताला
कल्पना कीजिए कि आप एक बैंक वॉल्ट के लिए एक हाई-टेक डिजिटल ताला बना रहे हैं। अधिकांश आधुनिक ताले (जिन्हें "पोस्ट-क्वांटम" ताले कहा जाता है) भविष्य के सुपर-कंप्यूटरों के हमलों से बचने के लिए डिज़ाइन किए गए हैं।
HyperFrog सिस्टम एक प्रयोगात्मक नया ताला है। लेखक शून्य से एक नया प्रकार का गणित बनाने की कोशिश नहीं कर रहे हैं; इसके बजाय, वे एक बहुत ही मजबूत, ज्ञात ताला तंत्र ले रहे हैं और बदल रहे हैं कि चाबी कैसे बनाई जाती है।
इसे इस तरह सोचें:
- मानक ताले (Standard Locks): चाबी बस 1 और 0 की एक रैंडम स्ट्रिंग है (जैसे 4,096 बार सिक्का उछालना)।
- HyperFrog ताला: चाबी छोटे ब्लॉकों (वॉक्सेल्स) से बनी एक 3D आकृति है, जैसे LEGOs से बनी कोई मूर्ति। लेकिन यह कोई भी आकृति नहीं है; इसका एक विशिष्ट आकार होना चाहिए, इसे एक ठोस टुकड़ा (जुड़ा हुआ) होना चाहिए, और इसमें लूप और घुमाव (उच्च "साइकिल रैंक") होने चाहिए।
यह पेपर एक "संशोधन" (दूसरा ड्राफ्ट) है जो पहले संस्करण की कुछ भ्रम की स्थितियों को ठीक करता है। यह कहता है: "पहले हम इन LEGO आकृतियों को बनाने के बारे में अस्पष्ट थे। अब, हमारे पास उन्हें बनाने की एक सख्त, चरण-दर-चरण रेसिपी है, और हम इस बारे में बहुत ईमानदार हैं कि हम क्या जानते हैं और क्या नहीं।"
1. "माइनर" (Miner): कैसे तराशी जाती है चाबी
पुराने संस्करण में, कंप्यूटर एक आकृति बनाने की कोशिश करता था जिसमें वह रैंडम तरीके से ब्लॉक रखता था और उम्मीद करता था कि वह सही बन जाए। यदि वह नहीं बनता, तो वह उसे फेंक देता था और फिर से कोशिश करता था। यह अव्यवस्थित और अक्षम था।
नया "फॉर्मल माइनर" (मूर्तिकार):
कल्पना कीजिए कि आप एक अंधेरे कमरे में 4,096 LEGO ईंटों के ढेर के साथ हैं। आपको एक विशिष्ट मूर्ति बनानी है।
- शुरुआत: आप एक ईंट रैंडम तरीके से चुनते हैं और उसे मेज पर रखते हैं।
- बढ़ना: आप केवल उन नई ईंटों को जोड़ सकते हैं जो पहले से मौजूद ईंटों को छूती हैं। आप वर्तमान आकृति के बगल में एक जगह चुनते हैं और एक ईंट जोड़ते हैं।
- दोहराना: आप एक-एक करके ईंटें जोड़ते रहते हैं, हमेशा मौजूदा आकृति से चिपके रहते हुए, जब तक कि आपके पास ठीक 2,048 ईंटें न हो जाएं।
- जांच: एक बार जब मूर्ति बन जाती है, तो आप इसकी "घुमावदार प्रकृति" (गणितीय रूप से जिसे Cycle Rank कहा जाता है) की जांच करते हैं। यदि इसमें पर्याप्त लूप और घुमाव हैं, तो आप इसे रखते हैं। यदि नहीं, तो आप इसे पिघला देते हैं और फिर से शुरू करते हैं।
यह क्यों मायने रखता है: यह सुनिश्चित करता है कि प्रत्येक चाबी एक एकल, ठोस, जुड़ी हुई वस्तु है जिसका सटीक सही आकार है। यह कोई रैंडम कचरा नहीं है; यह एक सावधानीपूर्वक विकसित की गई संरचना है।
2. "साइकिल रैंक" (Cycle Rank): घुमावदार होने की परीक्षा
पेपर Cycle Rank के बारे में बहुत समय बिताता है।
- उपमा: कल्पना कीजिए कि एक धागा है। यदि आप इसे सपाट बिछाते हैं, तो इसमें कोई लूप नहीं है। यदि आप इसे गाँठ में बांधते हैं, तो इसमें लूप होते हैं।
- HyperFrog में, "साइकिल रैंक" इस बात की गिनती है कि 3D LEGO मूर्ति में कितने स्वतंत्र लूप मौजूद हैं।
- लक्ष्य: सिस्टम चाहता है कि चाबियाँ बहुत अधिक "घुमावदार" (उच्च साइकिल रैंक) हों। पेपर स्वीकार करता है कि उनके वर्तमान परीक्षणों में, मूर्तियाँ न्यूनतम आवश्यकता से कहीं अधिक घुमावदार हैं। यह ऐसा है जैसे कम से कम 8 लूप वाली गाँठ के लिए कहना, लेकिन हर बार जब आप कोशिश करते हैं, तो आप गलती से 2,700 लूप वाली गाँठ बना देते हैं।
- सबक: सिस्टम काम करता है, लेकिन उन्होंने अभी तक यह परीक्षण नहीं किया है कि कंप्यूटर को एक कठिन गाँठ बनाने के लिए मजबूर करना कितना कठिन है। वे वर्तमान में केवल यह सिद्ध कर रहे हैं कि मूर्तिकार आकृति को विश्वसनीय रूप से बना सकता है।
3. "इंजीनियर" बनाम "वैज्ञानिक"
इस पेपर में सबसे बड़े बदलावों में से एक दो मोड के संचालन को अलग करना है:
- फॉर्मल माइनर (वैज्ञानिक): यह ऊपर दिए गए सख्त नियमों का पालन करता है। यह धीमा, सटीक है, और गारंटी देता है कि नियमों का पालन किया गया है। सुरक्षा के दावे इसी पर आधारित हैं।
- प्रैक्टिकल माइनर (इंजीनियर): यह एक "त्वरित और कच्चा" संस्करण है जिसका उपयोग परीक्षण के लिए किया जाता है। यह एक ऐसी आकृति बना सकता है जो पूरी तरह से जुड़ी हुई नहीं है या जिसमें ब्लॉकों की संख्या गलत है, ताकि यह देखा जा सके कि बाकी सिस्टम कैसे काम करता है।
- सुधार: लेखक अब स्पष्ट रूप से कहते हैं: "सुरक्षा दावों के लिए इंजीनियर की अव्यवस्थित आकृतियों का उपयोग न करें। केवल वैज्ञानिक की पूर्ण आकृतियों पर भरोसा करें।" यह पेपर को बहुत अधिक ईमानदार बनाता है।
4. "फाइल अनलॉक" का सरप्राइज
पेपर ने यह भी देखा कि फाइल को अनलॉक करने में सिस्टम कितना तेज़ है। उन्हें एक दिलचस्प बाधा मिली:
- क्रिप्टोग्राफी: फाइल को अनलॉक करने का वास्तविक गणित तेज़ है।
- पासवर्ड: हालाँकि, यदि गुप्त चाबी (secret key) एक पासवर्ड द्वारा सुरक्षित है (जैसे तिजोरी के अंदर एक सुरक्षित), तो कंप्यूटर उस पासवर्ड को सुरक्षित बनाने के लिए उसे "स्ट्रेच" करने में बहुत समय बिताता है।
- परिणाम: आपके द्वारा फाइल खोलने के दौरान आप जो भी समय प्रतीक्षा करते हैं, वह इसलिए नहीं है क्योंकि HyperFrog का गणित धीमा है; बल्कि इसलिए है क्योंकि कंप्यूटर आपके पासवर्ड की जांच करने में कड़ी मेहनत कर रहा है। पेपर अब इन दोनों चरणों को अलग-अलग मापता है ताकि लोग भ्रमित न हों।
5. वे क्या स्वीकार कर रहे हैं ("ईमानदारी" अनुभाग)
लेखक बहुत पारदर्शी हैं कि HyperFrog अभी क्या नहीं कर सकता:
- कोई जादुई प्रमाण नहीं: उन्होंने गणितीय रूप से यह सिद्ध नहीं किया है कि यह "LEGO मूर्ति" वाली चाबी अटूट है। वे दांव लगा रहे हैं कि चूंकि यह मानक गणित (LWE) पर आधारित है, इसलिए यह सुरक्षित होनी चाहिए, लेकिन उन्हें इसे सिद्ध करने के लिए और समय चाहिए।
- बड़ी फाइलें: "साइफरटेक्स्ट" (लॉक किया गया डेटा) बहुत बड़ा है—एक छोटे से संदेश के लिए लगभग 2.1 मेगाबाइट। यह एक छोटा सा "नमस्ते" कहने के लिए 200 पन्नों का पत्र भेजने जैसा है। यह अभी वास्तविक दुनिया के लिए तैयार नहीं है।
- असिद्ध सीमाएं: उन्होंने अत्यधिक तनाव (जैसे मूर्तिकार को बहुत कठिन गाँठ बनाने के लिए मजबूर करने) के तहत सिस्टम का परीक्षण नहीं किया है। वे वर्तमान में केवल यह दिखा रहे हैं कि मूर्तिकार काम करता है।
सारांश: मुख्य बात क्या है?
HyperFrog एक शोध परियोजना है जो कहती है: "हमने चाबियों को बहुत सारे लूप वाली 3D LEGO मूर्तियों की तरह दिखाने का एक शानदार तरीका खोजा है। हमने उन्हें बनाने की एक सख्त रेसिपी बनाई है, और हमने सिद्ध किया है कि रेसिपी लगातार काम करती है।"
हालाँकि, वे यह नहीं कह रहे हैं: "यह दुनिया के लिए एकदम सही ताला है।"
वे कह रहे हैं: "यह एक स्वच्छ, ईमानदार प्रयोग है। हमने 'पूर्ण' संस्करण को 'परीक्षण' संस्करण से अलग किया है, हमने गति को सटीक रूप से मापा है, और अब हम अन्य वैज्ञानिकों को हमारी LEGO मूर्तियों को तोड़ने की कोशिश करने के लिए आमंत्रित करते हैं।"
यह एक "पोस्ट-क्वांटम" प्रयोग है जो हाइप (hype) के बजाय स्पष्टता और ईमानदारी को प्राथमिकता देता है, यह स्वीकार करते हुए कि हालांकि गणित दिलचस्प है, लेकिन सुरक्षा प्रमाण अभी भी प्रगति पर है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।