Zcash फ़ाउंडेशन ने Zebra 4.5.3 और Zebra 5.0.0 को तब जारी किया जब इंजीनियरों ने ऑर्चर्ड एक्शन सर्किट में एक गंभीर साउंडनेस बग का पता लगाया और उसे ठीक किया।

फ़ाउंडेशन ने कहा कि Zebra 4.5.3 ने मेननेट ब्लॉक ऊँचाई 3,363,426 पर एक आपातकालीन सॉफ्ट फ़ोर्क को सक्रिय किया। इस रिलीज़ ने अस्थायी रूप से उन लेन-देन और ब्लॉक को अस्वीकार कर दिया जिनमें ऑर्चर्ड क्रियाएँ थीं, जबकि इंजीनियरों ने एक सही सर्किट तैयार किया।

यह सॉफ्ट फ़ोर्क 2 जून को लगभग 02:00 UTC पर सक्रिय हुआ, जब पहले के समन्वय प्रयास में पैच परिनियोजन (डिप्लॉयमेंट) की समस्याएँ आई थीं। फ़ाउंडेशन ने कहा कि सार्वजनिक प्रकटीकरण से पहले शोषण की संभावना को कम करने के लिए माइनर्स और एक्सचेंजों के साथ निजी समन्वय 31 मई को शुरू हुआ।

NU6.2 शील्डेड लेन-देन को बहाल करता है

Zebra 5.0.0 ने मेननेट ब्लॉक ऊँचाई 3,364,600 पर NU6.2 हार्ड फ़ोर्क को सक्रिय किया। इस अपग्रेड ने एक सही सर्किट के साथ ऑर्चर्ड क्रियाओं को फिर से सक्षम किया और ऑर्चर्ड प्रूफ को एक नई प्रति-सर्किट सत्यापित करने वाली कुंजी (verifying key) पर रूट किया। इस रिलीज़ ने 2016 के बाद से Zcash के इतिहास में दूसरा सुरक्षा-आधारित प्रोटोकॉल अपग्रेड भी चिह्नित किया।

एक हार्ड फ़ोर्क की आवश्यकता थी क्योंकि शून्य-ज्ञान प्रमाण सर्किट फिक्स के लिए एक नई पिन की गई सत्यापित करने वाली कुंजी (verifying key) की आवश्यकता होती है। 

Zcash फ़ाउंडेशन ने कहा, "हम सभी नोड ऑपरेटरों से आग्रह करते हैं कि वे जितनी जल्दी हो सके Zebra 5.0.0 पर अपग्रेड करें।"

कोई ज्ञात शोषण नहीं मिला

इस बग को 29 मई को स्वतंत्र सुरक्षा शोधकर्ता टेलर हॉर्नबी ने शील्डेड लैब्स के लिए एक प्रोटोकॉल ऑडिट के दौरान खोजा था। ZODL इंजीनियरों डेरा-एम्मा हॉपवुड, क्रिस नट्टीकॉम्ब और जैक ग्रिग ने घंटों के भीतर इस समस्या की पुष्टि की और इसे ठीक करने पर काम शुरू कर दिया।

फ़ाउंडेशन ने कहा कि इस दोष के कारण ऑर्चर्ड के भीतर अमान्य स्टेट परिवर्तन और उस पूल के भीतर संभावित डबल-स्पेंडिंग हो सकती थी। इसने यह भी कहा कि Zcash का टर्नस्टाइल तंत्र कुल ZEC आपूर्ति को सुरक्षित रखता है, और "अनाधिकृत मूल्य निर्माण का कोई सबूत नहीं है।" प्रभावित कोड में पुराने halo2_gadgets, orchard और zcash_primitives रिलीज़, साथ ही zcashd के संस्करण 5.0.0 से 6.12.3 तक शामिल थे।

ऑर्चर्ड क्यों महत्वपूर्ण बना हुआ है

ऑर्चर्ड Zcash का सबसे नया शील्डेड पूल और इसकी गोपनीयता प्रणाली का एक मुख्य हिस्सा है। इसे 2022 में NU5 के साथ लॉन्च किया गया था और यह हेलो 2 का उपयोग करता है, जिसने एक विश्वसनीय सेटअप की आवश्यकता को समाप्त कर दिया। इस डिज़ाइन ने ऑर्चर्ड को Zcash के वर्तमान गोपनीयता रोडमैप का एक महत्वपूर्ण हिस्सा बना दिया।

संबंधित बाजार कवरेज ने हाल ही में Zcash के बढ़ते शील्डेड उपयोग पर ध्यान केंद्रित किया है। एक हालिया रिपोर्ट में कहा गया है कि ZEC आपूर्ति का लगभग 30% शील्डेड पूलों में चला गया था, जिसमें ऑर्चर्ड में 4.2 मिलियन ZEC था और हालिया वृद्धि का अधिकांश हिस्सा यहीं था।

फ़ाउंडेशन ने कहा कि घटना के दौरान उपयोगकर्ता की गोपनीयता को कोई नुकसान नहीं हुआ। जब ऑर्चर्ड क्रियाएँ रुकी हुई थीं, तब भी सैपलिंग और पारदर्शी लेन-देन सामान्य रूप से काम करते रहे।

नोड ऑपरेटरों को अब पुराने रिलीज़ पर निर्भर रहने के बजाय Zebra 5.0.0 पर अपग्रेड करने के मुख्य कार्य का सामना करना पड़ रहा है। जो ऑपरेटर NU6.2 के बाद एक गलत फ़ोर्क पर बने रहे, उन्हें खरोंच से फिर से सिंक करने या सक्रियण से पहले बनाए गए बैकअप से पुनर्स्थापित करने की आवश्यकता हो सकती है।