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

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

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

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

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

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

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

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

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

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

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

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

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

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

यह भी देखें

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