लेखक: Zooko Wilcox, Jason McGee, और Shielded Labs से Taylor Hornby
सारांश
Shielded Labs, The Zcash Foundation, Tachyon Group, Valar Group, और Zcash Open Development Lab (ZODL) के साथ मिलकर "Ironwood" नामक एक प्रस्ताव पर काम कर रहा है, जिसका उद्देश्य उपयोगकर्ताओं की Zcash की प्रचलन आपूर्ति की सुदृढ़ता को सत्यापित करने की क्षमता को बहाल करना है।
पिछले सप्ताह, Zcash के Orchard पूल में एक गंभीर जालसाजी भेद्यता की खोज की गई थी। इस भेद्यता को ZODL और अन्य पारिस्थितिकी तंत्र प्रतिभागियों द्वारा समन्वित एक आपातकालीन नेटवर्क अपग्रेड के माध्यम से ठीक किया गया था, जो 2 जून को पूरा हुआ।
हालाँकि हमारा मानना है कि इस भेद्यता का दोहन होने की संभावना नहीं थी (हमारे खुलासे में दिए गए कारणों से), Orchard की गोपनीयता विशेषताएँ उपयोगकर्ताओं को इसे स्वयं सत्यापित करने से रोकती हैं।
Ironwood उपयोगकर्ताओं को यह सत्यापित करने की अनुमति देगा कि Zcash की प्रचलन आपूर्ति सही है। उपयोगकर्ता Ironwood के सक्रिय होने पर तुरंत यह क्षमता प्राप्त कर लेंगे, बस सक्रिय पूलों की शेष राशि को जोड़कर। उन्हें Zcash की कुल प्रचलन आपूर्ति की सत्यता सत्यापित करने के लिए दूसरों के प्रोत्साहनों या कार्यों के बारे में तर्क करने की आवश्यकता नहीं होगी, न ही Orchard पूल से प्रवासन की प्रतीक्षा करनी होगी।
Ironwood
Ironwood का उद्देश्य प्रत्येक Zcash उपयोगकर्ता की Zcash की आपूर्ति अखंडता को सत्यापित करने की क्षमता को बहाल करना है। यह सत्यापनीयता जालसाजी भेद्यता के अस्तित्व से बाधित हो गई थी। सक्रियण के तुरंत बाद, उपयोगकर्ता केवल एक नोड चलाकर स्वतंत्र रूप से सत्यापित कर सकेंगे कि Zcash की प्रचलन आपूर्ति सुदृढ़ है।
इसे प्राप्त करने के लिए, Ironwood निम्नलिखित करेगा:
- हाल की जालसाजी भेद्यता को ठीक करने के साथ Orchard सर्किट का उपयोग करके एक नया संरक्षित पूल बनाना।
- पुराने Orchard पूल में कोई नया आउटपुट बनाने वाले किसी भी लेन-देन को अमान्य के रूप में अस्वीकार करना।
- AI-सहायता प्राप्त सुरक्षा ऑडिटिंग और औपचारिक सत्यापन जैसी तकनीकों का उपयोग करके कोडबेस के बारे में आश्वासन बढ़ाना, जिसका उद्देश्य अतिरिक्त जालसाजी बग की अनुपस्थिति सुनिश्चित करना है।
Ironwood क्यों काम करता है
Ironwood Orchard पूल के अंदर क्या हो सकता है, इसे बदलता है।
सक्रियण पर, कोई भी लेन-देन जो Orchard पूल में एक नया आउटपुट बनाता है, अस्वीकार कर दिया जाएगा। इसका मतलब है कि ZEC अब उस पूल के भीतर प्रचलन में नहीं रह सकता है। उस बिंदु से आगे, Orchard पूल में फंड केवल टर्नस्टाइल के माध्यम से पूल से बाहर निकलकर ही आगे बढ़ सकते हैं।
टर्नस्टाइल पूलों के बीच स्थानांतरण के लिए Zcash का ऑन-चेन लेखांकन तंत्र है। वे ट्रैक करते हैं कि प्रत्येक पूल में कितना ZEC प्रवेश किया और बाहर निकला है, और किसी भी लेन-देन को अस्वीकार करते हैं जो वैध रूप से प्रवेश करने वाले ZEC से अधिक बाहर निकालने का प्रयास करता है।
एक साथ, इन नियमों का मतलब है कि उपयोगकर्ताओं को सभी, या यहाँ तक कि किसी भी, Orchard फंड के प्रवासन की प्रतीक्षा करने की आवश्यकता नहीं है। जैसे ही Ironwood सक्रिय होता है, उपयोगकर्ता सर्वसम्मति नियमों से सत्यापित कर सकते हैं कि सही मात्रा से अधिक ZEC प्रचलन में नहीं हो सकता है। यह Zcash प्रचलन आपूर्ति की सुदृढ़ता की तत्काल, विश्वास-रहित गारंटी प्रदान करता है। अतिरिक्त ZEC गुप्त रूप से Orchard पूल के उपयोगकर्ताओं के बीच प्रचलन में नहीं रह सकता है, न ही यह किसी अन्य पूल में बच सकता है।
भेद्यता का दोहन हुआ या नहीं, इसके सबूत उत्पन्न करना
Ironwood इस बात का सबूत भी प्रदान कर सकता है कि Orchard भेद्यता का कभी दोहन हुआ था या नहीं, लेकिन इसके उद्देश्य की प्राप्ति इस बात पर निर्भर नहीं करती है कि ऐसा सबूत सामने आता है या नहीं।
जैसे-जैसे उपयोगकर्ता मौजूदा Orchard पूल से नए पूल में फंड स्थानांतरित करते हैं, किसी भी काल्पनिक जालसाज के सामने एक विकल्प होता है: जाली फंड को स्थानांतरित करने का प्रयास करें और उनके अस्तित्व को उजागर करने का जोखिम उठाएं, या उन्हें पीछे छोड़ दें और भविष्य में उन्हें स्थानांतरित करने में असमर्थ होने का जोखिम उठाएं।
यह दो संभावित परिणाम पैदा करता है:
परिणाम A: कोई भी अतिरिक्त ZEC मौजूदा Orchard पूल को छोड़ने का प्रयास नहीं करता है। यह इस बात का मजबूत सबूत होगा कि भेद्यता का कभी दोहन नहीं हुआ, क्योंकि एक जालसाज के पास वैध उपयोगकर्ताओं द्वारा अपना प्रवासन पूरा करने से पहले जाली फंड को स्थानांतरित करने का एक मजबूत प्रोत्साहन होगा।
परिणाम B: अतिरिक्त ZEC मौजूदा Orchard पूल को छोड़ने का प्रयास करता है। इस मामले में, अतिरिक्त फंड पूल छोड़ने में असमर्थ होंगे और प्रभावी रूप से नष्ट हो जाएंगे। दुर्भाग्य से, सभी पूलों में वर्तमान प्रचलन आपूर्ति को संरक्षित करने के लिए यह आवश्यक है। यह सार्वजनिक रूप से सत्यापन योग्य सबूत भी प्रदान करेगा कि जालसाजी हुई थी। चूंकि हमें लगता है कि भेद्यता का दोहन नहीं हुआ था, हमें लगता है कि यह परिणाम असंभावित है।
वॉलेट
हम अनुशंसा करते हैं कि मौजूदा Orchard पूल का समर्थन करने वाले सभी वॉलेट नए पूल के लिए समर्थन जोड़ें।
वॉलेट को Ironwood सक्रियण तक सामान्य रूप से मौजूदा Orchard पूल का समर्थन जारी रखना चाहिए, और फिर उपयोगकर्ता फंड को मौजूदा Orchard पूल से नए पूल में स्थानांतरित करना चाहिए। जबकि प्रवासन के गोपनीयता निहितार्थ हैं (अर्थात्, यह स्थानांतरित ZEC की राशि और स्थानांतरण होने के समय को उजागर करता है), हमारा मानना है कि उपयोगकर्ता गोपनीयता पर प्रभाव मामूली है और वॉलेट व्यवहार द्वारा इसे और कम किया जा सकता है।
मौजूदा Orchard रिसीवर (अर्थात् पते) वैध बने रहते हैं और उन्हें बदलने की आवश्यकता नहीं होगी। Ironwood सक्रियण से पहले बनाए गए Orchard रिसीवर को भेजा गया ZEC स्वचालित रूप से नए पूल में ZEC के रूप में प्राप्त होगा।
समय
अधिकांश नेटवर्क अपग्रेड की तरह, Ironwood के लिए पारिस्थितिकी तंत्र में विकास, परीक्षण, समीक्षा और समन्वय की आवश्यकता होगी। अनुभव से पता चला है कि यह काम अक्सर अपेक्षा से अधिक समय लेता है, इसलिए हमारा मानना है कि समयसीमा पर चर्चा करते समय रूढ़िवादी होना बेहतर है, बजाय इसके कि अधिक वादा करें और कम दें।
अनिश्चितता का एक अतिरिक्त स्रोत zcashd का चल रहा अप्रचलन है। जबकि Shielded Labs सीधे तौर पर उस प्रयास में शामिल नहीं रहा है, एक्सचेंजों, माइनिंग पूलों, वॉलेट और अन्य बुनियादी ढाँचा प्रदाताओं का Zebra में प्रवासन इस नेटवर्क अपग्रेड के समय को प्रभावित कर सकता है।
हम उम्मीद करते हैं कि जैसे-जैसे कार्यान्वयन योजनाएँ परिपक्व होंगी और चर्चाएँ जारी रहेंगी, हमें समयसीमा की बेहतर समझ होगी।
निष्कर्ष
हम इस बात पर जोर देना चाहते हैं कि हमारा मानना है कि Orchard भेद्यता का पूर्व दोहन असंभावित है। लेकिन उपयोगकर्ताओं को Zcash आपूर्ति की अखंडता के मामले में हमारे आकलन, या किसी और के आकलन पर भरोसा नहीं करना चाहिए।
Ironwood को Zcash की प्रचलन आपूर्ति की एक गारंटी बहाल करने के लिए डिज़ाइन किया गया है जिसे कोई भी स्वयं सत्यापित कर सकता है। चाहे भेद्यता का कभी दोहन हुआ हो या नहीं, लक्ष्य एक ही है: Zcash आपूर्ति की अखंडता को ऐसी चीज़ बनाना जिसे सत्यापित किया जा सके।
हमारा मानना है कि Ironwood आगे बढ़ने का सबसे अच्छा रास्ता है और हम Zcash समुदाय के साथ इस प्रस्ताव पर चर्चा करने के लिए तत्पर हैं।
आभार
समीक्षा और प्रतिक्रिया के लिए Sean Bowe, Dev Ojha, David Campbell, Alex Bornstein, Nate Wilcox, Kris Nuttycombe, Vitalik Buterin, Balaji Srinivasan, और Taylor Hornby, Josh Swihart, और Tatyana को धन्यवाद। विशेष रूप से Kris Nuttycombe को धन्यवाद कि Ironwood अपग्रेड को पुराने Orchard पूल में आउटपुट बनाने वाले लेन-देन को अक्षम करने का सुझाव दिया। यह Ironwood के अपने लक्ष्य को प्राप्त करने के लिए महत्वपूर्ण साबित होता है।
