paint-brush
ट्रेड इट लाइक इट इज़ हॉट: ए रिव्यू ऑफ़ पॉपुलर ZK प्रोजेक्ट्स एंड द जीरो-नॉलेज प्रूफ टेक्नोलॉजीद्वारा@sin7y
2,206 रीडिंग
2,206 रीडिंग

ट्रेड इट लाइक इट इज़ हॉट: ए रिव्यू ऑफ़ पॉपुलर ZK प्रोजेक्ट्स एंड द जीरो-नॉलेज प्रूफ टेक्नोलॉजी

द्वारा Sin7Y2022/05/05
Read on Terminal Reader
Read this story w/o Javascript

बहुत लंबा; पढ़ने के लिए

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

People Mentioned

Mention Thumbnail
Mention Thumbnail

Companies Mentioned

Mention Thumbnail
Mention Thumbnail

Coins Mentioned

Mention Thumbnail
Mention Thumbnail
featured image - ट्रेड इट लाइक इट इज़ हॉट: ए रिव्यू ऑफ़ पॉपुलर ZK प्रोजेक्ट्स एंड द जीरो-नॉलेज प्रूफ टेक्नोलॉजी
Sin7Y HackerNoon profile picture


क्रिप्टोक्यूरेंसी समुदाय में गोपनीयता को हमेशा सबसे मूल्यवान विशेषताओं में से एक माना गया है क्योंकि अधिकांश क्रिप्टो-परिसंपत्ति धारक नहीं चाहते हैं कि उनकी संपत्ति और लेनदेन रिकॉर्ड पूरी तरह से प्रकट हों।


गोपनीयता प्रदान करने वाली विभिन्न एन्क्रिप्शन तकनीकों में, शून्य-ज्ञान प्रमाण सबसे महत्वपूर्ण तकनीकों में से एक है।


क्रिप्टोग्राफी के पेशेवर ज्ञान के बारे में बात करने के बजाय, हम शून्य-ज्ञान प्रमाण के सिद्धांत की व्याख्या करेंगे, जो पाठकों को शून्य-ज्ञान प्रमाण प्रणाली और इसकी वर्तमान विकास स्थिति की मोटे तौर पर समीक्षा करने में मदद कर सकता है।

1 शून्य-ज्ञान प्रमाण प्रौद्योगिकी का विकास

1.1 शून्य-ज्ञान प्रमाण की अवधारणा

जीरो-नॉलेज प्रूफ (ZKP) आधुनिक क्रिप्टोग्राफी का एक महत्वपूर्ण हिस्सा है।


यह कहावत की क्षमता को संदर्भित करता है कि सत्यापनकर्ता को यह समझाने के लिए कि बाद में कोई उपयोगी जानकारी प्रदान किए बिना एक धारणा सही है।


ज़ीरो-नॉलेज प्रूफ अनिवार्य रूप से एक प्रोटोकॉल है जिसमें दो या दो से अधिक पक्ष शामिल होते हैं, जो एक कार्य को पूरा करने के लिए दो या दो से अधिक पार्टियों द्वारा उठाए जाने वाले कदमों की एक श्रृंखला है।


प्रोवर सत्यापनकर्ता को साबित करता है और सत्यापनकर्ता को यह विश्वास दिलाता है कि वह एक निश्चित संदेश जानता है या उसका मालिक है, लेकिन साबित संदेश के बारे में कोई भी जानकारी सत्यापन प्रक्रिया में सत्यापनकर्ता को प्रकट नहीं की जा सकती है।


आम आदमी के शब्दों में, वह न केवल साबित करता है कि वह क्या साबित करना चाहता है बल्कि उसी समय सत्यापनकर्ता को "शून्य" जानकारी भी प्रकट करता है।


शून्य-ज्ञान प्रमाण में ही एक अपेक्षाकृत जटिल क्रिप्टोग्राफ़िक एल्गोरिथम शामिल है। इसलिए, शून्य-ज्ञान प्रमाण सिद्धांत को सभी के लिए स्पष्ट और अनुकूल बनाने के लिए, हम [पंडों को ढूंढना] का एक उदाहरण देते हैं:


लोगों का एक समूह इस तस्वीर में पांडा की तलाश कर रहा है, और व्यक्ति ए सबसे पहले यह पता लगाता है कि पांडा कहां है, लेकिन इसका जवाब जनता के लिए तुरंत उपलब्ध नहीं हो सकता क्योंकि यह दूसरों के लिए खराब खेल अनुभव लाएगा।


क्या यह साबित करने का कोई तरीका है कि ए जानता है कि पांडा कहां है, बिना किसी और को जवाब दिए?


फिर, A को श्वेत पत्र का एक बड़ा टुकड़ा मिलता है और वह बेतरतीब ढंग से कागज को पांडा के चित्र पर रखता है।


फिर, A केवल पांडा को बेनकाब करने के लिए श्वेत पत्र में एक छोटा सा छेद करता है।


इस तरह, पांडा के स्थान को महत्वपूर्ण जानकारी के रूप में संरक्षित किया जाता है, लेकिन ए अभी भी साबित कर सकता है कि उसने दूसरों को महत्वपूर्ण जानकारी बताए बिना पांडा को ढूंढ लिया है। यह शून्य-ज्ञान प्रमाण है।


शून्य-ज्ञान प्रमाण की सत्यापन विधि पूर्णता और विश्वसनीयता पर जोर देती है।


पूर्णता सिद्धांत का अर्थ है कि नीतिवचन एक सही कथन को स्वीकार करने के लिए नीतिवचन को राजी कर सकता है; विश्वसनीयता सिद्धांत का अर्थ है कि कहावत सत्यापनकर्ता को गलत कथन स्वीकार करने के लिए राजी नहीं कर सकती है।


लेकिन वास्तव में, विश्वसनीयता अभी भी संभाव्य है। हम बस इतना ही कह सकते हैं कि कहावत के धोखा देने की संभावना बेहद कम है।


क्योंकि ज़ीरो-नॉलेज प्रूफ की विश्वसनीयता दो कारकों पर निर्भर करती है: एक है प्रूफ की कठिनाई, और दूसरी है इंटरेक्शन डिग्री।


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

1.2 शून्य-ज्ञान प्रमाण सिद्धांत का विकास

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


इंटरेक्टिव प्रूफ के लिए सत्यापनकर्ता को अपने "ज्ञान" के बारे में लगातार प्रश्नों की एक श्रृंखला पूछने की आवश्यकता होती है।


प्रश्नों की एक श्रृंखला का उत्तर देकर, कहावत सत्यापनकर्ता को आश्वस्त करती है कि वह "ज्ञान" जानता है।


जितने अधिक प्रश्न बनाए जाते हैं, उतनी ही अधिक बातचीत होती है। हालाँकि, इस तरह की विधि लोगों को यह विश्वास नहीं दिला सकती है कि नीतिवचन और सत्यापनकर्ता दोनों ईमानदार हैं क्योंकि दोनों पहले से टकरा सकते हैं ताकि उत्तर को जाने बिना भी कहावत को सत्यापित किया जा सके।


