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

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

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

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



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

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

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

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

स्मार्ट कॉन्ट्रैक्ट परिभाषा

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

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

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

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

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



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

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

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

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

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

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

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

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



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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

एथेरियम खाते

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

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

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

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

Ethereum में अकाउंट कैसे बनाये

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

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

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

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

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

एथेरम ट्रांजेक्शन स्ट्रक्चर

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



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

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

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

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

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

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

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

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

सॉलिडिटी के लिए सैंपल स्मार्ट कॉन्ट्रैक्ट कोड

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

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 बिल्कुल वही डेटा है जिसे इस अनुबंध के लिए सभी कोड वाले लेनदेन के साथ वर्चुअल मशीन में स्थानांतरित किया गया था। तदनुसार, msg.sender इस लेनदेन का लेखक है, जो इस कोड को होस्ट करता है। वह स्मार्ट कॉन्ट्रैक्ट का मालिक होगा।

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

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

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

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

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

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



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

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

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

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

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

Ethereum जैसे स्मार्ट कॉन्ट्रैक्ट प्लेटफ़ॉर्म के लिए मौजूद प्रतिबंधों का उल्लेख निम्नलिखित के लिए किया जा सकता है:

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

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

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

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

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

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

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

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

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

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

इसलिए, लेख का विषयगत भाग पूरा हो गया है, हम उन प्रश्नों की ओर मुड़ते हैं जो अक्सर उत्पन्न होते हैं।

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

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

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

- और अगर मध्यस्थ में शामिल पार्टियों में से एक के साथ एक साजिश में प्रवेश करता है: एस्क्रो या एक स्मार्ट अनुबंध? क्या एक स्मार्ट अनुबंध में मध्यस्थ की आवश्यकता है?

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

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

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

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

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

यह विषय ऑनलाइन ब्लॉकचेन पाठ्यक्रम के व्याख्यान में से एक में शामिल है - " स्मार्ट अनुबंधों का परिचय "।