ZK को समझना आस्तिक बनना है

यदि आप ब्लॉकचेन तकनीक के लगातार बदलते परिदृश्य पर ध्यान दे रहे हैं, तो आपने देखा होगा कि हाल ही में एक नया शब्द प्रचलन में है: "शून्य-ज्ञान" या "जेडके"।

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

ZK क्या है?

सबसे सरल शब्दों में ZK एक क्रिप्टोग्राफ़िक प्रमाण बनाने के बारे में है कि कुछ डेटा के बारे में एक बयान सच है, वास्तव में डेटा को प्रकट करने की आवश्यकता के बिना। कायदे से इसके लिए चुना गया उदाहरण क्लासिक है:

"मैं इस अनसुलझी सुडोकू पहेली का एक वैध समाधान जानता हूं"

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

सुडोकू पहेलियों के अलावा, इस आदिम के साथ क्या उपयोगी चीजें की जा सकती हैं? ब्लॉकचेन के लिए दो बेहतरीन एप्लिकेशन हैं:

1. गोपनीयता गुप्त जानकारी के बारे में सबूतों को संरक्षित करना
2. मनमाने ढंग से लंबी गणना का संक्षिप्त सत्यापन 

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

ZK पावर #1: गोपनीयता

हम सभी को अच्छे सर्च इंजन पसंद हैं। हम सभी को संगीत, वीडियो, समाचार या यहां तक ​​कि संभावित रोमांटिक साझेदारों के लिए अच्छे वैयक्तिकृत अनुशंसा इंजन पसंद हैं। ऐसे विज्ञापन रखना बेहतर है, जिन्हें खरीदने में किसी की वास्तव में रुचि हो, न कि ऐसा होने की अधिक संभावना हो। विशिष्टता हासिल करने के लिए हम सभी अपने बारे में चीजों को साबित करने में सक्षम होना पसंद करते हैं। ये सभी चीजें आधुनिक इंटरनेट के लिए महत्वपूर्ण हैं और इनका उपयोग करने वाले व्यक्ति के लिए कुछ व्यक्तिगत "ट्यूनिंग" के बिना बिल्कुल असंभव हैं। दुर्भाग्य से, इसका मतलब यह है कि बड़ी कंपनियां इन वैयक्तिकृत इंजनों की सुविधा के लिए हमारे डिजिटल जीवन के हर जागते पल को छिपा लेती हैं और उन्हें हमेशा के लिए सहेज कर रख देती हैं। ZK वह सब बदल देता है। 

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

ZK पावर #2: स्केलेबिलिटी

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

ओह ठीक है, यह एलियो के बारे में है

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

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

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

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

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

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

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

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

यदि आप एलेओ के बारे में और अधिक जानना चाहते हैं, साथ ही अंतिम टेस्टनेट में भाग लेना चाहते हैं, तो यहां जाएं Aleo.org.