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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

इस प्रकार से स्मार्ट अनुबंधों के माध्यम से मृत्यु प्रमाण पत्र के पंजीकरण पर वंशानुक्रम की इच्छाओं को काल्पनिक रूप से स्वचालित रूप से लागू किया जा सकता है। जन्म प्रमाण पत्र स्मार्ट अनुबंध के साथ भी कार्य कर सकते हैं।

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

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

इस प्रकार से स्मार्ट गांवों के लिए ब्लॉक श्रृंखला टेक्नोलाजी पर स्मार्ट अनुबंध

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

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

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

इस प्रकार से वैध उद्योग में स्मार्ट वैध अनुबंध की कोई औपचारिक परिभाषा नहीं है।

अतः रिकार्डियन अनुबंध प्रकार का स्मार्ट वैध अनुबंध है।

यह भी देखें

 * कोड और साइबरस्पेस के अन्य नियम
 * विकेंद्रीकृत अनुप्रयोग
 * एथेरियम
 * एल्गोरिदम द्वारा विनियमन
 * एल्गोरिदम का विनियमन
 * रिकार्डियन अनुबंध (समूहों के लेनदेन के आशय को पकड़ने के लिए डिज़ाइन पैटर्न)
 * ऋृण
 * सुरक्षित मल्टीपार्टी गणना
 * पारदर्शिता (डेटा संपीड़न)