अगले दस वर्षों में, कई दिग्गज क्रिप्टोग्राफरों ने ज़ीरो-नॉलेज प्रूफ सिस्टम के विकास में महत्वपूर्ण योगदान दिया है।


उदाहरण के लिए, एम। ब्लम, पी। फेल्डमैन, और एस। मिकाली ने बताया है कि "इंटरैक्शन" और "हिडन रैंडमनेस" आवश्यक नहीं हैं, और फिर उन्होंने सामान्य संदर्भ के आधार पर एक [गैर-इंटरैक्टिव ज़ीरो-नॉलेज प्रूफ सिस्टम] प्रस्तावित किया। सीआरएस (कॉमन रेफरेंस स्ट्रिंग) मॉडल।


गैर-संवादात्मक प्रमाण का अर्थ है कि कहावत को सत्यापनकर्ता के साथ बातचीत करने की आवश्यकता नहीं है, सामान्य संदर्भों के एक सेट को सिस्टम में अग्रिम रूप से सेट करने की आवश्यकता है, और लेनदेन का निर्माण और सत्यापन शून्य-ज्ञान प्रमाण के सामान्य संदर्भों के साथ किया जाता है।


कहने का तात्पर्य यह है कि कहावत और सत्यापनकर्ता के बीच मिलीभगत की संभावना से बचते हुए, कहावत स्वतंत्र रूप से प्रमाण उत्पन्न कर सकती है।


2010 में, जेन्स ग्रोथ ने एक्सपोनेंट अनुमान के ज्ञान का प्रस्ताव रखा, जो उस समय विवादास्पद था। इसने सीआरएस में कुछ गुप्त यादृच्छिक मूल्यों को छिपाकर प्रूफ की लंबाई को एक स्थिर स्तर तक छोटा कर दिया है।


इस प्रक्रिया को समझा जा सकता है क्योंकि इसने एक रहस्य बनाया है कि केवल सिस्टम "जानता है", और जो कोई भी इस सामान्य संदर्भ को उत्पन्न करना जानता है वह सबूत बना सकता है। यह प्रक्रिया [विश्वसनीय सेटिंग्स प्रारंभ करें] है।


यह समाधान, प्रूफ़ की लंबाई को बहुत कम करते हुए, कुछ सुरक्षा जोखिमों का भी परिचय देता है क्योंकि जो कोई भी इस सामान्य संदर्भ को उत्पन्न करना जानता है, वह प्रूफ़ बना सकता है।


हालांकि, इस समाधान ने अगले दशक में शून्य-ज्ञान प्रमाण प्रौद्योगिकी की सबसे महत्वपूर्ण शाखा स्थापित की है। शून्य-ज्ञान प्रमाण सिद्धांत के निरंतर विकास के साथ, क्रिप्टोग्राफरों ने इंजीनियरिंग दिशा में गहन शोध करना शुरू कर दिया है।


2013 में, रोसारियो गेनारो, क्रेग जेंट्री, और अन्य ने 2010 में जेन्स ग्रोथ के काम के आधार पर एक अधिक अनुकूलित सुधार समाधान बनाया, जिसने प्रूफ़ समय को बहुत कम कर दिया और प्रूफ की लंबाई को एक छोटे स्थिरांक तक कम कर दिया।


इसके बाद, पारनो और अन्य ने इस आधार पर पिनोचियो नामक एक सत्यापन योग्य कंप्यूटिंग प्रोटोकॉल लागू किया है और इसे अनुकूलित और सुधारना जारी रखा है।


2014 में, क्रिप्टो प्राइवेसी कॉइन ZeroCash सामने आया। एली बेन-सैसन, एलेसेंड्रो चिएसा और अन्य ने पिनोचियो प्रोटोकॉल में थोड़ा सुधार किया है, जो ब्लॉकचेन क्षेत्र में ज़ीरो-नॉलेज प्रूफ तकनीक का पहला सफल कार्यान्वयन था।


ज़ीरोकैश ज़कैश का पूर्ववर्ती है, और ज़कैश टीम ने ज़ीरो-नॉलेज प्रूफ इंजीनियरिंग में भी बहुत योगदान दिया है।

1.3 शून्य-ज्ञान प्रमाण की विकास स्थिति

ज़ीरो-नॉलेज प्रूफ टेक्नोलॉजी और ज़कैश के संयोजन ने ब्लॉकचेन क्षेत्र में इसकी महत्वपूर्ण भूमिका पर ध्यान आकर्षित किया है, और यह ज़ीरो-नॉलेज प्रूफ तकनीक के लिए सिद्धांत से आवेदन तक कदम रखने के लिए एक महत्वपूर्ण अभ्यास भी है।


वर्तमान में, शून्य-ज्ञान प्रमाण के लिए मुख्य रूप से निम्नलिखित समाधान हैं। प्रत्येक समाधान विभिन्न शून्य-ज्ञान प्रमाण प्रथाओं का प्रतिनिधित्व करता है, जो मुख्य रूप से सुरक्षा, प्रमाण आकार, कंप्यूटिंग गति और सत्यापन गति के संदर्भ में विभिन्न प्रभाव भी उत्पन्न करेगा।


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


** सबसे छोटा प्रूफ आकार SNARK समाधान में ग्रोथ16 एल्गोरिथम है। PLONK, SNARK समाधानों में से एक, में मध्यम सुरक्षा और प्रूफ आकार है। आजकल, zk-STARK और zk-SNARK सबसे व्यापक रूप से उपयोग किए जाते हैं।

1.3.1 zk-Snark

SNARK ज्ञान के संक्षिप्त गैर-संवादात्मक तर्क के लिए संक्षिप्त है।


**इस समाधान की विशेषताएं सरल हैं। यही है, सत्यापन प्रक्रिया में बड़ी मात्रा में डेटा ट्रांसमिशन शामिल नहीं है और सत्यापन एल्गोरिथ्म सरल है, जिसका अर्थ है कि सत्यापन समय ऑपरेशन थ्रूपुट के साथ तेजी से नहीं बढ़ता है।


दूसरे, गैर-संवादात्मक ज्ञान प्रदर्शन, प्रोवर से सत्यापनकर्ता तक एकल रेखीय जानकारी का एक टुकड़ा है, जो संपूर्ण सत्यापन प्रक्रिया को और अधिक कुशल बनाता है।


**वर्तमान में, ग्रोथ16 सबसे तेज सत्यापन गति और सबसे छोटे डेटा आकार के साथ zk-SNARK है, और Zcash इसका पहला व्यापक रूप से फैला हुआ कार्यान्वयन है। ग्रोथ16 पिनोच्चियो प्रोटोकॉल का एक और परिशोधन है, जो थोड़ा मजबूत सुरक्षा मान्यताओं के साथ प्रूफ आकार को लगभग आधा कर देता है।


