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

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

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

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

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

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

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

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

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

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

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

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

यह भी देखें

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