शुक्रवार को Zcash की हालिया बिकवाली 50% से अधिक बढ़कर लगभग $310 तक पहुँच गई, क्योंकि इस सप्ताह की शुरुआत में सामने आई एक गंभीर नकलीकरण भेद्यता ने भावना को प्रभावित करना जारी रखा।

एक समय पर ZEC गुरुवार को लगभग $630 से गिरकर शुक्रवार को लगभग $250 तक 60% गिर गया, कुछ नुकसान की भरपाई से पहले, जबकि परिसमापन $116 मिलियन से अधिक हो गया – CoinGlass के अनुसार, पिछले 24 घंटों में बिटकॉइन और ईथर के बाद क्रिप्टोकरेंसी में तीसरा सबसे बड़ा।

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

Zcash के परिसमापन डेटा में 24 घंटे की अवधि में लगभग $72 मिलियन के लॉन्ग परिसमापन और $45 मिलियन से अधिक के शॉर्ट परिसमापन दिखाए गए हैं, जिसमें 5 जून को सुबह 8 बजे से 9 बजे UTC के बीच उच्चतम वॉल्यूम रहा। CoinGlass ने सत्र की परिसमापन तीव्रता को सात-दिवसीय औसत के मुकाबले 3.72 गुना अधिक रेट किया।

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

ऑर्चर्ड सर्किट के वेरिएबल-बेस स्केलर मल्टीप्लीकेशन गैजेट के एक कम-बाधित तत्व में निहित यह भेद्यता, एक दुर्भावनापूर्ण एक्टर को प्रत्येक खर्च के साथ एक अद्वितीय नलिफायर का खुलासा करके एक ही शील्डेड नोट को कई बार खर्च करने की अनुमति देती — जिससे ऑर्चर्ड पूल के भीतर असीमित, अनडिटेक्टेबल नकली ZEC प्रभावी ढंग से ढाले जा सकते थे।

एंथ्रोपिक द्वारा अपने क्लाउड ओपस 4.8 मॉडल को जारी करने के घंटों बाद, हॉर्नबी ने 29 मई को इस बग का पता लगाया।

ज़कैश-फुल-स्टैक-ऑडिटर नामक एक कस्टम एआई-सहायता प्राप्त ऑडिटिंग फ्रेमवर्क का उपयोग करके, हॉर्नबी ने ऑर्चर्ड सर्किट की लक्षित समीक्षा की।

एक ऑडिट एजेंट ने शाम 6 बजे एमडीटी के आसपास इस गंभीर कमी को उजागर किया। रात 11:53 बजे तक, हॉर्नबी ने सिग्नल पर Zcash ओपन डेवलपमेंट लैब को एक प्रूफ-ऑफ-कॉन्सेप्ट और एक पूरी रिपोर्ट सौंप दी थी। अगले सोमवार रात तक, एक सॉफ्ट फोर्क समाधान मेननेट पर लाइव हो गया। एक पूर्ण नेटवर्क अपग्रेड, NU6.2, ने 2 जून को ब्लॉक 3,364,600 पर सही किए गए सर्किट के साथ ऑर्चर्ड को फिर से सक्रिय किया।

यह जोखिम की अवधि 31 मई, 2022 को ऑर्चर्ड के सक्रियण से लेकर 1 जून, 2026 को सॉफ्ट फोर्क तक चली — यानी चार साल, एक दिन और दस घंटे। ओपस 4.8 के सार्वजनिक रूप से जारी होने से लेकर पैच सक्रियण तक, यह अवधि चार दिन और लगभग दस घंटे थी।

क्या सिद्ध नहीं किया जा सकता

जो बात इस खुलासे को विशेष रूप से गंभीर बनाती है, वह यह है कि पैच क्या हल नहीं कर सकता।

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

खुलासे में कहा गया है, "यह क्रिप्टोग्राफिक रूप से यह साबित करने का कोई तरीका नहीं है कि भेद्यता का शोषण इसे ठीक करने से पहले किया गया था या नहीं।" "हम मानते हैं कि उस अनिश्चितता के बारे में पारदर्शी होना महत्वपूर्ण है।"

उस अनिश्चितता के कारण आर्थर हेस की स्थिति समाप्त हो सकती थी। बिटमेक्स के सह-संस्थापक और माल्स्ट्रॉम के सीआईओ ने इस सप्ताह पोस्ट किया कि उन्होंने अपने पूरे ZEC बैग और माल्स्ट्रॉम के ZEC बेच दिए थे।

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

समर्थकों ने विरोध किया

शील्डेड लैब्स और कई प्रमुख समर्थकों ने इस खुलासे की सबसे निराशावादी व्याख्या का विरोध किया।

ग्रेस्केल के सीएलओ क्रेग सल्म ने तर्क दिया कि यह मानने के लिए कि शोषण वास्तव में ट्रिगर हुआ था, किसी को ECC, ZODL, शील्डेड लैब्स और Zcash फाउंडेशन के हर डेवलपर से अधिक गहराई से Zcash कोडबेस की जांच करनी पड़ी होगी - और फिर 20 गुना से अधिक के बुल रन के दौरान ऑर्चर्ड पूल के टर्नस्टाइल को खाली न करने का विकल्प चुना होगा। सल्म ने X पर कहा, "मुझे यह असंभव लगता है।"

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

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

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

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

प्रस्तावित अगले कदम

शील्डेड लैब्स ने कहा कि वह एक नेटवर्क अपग्रेड पर विचार कर रही है जो एक नया शील्डेड पूल तैनात करेगा और ऑर्चर्ड से माइग्रेट होने वाले सभी सिक्कों के लिए टर्नस्टाइल अकाउंटिंग को लागू करेगा — एक ऐसी व्यवस्था जो किसी को भी Zcash आपूर्ति की अखंडता को सत्यापित करने और नकली ZEC की अनुपस्थिति को साबित करने की अनुमति देती है।

इस प्रस्ताव के लिए सामुदायिक शासन से अनुमोदन की आवश्यकता होगी। अगले सप्ताह पूर्ण तकनीकी विवरण के साथ एक अनुवर्ती पोस्ट अपेक्षित है। फर्म ऑर्चर्ड सर्किट को गणितीय रूप से सत्यापित करने के लिए एक परियोजना भी औपचारिक रूप से शुरू कर रही है और उसने सुरक्षा प्रमुख और एक क्रिप्टोग्राफर के लिए खोज शुरू कर दी है।

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

स्विहार्ट ने एक विस्तृत X पोस्ट में लिखा, "एक ढीले नियम को पहचानना मुश्किल हो सकता है।" "इस हालिया मामले में, कई विशेषज्ञ-स्तरीय सुरक्षा ऑडिट और समीक्षाओं के बावजूद ढीला नियम अनडिटेक्टेड रहा।" उन्होंने तर्क दिया कि औपचारिक सत्यापन मानव समीक्षा को एक गणितीय प्रमाण से बदल देता है जो पूरे सर्किट को एक संक्षिप्त, पठनीय विनिर्देश के खिलाफ जांचता है — एक ऐसा जिसे कंप्यूटर द्वारा धोखा नहीं दिया जा सकता।

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