हालांकि, ग्रोथ16 समाधान के सबसे विवादास्पद पहलुओं में से एक है [विश्वसनीय सेटिंग्स प्रारंभ करें], क्योंकि सीआरएस में छिपे हुए यादृच्छिक मान आमतौर पर एक छोटे समूह द्वारा निर्धारित किए जाते हैं, इसलिए विश्वास के मुद्दे हो सकते हैं।


इसके अलावा, सैद्धांतिक रूप से, यदि प्रोवर के पास पर्याप्त कंप्यूटिंग क्षमता है, तो वह झूठे प्रमाण प्रस्तुत कर सकता है, इस प्रकार पूरे सिस्टम की सुरक्षा को प्रभावित करता है। इसलिए क्वांटम कंप्यूटर को ऐसे एल्गोरिदम के लिए खतरा माना जाता है।


इसलिए, [विश्वसनीय सेटिंग्स प्रारंभ करें] भी बहुत ही मुख्य समस्या है जिसे अन्य शून्य-ज्ञान प्रमाण प्रौद्योगिकियां दूर करने का प्रयास करती हैं। PLONK एल्गोरिथम एक विश्वसनीय सेटिंग को लक्षित करने वाला एक शोधन भी है, और हम ग्रोथ16 और PLONK के बीच के अंतर पर बाद में और अधिक विस्तार से चर्चा करेंगे।


इस समस्या को हल करने के लिए, स्टैनफोर्ड क्रिप्टोग्राफर बेनेडिक्ट बंज़ और अन्य ने बुलेटप्रूफ तकनीक का प्रस्ताव रखा। पिछले zk-SNARK की तुलना में, बुलेटप्रूफ के लिए विश्वसनीय सेटिंग्स को प्रारंभ करने की कोई आवश्यकता नहीं है, लेकिन बहुत छोटे प्रूफ आकार के साथ STARK की तुलना में गणना और सत्यापन में अधिक समय लगता है। एक बार प्रस्तावित होने के बाद, इस समाधान को मोनेरो प्रोजेक्ट द्वारा अपनाया गया था।

1.3.2 zk- स्टार्क

ज्ञान के स्केलेबल पारदर्शी तर्क के लिए स्टार्क छोटा है। इसे SNARK के स्थानापन्न संस्करण के रूप में स्थापित किया गया था। SNARK के "Succinct" से भिन्न, STARK का यहाँ "स्केलेबल" है, मुख्य रूप से यह सुझाव देता है कि STARK की प्रूफ जनरेशन टाइम जटिलता कंप्यूटिंग जटिलता के करीब है, जबकि वेरिफाई प्रूफ टाइम जटिलता उससे बहुत छोटी है। यानी, STARK की मापनीयता में वृद्धि के साथ, STARK की प्रूफ जटिलता बनी रहती है।


अधिक महत्वपूर्ण यह है कि STARK को विश्वसनीय सेटिंग्स को प्रारंभ करने की आवश्यकता नहीं है क्योंकि यह हैश फ़ंक्शन टकरावों के माध्यम से अधिक सुव्यवस्थित सममित एन्क्रिप्शन पर निर्भर करता है, जिसे STARK का [पारदर्शी] भाग माना जा सकता है।


SANRK की तुलना में STARK का तीसरा शोधन पोस्टक्वांटम कंप्यूटिंग है, जिसका अर्थ है कि इसे क्वांटम कंप्यूटिंग द्वारा क्रैक नहीं किया जा सकता है। बेशक, शोधन हमेशा बलिदान के साथ आते हैं।


STARK SNARK की तुलना में अधिक जटिल है, प्रूफ का आकार 288 बाइट्स से बढ़ाकर कई सौ KB कर देता है, और Ethereum पर उच्च सत्यापन शुल्क लेता है।


1.3.3 विश्वसनीय सेटिंग का शून्य-ज्ञान प्रमाण समाधान

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


एक विश्वसनीय सेटिंग जीरो-नॉलेज प्रूफ सिस्टम की सुरक्षा को काफी हद तक सामान्य संदर्भ पीढ़ी की सुरक्षा के लिए जिम्मेदार ठहराया जा सकता है। विकेंद्रीकरण के लक्ष्य के साथ असंगत होते हुए एक विश्वसनीय तरीके से केंद्रीकरण पीढ़ी को महसूस करना संभव है।


अब तक, विश्वसनीय सेटिंग्स में उपयोग की जाने वाली प्राथमिकता सुरक्षित मल्टी-पार्टी कंप्यूटिंग (एमपीसी) है।


एमपीसी समाधान यह सुनिश्चित करने का प्रयास करता है कि कोई भी पक्ष इन मापदंडों की अंतर्निहित गणितीय संरचना का ज्ञान उत्पन्न या प्राप्त नहीं कर सकता है।


यह इस बात को महसूस करता है कि पीढ़ी की प्रक्रिया को जितना संभव हो उतने स्वतंत्र प्रतिभागियों के बीच साझा किया जाना चाहिए, केवल कुछ (या यहां तक कि एक) को यह सुनिश्चित करने के लिए ईमानदारी से कार्य करने की आवश्यकता है कि सेटिंग सुरक्षित है। MPC का उपयोग करते समय, जितने अधिक प्रतिभागी, उतने ही अधिक सुरक्षित .


Zk-SNARK विश्वसनीय सेटिंग्स के लिए एक शून्य-ज्ञान प्रमाण समाधान है, लेकिन इसमें विभिन्न एल्गोरिदम विकसित हुए हैं। Groth16 और PLONK सबसे व्यापक रूप से उपयोग की जाने वाली विश्वसनीय सेटिंग्स ज़ीरो-नॉलेज प्रूफ समाधान हैं। उनके बीच का अंतर है:


ग्रोथ 16 सबसे तेज सत्यापन गति और सबसे छोटे डेटा आकार के साथ है , लेकिन क्योंकि ग्रोथ 16 की गुप्त गणना विशिष्ट मुद्दों से जुड़ी है, इसलिए हर बार एक अलग समस्या के अनुसार एमपीसी विश्वसनीय सेटिंग्स को रीसेट करना आवश्यक है।


कई-पार्टी प्रतिभागियों की आवश्यकता वाले कंप्यूटिंग प्रोटोकॉल अक्सर बोझिल होते हैं, जो ग्रोथ16 के प्रदर्शन को प्रभावित कर सकते हैं।


PLONK पांच गुना तेज प्रूफ टाइम के साथ सोनिक का परिष्कृत संस्करण है। सोनिक एक अद्यतन योग्य वैश्विक सीआरएस समाधान है। यहां "अपडेट करने योग्य" का अर्थ है कि विश्वसनीय सेटिंग्स को किसी भी समय अपडेट किया जा सकता है जब तक कि किसी रहस्य से छेड़छाड़ होने का संदेह हो।


और यहां "ग्लोबल" का अर्थ है कि कंप्यूटिंग प्रक्रिया अब सीआरएस के साथ बाध्य नहीं है, और एक एप्लिकेशन को केवल अलग-अलग ज़ीरो-नॉलेज प्रूफ सर्किट कंप्यूटिंग का एहसास करने के लिए विश्वसनीय पूर्व-सेटिंग को पूरा करने की आवश्यकता है।


