स्मार्ट अनुबंधों को अपग्रेड करना

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

जबकि अपरिवर्तनीयता अविश्वसनीयता, विकेंद्रीकरण और स्मार्ट अनुबंधों की सुरक्षा के लिए आवश्यक है, यह कुछ मामलों में एक कमी हो सकती है। उदाहरण के लिए, अपरिवर्तनीय कोड डेवलपर्स के लिए कमजोर अनुबंधों को ठीक करना असंभव बना सकता है।

हालांकि, स्मार्ट अनुबंधों में सुधार के लिए बढ़ते शोध ने कई अपग्रेड पैटर्न की शुरुआत की है। ये अपग्रेड पैटर्न डेवलपर्स को अलग-अलग अनुबंधों में व्यावसायिक तर्क रखकर स्मार्ट अनुबंधों (अपरिवर्तनीयता को संरक्षित करते हुए) को अपग्रेड करने में सक्षम बनाते हैं।

पूर्वापेक्षाएं

आपको स्मार्ट अनुबंधों, स्मार्ट अनुबंध एनाटॉमी, और एथेरियम वर्चुअल मशीन (EVM) की अच्छी समझ होनी चाहिए। यह मार्गदर्शिका यह भी मानती है कि पाठकों को प्रोग्रामिंग स्मार्ट अनुबंधों की समझ है।

स्मार्ट अनुबंध अपग्रेड क्या है?

एक स्मार्ट अनुबंध अपग्रेड में अनुबंध की स्थिति को संरक्षित करते हुए एक स्मार्ट अनुबंध के व्यावसायिक तर्क को बदलना शामिल है। यह स्पष्ट करना महत्वपूर्ण है कि अपग्रेडेबिलिटी और म्यूटेबिलिटी समान नहीं हैं, खासकर स्मार्ट अनुबंध के मामले में।

आप अभी भी एथेरियम नेटवर्क पर किसी पते पर परिनियोजित प्रोग्राम को नहीं बदल सकते। हालांकि, आप उस कोड को बदल सकते हैं जो निष्पादित होता है जब उपयोगकर्ता स्मार्ट अनुबंध के साथ इंटरैक्ट करते हैं।

यह निम्नलिखित तरीकों से किया जा सकता है:

1. एक स्मार्ट अनुबंध के कई संस्करण बनाना और पुराने अनुबंध से अनुबंध के एक नए उदाहरण में माइग्रेट करना (यानी, डेटा)।

2. व्यापार तर्क और राज्य को स्टोर करने के लिए अलग-अलग अनुबंध बनाना।

3. एक अपरिवर्तनीय प्रॉक्सी अनुबंध से एक परिवर्तनीय तर्क अनुबंध के लिए फ़ंक्शन कॉल को सौंपने के लिए प्रॉक्सी पैटर्न का उपयोग करना।

4. एक अपरिवर्तनीय मुख्य अनुबंध बनाना जो खास कामों को निष्पादित करने के लिए लचीले उपग्रह अनुबंधों के साथ इंटरफ़ेस करता है और निर्भर करता है।

5. प्रॉक्सी अनुबंध से तर्क अनुबंधों तक फ़ंक्शन कॉल को सौंपने के लिए हीरे के पैटर्न का उपयोग करना।

अपग्रेड मैकेनिज़्म #1: अनुबंध माइग्रेशन

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

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

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

अनुबंध माइग्रेशन उपयोगकर्ता इंटरैक्शन को तोड़े बिना स्मार्ट अनुबंधों को अपग्रेड करने के लिए एक अपेक्षाकृत सरल और सुरक्षित उपाय है। हालांकि, मैन्युअल रूप से उपयोगकर्ता भंडारण और शेष राशि को नए अनुबंध में स्थानांतरित करना समय-गहन है और उच्च गैस लागत उठा सकता है।

अनुबंध माइग्रेशन के बारे में और जानें। (opens in a new tab)

अपग्रेड मैकेनिज़्म #2: डेटा पृथक्करण

स्मार्ट अनुबंधों को अपग्रेड करने का एक अन्य तरीका व्यापार तर्क और डेटा भंडारण को अलग-अलग अनुबंधों में अलग करना है। इसका मतलब है कि उपयोगकर्ता तर्क अनुबंध के साथ इंटरैक्ट करते हैं, जबकि डेटा स्टोरेज अनुबंध में संग्रहीत होता है।

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

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

