वर्तमान में, एथेरियम मेननेट पर कई ZK-रोलअप चल रहे हैं। हालाँकि, विकेंद्रीकृत ZK-Rollups का डिज़ाइन अभी भी अपने शुरुआती चरण में है। हम वर्तमान में विकेंद्रीकृत सीक्वेंसर के मुद्दे पर ध्यान केंद्रित कर रहे हैं, लेकिन ज्यादातर लोग इस तथ्य को नजरअंदाज करते हैं कि वर्तमान में, अधिकांश ZK-रोलअप परियोजनाओं ने विकेंद्रीकृत प्रोवर्स को लागू नहीं किया है।
ZK-Rollups के लिए, एक केंद्रीकृत प्रोवर अभी भी सुरक्षित है और सेंसरशिप के समान मुद्दों को केंद्रीकृत सीक्वेंसर के रूप में नहीं लाता है। हालाँकि, एक केंद्रीकृत कहावत भी कई समस्याओं का कारण बन सकती है। सबसे पहले, यदि केवल एक प्रस्तावक है, तो एक एकल नोड विफलता पूरे ZK-रोलअप को इसकी वैधता प्रमाण प्रस्तुत करने में विफल होने का कारण बन सकती है, इस प्रकार लेनदेन की अंतिमता को प्रभावित करती है।
दूसरा, एक केंद्रीकृत प्रोवर की लागत अधिक है, और यह भविष्य में बड़े पैमाने पर ZK-Rollups की कम्प्यूटेशनल मांग को पूरा करने में असमर्थ है।
अंत में, एक आर्थिक दृष्टिकोण से, एक केंद्रीकृत प्रोवर अकेले मुनाफे के एक हिस्से का आनंद लेता है, जो एक सांकेतिक अर्थशास्त्र के दृष्टिकोण से वास्तव में अनुचित है।
विकेंद्रीकृत प्रवर्तक उपरोक्त समस्याओं को प्रभावी ढंग से हल कर सकते हैं, लेकिन यह कुछ चुनौतियां भी लाता है। यह एक कारण है कि हाल ही में लॉन्च की गई कई zkEVM योजनाओं ने एक केंद्रीकृत प्रोवर योजना को अपनाया है। उदाहरण के लिए, पॉलीगॉन zkEVM का बीटा मेननेट ZKPs सबमिट करने के लिए एक विश्वसनीय एग्रीगेटर पर निर्भर करता है, और zkSync युग इस संबंध में समान है।
तकनीकी दृष्टिकोण से, जब ZK-Rollup का स्मार्ट अनुबंध ZKP की पुष्टि करता है, तो उसे मूल प्रमाण डेटा की आवश्यकता होती है। यह संभावित रूप से विभिन्न ऑन-चेन अटैक व्यवहारों को ट्रिगर कर सकता है। उदाहरण के लिए, जब एक निश्चित प्रोवर गणना किए गए ZKP को श्रृंखला-स्तरीय अनुबंध में जमा करता है, तो उसे L1 लेनदेन भेजने की आवश्यकता होती है। जब यह लेन-देन लेन-देन पूल में प्रसारित होता है, तो हमलावर मूल प्रमाण डेटा देख सकते हैं, और वे लेन-देन भेजने के लिए एक उच्च गैस शुल्क निर्धारित कर सकते हैं, इस प्रकार सबसे पहले एक ब्लॉक में बंडल किया जा सकता है और PoW पुरस्कार अर्जित कर सकता है।
इसके अलावा, चूंकि कम्प्यूटेशनल शक्ति के आधार पर प्रोवर एक दूसरे के साथ प्रतिस्पर्धा करते हैं, कोई विश्वसनीय पहचान पहचान तंत्र नहीं है, और संचार तंत्र स्थापित करना भी मुश्किल है। विभिन्न खनिक डुप्लिकेट कार्य कर सकते हैं, जिसके परिणामस्वरूप व्यर्थ कम्प्यूटेशनल शक्ति होती है।
एक निश्चित अनुक्रम के लिए एक ZKP की गणना करने के बाद, यह पहले (प्रमाण / पता) के हैश की गणना करता है और हैश और पते को चेन-स्तरीय स्मार्ट अनुबंध में जमा करता है। यहाँ, प्रमाण एक निश्चित अनुक्रम के लिए शून्य-ज्ञान प्रमाण है, और पता कहावत का पता है।
यह मानते हुए कि पहला प्रोवर ZKP के हैश को Tth ब्लॉक पर जमा करता है, इसे T+10th ब्लॉक तक बिना किसी सीमा के स्वीकार किया जाता है। T+11वें ब्लॉक से, नए समर्थक अब हैश सबमिट नहीं कर सकते हैं।
T+11वें ब्लॉक के बाद, कोई भी समर्थक ZKP सबमिट कर सकता है। जब तक एक ZKP सत्यापन पास करता है, इसका उपयोग सभी सबमिट किए गए हैश को सत्यापित करने के लिए किया जा सकता है। खनिकों की दाँव पर लगाई गई राशि के अनुपात के आधार पर मान्य साबित करने वाले PoW पुरस्कार प्राप्त करते हैं।
यदि कोई ZKP T+20वें ब्लॉक से पहले सत्यापन पास नहीं करता है, तो हैश सबमिट करने वाले सभी प्रदाताओं को स्लैश कर दिया जाएगा। फिर अनुक्रम को फिर से खोल दिया जाता है, और नए हैश सबमिट किए जा सकते हैं, चरण 1 पर लौट सकते हैं।
यहाँ एक उदाहरण दिया गया है: मान लें कि प्रत्येक ब्लॉक में ऑप्साइड नेटवर्क पर 128 IDE का PoW इनाम है, और वर्तमान में 64 रोलअप स्लॉट उपलब्ध हैं। इसलिए, प्रत्येक रोल-अप अनुक्रम को 2 IDE का PoW इनाम दिया जाता है। यदि तीन खनिक, ए, बी, और सी, उत्तराधिकार में अनुक्रम के लिए सफलतापूर्वक सही ZKP जमा करते हैं, तो तीन खनिकों के खनिक (IDE) क्रमशः 200K, 500K, और 300K हैं। फिर, A, B, और C प्रत्येक क्रमशः 0.4 IDE, 1 IDE और 0.6 IDE का PoW पुरस्कार अर्जित कर सकते हैं।
प्रोवर के दुर्भावनापूर्ण व्यवहार को रोकने के लिए, प्रोवर को एक विशेष सिस्टम अनुबंध के साथ पंजीकरण करने और टोकन की एक निश्चित राशि दांव पर लगाने की आवश्यकता होती है। यदि वर्तमान दांव की राशि सीमा से कम है, तो समर्थक हैश और ZKP जमा नहीं कर सकता है। साबित करने वाले के ZKP को जमा करने के लिए इनाम को दांव की राशि के अनुपात के आधार पर वितरित किया जाएगा, जिससे साबित करने वाले को कई ZKP जमा करने से रोका जा सकेगा।
यदि कहावत करने वाला निम्नलिखित कार्य करता है, तो सजा के विभिन्न स्तरों को लागू किया जाएगा:
ZKP के टू-स्टेप सबमिशन मैकेनिज्म के बारे में अधिक जानकारी और विचारों के लिए, पाठकों को ऑप्साइड आधिकारिक डॉक्स को संदर्भित करने के लिए प्रोत्साहित किया जाता है। प्रोवर की हिस्सेदारी और सजा की विशिष्ट संख्या भविष्य में बदली जा सकती है।
एक से अधिक साबित करने वालों को हैश सबमिट करने की अनुमति क्यों दें? अगर हैश जमा करने वाले केवल पहले प्रस्तावक को पुरस्कृत किया जाता है, तो हो सकता है कि पहले प्रस्तावक द्वारा हैश जमा करने के बाद प्रमाण प्रस्तुत करने के लिए अन्य प्रस्तावकों को प्रोत्साहन न मिले। यदि कोई दुर्भावनापूर्ण हमलावर हैश जमा करने के बाद लंबे समय तक सबूत जमा करने में देरी करता है, तो यह पूरे अनुक्रम के सत्यापन को धीमा कर सकता है। इसलिए, एक ही हमलावर द्वारा ZKP सत्यापन के एकाधिकार से बचने के लिए कई प्रोवर्स को स्वतंत्र रूप से और एक साथ हैश जमा करने की अनुमति देना आवश्यक है।
टाइम विंडो क्यों है? अगर कोई हैश जमा करने के तुरंत बाद सबूत जमा कर सकता है, तो सबूत अभी भी चोरी हो सकता है। हमलावर तुरंत अपने पते से जुड़ा हैश जमा कर सकते हैं और फिर पुरस्कार अर्जित करने के लिए सबूत जमा कर सकते हैं। एक टाइम विंडो सेट करके, हैश सबमिट करने वाले प्रोवर्स के पास विंडो के भीतर सबूत जमा करने के लिए कोई प्रोत्साहन नहीं है, जिससे रेस होने की संभावना से बचा जा सके।
हिस्सेदारी के आधार पर इनाम क्यों आवंटित किया जाता है? एक से अधिक प्रोवर एक ही क्रम के लिए एक टाइम विंडो में हैश सबमिट कर सकते हैं। वास्तव में, खनिक अपने उत्पन्न प्रमाण का उपयोग करके कई हैश जमा कर सकते हैं (केवल कई पतों की आवश्यकता है)। इससे अधिकांश या यहां तक कि सभी पीओडब्ल्यू पुरस्कार खनिकों द्वारा ले लिए जा सकते हैं। इस हमले से बचने के लिए, खनिक की हिस्सेदारी राशि के अनुपात के आधार पर अनुक्रम के लिए इनाम आवंटित किया जाएगा।
इस पोस्ट में प्रस्तावित ZKPs के लिए टू-स्टेप सबमिशन एल्गोरिदम रेस के हमलों से प्रभावी रूप से बचने और स्थिर और निरंतर ZKP कम्प्यूटेशनल शक्ति प्रदान करने के लिए अधिक खनिकों को प्रोत्साहित करते हुए प्रोवर के विकेंद्रीकरण का एहसास करता है। एल्गोरिथ्म का प्रारंभिक संस्करण ऑप्साइड प्री-अल्फा टेस्टनेट पर लॉन्च किया जाएगा।
भविष्य में, ओपसाइड ZKP माइनिंग के क्षेत्र में और भी इनोवेटिव आइडिया पेश करेगा, जैसे: