Zcash शोधकर्ताओं ने Ironwood प्रमाण प्रकाशित किया

Zcash के शोधकर्ताओं ने Ironwood के लिए एक मशीन-चेक किया गया औपचारिक सत्यापन प्रकाशित किया, जिसका उद्देश्य बताए गए क्रिप्टोग्राफिक मान्यताओं के तहत अदृश्य जालीकरण बग को समाप्त करना है। यह कार्य "बैलेंस इंटीग्रिटी" पर केंद्रित है, जो एक आपूर्ति-इंटीग्रिटी गुण है जिसका उद्देश्य यह सुनिश्चित करना है कि नया शील्डेड पूल उस मूल्य से अधिक भुगतान न कर सके जो सार्वजनिक रूप से उसमें प्रवेश किया है।

मुख्य निष्कर्ष

• Zcash के Ironwood शील्डेड पूल के लिए एक मशीन-चेक किया गया औपचारिक सत्यापन प्रकाशित किया गया है ताकिपता करेंब्यौरे में बताए गए क्रिप्टोग्राफिक मान्यताओं के तहत अदृश्य जालीकरण जोखिम।
• Project Tachyon ने इस प्रमाण को "Lean प्रोग्रामिंग भाषा में लिखा गया" बताया और इसमें "2,700 से अधिक मशीन-चेक किए गए प्रमेय" शामिल हैं, जो तीन टीमों द्वारा एक महीने से अधिक समय में तैयार किए गए।
• सत्यापित सुरक्षा लक्ष्य "बैलेंस इंटीग्रिटी" है, जिसका उद्देश्य यह सुनिश्चित करना है कि Ironwood उस मूल्य से अधिक भुगतान न कर सके जो सार्वजनिक रूप से पूल में प्रवेश किया है।
• Ironwood NU6.3 अपग्रेड के माध्यम से भेजा गया, एक प्रकट किए गए Orchard सुरक्षा दोष के बाद जो सिद्धांत रूप से अदृश्य ZEC जालीकरण को सक्षम कर सकता था, जबकि डेवलपर्स ने कहा कि "उन्हें इस दोष के शोषण का कोई सबूत नहीं मिला।"

Ironwood को एक मशीन-चेक किया गया "बैलेंस इंटीग्रिटी" प्रमाण मिलता है

Zcash के शोधकर्ताओं ने Ironwood के लिए एक मशीन-चेक किया गया प्रमाण पूरा किया और प्रकाशित किया, जो नेटवर्क का नया शील्डेड पूल है। stated उद्देश्य संकीर्ण लेकिन बाजार से संबंधित है: अदृश्य जालीकरण बग को समाप्त करना जो आपूर्ति इंटीग्रिटी को तोड़ने के लिए विशिष्ट पथ के साथ होगा, यह मानते हुए कि क्रिप्टोग्राफिक मॉडल सही है।

प्रोजेक्ट टाच्यन ने कहा कि सत्यापन Lean में उत्पन्न हुआ और यह 2,700 से अधिक मशीन-चेक किए गए प्रमेयों को शामिल करता है, जिसमें तीन शोधकर्ताओं और क्रिप्टोग्राफरों की टीमें एक महीने से अधिक समय तक काम कर रही हैं। व्यापारियों के लिए, मुख्य बात उपकरण नहीं है। यह वह संपत्ति है जिसे सिद्ध किया जा रहा है। "बैलेंस इंटीग्रिटी" उस मुद्रास्फीति के डर का सीधा उत्तर है जो तब उत्पन्न होता है जब किसी शील्डेड पूल पर संदेह होता है कि वह अदृश्य रूप से मूल्य उत्पन्न कर सकता है।

प्रूफ क्या कवर करता है—और यह स्पष्ट रूप से क्या नहीं करता है

प्रमाण उन घटकों तक सीमित है जो संतुलन की अखंडता स्थापित करने के लिए आवश्यक हैं: आयरनवुड काशून्य-ज्ञान प्रमाणसिस्टम, इसके सर्किट नियम, और लेजर-स्तरीय लेखांकन। यह महत्वपूर्ण है क्योंकि यह उस लेखांकन अपरिवर्तनीयता को लक्षित करता है जिसे अदृश्य मुद्रास्फीति के होने के लिए विफल होना पड़ेगा।