डिफ़ॉल्ट रूप से, संग्रहण अनुबंध अपरिवर्तनीय है—लेकिन आप उस तर्क अनुबंध को बदल सकते हैं जो इसे एक नए कार्यान्वयन के साथ इंगित करता है। इससे EVM में चलने वाले कोड में बदलाव हो जाएगा, जबकि स्टोरेज और बैलेंस बरकरार रहेगा।

इस अपग्रेड विधि का उपयोग करने के लिए संग्रहण अनुबंध में तर्क अनुबंध के पते को अद्यतन करने की आवश्यकता होती है। आपको पहले बताए गए कारणों के लिए संग्रहण अनुबंध के पते के साथ नए तर्क अनुबंध को भी कॉन्फ़िगर करना होगा।

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

अपग्रेड मैकेनिज़्म #3: प्रॉक्सी पैटर्न

प्रॉक्सी पैटर्न व्यापार तर्क और डेटा को अलग-अलग अनुबंधों में रखने के लिए डेटा को अलग करने की प्रक्रिया का भी उपयोग करता है। हालांकि, एक प्रॉक्सी पैटर्न में, भंडारण अनुबंध (जिसे प्रॉक्सी कहा जाता है) कोड निष्पादन के दौरान तर्क अनुबंध को कॉल करता है। यह डेटा को अलग करने के तरीके का एक रिवर्स है, जहां तर्क अनुबंध भंडारण अनुबंध को कॉल करता है।

प्रॉक्सी पैटर्न में यही होता है:

1. उपयोगकर्ता प्रॉक्सी अनुबंध के साथ इंटरैक्ट करते हैं, जो डेटा संग्रहीत करता है, लेकिन व्यावसायिक तर्क नहीं रखता है।

2. प्रॉक्सी अनुबंध लॉजिक अनुबंध के पते को संग्रहीत करता है और सभी फ़ंक्शन कॉल को लॉजिक अनुबंध (जिसमें बिजनेस लॉजिक होता है) को delegatecall फ़ंक्शन का उपयोग करके प्रत्यायोजित करता है।

3. कॉल को तर्क अनुबंध को अग्रेषित करने के बाद, तर्क अनुबंध से लौटाया गया डेटा पुनर्प्राप्त किया जाता है और उपयोगकर्ता को लौटा दिया जाता है।

प्रॉक्सी पैटर्न का उपयोग करने के लिए delegatecall फ़ंक्शन की समझ होना आवश्यक है। मूल रूप से, delegatecall एक ऑपकोड है जो एक अनुबंध को दूसरे अनुबंध को कॉल करने की अनुमति देता है, जबकि वास्तविक कोड निष्पादन कॉलिंग अनुबंध के संदर्भ में होता है। प्रॉक्सी पैटर्न में delegatecall का उपयोग करने का एक निहितार्थ यह है कि प्रॉक्सी अनुबंध अपने स्टोरेज में पढ़ता और लिखता है और लॉजिक अनुबंध पर संग्रहीत लॉजिक को ऐसे निष्पादित करता है जैसे किसी आंतरिक फ़ंक्शन को कॉल कर रहा हो।

सॉलिडिटी डॉक्यूमेंटेशन (opens in a new tab) से:

संदेश कॉल का एक विशेष प्रकार मौजूद है, जिसका नाम delegatecall है जो एक संदेश कॉल के समान है, सिवाय इस तथ्य के कि टारगेट पते पर कोड को कॉलिंग अनुबंध के संदर्भ में (यानी, पते पर) निष्पादित किया जाता है और msg.sender और msg.value अपने मान नहीं बदलते हैं। _इसका मतलब है कि एक अनुबंध रनटाइम पर एक अलग पते से कोड को गतिशील रूप से लोड कर सकता है। स्टोरेज, वर्तमान पता और बैलेंस अभी भी कॉलिंग अनुबंध को संदर्भित करते हैं, केवल कोड को कॉल किए गए पते से लिया जाता है।