अर्थात्, विश्वसनीय सेटिंग को केवल एक बार सेट करने की आवश्यकता होती है, न कि अद्यतनों को छोड़कर, विभिन्न मुद्दों के लिए हर बार एक नया एमपीसी रखने की आवश्यकता होती है। ग्रोथ16 और प्लॉन्क के प्रदर्शन की तुलना नीचे दी गई है:


PLONK एल्गोरिथम प्रोटोकॉल लैब्स के एक शोधकर्ता गैबिजोन और एज़्टेक प्रोटोकॉल के दो शोधकर्ताओं, एथेरियम के लिए एक निजी लेनदेन प्रोटोकॉल के बीच एक सहयोग है।


ग्रोथ16 की तुलना में बाद में प्रस्तावित, PLONK प्रूफ साइज और वेरिफिकेशन स्पीड में पीछे रह जाता है। हालाँकि, PLONK एल्गोरिथ्म एक अद्यतन योग्य विश्वसनीय सेटिंग की सुविधा के आधार पर शून्य-ज्ञान प्रमाण के क्षेत्र में एक स्थान रखता है।

2 शून्य-ज्ञान प्रमाण प्रौद्योगिकी अनुप्रयोग

ज़ीरो-नॉलेज प्रूफ तकनीक की दो महत्वपूर्ण विशेषताएं ब्लॉकचेन क्षेत्र में इसके अनुप्रयोग के मुख्य कारक हैं:


  1. जीरो-नॉलेज प्रूफ डेटा की गोपनीयता की रक्षा कर सकता है और डेटा जानकारी लीक किए बिना इसे साबित कर सकता है।


  2. ज़ीरो-नॉलेज प्रूफ केवल थोड़ी मात्रा में प्रूफ बनाकर बड़ी मात्रा में डेटा साबित कर सकता है, जो डेटा की मात्रा को कम करने और प्रदर्शन में सुधार करने में एक बड़ी भूमिका निभा सकता है।


इसलिए, शून्य-ज्ञान प्रमाण की दो दिशाएँ हैं:


2.1 गोपनीयता सुरक्षा

ब्लॉकचैन में गोपनीयता सुरक्षा हमेशा एक अत्यंत महत्वपूर्ण अवधारणा रही है, जो एक वितरित नेटवर्क में लेनदेन और प्रतिभागियों की सुरक्षा करने की क्षमता का प्रतिनिधित्व करती है।


हालांकि ब्लॉकचेन ने हमेशा गुमनामी की वकालत की है, प्रतिभागियों को अधिकांश लेनदेन में अपने वास्तविक नामों का उपयोग करने की आवश्यकता नहीं है, जबकि वे अभी भी बार-बार सार्वजनिक कुंजी हैश मूल्यों का उपयोग लेनदेन पहचानकर्ता के रूप में व्यापारियों की पहचान करने के लिए कर सकते हैं।


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


ज़ीरो-नॉलेज प्रूफ तकनीक बिना किसी जानकारी का खुलासा किए और लेन-देन की जानकारी की पूरी गुमनामी का एहसास किए बिना सबूत जमा करके लेनदेन की वैधता की पुष्टि कर सकती है।


विकास की अवधि के दौरान गोपनीयता के मुद्दों को एन्क्रिप्शन पर जोर देते हुए, कई डेवलपर्स ने खुद को गोपनीयता सार्वजनिक श्रृंखला की खोज के लिए समर्पित किया। ज़ीरो-नॉलेज प्रूफ की गोपनीयता सुरक्षा और डेटा संपीड़न क्षमता सार्वजनिक श्रृंखला घटक प्रौद्योगिकी बनने के मुख्य कारण हैं।


इस समय के दौरान, Zcash और Monero जैसी परियोजनाओं ने असामान्य रूप से शानदार परिणाम प्राप्त किए।

Zcash को एक उदाहरण के रूप में लेते हुए, Zcash ने सबसे पहले Pinocchio प्रोटोकॉल को अपनाया और 2019 में Groth16 प्रूफ सिस्टम पर स्विच किया।


Zcash वॉलेट पते को छिपे हुए पते और पारदर्शी पते में विभाजित किया गया है। पारदर्शी पते के बीच लेनदेन बिटकॉइन (बीटीसी) लेनदेन से अलग नहीं हैं: प्रेषक, रिसीवर और लेनदेन राशि सार्वजनिक रूप से दिखाई दे रही है; छिपे हुए पतों के बीच लेन-देन सार्वजनिक ब्लॉकचेन पर भी दिखाई देंगे, लेकिन पता, धन की राशि और लेन-देन के टिप्पणी क्षेत्र एन्क्रिप्ट किए गए हैं, और zk-SNARK नेटवर्क सर्वसम्मति नियमों के तहत लेनदेन की प्रभावशीलता को साबित करेगा; इसके अलावा, छिपे हुए पते और पारदर्शी पते के बीच भी लेनदेन किया जा सकता है।


लेन-देन गोपनीयता की रक्षा करते हुए Zcash ऑडिट और पर्यवेक्षण के अनुकूल है। छिपे हुए पते के लेन-देन के प्रेषक और प्राप्तकर्ता गवाहों, अनुपालन, या ऑडिट की जरूरतों को पूरा करने के लिए तीसरे पक्ष को लेनदेन के विवरण का खुलासा कर सकते हैं।

2.2 मापनीयता

"असंभव त्रिभुज" एथेरियम जैसे एल 1 ब्लॉकचेन द्वारा सामना की जाने वाली एक शाश्वत समस्या है। विभिन्न श्रृंखलाएं हमेशा विकेंद्रीकरण, सुरक्षा और मापनीयता के बीच संतुलन पाती हैं।


एथेरियम विकेंद्रीकरण और सुरक्षा पर अधिक ध्यान केंद्रित करता है, इसलिए इसे मापनीयता की सीमा का सामना करना पड़ता है। एथेरियम पर उच्च गैस शुल्क और लंबे लेनदेन की पुष्टि के समय ने उपयोगकर्ताओं के अनुभव को बहुत प्रभावित किया है।


इसलिए, इसकी मुख्य विकास टीम और समुदाय विभिन्न मापनीयता समाधान तलाश रहे हैं।


