ZK (zero-knowledge) क्या है
नोट: यह दस्तावेज़ मूल अंग्रेजी संस्करण का स्वचालित अनुवाद है।
ZK (zero-knowledge) क्या है
Zero-knowledge प्रूफ़ (ZK प्रूफ़) एक क्रिप्टोग्राफ़िक तकनीक है जो एक पक्ष (प्रूवर) को दूसरे पक्ष (वेरिफ़ायर) को यह विश्वास दिलाने की अनुमति देती है कि कोई कथन सत्य है — कथन की सत्यता के अलावा कोई भी जानकारी उजागर किए बिना। ब्लॉकचेन में ZK प्रूफ़ का उपयोग तीन मुख्य उद्देश्यों के लिए होता है: गोपनीयता (लेनदेन के विवरण छिपाते हुए उनकी वैधता साबित करना), स्केलिंग (कई लेनदेनों को एक ही प्रूफ़ में संपीड़ित करना जिसे ऑन-चेन सत्यापित किया जाता है), और सत्यापनीय गणना (यह साबित करना कि ऑफ-चेन गणना सही ढंग से की गई)।
संक्षेप में: ZK प्रूफ़ से आप यह साबित कर सकते हैं कि कुछ सत्य है, बिना यह दिखाए कि कैसे या क्यों। क्रिप्टो में वे निजी लेनदेन, स्केलेबल रोलअप और सत्यापनीय AI इन्फ़रेंस संभव बनाते हैं — प्रूवर पर भरोसे की आवश्यकता के बिना।
मूल विचार
अवधारणा प्रति-सहज है: आप यह कैसे साबित कर सकते हैं कि आप कुछ जानते हैं, उसे उजागर किए बिना? एक क्लासिक उपमा मदद करती है।
एक गुफा की कल्पना करें जिसमें दो रास्ते (बायाँ और दायाँ) हैं जो पीछे एक बंद दरवाज़े पर मिलते हैं। आप दावा करते हैं कि आपको दरवाज़े का पासवर्ड पता है। पासवर्ड उजागर किए बिना यह साबित करने के लिए वेरिफ़ायर गुफा के प्रवेश द्वार पर खड़ा होता है, और आप किसी यादृच्छिक रास्ते से अंदर जाते हैं। फिर वेरिफ़ायर पुकारकर बताता है कि वह आपको किस रास्ते से बाहर आते देखना चाहता है। यदि आपको पासवर्ड पता है, तो आप हमेशा माँगे गए रास्ते से निकल सकते हैं — ज़रूरत पड़ने पर दरवाज़े से गुज़रकर। यदि आपको पासवर्ड नहीं पता, तो आप केवल उसी रास्ते से निकल सकते हैं जिससे अंदर गए थे। कई दौरों के बाद वेरिफ़ायर को विश्वास हो जाता है कि आपको पासवर्ड पता है, फिर भी वह कभी नहीं जान पाता कि पासवर्ड क्या है।
ZK प्रूफ़ इस अंतर्ज्ञान को गणितीय रूप से औपचारिक बनाते हैं। वे तीन गुण संतुष्ट करते हैं:
- पूर्णता (Completeness)। यदि कथन सत्य है और दोनों पक्ष प्रोटोकॉल का पालन करते हैं, तो वेरिफ़ायर आश्वस्त हो जाएगा।
- सुदृढ़ता (Soundness)। यदि कथन असत्य है, तो कोई भी धोखेबाज़ प्रूवर वेरिफ़ायर को आश्वस्त नहीं कर सकता (नगण्य संभावना को छोड़कर)।
- Zero-knowledge। वेरिफ़ायर कथन के सत्य होने के तथ्य के अलावा कुछ नहीं सीखता।
ZK प्रूफ़ कैसे काम करते हैं (सरलीकृत)
ZK प्रूफ़ प्रणाली में ये चरण शामिल हैं:
- कथन का सूत्रीकरण। साबित किए जाने वाले दावे को गणितीय कथन के रूप में व्यक्त किया जाता है — आम तौर पर सर्किट (अंकगणितीय संचालनों की शृंखला) या बहुपद समीकरणों के सेट के रूप में।
- विटनेस। प्रूवर के पास निजी जानकारी ("विटनेस") होती है जो कथन को सत्य बनाती है। उदाहरण के लिए, विटनेस किसी गणना के वे इनपुट हो सकते हैं जो ज्ञात आउटपुट उत्पन्न करते हैं।
- प्रूफ़ जनरेशन। प्रूवर विटनेस और कथन का उपयोग करके प्रूफ़ बनाता है — एक सघन गणितीय वस्तु। यह प्रूवर के लिए गणनात्मक रूप से महँगा है।
- प्रूफ़ सत्यापन। वेरिफ़ायर कथन के विरुद्ध प्रूफ़ की जाँच करता है। सत्यापन तेज़ है और उसे विटनेस की आवश्यकता नहीं। यदि प्रूफ़ वैध है, तो वेरिफ़ायर विटनेस जाने बिना कथन की सत्यता के प्रति आश्वस्त हो जाता है।
प्रूफ़ आम तौर पर विटनेस से बहुत छोटा होता है, और सत्यापन गणना को दोबारा चलाने से बहुत सस्ता है। यही असममिति ZK प्रूफ़ को ब्लॉकचेन स्केलिंग और सत्यापन के लिए उपयोगी बनाती है।
zk-SNARKs और zk-STARKs
ब्लॉकचेन क्षेत्र में ZK प्रूफ़ प्रणालियों के दो प्रमुख परिवार हावी हैं:
zk-SNARKs
Succinct Non-interactive Arguments of Knowledge। SNARK बहुत छोटे प्रूफ़ (कुछ सौ बाइट) बनाते हैं, जिनका सत्यापन सस्ता है। वे "गैर-संवादात्मक" हैं — प्रूवर वेरिफ़ायर से आगे-पीछे संवाद किए बिना एक ही चरण में प्रूफ़ बनाता है। अधिकांश SNARK निर्माणों को trusted setup चाहिए — एक बार होने वाला समारोह जो सार्वजनिक पैरामीटर उत्पन्न करता है। यदि सेटअप से समझौता हो जाए, तो सुदृढ़ता की गारंटी टूट जाती है। आधुनिक SNARK (जैसे PLONK और उसके वेरिएंट) सार्वभौमिक trusted setup का उपयोग करते हैं जो किसी भी सर्किट के लिए काम करता है, जिससे यह चिंता घटती है लेकिन खत्म नहीं होती।
zk-STARKs
Scalable Transparent Arguments of Knowledge। STARK को trusted setup की आवश्यकता नहीं — वे "पारदर्शी" हैं। वे पोस्ट-क्वांटम सुरक्षा भी देते हैं (क्वांटम कंप्यूटरों के हमलों के प्रति प्रतिरोधी)। समझौता यह है कि STARK प्रूफ़ SNARK प्रूफ़ से बड़े होते हैं और सत्यापन कुछ अधिक महँगा है। STARK बड़ी गणनाओं के लिए विशेष रूप से उपयुक्त हैं क्योंकि उनका प्रूवर समय गणना के आकार के साथ लगभग-रैखिक रूप से बढ़ता है।
तुलना
| गुण | zk-SNARKs | zk-STARKs |
|---|---|---|
| प्रूफ़ आकार | छोटा (सैकड़ों बाइट) | बड़ा (दसियों से सैकड़ों किलोबाइट) |
| सत्यापन लागत | कम | मध्यम |
| Trusted setup | आवश्यक (अधिकांश निर्माण) | आवश्यक नहीं (पारदर्शी) |
| पोस्ट-क्वांटम सुरक्षा | नहीं (अधिकांश निर्माण) | हाँ |
| प्रूवर लागत | मध्यम | अधिक, लेकिन बड़े सर्किटों के लिए बेहतर स्केल करती है |
व्यवहार में कई प्रोजेक्ट अपने छोटे प्रूफ़ आकार और कम सत्यापन लागत के कारण SNARK-आधारित प्रणालियों का उपयोग करते हैं, जबकि जहाँ पारदर्शिता और पोस्ट-क्वांटम सुरक्षा प्राथमिकताएँ हैं, वहाँ STARK अपनाए जा रहे हैं।
ब्लॉकचेन में ZK: प्रमुख अनुप्रयोग
गोपनीयता
ZK प्रूफ़ सार्वजनिक ब्लॉकचेनों पर निजी लेनदेन संभव बनाते हैं। उपयोगकर्ता प्रेषक, प्राप्तकर्ता या राशि उजागर किए बिना साबित कर सकता है कि उसका लेनदेन वैध है (सही बैलेंस, कोई डबल-स्पेंडिंग नहीं)। गोपनीयता-केंद्रित प्रोटोकॉल इसका उपयोग अन्यथा पारदर्शी चेनों पर गोपनीय स्थानांतरण बनाने के लिए करते हैं।
स्केलिंग (zk-rollups)
ZK-rollup Layer 2 स्केलिंग समाधान हैं जो लेनदेन को ऑफ-चेन निष्पादित करते हैं, उन्हें बैच करते हैं, और ZK प्रूफ़ बनाते हैं कि पूरा बैच सही ढंग से संसाधित हुआ। आधार परत (Layer 1) पर केवल प्रूफ़ और स्थिति परिवर्तनों का सारांश पोस्ट किया जाता है। L1 स्मार्ट कॉन्ट्रैक्ट प्रूफ़ सत्यापित करता है और स्थिति अपडेट स्वीकार करता है। इससे हज़ारों लेनदेन एक ही प्रूफ़ सत्यापन में संपीड़ित हो जाते हैं, जिससे आधार परत की सुरक्षा विरासत में पाते हुए थ्रूपुट नाटकीय रूप से बढ़ता है। प्रमुख zk-rollup कार्यान्वयनों में zkSync, StarkNet, Polygon zkEVM, Scroll और Linea शामिल हैं।
Layer 2 स्केलिंग पर और जानकारी के लिए देखें L2।
सत्यापनीय गणना और zkML
ZK प्रूफ़ सत्यापित कर सकते हैं कि कोई भी गणना सही ढंग से की गई। यह AI तक विस्तारित होता है: zkML ZK प्रूफ़ का उपयोग यह सत्यापित करने के लिए करता है कि किसी मशीन लर्निंग मॉडल ने किसी विशिष्ट इनपुट से विशिष्ट आउटपुट उत्पन्न किया — मॉडल के वेट या इनपुट डेटा उजागर किए बिना। स्मार्ट कॉन्ट्रैक्ट ऑन-चेन प्रूफ़ सत्यापित कर सकता है, जिससे यह भरोसारहित (trustless) गारंटी बनती है कि AI इन्फ़रेंस सही ढंग से की गई।
zkML क्रिप्टो AI में ZK के सबसे तकनीकी रूप से महत्वाकांक्षी अनुप्रयोगों में से एक है। यह सही इन्फ़रेंस की गणितीय (भरोसारहित) गारंटी देता है, लेकिन प्रूफ़ जनरेशन की गणनात्मक लागत के कारण फ़िलहाल छोटे मॉडलों तक सीमित है।
क्रिप्टो AI के लिए ZK क्यों महत्वपूर्ण है
ZK प्रूफ़ विकेंद्रीकृत AI की दो महत्वपूर्ण आवश्यकताओं को संबोधित करते हैं:
- सत्यापनीय AI। जब AI इन्फ़रेंस अविश्वसनीय तृतीय-पक्ष हार्डवेयर पर चलता है, तो ZK प्रूफ़ गणना दोबारा चलाए बिना गारंटी दे सकते हैं कि परिणाम सही है। यह उन ऑन-चेन एप्लिकेशनों के लिए अनिवार्य है जहाँ AI आउटपुट स्मार्ट कॉन्ट्रैक्ट क्रियाएँ ट्रिगर करते हैं।
- गोपनीयता। ZK प्रूफ़ ऐसी AI गणनाएँ संभव बनाते हैं जहाँ मॉडल, इनपुट या दोनों निजी रहते हैं। उपयोगकर्ता AI-जनित परिणाम पा सकता है, बिना कंप्यूट प्रदाता के क्वेरी देखे, और मॉडल मालिक वेट उजागर किए बिना साबित कर सकता है कि उसका मॉडल इस्तेमाल हुआ।
DecAIHub मूल्यांकन फ़्रेमवर्क में ZK-आधारित सत्यापन वास्तविक ऑन-चेन AI एकीकरण का संकेतक है — यह ऑफ-चेन AI गणना और ऑन-चेन स्थिति के बीच गणितीय रूप से सत्यापनीय संबंध बनाता है।
DecAIHub प्रोजेक्ट कार्ड में यह कहाँ दिखता है
ZK-संबंधित विशेषताएँ कई जगहों पर सामने आती हैं:
- AI component — "zkML inference," "ZK-verified computation," या "zero-knowledge proof of inference" जैसे मान ZK-आधारित AI सत्यापन का संकेत देते हैं।
- Category — AI के लिए ZK का उपयोग करने वाले प्रोजेक्ट AI/Inference या AI/Compute श्रेणियों में सत्यापन तंत्र के रूप में ZK के साथ दिख सकते हैं।
- Evidence तालिका — ZK के लिए Tier-1 साक्ष्यों में तैनात वेरिफ़ायर कॉन्ट्रैक्ट, प्रकाशित प्रूफ़ बेंचमार्क, सर्किट कार्यान्वयन और ऑन-चेन सत्यापन लेनदेन शामिल हैं।
- ऑन-चेन आर्टिफ़ैक्ट — ऑन-चेन मौजूद ZK वेरिफ़ायर कॉन्ट्रैक्ट वास्तविक ZK एकीकरण का ठोस साक्ष्य हैं, जो Onchain necessity आयाम में योगदान देता है।
ZK क्या साबित नहीं करता
- ZK साबित करता है कि गणना सही ढंग से चली — यह साबित नहीं करता कि गणना उपयोगी है, मॉडल अच्छा है या डेटा सटीक है। सत्यापित कचरा फिर भी कचरा है।
- ZK यह साबित नहीं करता कि टोकन आवश्यक है। ZK प्रूफ़ ब्लॉकचेन के बिना भी काम करते हैं; सत्यापन को ऑन-चेन रखने का निर्णय वास्तुशिल्पीय विकल्प है।
- ZK विकेंद्रीकरण साबित नहीं करता। केंद्रीकृत प्रदाता अपनी गणनाओं के लिए स्वयं ZK प्रूफ़ बना सकता है।
- ZK यह साबित नहीं करता कि मॉडल वही है जो बताया गया है, जब तक मॉडल कमिटमेंट (वेट का हैश) सार्वजनिक रूप से एंकर न हो और प्रूफ़ उस कमिटमेंट से बँधा न हो।
- व्हाइटपेपर में ZK का उल्लेख करने वाले प्रोजेक्ट का मतलब यह नहीं कि ZK लागू हो चुका है। साक्ष्य के रूप में तैनात वेरिफ़ायर कॉन्ट्रैक्ट, प्रूफ़ बेंचमार्क और सर्किट कोड देखें।
भ्रमित न हों
- गोपनीयता — गोपनीयता व्यापक लक्ष्य है। ZK उसे हासिल करने का एक उपकरण है। अन्य गोपनीयता तंत्रों में TEE, MPC और होमोमॉर्फ़िक एन्क्रिप्शन शामिल हैं।
- TEE (Trusted Execution Environment) — TEE हार्डवेयर-आधारित गोपनीयता देता है। ZK गणितीय प्रूफ़ देता है। दोनों का उपयोग सत्यापनीय AI के लिए हो सकता है, अलग-अलग भरोसा धारणाओं और प्रदर्शन समझौतों के साथ।
- zkML — ZK प्रूफ़ का मशीन लर्निंग इन्फ़रेंस पर विशिष्ट अनुप्रयोग। ZK सामान्य क्रिप्टोग्राफ़िक तकनीक है; zkML विशिष्ट उपयोग-मामला है।
- एन्क्रिप्शन — एन्क्रिप्शन डेटा छिपाता है। ZK प्रूफ़ डेटा को उजागर किए बिना उसके बारे में कथन साबित करते हैं। ये अलग-अलग संचालन हैं: एन्क्रिप्शन डेटा को अपठनीय रूप में बदलता है, जबकि ZK प्रूफ़ डेटा को उजागर किए बिना उसके बारे में गणितीय साक्ष्य बनाते हैं।
- ऑप्टिमिस्टिक सत्यापन — परिणामों को सही मानता है और केवल चुनौती दिए जाने पर फ़्रॉड प्रूफ़ का उपयोग करता है। ZK पहले से सक्रिय रूप से सत्यता साबित करता है। ये पूरक दृष्टिकोण हैं जो अलग-अलग L2 डिज़ाइनों (ऑप्टिमिस्टिक रोलअप बनाम zk-rollup) में उपयोग होते हैं।
अक्सर पूछे जाने वाले प्रश्न
zk-SNARKs और zk-STARKs में क्या अंतर है?
दोनों zero-knowledge प्रूफ़ प्रणालियों के परिवार हैं, लेकिन मुख्य गुणों में भिन्न हैं। zk-SNARK छोटे प्रूफ़ बनाते हैं और सत्यापन लागत कम रखते हैं, लेकिन आम तौर पर trusted setup चाहिए — सिस्टम पैरामीटर बनाने का एक बार होने वाला समारोह। zk-STARK को trusted setup की आवश्यकता नहीं (वे पारदर्शी हैं) और वे पोस्ट-क्वांटम सुरक्षा देते हैं, लेकिन उनके प्रूफ़ बड़े और सत्यापन में महँगे होते हैं। चुनाव अनुप्रयोग पर निर्भर करता है: जब प्रूफ़ आकार और सत्यापन लागत महत्वपूर्ण हों (जैसे ऑन-चेन सत्यापन) तो SNARK पसंद किए जाते हैं, जबकि पारदर्शिता और दीर्घकालिक सुरक्षा प्राथमिकता हों तो STARK।
ब्लॉकचेन स्केलिंग के लिए ZK प्रूफ़ का उपयोग कैसे होता है?
ZK-rollup बैचों में लेनदेन को ऑफ-चेन निष्पादित करते हैं, फिर एक ही ZK प्रूफ़ बनाते हैं कि पूरा बैच सही ढंग से संसाधित हुआ। यह प्रूफ़ स्थिति परिवर्तनों के संपीड़ित सारांश के साथ Layer 1 ब्लॉकचेन पर जमा किया जाता है। L1 स्मार्ट कॉन्ट्रैक्ट प्रूफ़ सत्यापित करता है — जो सभी लेनदेन दोबारा निष्पादित करने से बहुत सस्ता है — और स्थिति अपडेट स्वीकार करता है। इससे L1 एक प्रूफ़ सत्यापित करके हज़ारों लेनदेनों का प्रभाव संसाधित कर सकता है, जिससे थ्रूपुट नाटकीय रूप से बढ़ता है।
ZK और AI के बीच क्या संबंध है?
ZK प्रूफ़ सत्यापित कर सकते हैं कि AI मॉडल की इन्फ़रेंस सही ढंग से की गई, बिना मॉडल या इनपुट डेटा उजागर किए। यह अनुप्रयोग, जिसे zkML कहते हैं, ऑन-चेन भरोसारहित AI सत्यापन संभव बनाता है: स्मार्ट कॉन्ट्रैक्ट पुष्टि कर सकता है कि किसी विशिष्ट मॉडल ने विशिष्ट आउटपुट दिया। फ़िलहाल zkML केवल छोटे मॉडलों के लिए व्यावहारिक है, क्योंकि मॉडल संचालनों को ZK सर्किटों में बदलने और प्रूफ़ बनाने की गणनात्मक लागत बहुत ऊँची है। प्रूफ़ प्रणालियों के सुधरने के साथ सत्यापनीय AI मॉडलों की सीमा बढ़ेगी।
क्या ZK प्रूफ़ गणनात्मक रूप से महँगे हैं?
प्रूफ़ जनरेशन महँगा है — अंतर्निहित गणना से काफ़ी अधिक। किसी गणना के लिए ZK प्रूफ़ बनाना गणना को सीधे चलाने से दस से हज़ार गुना अधिक समय ले सकता है। हालांकि, प्रूफ़ का सत्यापन सस्ता और तेज़ है। यह असममिति जानबूझकर है: प्रूवर भारी काम एक बार करता है, और कितने भी वेरिफ़ायर परिणाम कुशलता से जाँच सकते हैं। ब्लॉकचेन अनुप्रयोगों के लिए इसका अर्थ है कि महँगा प्रूफ़ जनरेशन ऑफ-चेन होता है, जबकि सस्ता सत्यापन ऑन-चेन।
बाहरी संदर्भ
- Ethereum.org — Zero-knowledge proofs — ZK प्रूफ़ की अवधारणाओं, प्रकारों और Ethereum में उनके अनुप्रयोगों का व्यापक परिचय।
- ZKProof Standards — zero-knowledge प्रूफ़ शब्दावली, फ़्रेमवर्क और सुरक्षा परिभाषाओं के मानकीकरण का समुदाय-चालित प्रयास।
- Vitalik Buterin — An incomplete guide to rollups — Ethereum सह-संस्थापक द्वारा ऑप्टिमिस्टिक और ZK रोलअप की बुनियादी तुलना।
No comments to display
No comments to display