A proof complexity perspective on effectively zero-knowledge proofs

तर्क के गुप्त रक्षक

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

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

पेपर का मुख्य विचार: बिना सिद्ध किए सिद्ध करना

इस पेपर में, जान क्राजीचेक (Jan Krajíček) एक प्रकार का नया जीरो-नॉलेज प्रूफ लेते हैं, जिसे मूल रूप से इलांगो (Ilango) द्वारा आविष्कार किया गया था, और इसे शुद्ध तर्क की भाषा का उपयोग करके फिर से लिखते हैं। इसका लक्ष्य अवधारणा को स्पष्ट बनाना और यह सिद्ध करना है कि ये "प्रभावी रूप से जीरो-नॉलेज" (effectively zero-knowledge) प्रमाण वास्तव में काम करते हैं, जिसमें कुछ चतुर गणितीय उपकरणों का उपयोग किया गया है।

यहाँ मुख्य कहानी है: लेखक एक "प्रूवर" (जिसके पास रहस्य है) और एक "वेरिफायर" (जो काम की जाँच कर रहा है) का निर्माण करते हैं। आमतौर पर, एक प्रूवर एक कथन को सिद्ध करने के लिए एक विटनेस (रहस्य/साक्ष्य) दिखाता है। लेकिन इस नई व्यवस्था में, प्रूवर केवल रहस्य नहीं दिखाता; वे एक तार्किक निरंतरता (logical consistency) दिखाते हैं। वे यह सिद्ध करते हैं कि यह संभव है कि वह रहस्य मौजूद हो, बिना वास्तव में उसे प्रकट किए।

पेपर का मुख्य निष्कर्ष एक सरल लेकिन शक्तिशाली प्रमाण है कि ऐसी एक प्रणाली मौजूद है। लेखक दिखाते हैं कि यदि हम दो चीजों को मानते हैं—एक क्रिप्टोग्राफी से (कि कुछ विशेष "विटनेस इंडिस्टिंग्विशेबिलिटी" युक्तियाँ काम करती हैं) और एक प्रूफ कॉम्प्लेक्सिटी से (कि कुछ समस्याएँ अविश्वसनीय रूप से कठिन होती हैं)—तो हम एक ऐसा प्रूवर बना सकते हैं जो "एक सिद्धांत के सापेक्ष जीरो-नॉलेज" (zero-knowledge relative to a theory) हो।

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

"कठिन" हिस्सा: यह आसान क्यों नहीं है

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

लेखक मॉडल थ्योरी (model theory) नामक एक उपकरण का उपयोग करते हैं (जो गणित कैसे व्यवहार करता है यह देखने के लिए विभिन्न वास्तविकताओं या "ब्रह्मांडों" को देखने जैसा है) यह दिखाने के लिए कि यदि ये कठिन समस्याएँ मौजूद हैं, तो हमारे जीरो-नॉलेज प्रूफ काम करते हैं। पेपर का तर्क है कि यदि आप किसी समस्या के लिए छोटा प्रमाण नहीं खोज सकते, तो एक "नॉन-स्टैंडर्ड" (गैर-मानक) दुनिया होनी चाहिए जहाँ वह समस्या हल करने योग्य न हो, और यही अंतर (gap) वह है जिसे जीरो-नॉलेज प्रूफ छिपा देता है।

"प्रभावी" से "वास्तविक" जीरो-नॉलेज तक

पेपर तीसरे खंड में एक अंतिम, रोमांचक कदम उठाता है। यह पूछता है: क्या हम इस "प्रभावी रूप से जीरो-नॉलेज" (जो तार्किक सिद्धांतों पर निर्भर है) को "वास्तविक जीरो-नॉलेज" (जिसका उपयोग वास्तविक दुनिया की सुरक्षा में किया जाता है) में बदल सकते हैं?

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

पेपर सुझाव देता है कि कठिन समस्याओं के अनुक्रम पर भरोसा करने के बजाय, जिन्हें कंस्ट्रक्ट करना मुश्किल हो सकता है, हम कठिनाई पैदा करने के लिए इन "जनरेटर्स" का उपयोग कर सकते हैं। शर्त यह है कि प्रूवर और वेरिफायर को उस रैंडम स्ट्रिंग को साझा करने की आवश्यकता है। इसके बिना, सिस्टम पूरी तरह से सुरक्षित नहीं हो सकता है। लेकिन इसके साथ, पेपर एक तरीका बताता है जिससे "प्रभावी रूप से जीरो-नॉलेज" की अवधारणा को वास्तविक दुनिया में काम करने लायक बनाया जा सके, जिससे एक सैद्धांतिक तार्किक पहेली को एक व्यावहारिक गोपनीयता कवच में बदला जा सके।

संक्षेप में, पेपर केवल यह नहीं कहता कि "यह काम करता है"; यह एक तार्किक सेतु बनाता है जो दिखाता है कि यह क्यों काम करता है, बशर्ते हम यह स्वीकार करें कि कुछ समस्याएँ वास्तव में इतनी कठिन हैं कि कंप्यूटर उन्हें तेज़ी से नहीं तोड़ सकते। यह एक जटिल क्रिप्टोग्राफिक विचार को तर्क, छाया और उन चीजों की शक्ति की कहानी में बदल देता है जिन्हें सिद्ध करना कठिन है।