प्रॉक्सी अनुबंध delegatecall को तब इनवोक करता है जब भी कोई यूज़र किसी फ़ंक्शन को कॉल करता है क्योंकि इसमें एक fallback फ़ंक्शन बनाया गया है। सॉलिडिटी प्रोग्रामिंग में fallback function (opens in a new tab) तब निष्पादित होता है जब कोई फ़ंक्शन कॉल किसी अनुबंध में निर्दिष्ट फ़ंक्शन से मेल नहीं खाता है।

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

प्रॉक्सी अनुबंध डिफ़ॉल्ट रूप से अपरिवर्तनीय है, लेकिन अद्यतन किए गए व्यावसायिक तर्क के साथ नए तर्क अनुबंध बनाए जा सकते हैं। अपग्रेड करना तब प्रॉक्सी अनुबंध में संदर्भित तर्क अनुबंध के पते को बदलने का मामला है।

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

प्रॉक्सी पैटर्न स्मार्ट अनुबंधों को अपग्रेड करने के लिए एक लोकप्रिय तरीका है, क्योंकि वे अनुबंध माइग्रेशन से जुड़ी कठिनाइयों को समाप्त करते हैं। हालांकि, प्रॉक्सी पैटर्न का उपयोग करना अधिक जटिल है और यदि अनुचित तरीके से उपयोग किया जाता है, तो यह फ़ंक्शन सिलेक्टर क्लैश (opens in a new tab) जैसी गंभीर खामियां पेश कर सकता है।

प्रॉक्सी पैटर्न के बारे में और जानें (opens in a new tab)।

अपग्रेड मैकेनिज़्म #4: स्ट्रैटेजी पैटर्न

यह तकनीक स्ट्रेटेजी पैटर्न (opens in a new tab) से प्रभावित है, जो विशिष्ट सुविधाओं को लागू करने के लिए अन्य प्रोग्राम के साथ इंटरफेस करने वाले सॉफ्टवेयर प्रोग्राम बनाने को प्रोत्साहित करती है। एथेरियम विकास के लिए स्ट्रैटेजी पैटर्न को लागू करने का मतलब एक स्मार्ट अनुबंध बनाना होगा जो अन्य अनुबंधों से कार्यों को कॉल करता है।

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

आप एक नया उपग्रह अनुबंध बना सकते हैं और नए पते के साथ मुख्य अनुबंध को कॉन्फ़िगर कर सकते हैं। यह आपको एक स्मार्ट अनुबंध के लिए स्ट्रेटेजी (यानी, नया लॉजिक लागू करना) बदलने की अनुमति देता है।

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

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

अपग्रेड मैकेनिज़्म #5: डायमंड पैटर्न

डायमंड पैटर्न को प्रॉक्सी पैटर्न पर सुधार माना जा सकता है। डायमंड पैटर्न प्रॉक्सी पैटर्न से भिन्न होते हैं क्योंकि डायमंड प्रॉक्सी अनुबंध फ़ंक्शन कॉल को एक से अधिक तर्क अनुबंध में सौंप सकता है।

डायमंड पैटर्न में लॉजिक अनुबंधों को फेसट के रूप में जाना जाता है। डायमंड पैटर्न को काम कराने के लिए, आपको प्रॉक्सी अनुबंध में एक मैपिंग बनाने की आवश्यकता है जो फ़ंक्शन सिलेक्टर (opens in a new tab) को विभिन्न फेसट पतों पर मैप करता है।

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

डायमंड अपग्रेड पैटर्न के मुकाबले पारंपरिक प्रॉक्सी अपग्रेड पैटर्न के कुछ फ़ायदे हैं:

1. यह आपको सभी कोड को बदले बिना अनुबंध के एक छोटे से हिस्से को अपग्रेड करने की अनुमति देता है। अपग्रेड के लिए प्रॉक्सी पैटर्न का उपयोग करने के लिए एक पूरी तरह से नया तर्क अनुबंध बनाने की आवश्यकता होती है, यहां तक कि मामूली अपग्रेड के लिए भी है।

2. सभी स्मार्ट अनुबंधों (प्रॉक्सी पैटर्न में उपयोग किए जाने वाले तर्क अनुबंधों सहित) में 24KB आकार सीमा होती है, जो एक सीमा हो सकती है - विशेष रूप से जटिल अनुबंधों के लिए अधिक कार्यों की आवश्यकता होती है। डायमंड पैटर्न कई तर्क अनुबंधों में कार्यों को विभाजित करके इस समस्या को हल करना आसान बनाता है।

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