ब्लॉकचेन को स्केल करने के दो तरीके हैं:


  1. L1 ब्लॉकचेन को ही स्केल करने के लिए, विधियों में ब्लॉक का आकार बढ़ाना या शार्डिंग शामिल है। यही है, ब्लॉकचेन नेटवर्क में नोड्स को कई अपेक्षाकृत स्वतंत्र शार्क में विभाजित किया गया है।


    एकल शार्क का प्रसंस्करण पैमाना छोटा होता है, और यहां तक कि नेटवर्क स्थिति का केवल एक हिस्सा संग्रहीत किया जाता है। लेकिन, सिद्धांत रूप में, समानांतर में कई शार्क प्रसंस्करण लेनदेन की स्थिति के तहत पूरे नेटवर्क के थ्रूपुट में सुधार किया जाएगा। हालांकि, इस तरह के दृष्टिकोण से विकेंद्रीकरण का त्याग होगा;


  2. L1 नेटवर्क पर लेन-देन को L2 में स्थानांतरित करें, जो लेन-देन एकत्र करता है और फिर उन्हें निपटान के लिए L1 नेटवर्क पर भेजता है। इस तरह, लेनदेन का प्रत्येक बैच प्रत्येक लेनदेन के लिए गैस शुल्क का भुगतान करने के बजाय गैस शुल्क का भुगतान करता है।


    इसलिए, सभी लेनदेन गैस शुल्क लागत को समान रूप से साझा करते हैं, प्रत्येक लेनदेन की लागत को प्रभावी ढंग से कम करते हैं। इस तरह, L1 L2 पर सभी निष्पादित लेनदेन के लिए निपटान परत बन जाता है। L2 स्केलिंग समाधान विकेंद्रीकरण और सुरक्षा का त्याग किए बिना L1 की स्केलेबिलिटी समस्या को हल कर सकता है।


बेशक, L2 स्केलिंग समाधान ने राज्य चैनल से प्लाज्मा और फिर रोलअप तक के विकास का अनुभव किया है। वर्तमान में, **रोलअप सबसे मुख्यधारा और संभावित L2 है।


रोलअप का तात्पर्य पहले जटिल ऑफ-चेन कंप्यूटिंग और राज्य रखरखाव करना है, फिर राज्य परिवर्तन से संबंधित डेटा के लिए ऑन-चेन बचत करना, इसे सस्ते कॉलडाटा का उपयोग करके अनुबंध के माध्यम से कॉल करने के तरीके में, जिसके द्वारा बड़ी संख्या को सारांशित और पैकेजिंग करना एक लेन-देन में लेन-देन, और अंत में [डेटा उपलब्धता] सुनिश्चित करने के आधार पर टीपीएस में सुधार।


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


श्रृंखला पर कंप्यूटिंग की मात्रा को कम करने के अलावा, शून्य-ज्ञान प्रमाण की भूमिका निभाने वाले पहलुओं में से एक डेटा की शुद्धता सुनिश्चित करने में निहित है।


ZK रोलअप समाधान 2018 की दूसरी छमाही में उत्पन्न हुआ। इस समाधान की कुंजी ZK है। ZK रोलअप समाधान के प्रत्येक राज्य परिवर्तन के लिए मुख्य श्रृंखला पर अनुबंध द्वारा शून्य-ज्ञान प्रमाण प्रदान करने और सत्यापित करने की आवश्यकता है।


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


बेशक, अन्य रोलअप समाधान भी हैं, जैसे कि ऑप्टिमिस्टिक रोलअप, जिसे 2019 की दूसरी छमाही में बनाया गया था। इसे प्रत्येक राज्य परिवर्तन के लिए सख्त सत्यापन की आवश्यकता नहीं है।


यह पहले आशावादी रूप से मानता है कि परिवर्तन का हर समय सही है, और फिर एक निश्चित समय सीमा के भीतर बदलाव को चुनौती देता है। यदि परिवर्तन को सफलतापूर्वक चुनौती दी जाती है, तो यह साबित हो जाएगा कि पिछले सबमिशन में कोई समस्या है, और जमाकर्ता को दंडित किया जा रहा है और राज्य को वापस ले लिया जा रहा है।


अर्थात्, आशावादी रोलअप का राज्य परिवर्तन आर्थिक प्रोत्साहनों और खेलों पर निर्भर करता है।


ZK रोलअप की प्रमुख समस्या यह है कि प्रोग्राम योग्यता को महसूस करना मुश्किल है, लेकिन ZkSync की वर्चुअल मशीन और उससे संबंधित डिज़ाइन प्रोग्राम योग्यता को लागू कर सकते हैं; आशावादी रोलअप की सबसे अधिक समस्या यह प्रतीत होती है कि जब फंड लेयर 2 से वापस आते हैं, तो चुनौती अवधि के कारण देरी होती है, लेकिन बिचौलिए अग्रिम भुगतान सेवाएं प्रदान करने के लिए उपलब्ध होते हैं।


इसलिए, आशावादी रोलअप समाधान का कार्यान्वयन तेज़ है।

दोनों के बीच प्रदर्शन तुलना निम्न आकृति में दिखाई गई है:


आशावादी रोलअप की तुलना में, ZK रोलअप समाधान में बहुत उच्च तकनीकी जटिलता है और इसके लिए बहुत अधिक कंप्यूटिंग की आवश्यकता होती है। इसके अलावा, इसके लेन-देन में देरी लंबी हो जाएगी और कंप्यूटिंग लागत अधिक होगी।


हालांकि, प्रत्येक लेनदेन की लागत कम है, और सत्यापन लागत कंप्यूटिंग लागत से काफी कम है। ऐसी सादगी स्केलिंग के लिए स्थितियां प्रदान करती है।


I2beat.com के नवीनतम आंकड़ों के अनुसार, लेयर 2 सॉल्यूशन द्वारा लॉक किया गया एसेट स्केल लगभग US$6.7 बिलियन है। उनमें से, ऑप्टिमिस्टिक रोलअप का लेयर 2 स्केलिंग समाधान आर्बिट्रम और ऑप्टिमिज्म द्वारा प्रस्तावित किया गया था और इसे पहली बार बाजार में पेश किया गया था।


वर्तमान में, यह परत 2 समाधान का आधा हिस्सा है। ज़ीरो-नॉलेज प्रूफ सॉल्यूशन द्वारा लॉक किया गया एसेट स्केल केवल यूएस $ 1.7 बिलियन है क्योंकि इसमें तकनीकी कार्यान्वयन में अधिक कठिनाई होती है और इसके पारिस्थितिक अनुप्रयोगों के निर्माण को लागू नहीं किया गया है।


शून्य-ज्ञान प्रमाण समाधान की 3 सितारा परियोजनाएं

शुरुआती ज़ीरो-नॉलेज प्रूफ प्रोजेक्ट्स में, हालांकि Zcash और Monero ने गोपनीयता सुरक्षा में अच्छा काम किया, लेकिन उनका उपयोग केवल मूल्य भंडारण के साधन के रूप में किया जा सकता है और अन्य अनुप्रयोगों के साथ सहयोग करना मुश्किल है।


कई डेवलपर्स के प्रयासों से, वे ज़ीरो-नॉलेज प्रूफ तकनीक की अधिक क्षमता का पता लगाने के लिए ज़ीरो-नॉलेज प्रूफ को स्मार्ट कॉन्ट्रैक्ट्स के साथ संयोजित करने का प्रयास कर रहे हैं।


वर्तमान अनुप्रयोगों को मोटे तौर पर निम्नलिखित तीन श्रेणियों में विभाजित किया जा सकता है। इस खंड में, हम कुछ बहुत ही आशाजनक ज़ीरो-नॉलेज प्रूफ प्रोजेक्ट पेश करेंगे, जिनमें से अधिकांश ने अभी तक टोकन जारी नहीं किए हैं।


