स्मार्ट कॉन्ट्रैक्ट का परिचय

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

नियमित अनुबंध बनाम स्मार्ट अनुबंध

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

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

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

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

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

स्मार्ट अनुबंध की परिभाषा

सामान्य तौर पर, शब्दावली स्वयं शोधकर्ता निक स्जाबो द्वारा गढ़ी गई थी और पहली बार 1994 में उपयोग की गई थी, और 1997 में एक लेख में प्रलेखित किया गया था जो स्मार्ट अनुबंधों के विचार का वर्णन करता है।

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

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

एक सरल उदाहरण - एस्क्रो सेवा

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

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

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

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

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

मध्यस्थ खरीदार के आक्रोश और ऑनलाइन स्टोर के हितों दोनों को एक साथ संतुष्ट करने में रुचि रखता है (यह बाद में स्पष्ट हो जाएगा कि क्यों)। यह एक लेनदेन का गठन करता है जिसमें एक बहु-हस्ताक्षर पते से सिक्के खरीदार, ऑनलाइन स्टोर और मध्यस्थ के बीच कुछ अनुपात में खर्च किए जाएंगे, क्योंकि वह अपने काम के लिए पुरस्कार के रूप में अपने लिए एक हिस्सा लेता है। मान लीजिए कि कुल राशि का 90% विक्रेता को, 5% मध्यस्थ को और 5% मुआवजा खरीदार को जाता है। मध्यस्थ इस लेनदेन पर अपनी कुंजी के साथ हस्ताक्षर करता है, लेकिन इसे अभी तक लागू नहीं किया जा सकता है, क्योंकि इसके लिए दो हस्ताक्षर की आवश्यकता होती है, लेकिन केवल एक ही इसके लायक है। यह खरीदार और विक्रेता दोनों को ऐसा लेनदेन भेजता है। यदि उनमें से कम से कम एक सिक्के के पुनर्वितरण के इस विकल्प से संतुष्ट है, तो लेनदेन पूर्व-हस्ताक्षरित होगा और नेटवर्क पर वितरित किया जाएगा। इसे मान्य करने के लिए, यह पर्याप्त है कि लेन-देन का एक पक्ष मध्यस्थ के विकल्प से सहमत हो।

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

छात्रावास और रेफ्रिजरेटर का उदाहरण

आइए एक अधिक जटिल उदाहरण देखें जो स्मार्ट अनुबंध की क्षमताओं को अधिक स्पष्ट रूप से प्रदर्शित करता है।

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

वे एस्क्रो सेवा का उपयोग कर सकते हैं, यानी एक मध्यस्थ चुन सकते हैं जो लेनदेन के निष्पादन की निगरानी करेगा और यदि कोई विवादास्पद मुद्दा उठता है तो उसका समाधान करेगा। फिर, सहमत होकर, वे एक स्मार्ट अनुबंध तैयार करते हैं और उसमें कुछ शर्तें निर्धारित करते हैं।

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

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

स्मार्ट अनुबंधों का वर्गीकरण

वर्गीकरण के लिए, आप मानदंडों के विभिन्न समूह निर्धारित कर सकते हैं। हालाँकि, प्रौद्योगिकी विकास के समय, उनमें से चार प्रासंगिक हैं।

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

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

दीक्षा पद्धति के अनुसार, स्वचालित स्मार्ट अनुबंध होते हैं, अर्थात, जब कुछ शर्तें होती हैं, तो वे स्व-निष्पादित होते हैं, और ऐसे अनुबंध होते हैं जिनमें शर्तें निर्दिष्ट होती हैं, लेकिन प्लेटफ़ॉर्म स्वचालित रूप से उनकी पूर्ति की जांच नहीं करता है; इसके लिए वे अलग से पहल करने की जरूरत है.

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

वर्तमान विषय की समझ में अधिक स्पष्टता लाने के लिए नीचे हम पहले तीन मानदंडों पर करीब से नज़र डालेंगे।

रनटाइम के अनुसार स्मार्ट अनुबंध

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

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

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

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

शर्तों को निर्धारित करने और पूरा करने की विधि द्वारा स्मार्ट अनुबंध

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

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

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

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

दीक्षा पद्धति द्वारा स्मार्ट अनुबंध

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

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

एथेरियम खाते

एथेरियम खाता प्रकार

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

उपयोगकर्ता खाता केवल इलेक्ट्रॉनिक हस्ताक्षर की व्यक्तिगत कुंजी द्वारा नियंत्रित किया जाता है। खाता स्वामी ECDSA (एलिप्टिक कर्व डिजिटल सिग्नेचर एल्गोरिथम) एल्गोरिथम का उपयोग करके इलेक्ट्रॉनिक हस्ताक्षर के लिए अपनी स्वयं की कुंजी जोड़ी बनाता है। केवल इस कुंजी से हस्ताक्षरित लेनदेन ही इस खाते की स्थिति बदल सकते हैं।

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

एथेरियम पर अकाउंट कैसे बनाये जाते हैं

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

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

एक महत्वपूर्ण विशेषता यह है कि सामान्य डेटाबेस स्तर पर एक उपयोगकर्ता खाता उस समय बनाया जाता है जब वह पहला आने वाला भुगतान स्वीकार करता है।

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

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