डायमंड पैटर्न के बारे में और जानें (opens in a new tab)।

स्मार्ट अनुबंधों को अपग्रेड करने के फायदे और नुकसान

स्मार्ट अनुबंधों को अपग्रेड करने के लिए विचार

1. अनधिकृत स्मार्ट अनुबंध के अपग्रेड को रोकने के लिए सुरक्षित अभिगम नियंत्रण/प्राधिकरण तंत्र का उपयोग करें, खासकर यदि प्रॉक्सी पैटर्न, रणनीति पैटर्न या डेटा पृथक्करण का उपयोग कर रहे हैं। एक उदाहरण अपग्रेड फ़ंक्शन तक पहुंच को प्रतिबंधित कर रहा है, जैसे कि केवल अनुबंध का स्वामी ही इसे कॉल कर सकता है।

2. स्मार्ट अनुबंधों को अपग्रेड करना एक जटिल गतिविधि है और कमजोरियों की शुरुआत को रोकने के लिए उच्च स्तर के परिश्रम की आवश्यकता होती है।

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

4. अनुबंधों को अपग्रेड करने में शामिल लागतों से अवगत रहें। उदाहरण के लिए, अनुबंध माइग्रेशन के दौरान एक पुराने अनुबंध से एक नए अनुबंध में राज्य (जैसे, उपयोगकर्ता शेष) की प्रतिलिपि बनाने के लिए एक से अधिक लेनदेन की आवश्यकता हो सकती है, जिसका अर्थ है अधिक गैस शुल्क।

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

टाइमलॉक उपयोगकर्ताओं को सिस्टम से बाहर निकलने के लिए कुछ समय देते हैं अगर वे प्रस्तावित परिवर्तन (जैसे, तर्क का अपग्रेड या नई शुल्क योजनाओं) से असहमत हैं। टाइमलॉक के बिना, उपयोगकर्ताओं को डेवलपर्स पर भरोसा करने की आवश्यकता है कि वे बिना किसी पूर्व सूचना के स्मार्ट अनुबंध में मनमाने ढंग से बदलाव लागू न करें। यहां दोष यह है कि टाइमलॉक कमजोरियों को जल्दी से पैच करने की क्षमता को प्रतिबंधित करता है।

संसाधन

ओपनज़ेपेलिन अपग्रेड प्लगइन्स - अपग्रेड करने योग्य स्मार्ट अनुबंधों को डिप्लॉय करने और सुरक्षित करने के लिए टूल्स का एक सूट।

• गिटहब (opens in a new tab)
• डॉक्यूमेंटेशन (opens in a new tab)

ट्यूटोरियल

• अपने स्मार्ट अनुबंधों को अपग्रेड करना | यूट्यूब ट्यूटोरियल (opens in a new tab) - पैट्रिक कोलिन्स द्वारा
• एथेरियम स्मार्ट अनुबंध माइग्रेशन ट्यूटोरियल (opens in a new tab) - ऑस्टिन ग्रिफिथ द्वारा
• स्मार्ट अनुबंधों को अपग्रेड करने के लिए UUPS प्रॉक्सी पैटर्न का उपयोग करना (opens in a new tab) - प्रणेश ए.एस द्वारा
• वेब3 ट्यूटोरियल: ओपनज़ेपेलिन का उपयोग करके अपग्रेड करने योग्य स्मार्ट अनुबंध (प्रॉक्सी) लिखें (opens in a new tab) - fangjun.eth द्वारा

आगे की रीडिंग

• स्मार्ट अनुबंध अपग्रेड की स्थिति (opens in a new tab) - सैंटियागो पैलाडिनो द्वारा
• एक सॉलिडिटी स्मार्ट अनुबंध को अपग्रेड करने के कई तरीके (opens in a new tab) - Crypto Market Pool ब्लॉग
• जानें: स्मार्ट अनुबंधों को अपग्रेड करना (opens in a new tab) - ओपनज़ेपेलिन Docs
• सॉलिडिटी अनुबंधों की अपग्रेडेबिलिटी के लिए प्रॉक्सी पैटर्न: पारदर्शी बनाम UUPS प्रॉक्सी (opens in a new tab) - नवीन साहू द्वारा
• डायमंड अपग्रेड कैसे काम करते हैं (opens in a new tab) - निक मज द्वारा