3.1 मिन

एक बार कोडा प्रोटोकॉल नामक एक नाम के साथ, मीना की स्थापना 2017 में हुई थी। इसकी विकास टीम ओ (1) लैब्स है, जो अब विश्व स्तरीय क्रिप्टोग्राफर, इंजीनियरों, पीएचडी और उद्यमियों से बना है।


मीना एक हल्के ब्लॉकचेन के निर्माण पर ध्यान केंद्रित करती है। एथेरियम और बिटकॉइन (बीटीसी) की तुलना में, जिसमें अक्सर सैकड़ों जीबी ब्लॉक स्पेस होता है, मीना के ब्लॉक का आकार 22 केबी पर बनाए रखा जाएगा, जो अधिकांश लोगों को भाग लेने में सक्षम बनाता है और खुद के लिए नोड बनने के लिए उपलब्ध हो सकता है।


कम थ्रेशोल्ड नोड परिनियोजन सभी प्रकार के उपयोगकर्ताओं तक पहुंचना आसान बनाता है। उपयोगकर्ताओं को नोड्स और परिनियोजन नोड्स तक पहुंचना आसान है, जो नेटवर्क को और अधिक वितरित करेगा और तदनुसार सुरक्षा में सुधार करेगा।


निरंतर ब्लॉक आकार प्राप्त करने के लिए मीना की क्षमता का मूल [रिकर्सिव ज़ीरो-नॉलेज प्रूफ] का उपयोग है, अर्थात, प्रत्येक ब्लॉक पीढ़ी में, ब्लॉक को zk-SNARK तकनीक का उपयोग करके एकल प्रूफ में संपीड़ित किया जाता है, और प्रत्येक नया SNARK प्रूफ पिछले SNARK सबूत शामिल हैं।


नोड को केवल प्रमाण को सत्यापित करने की आवश्यकता होती है, इसलिए उसे पूरे लेनदेन इतिहास का पता लगाने की आवश्यकता नहीं होती है।


लेकिन यह केवल पहला कदम है। ब्लॉकचेन की एक विशेषता यह है कि प्रत्येक ब्लॉक को पिछले ब्लॉक को संदर्भित करने की आवश्यकता होती है क्योंकि यदि प्रत्येक ब्लॉक के लिए केवल एक SNARK प्रमाण उत्पन्न होता है, तो इसकी समग्र क्षमता रैखिक रूप से बढ़ जाएगी।


इसलिए, मीना SNARK के लिए SNARK (यानी, रिकर्सन) बनाएगी, और फिर उन्हें लगातार दोहराएगी और घोंसला बनाएगी। ये SNARK प्रूफ लगभग 22 KB के निरंतर आकार को बनाए रखने के लिए एक पुनरावर्ती संरचना में एक साथ जुड़े हुए हैं।


इसके अलावा, मीना ने जीरो-नॉलेज प्रूफ के आधार पर डेटा गोपनीयता की रक्षा के लिए एक पारिस्थितिकी तंत्र स्थापित किया है। इसका पारिस्थितिक अनुप्रयोग Snapps (वर्तमान में इसका नाम बदलकर zkApps) कर सकता है, कुछ परिदृश्यों के लिए विशिष्ट व्यावसायिक तर्क को लागू कर सकता है।


यह एक ट्रांसफर ब्रिज के माध्यम से अन्य सार्वजनिक श्रृंखलाओं के साथ सहयोग कर सकता है, इंटरऑपरेबिलिटी को बढ़ा सकता है और पूरे ब्लॉकचेन इकोसिस्टम को पारस्परिक रूप से लाभकारी और जीत-जीत बना सकता है। साथ ही, इसमें हल्के नोड्स हैं, जो वर्तमान में केवल मीना द्वारा इस क्षेत्र में विकसित किए गए हैं।


वित्त पोषण पृष्ठभूमि:


मार्च 2022 में, मीना ने घोषणा की कि उन्होंने FTX वेंचर (LD वेंचर कैपिटल) और थ्री एरो कैपिटल के नेतृत्व में US$92 मिलियन का रणनीतिक वित्तपोषण दौर पूरा कर लिया है।


विश्व स्तर के डेवलपर्स को आकर्षित करके वेब 3 के भीतर मीना एप्लिकेशन को अग्रणी शून्य-ज्ञान प्रूफ प्लेटफॉर्म के रूप में तेज करने के लिए पूंजी का उपयोग किया जाएगा।


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

3.2 ZkSync

दिसंबर 2019 में स्थापित मैटर लैब्स टीम द्वारा स्थापित प्रोजेक्ट zkSync का उद्देश्य एथेरियम का विस्तार करना है। zkSync 1.0 Ethereum पर एक ZK रोलअप (शून्य-ज्ञान प्रमाण) L2 स्केलिंग समाधान है, जो मुख्य रूप से भुगतान पर ध्यान केंद्रित करता है, और जून 2020 में Ethereum मुख्य नेट पर लॉन्च किया गया।


शुरुआत में zkSync द्वारा उपयोग किया गया SNARK एल्गोरिथम ग्रोथ 16 है, जिसके साथ, न केवल एक विश्वसनीय सेटिंग की आवश्यकता होती है (जैसे कि zkSync के निर्माण की शुरुआत में), लेकिन zkSync पर प्रत्येक नए एप्लिकेशन अपग्रेड के लिए एक विश्वसनीय सेटिंग की आवश्यकता होती है।


यह zkSync 1.0 के लिए EVM-संगत वातावरण बनाने में भी बाधा उत्पन्न करता है, इसलिए zkSync 1.0 भुगतान अनुप्रयोगों जैसे विशिष्ट अनुप्रयोगों तक सीमित है।


zkSync 2.0 एथेरियम पर स्थापित एक EVM-संगत L2 समाधान है, जिसे zkEVM भी कहा जाता है। यह ईवीएम कोड को पुन: संकलित करता है और रोलअप लेनदेन को सत्यापित करने के लिए शून्य-ज्ञान प्रमाण का उपयोग करता है, जिससे डेवलपर्स को कम गैस और उच्च मापनीयता के साथ L2 वातावरण में विकेन्द्रीकृत अनुप्रयोगों को स्थापित करने और तैनात करने की अनुमति मिलती है।


मई 2021 में, zkSync ने zkEVM के अल्फा संस्करण को जारी किया, उम्मीद है कि मुख्य नेट लॉन्च अगस्त 2021 में पूरा किया जा सकता है। हालांकि, तकनीकी कठिनाइयों के कारण लॉन्च में देरी हुई थी। फरवरी 2022 में, zkSync 2.0 सार्वजनिक परीक्षण नेट लॉन्च किया गया था। zkEVM, Ethereum टेस्ट नेट पर पहला EVM-संगत ZK रोलअप, जारी किया गया है।


वित्त पोषण पृष्ठभूमि:


मार्च 2021 में, मैटर लैब्स ने प्लेसहोल्डर और ड्रैगनफ्लाई की अन्य प्रसिद्ध भागीदारी के साथ यूनियन स्क्वायर वेंचर्स के नेतृत्व में US$6 मिलियन का एक राउंड फाइनेंसिंग पूरा किया।