एथेरियम लेनदेन संरचना

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

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

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

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

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

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

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

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

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

सॉलिडिटी के लिए उदाहरण स्मार्ट कॉन्ट्रैक्ट कोड

आइए अब एक उदाहरण का उपयोग करके सबसे सरल स्मार्ट अनुबंध पर करीब से नज़र डालें।

contract Bank {
    address owner;
    mapping(address => uint) balances;
    
    function Bank() {
        owner = msg.sender;
    }

    function deposit() public payable {
        balances[msg.sender] += msg.value;
    }

    function withdraw(uint amount) public {
        if (balances[msg.sender] >= amount) {
            balances[msg.sender] -= amount;
            msg.sender.transfer(amount);
        }
    }

    function getMyBalance() public view returns(uint) {
        return balances[msg.sender];
    }

    function kill() public {
        if (msg.sender == owner)
            selfdestruct(owner);
    }
}

ऊपर एक सरलीकृत स्रोत कोड है जो उपयोगकर्ताओं के सिक्के रख सकता है और उन्हें मांगने पर वापस कर सकता है।

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

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

इसके बाद बैंक पद्धति अपनाई जाती है - इसका नाम अनुबंध के समान ही होता है। तदनुसार, यह इसका निर्माता है। यहां स्वामी चर को उस व्यक्ति का पता सौंपा गया है जिसने इस स्मार्ट अनुबंध को नेटवर्क पर रखा है। इस कंस्ट्रक्टर में यही एकमात्र चीज़ होती है। अर्थात्, इस मामले में संदेश बिल्कुल वही डेटा है जो इस अनुबंध के संपूर्ण कोड वाले लेनदेन के साथ वर्चुअल मशीन में स्थानांतरित किया गया था। तदनुसार, msg.sender इस लेनदेन का लेखक है जो इस कोड को होस्ट करता है। वह स्मार्ट कॉन्ट्रैक्ट का मालिक होगा.

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

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

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

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

एथेरियम नेटवर्क पर पूर्ण नोड कैसे काम करता है?

आइए योजनाबद्ध रूप से देखें कि एथेरियम प्लेटफॉर्म पर ऐसे स्मार्ट अनुबंध कैसे निष्पादित किए जाते हैं और एक पूर्ण नेटवर्क नोड कैसे काम करता है।

एथेरियम नेटवर्क पर एक पूर्ण नोड में कम से कम चार मॉड्यूल होने चाहिए।
पहला, किसी भी विकेन्द्रीकृत प्रोटोकॉल की तरह, पी2पी नेटवर्किंग मॉड्यूल है - नेटवर्क कनेक्शन और अन्य नोड्स के साथ काम करने के लिए एक मॉड्यूल, जहां ब्लॉक, लेनदेन और अन्य नोड्स के बारे में जानकारी का आदान-प्रदान किया जाता है। यह सभी विकेंद्रीकृत क्रिप्टोकरेंसी के लिए एक पारंपरिक घटक है।

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

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

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

स्मार्ट अनुबंधों के मिथक और सीमाएँ

एथेरियम जैसे स्मार्ट अनुबंध प्लेटफार्मों के लिए मौजूद प्रतिबंधों के लिए, निम्नलिखित का हवाला दिया जा सकता है:

• कोड निष्पादन;
• स्मृति आवंटित करें;
• ब्लॉकचेन डेटा;
• भुगतान भेजें;
• नया अनुबंध बनाएँ;
• अन्य अनुबंधों को कॉल करें.

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

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

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

एथेरियम के नुकसान

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

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

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

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

एथेरियम के लिए, बहुत सारे शोध किए गए हैं, बहुत सारे व्यावहारिक अनुभव प्राप्त हुए हैं: सकारात्मक और नकारात्मक दोनों, लेकिन फिर भी कठिनाइयाँ और कमजोरियाँ बनी हुई हैं जिनसे अभी भी किसी तरह निपटना होगा।

तो, लेख का विषयगत भाग पूरा हो गया है, आइए उन प्रश्नों पर चलते हैं जो अक्सर उठते हैं।

पूछे जाने वाले प्रश्न

— यदि मौजूदा स्मार्ट अनुबंध के सभी पक्ष शर्तों को बदलना चाहते हैं, तो क्या वे मल्टीसिग का उपयोग करके इस स्मार्ट अनुबंध को रद्द कर सकते हैं, और फिर इसके निष्पादन की अद्यतन शर्तों के साथ एक नया स्मार्ट अनुबंध बना सकते हैं?

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

— क्या होगा यदि मध्यस्थ भाग लेने वाले पक्षों में से किसी एक के साथ एक समझौता करता है: एस्क्रो या स्मार्ट अनुबंध? क्या स्मार्ट अनुबंध में मध्यस्थ की आवश्यकता है?

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

— क्या एक एथेरियम लेनदेन के साथ आपके पते से कई अलग-अलग टोकन को अलग-अलग लक्ष्य पते पर स्थानांतरित करना संभव है, उदाहरण के लिए, विनिमय पते जहां इन टोकन का कारोबार होता है?

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

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

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

ब्लॉकचेन पर ऑनलाइन पाठ्यक्रम का एक व्याख्यान इस विषय के लिए समर्पित है - "स्मार्ट कॉन्ट्रैक्ट का परिचय".

स्रोत: www.habr.com