शोधकर्ताओं ने यह स्पष्ट किया कि क्या नहीं कहा जा रहा है। औपचारिक सत्यापन आयरनवुड की अलग गोपनीयता गारंटी को शामिल नहीं करता है। यह भेदभाव स्थिति निर्धारण के लिए महत्वपूर्ण है। इस प्रकाशन को आपूर्ति-इंटीग्रिटी आश्वासन के रूप में पढ़ा जाना चाहिए, न कि एक सामान्य बयान के रूप में कि हर शील्डेड-पूल संपत्ति को औपचारिक रूप से सत्यापित किया गया है।

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

ओर्चर्ड के सैद्धांतिक जाली मुद्रा जोखिम से NU6.3 के आयरनवुड रोलआउट तक

आयरनवुड Zcash के NU6.3 अपग्रेड के माध्यम से आया जब पिछले ऑर्चर्ड शील्डेड पूल में एक कमजोरी का पता चला। खुलासा किया गया जोखिम गंभीर था, भले ही यह व्यवहार में सैद्धांतिक हो: अव्यवस्थित ZEC जालीकरण। डेवलपर्स ने कहा कि उन्हें इस दोष के शोषण का कोई सबूत नहीं मिला।

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

टर्नस्टाइल माइग्रेशन: सार्वजनिक चेकपॉइंट जो काल्पनिक अतिरिक्त सिक्कों को आयात नहीं कर सकता

ऑर्चर्ड से आयरनवुड में माइग्रेशन एक सार्वजनिक लेखा जांच बिंदु जिसे "टर्नस्टाइल" कहा जाता है, के माध्यम से मजबूर किया जाता है। डिज़ाइन का लक्ष्य क्लीन-रूम अलगाव है: भले ही ऑर्चर्ड के पास काल्पनिक अतिरिक्त सिक्के हों, यह जांच बिंदु उन सिक्कों को आयरनवुड में प्रवेश करने से रोकने के लिए है।

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

दूसरा निगरानी आइटम सही दिशा में स्कोप क्रीप है: बैलेंस-इंटीग्रिटी प्रूफ के पीछे के क्रिप्टोग्राफिक अनुमानों और खतरे के मॉडल पर स्पष्टता, साथ ही कोई भी फॉलो-ऑन।ऑडिट्सया प्रमाण विस्तार। अंततः, वॉलेट और एक्सचेंज समर्थन जो उपयोगकर्ताओं को ऑर्चर्ड से आयरनवुड में स्थानांतरित करने में तेजी लाता है, वह समय के साथ टर्नस्टाइल द्वारा उत्पन्न किए जा सकने वाले अवलोकनीय डेटा की मात्रा को बढ़ा देगा।

व्यापारियों को शेष बाग़ की ओवरहैंग को कैसे ढालना चाहिए

महत्वपूर्ण सीमा यह है कि क्या बाजार दो जोखिमों को अलग कर सकता है जो अक्सर एक साथ बंडल होते हैं: Ironwood की भविष्य में बढ़ने की क्षमता बनाम यह अनसुलझा प्रश्न कि क्या Orchard का कभी शोषण किया गया था। नया प्रमाण पहले श्रेणी पर सीधे लक्षित है, जो निर्धारित अनुमानों के तहत संतुलन की अखंडता को औपचारिक रूप से स्थापित करता है।

मैं शेष ओवरहैंग को एक साक्ष्य समस्या के रूप में मानता हूँ, न कि एक वाइब्स समस्या के रूप में। यदि टर्नस्टाइल माइग्रेशन बिना किसी विसंगति के जारी रहता है और वॉलेट्स और एक्सचेंजेस के बीच समर्थन बढ़ता है, तो सेटअप संरचनात्मक लगने लगता है न कि कथा-प्रेरित, क्योंकि बाजार को एक साफ पूल और एक बढ़ती हुई सार्वजनिक ट्रेल मिलती है जो छिपी हुई मुद्रास्फीति के साथ मेल खाना मुश्किल है।

स्रोत

• कॉइनटेलीग्राफ