वित्तपोषण के इस दौर के बारे में और भी अधिक उल्लेखनीय बात यह है कि क्रिप्टोकुरेंसी क्षेत्र में कुछ सबसे प्रसिद्ध कंपनियों और संस्थापकों सहित बड़ी संख्या में पारिस्थितिक भागीदारों की शुरूआत हुई है।


नवंबर 2021 में, मैटर लैब्स ने कई केंद्रीकृत एक्सचेंजों (ब्लॉकचैन डॉट कॉम, क्रिप्टो डॉट कॉम, बायबिट और ओकेएक्स) से अन्य रणनीतिक भागीदारी के साथ ए16जेड के नेतृत्व में वित्तपोषण का एक और यूएस $50 मिलियन बी दौर पूरा किया।


वित्तीय घोषणा के तुरंत बाद, इन एक्सचेंजों ने zkSync के साथ अपने सहयोग की घोषणा की, प्रत्येक एक्सचेंज और L2 के बीच जमा / निकासी का समर्थन किया।

3.3 स्टार्कवेयर

स्टार्कवेयर टीम की स्थापना मई 2018 में हुई थी, जिसके सदस्य विश्व स्तरीय क्रिप्टोग्राफर और वैज्ञानिक हैं। कोर टीम के सदस्य ज़कैश के पूर्व मुख्य वैज्ञानिक हैं, जिन्होंने वर्षों से शून्य-ज्ञान क्षेत्र में अग्रणी और नवाचार किया है।


यह वह टीम है जिसने 2018 में एक अकादमिक पेपर में zk-STARK तकनीक प्रस्तुत की है। और फिर, पेपर के लेखक ने StarkWare बनाया।


StarkWare, zkSync की तरह, ने भी ज़ीरो-नॉलेज प्रूफ स्केलिंग समाधान का उपयोग किया है, जबकि StarkWare STARK-आधारित है। एक समस्या है कि STARK की तकनीक SNARK की तरह परिपक्व नहीं है, और यदि यह ट्यूरिंग को पूरा कर लेती है, तो EVM के साथ संगत होना मुश्किल होगा।


StarkWare ने STARK द्वारा समर्थित स्वायत्त कार्यक्रमों को चलाने के लिए एक विशिष्ट प्रोग्रामिंग भाषा, काहिरा बनाया है, और StarkWare टीम अब एक ट्रांसकोडर Warp बना रही है, साथ में नीदरलैंड की टीम, जो सॉलिडिटी स्मार्ट कॉन्ट्रैक्ट्स को काहिरा में बदल देगी ताकि इसे EVM के साथ संगत बनाया जा सके। .


StarkWare ने StarEx को लॉन्च किया है, जिससे काहिरा और STARK द्वारा समर्थित एप्लिकेशन-विशिष्ट ZK रोलअप के निर्माण की अनुमति मिलती है। तीन मुख्य अनुप्रयोग dydx, अपरिवर्तनीय, और, Deversifi, StarkEx द्वारा समर्थित हैं। अब तक, इन अनुप्रयोगों के माध्यम से, StarkEx ने 250 बिलियन अमेरिकी डॉलर से अधिक मूल्य के साथ 5 मिलियन से अधिक लेनदेन संसाधित किए हैं।


29 नवंबर, 2021 को, उन्होंने स्टार्कनेट मुख्य नेट का अल्फा संस्करण जारी किया। StarkNet एक ZK रोलअप L2 एप्लिकेशन नेटवर्क है जो अपने पारिस्थितिकी तंत्र को विकसित कर रहा है।


वित्त पोषण पृष्ठभूमि:


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

3.4 एज़्टेक

एज़्टेक टीम 2018 में स्थापित की गई थी, जिसके सदस्य विश्व स्तरीय विश्वविद्यालयों से पीएचडी हैं, और कुछ मजबूत तकनीकी क्षमता वाले पूर्व Zcash शोधकर्ता हैं। स्व-विकसित PLONK एल्गोरिथम को क्षेत्र में कई परियोजनाओं द्वारा अपनाया गया है।


एथेरियम स्केलेबिलिटी मुद्दे के बारे में, एज़्टेक ने ZK रोलअप तकनीक का भी उपयोग किया है। प्रोजेक्ट की स्थापना से लेकर एज़्टेक 2.0 के लॉन्च तक, टीम PLONK एल्गोरिथम पर गहन शोध कर रही है।


शोध अवधि के दौरान, उन्होंने प्लॉनकप जैसे शून्य-ज्ञान प्रमाण एल्गोरिदम जारी किए हैं। विटालिक ब्यूटिरिन उनकी उत्कृष्ट अनुसंधान और विकास क्षमताओं की अत्यधिक प्रशंसा करता है।


एज़्टेक नेटवर्क के दो मुख्य कार्य हैं। एक उपयोगकर्ताओं की अंतःक्रियात्मक गोपनीयता की रक्षा करना है, और दूसरा यह है कि उपयोगकर्ता एज़्टेक द्वारा प्रदान किए गए प्रोग्राम योग्य गोपनीयता अनुबंधों के साथ कुल निजी एप्लिकेशन स्थापित कर सकते हैं।


एज़्टेक 2.0 लॉन्च किया गया है, इसके बाद zk.money निजी हस्तांतरण एप्लिकेशन भी लॉन्च किया गया है, जिसके साथ टोकन भेजना और प्राप्त करना गुमनाम है और एन्क्रिप्टेड लेनदेन को पुनरावर्ती शून्य-ज्ञान प्रमाण के माध्यम से एन्क्रिप्ट किया गया है।


और इसलिए, उपयोगकर्ताओं की गोपनीयता की रक्षा के लिए कोई भी लेनदेन डेटा सार्वजनिक रूप से जारी नहीं किया जाएगा। हालाँकि, वर्तमान में, इसका उपयोग केवल उपयोगकर्ताओं को जमा करने और स्थानांतरित करने के लिए किया जा सकता है। एज़्टेक कनेक्ट, पहले निजी क्रॉस-चेन ब्रिज के रूप में, वर्तमान में टेस्ट नेट पर भी लॉन्च किया गया है।


एज़्टेक परियोजना को अब तक तीन चरणों में विकसित किया गया है:


पहला चरण एज़्टेक 1.0 है, जो एथेरियम पर एक निजी लेनदेन उपकरण है;


दूसरा चरण एज़्टेक 2.0 है, जो एथेरियम पर zk-Rollup के माध्यम से निजी L2 बन गया है, जो एथेरियम में स्केलेबल गोपनीयता लाता है;


वर्तमान प्रकटीकरण के आधार पर, तीसरा चरण एज़्टेक 3.0 होगा, जो नोयर गोपनीयता प्रोग्रामिंग भाषा के माध्यम से एथेरियम पर एल 2 के निजी स्मार्ट अनुबंध को साकार करने के लिए होगा।


