Zcash बगने खासगी व्यवहार पूलमधील महागाईचा धोका उघड केला

Zcash मध्ये एक गंभीर त्रुटी होती, पण पडताळणी अजूनही गुंतागुंतीची आहे

Zcash ने एक महत्त्वाची vulnerability दुरुस्त केली आहे, जी सिद्धांततः हल्लेखोरांना त्याच्या Orchard shielded transaction pool मध्ये नवीन cryptocurrency units तयार करण्याची संधी देऊ शकली असती. या आपत्कालीन प्रतिसादात प्रथम तात्पुरती soft-fork restriction होती, त्यानंतर fix सह shielded transactions पुन्हा सुरू करणारा hard fork लागू करण्यात आला.

दिलेल्या अहवालानुसार, ही त्रुटी private transactions validate करण्यासाठी वापरल्या जाणाऱ्या zero-knowledge proof circuit मधील soundness issue मधून उद्भवली. सिद्धांततः, त्या defect मुळे invalid state transitions किंवा unauthorized value creation होऊ शकले असते, जे network तरीही स्वीकारले असते. privacy-focused system मध्ये हे विशेषतः संवेदनशील आहे, कारण hidden inflation झाली आहे का हे बाहेरील लोकांना तपासणे मर्यादित असू शकते.

Zcash Foundation ने सांगितले की unauthorized value creation चा कोणताही पुरावा नाही. त्याच वेळी, लेख एक मूलभूत ताण दाखवतो: shielded transactions आकर्षक बनवणाऱ्या privacy properties स्वतंत्र पुष्टीकरण कठीणही करतात.

नेटवर्कने कशी प्रतिक्रिया दिली

Shielded Labs साठी independent researcher Taylor Hornby यांनी केलेल्या protocol audit दरम्यान 29 मे रोजी ही समस्या ओळखली गेल्याचे सांगितले जाते. त्यानंतर developers यांनी miners आणि exchanges सोबत खाजगीरीत्या समन्वय साधला; प्रथम soft fork वापरून प्रभावित Orchard pool मधील activity निष्क्रिय केली आणि नंतर fix नंतर block height 3,364,600 वर hard fork सक्रिय करून shielded transactions पुन्हा सक्षम केल्या.

या प्रतिसादामुळे तात्काळ तांत्रिक धोका कमी झाला असावा, परंतु crypto मधील परिचित governance debates पुन्हा पेटले. आपत्कालीन protocol बदल जलद समन्वयित करण्याची क्षमता मोफत नसते, असा युक्तिवाद टीकाकारांनी केला. ती संकटात नुकसान कमी करू शकते, पण प्रणाली तिच्या branding पेक्षा अधिक केंद्रीकृत असल्यासारखीही भासवू शकते.

लेखात Cake Wallet मधील Seth for Privacy यांनी केलेल्या टीकेचाही उल्लेख आहे, ज्यांनी या समन्वयाला अतिशय केंद्रीकृत म्हटले. तसेच, consensus layer वरची privacy वेगळे धोके निर्माण करते, कारण inflation bugs शोधणे कठीण होऊ शकते, असे सांगणारे दीर्घकालीन संशोधक Peter Todd यांचा संदर्भ दिला आहे.

एकाच घटनेपलीकडे हे का महत्त्वाचे आहे

हे पहिल्यांदाच नाही की Zcash समोर सैद्धांतिक counterfeiting implications असलेला bug आला आहे. अहवालात 2018 मधील earlier flaw चा उल्लेख आहे, ज्यामुळे काही परिस्थितींमध्ये currency units चे अमर्याद creation शक्य झाले असते. हा इतिहास महत्त्वाचा आहे, कारण monetary integrity ही कोणत्याही cryptocurrency system ची न बोलता येणारी पायाभूत गोष्ट आहे. जर सहभागी supply बद्दल शंका घेऊ लागले, तर asset चे value proposition मुळापासून कमकुवत होते.

या घटनेतून privacy-preserving crypto design मधील एक संरचनात्मक आव्हानही अधोरेखित होते. Zero-knowledge systems मजबूत confidentiality देऊ शकतात, पण त्याचबरोबर proof-system correctness वरचा भार वाढवतात. प्रणाली व्यवस्थित चालू असताना ही गुंतागुंत दिसत नाही. ती अपयशी ठरल्यास, बाहेरून audit करणे असामान्यपणे कठीण होऊ शकते.

हा tradeoff Zcash पुरता मर्यादित राहणार नाही. प्रमुख blockchains मध्ये अधिक मजबूत privacy features जोडण्याबद्दल चर्चा अनेक वर्षांपासून सुरू आहेत, आणि अशा घटना consensus-level privacy अस्वीकार्य monetary आणि governance risks आणू शकते, असा युक्तिवाद करणाऱ्या टीकाकारांना बळ देतात.

लपलेल्या नाजूकपणाची आठवण

Zcash साठी तात्काळ प्राधान्य flaw patch करणे आणि मूलभूत network कार्यक्षमता परत आणणे हे होते. त्या आघाडीवर, आपत्कालीन प्रतिसादाची मालिका यशस्वी झाल्याचे दिसते. पण दीर्घकालीन आव्हान trust आहे: proof system वरचा विश्वास, governance process वरचा विश्वास, आणि भविष्यातील vulnerabilities त्यांचा गैरवापर होण्यापूर्वी सापडतील हा विश्वास.

• हा bug Orchard, Zcash च्या shielded transaction pool ला प्रभावित करत होता.
• त्याने proof-circuit flaw द्वारे hidden inflation साठी सैद्धांतिक मार्ग निर्माण केला.
• नेटवर्कने प्रथम soft fork ने प्रभावित activity थांबवली, नंतर hard fork नंतर ती पुनर्संचयित केली.
• टीकाकारांच्या मते, ही घटना तांत्रिक आणि governance दोन्ही कमकुवतपणा उघड करते.

Crypto systems अनेकदा immutability आणि decentralization यांना निश्चित सत्य म्हणून मांडतात. अशा घटना दाखवतात की त्या operational achievements आहेत ज्यांचे दबावाखाली संरक्षण करावे लागते, विशेषतः जेव्हा privacy स्वतंत्र verification नेहमीपेक्षा कठीण करते.

हा लेख Gizmodo च्या रिपोर्टिंगवर आधारित आहे. मूळ लेख वाचा.