हालाँकि, अधिकांश zk-रोलअप L2 परियोजनाओं के सामने चुनौती EVM संगतता समस्याएँ हैं। एज़्टेक नेटवर्क अभी भी ईवीएम के साथ संगत नहीं है, जिससे कई परियोजनाओं के लिए निजी स्मार्ट अनुबंधों के निर्माण की कठिनाई और लागत बढ़ जाएगी। प्रोजेक्ट पार्टी ने यह भी खुलासा किया है कि तकनीकी अनुसंधान के माध्यम से समस्या में सुधार किया जाएगा।


वित्त पोषण पृष्ठभूमि:


नवंबर 2018 में, एज़्टेक ने कंसेन्स लैब्स के नेतृत्व में यूएस $ 2.1 मिलियन सीड राउंड फाइनेंसिंग का आयोजन किया। दिसंबर 2021 में, एज़्टेक ने IOSG और अन्य लोगों की भागीदारी के साथ, पैराडाइम के नेतृत्व में US$17 मिलियन का एक राउंड फाइनेंसिंग पूरा किया, जिसमें एंजेल निवेशक स्टैनी कुलेकफोव, जो एक प्रमुख उधार परियोजना, Aave के संस्थापक हैं, शामिल हैं।


वित्तपोषण के इस दौर का उपयोग ZK प्रणाली के विकास और एज़्टेक कनेक्ट के सुधार को जारी रखने के लिए किया जाएगा। एज़्टेक कनेक्ट के अनुसार, निजी लेनदेन करते समय पुल गैस शुल्क में 100 गुना तक बचा सकता है।

3.5 एलो

अलेओ परियोजना को आधिकारिक तौर पर 2019 में स्थापित किया गया था, और इसके सदस्य विश्व स्तरीय क्रिप्टोग्राफर, इंजीनियर, डिजाइनर और Google, अमेज़ॅन और फेसबुक जैसी कंपनियों के संचालक हैं, साथ ही साथ यूसी बर्कले, जॉन्स हॉपकिन्स, एनवाईयू जैसे अनुसंधान विश्वविद्यालय भी हैं। और कॉर्नेल।


एलेओ ने पहचान और लेनदेन को ढालने के लिए zkCloud सिस्टम का निर्माण किया है, और परिरक्षित पहचान एक दूसरे के साथ सीधे (जैसे एसेट ट्रांसफर) या प्रोग्रामेटिक रूप से (स्मार्ट कॉन्ट्रैक्ट्स के माध्यम से) इंटरैक्ट कर सकती है।


विशिष्ट सार्वजनिक ब्लॉकचेन में, कार्यक्रम को प्रत्येक नेटवर्क नोड द्वारा संचालित वैश्विक "वर्चुअल मशीन" (वीएम) में ऑन-चेन निष्पादित किया जाता है। इसलिए, नेटवर्क पर प्रत्येक नोड को दिए गए प्रोग्राम के प्रत्येक चरण की पुनर्गणना (और सामूहिक रूप से अनुमोदन) करना चाहिए, जो अक्षम है, गति को कम करता है, और उपयोगकर्ताओं के लिए लागत बढ़ाता है।


zkCloud ने ब्लॉकचैन (ऑन-चेन + ऑफ-चेन) के राज्य रखरखाव से चल रहे एप्लिकेशन को रिकर्सिव ज़ीरो-नॉलेज प्रूफ के साथ जोड़कर इन सीमाओं को हल किया है, जिससे एलेओ को पूर्ण प्रोग्राम योग्यता और गोपनीयता, साथ ही उच्च लेनदेन को लागू करने में सक्षम बनाता है। थ्रूपुट


अलियो ने एक प्रोग्रामिंग भाषा लियो का निर्माण किया है, जो ज़ीरो-नॉलेज प्रूफ एप्लिकेशन डेवलपर्स के लिए अधिक अनुकूल है, जिससे उन्हें एक बेहतर वातावरण मिलता है। लियो एक सांख्यिकीय रूप से टाइप की गई प्रोग्रामिंग भाषा है जो रस्ट से प्रेरित है, जिसे विशेष रूप से निजी एप्लिकेशन लिखने के लिए बनाया गया है।


डेवलपर के अनुकूल वातावरण के अलावा, अलियो ने एक डेवलपर प्रोत्साहन योजना भी शुरू की है और एलेओ के प्रारंभिक पारिस्थितिकी तंत्र की मदद करने के लिए परीक्षण शुद्ध प्रोत्साहन का परीक्षण किया है।


वित्त पोषण पृष्ठभूमि:


अप्रैल 2021 में, एलेओ ने प्लेसहोल्डर, गैलेक्सी डिजिटल, वेरिएंट कैपिटल और कॉइनबेस वेंचर्स की भागीदारी के साथ, a16z के नेतृत्व में US$28 मिलियन का एक राउंड फाइनेंसिंग पूरा किया।


फरवरी 2022 में, एलेओ ने घोषणा की कि उन्होंने टाइगर ग्लोबल और सी कैपिटल की भागीदारी के साथ कोरा मैनेजमेंट एलपी और सॉफ्टबैंक विजन फंड 2 के नेतृत्व में, वर्तमान ज़ीरो-नॉलेज प्रूफ ट्रैक में यूएस $ 200 मिलियन बी राउंड फाइनेंसिंग पूरी की, जो कि वर्तमान जीरो-नॉलेज प्रूफ ट्रैक में सबसे बड़ी एकल वित्तपोषण राशि है। .

सारांश

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


साथ ही, ईवीएम के साथ संगतता भी अब एक बड़ी चुनौती है। हालाँकि, वर्तमान शून्य-ज्ञान प्रमाण समाधान अपने तेजी से विकसित होने की अवधि का अनुभव कर रहा है, और zkSync और Starknet जैसी परियोजनाएं भी ब्लॉकचेन विकास के लिए अधिक संभावनाएं लाती हैं।

संदर्भ

  1. "जीरो-नॉलेज प्रूफ टेक्नोलॉजी पर विकास रिपोर्ट," गायरो रिसर्च इंस्टीट्यूट, एंबी लैब


  2. “शून्य-ज्ञान प्रमाण क्या है? ZK लोकप्रियकरण विज्ञान श्रृंखला I", ZK उत्साही


  3. "[पब्लिक ड्यू डिलिजेंस] इन-डेप्थ रिपोर्ट: मीना," फर्स्ट-क्लास वेयरहाउस


  4. "लेयर 2 का विकास और zk-रोलअप का उदय | ZK लोकप्रियकरण विज्ञान श्रृंखला II”, ZK उत्साही


  5. "परत और क्रॉस-चेन विधियों पर एक स्पष्ट दृष्टिकोण," ली हुआ


  6. "[पासवर्ड कॉलम] सुपर एडवांस्ड: PLONK VS ग्रोथ16 (वॉल्यूम वन)", हाइपरचेन टेक्नोलॉजी


नोट: एलडी रिसर्च द्वारा लिखित, इस लेख का अनुवाद और सिन7वाई लैब्स द्वारा सह-प्रकाशित किया गया था।