स्मार्ट अनुबंध: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{About|विकेंद्रीकृत मंच पर संविदात्मक लेनदेन|स्मार्ट वैध अनुबंध|स्मार्ट वैध अनुबंध}}
{{About|विकेंद्रीकृत मंच पर संविदात्मक लेनदेन|स्मार्ट वैध अनुबंध|स्मार्ट वैध अनुबंध}}
{{Short description|Contractual transaction on a decentralized platform}}
{{Short description|Contractual transaction on a decentralized platform}}
'''स्मार्ट अनुबंध''' [[कंप्यूटर प्रोग्राम]] या [[लेनदेन प्रोटोकॉल डेटा यूनिट|लेनदेन प्रोटोकॉल डेटा इकाई]] है जिसका उद्देश्य किसी [[अनुबंध]] या लेनदेन की प्रतिबन्धों के अनुसार घटनाओं और कार्यों को स्वचालित रूप से निष्पादित, नियंत्रित या दस्तावेज़ीकृत करना है।<ref name=infobus>{{cite journal |last1=Röscheisen |first1=Martin |last2=Baldonado |first2=Michelle |last3=Chang |first3=Kevin |last4=Gravano |first4=Luis |last5=Ketchpel |first5=Steven |last6=Paepcke |first6=Andreas |title=The Stanford InfoBus and its service layers: Augmenting the internet with higher-level information management protocols |journal=Digital Libraries in Computer Science: The MeDoc Approach |series=Lecture Notes in Computer Science |date=1998 |volume=1392 |pages=213–230 |doi=10.1007/bfb0052526 |publisher=Springer |isbn=978-3-540-64493-4 |language=en}}</ref><ref name=conbook>{{cite book |last1=Fries |first1=Martin |last2=P. Paal |first2=Boris |title=स्मार्ट कॉन्ट्रैक्ट्स|year=2019 |publisher=Mohr Siebeck |jstor=j.ctvn96h9r |isbn=978-3-16-156911-1 |language=de}}</ref><ref name=savel>{{cite web |last1=Savelyev |first1=Alexander |title=Contract Law 2.0: "Smart" Contracts As the Beginning of the End of Classic Contract Law |date=14 December 2016 |publisher=Social Science Research Network |ssrn=2885241 |language=en|url=https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2885241}}</ref><ref name="tapscott2016">{{cite book|title=The Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World|last1=Tapscott|first1=Don|last2=Tapscott|first2=Alex|date=May 2016|isbn=978-0670069972|pages=72, 83, 101, 127|author-link=Don Tapscott}}<!--|access-date=2016-07-3 per copy of book in hand; do not have a URL link --></ref> स्मार्ट अनुबंधों का उद्देश्य विश्वसनीय मध्यस्थों की आवश्यकता, मध्यस्थता लागत और धोखाधड़ी की हानि को कम करना, साथ ही दुर्भावनापूर्ण और आकस्मिक अपवादों को कम करना है।<ref>{{cite journal |last1=Szabo |first1=Nick |author-link1=Nick Szabo |title=View of Formalizing and Securing Relationships on Public Networks {{!}} First Monday |journal=First Monday |date=1997 |doi=10.5210/fm.v2i9.548 |s2cid=33773111 |url=https://firstmonday.org/article/view/548/469}}</ref><ref name=conbook/> स्मार्ट अनुबंध सामान्यतः क्रिप्टोकरेंसी से जुड़े होते हैं, और [[Ethereum|इथेरियम]] द्वारा प्रारम्भ किए गए स्मार्ट अनुबंध को सामान्यतः विकेंद्रीकृत वित्त (डीएफआई) और [[एनएफटी]] अनुप्रयोगों के लिए मूलभूत मूलभूत अंग माना जाता है।<ref>{{Cite journal |last1=Zhou |first1=Haozhe |last2=Milani Fard |first2=Amin |last3=Makanju |first3=Adetokunbo |date=2022-05-27 |title=The State of Ethereum Smart Contracts Security: Vulnerabilities, Countermeasures, and Tool Support |journal=Journal of Cybersecurity and Privacy |language=en |volume=2 |issue=2 |pages=358–378 |doi=10.3390/jcp2020019 |issn=2624-800X|doi-access=free }}</ref><ref>{{cite web |title=एनएफटी स्मार्ट कॉन्ट्रैक्ट्स के बारे में आपको जो कुछ पता होना चाहिए|url=https://www.binance.com/en/blog/nft/all-you-need-to-know-about-nft-smart-contracts-568745413587703085 |website=Binance.com |publisher=Binance |access-date=26 September 2022}}</ref>
'''स्मार्ट अनुबंध''' [[कंप्यूटर प्रोग्राम]] या [[लेनदेन प्रोटोकॉल डेटा यूनिट|लेनदेन प्रोटोकॉल]] है जिसका उद्देश्य किसी [[अनुबंध]] या समझौते के प्रतिबन्धों के अनुसार घटनाओं और क्रियाओं को स्वचालित रूप से निष्पादित, नियंत्रित या दस्तावेज़ीकृत करना है।<ref name=infobus>{{cite journal |last1=Röscheisen |first1=Martin |last2=Baldonado |first2=Michelle |last3=Chang |first3=Kevin |last4=Gravano |first4=Luis |last5=Ketchpel |first5=Steven |last6=Paepcke |first6=Andreas |title=The Stanford InfoBus and its service layers: Augmenting the internet with higher-level information management protocols |journal=Digital Libraries in Computer Science: The MeDoc Approach |series=Lecture Notes in Computer Science |date=1998 |volume=1392 |pages=213–230 |doi=10.1007/bfb0052526 |publisher=Springer |isbn=978-3-540-64493-4 |language=en}}</ref><ref name=conbook>{{cite book |last1=Fries |first1=Martin |last2=P. Paal |first2=Boris |title=स्मार्ट कॉन्ट्रैक्ट्स|year=2019 |publisher=Mohr Siebeck |jstor=j.ctvn96h9r |isbn=978-3-16-156911-1 |language=de}}</ref><ref name=savel>{{cite web |last1=Savelyev |first1=Alexander |title=Contract Law 2.0: "Smart" Contracts As the Beginning of the End of Classic Contract Law |date=14 December 2016 |publisher=Social Science Research Network |ssrn=2885241 |language=en|url=https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2885241}}</ref><ref name="tapscott2016">{{cite book|title=The Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World|last1=Tapscott|first1=Don|last2=Tapscott|first2=Alex|date=May 2016|isbn=978-0670069972|pages=72, 83, 101, 127|author-link=Don Tapscott}}<!--|access-date=2016-07-3 per copy of book in hand; do not have a URL link --></ref> स्मार्ट अनुबंधों का उद्देश्य विश्वसनीय मध्यस्थों की आवश्यकता, मध्यस्थता लागत और छल की हानि को कम करना, साथ ही दुर्भावनापूर्ण और आकस्मिक अपवादों को कम करना है।<ref>{{cite journal |last1=Szabo |first1=Nick |author-link1=Nick Szabo |title=View of Formalizing and Securing Relationships on Public Networks {{!}} First Monday |journal=First Monday |date=1997 |doi=10.5210/fm.v2i9.548 |s2cid=33773111 |url=https://firstmonday.org/article/view/548/469}}</ref><ref name=conbook/> स्मार्ट अनुबंध सामान्यतः क्रिप्टोकरेंसी से जुड़े होते हैं, और [[Ethereum|इथेरियम]] द्वारा प्रारम्भ किए गए स्मार्ट अनुबंध को सामान्यतः विकेंद्रीकृत वित्त (डीएफआई) और [[एनएफटी]] अनुप्रयोगों के लिए मूलभूत मूलभूत अंग माना जाता है।<ref>{{Cite journal |last1=Zhou |first1=Haozhe |last2=Milani Fard |first2=Amin |last3=Makanju |first3=Adetokunbo |date=2022-05-27 |title=The State of Ethereum Smart Contracts Security: Vulnerabilities, Countermeasures, and Tool Support |journal=Journal of Cybersecurity and Privacy |language=en |volume=2 |issue=2 |pages=358–378 |doi=10.3390/jcp2020019 |issn=2624-800X|doi-access=free }}</ref><ref>{{cite web |title=एनएफटी स्मार्ट कॉन्ट्रैक्ट्स के बारे में आपको जो कुछ पता होना चाहिए|url=https://www.binance.com/en/blog/nft/all-you-need-to-know-about-nft-smart-contracts-568745413587703085 |website=Binance.com |publisher=Binance |access-date=26 September 2022}}</ref>


इस प्रकार से [[वेंडिंग मशीन|वेंडिंग मशीनों]] को स्मार्ट अनुबंध कार्यान्वयन के समकक्ष प्रौद्योगिकी के सबसे प्राचीन टुकड़े के रूप में उल्लेखित किया गया है।<ref name="savel" /> 2014 में [[विटालिक ब्यूटिरिन]] द्वारा मूल एथेरियम श्वेत पत्र<ref name="buterin">{{cite web |url=https://github.com/ethereum/wiki/wiki/White-Paper |title=White Paper· ethereum/wiki Wiki · GitHub |website=[[GitHub]] |url-status=live |archive-url=https://web.archive.org/web/20140111180823/http://ethereum.org/ethereum.html |archive-date=11 January 2014 }}</ref> [[बिटकॉइन प्रोटोकॉल]] को स्मार्ट अनुबंध अवधारणा के दुर्बल संस्करण के रूप में वर्णित किया गया है, जैसा कि मूल रूप से [[निक स्ज़ाबो]] द्वारा परिभाषित किया गया था, और [[ दृढ़ता |दृढ़ता]] लैंग्वेज के आधार पर दृढ संस्करण प्रस्तावित किया गया है, जो [[ट्यूरिंग पूर्ण]] है। बिटकॉइन के बाद से, विभिन्न क्रिप्टोकरेंसी ने [[प्रोग्रामिंग भाषा|प्रोग्रामिंग लैंग्वेज]] का समर्थन किया है जो अविश्वसनीय समूहों के बीच अधिक उन्नत स्मार्ट अनुबंध की अनुमति देती है।<ref>{{cite journal |last1=Alharby |first1=Maher |last2=van Moorsel |first2=Aad |title=Blockchain-based Smart Contracts: A Systematic Mapping Study |journal=Computer Science & Information Technology |date=26 August 2017 |pages=125–140 |doi=10.5121/csit.2017.71011 |arxiv=1710.06372 |isbn=9781921987700 |s2cid=725413 }}</ref>
इस प्रकार से [[वेंडिंग मशीन|वेंडिंग मशीनों]] को स्मार्ट अनुबंध कार्यान्वयन के समकक्ष टेक्नोलाजी के सबसे प्राचीन टुकड़े के रूप में उल्लेखित किया गया है।<ref name="savel" /> 2014 में [[विटालिक ब्यूटिरिन]] द्वारा मूल एथेरियम श्वेत पत्र<ref name="buterin">{{cite web |url=https://github.com/ethereum/wiki/wiki/White-Paper |title=White Paper· ethereum/wiki Wiki · GitHub |website=[[GitHub]] |url-status=live |archive-url=https://web.archive.org/web/20140111180823/http://ethereum.org/ethereum.html |archive-date=11 January 2014 }}</ref> [[बिटकॉइन प्रोटोकॉल]] को स्मार्ट अनुबंध अवधारणा के दुर्बल संस्करण के रूप में वर्णित किया गया है, जैसा कि मूल रूप से [[निक स्ज़ाबो]] द्वारा परिभाषित किया गया था, और [[ दृढ़ता |सॉलिडिटी]] लैंग्वेज के आधार पर दृढ संस्करण प्रस्तावित किया गया है, जो [[ट्यूरिंग पूर्ण]] है। बिटकॉइन के बाद से, विभिन्न क्रिप्टोकरेंसी ने [[प्रोग्रामिंग भाषा|प्रोग्रामिंग लैंग्वेज]] का समर्थन किया है जो अविश्वसनीय समूहों के बीच अधिक उन्नत स्मार्ट अनुबंध की अनुमति देती है।<ref>{{cite journal |last1=Alharby |first1=Maher |last2=van Moorsel |first2=Aad |title=Blockchain-based Smart Contracts: A Systematic Mapping Study |journal=Computer Science & Information Technology |date=26 August 2017 |pages=125–140 |doi=10.5121/csit.2017.71011 |arxiv=1710.06372 |isbn=9781921987700 |s2cid=725413 }}</ref>


इस प्रकार से एक स्मार्ट अनुबंध को [[स्मार्ट कानूनी अनुबंध|स्मार्ट वैध अनुबंध]] के साथ भ्रमित नहीं किया जाना चाहिए, जो पारंपरिक, प्राकृतिक-लैंग्वेज, वैध रूप से बाध्यकारी लेनदेन को संदर्भित करता है जिसमें मशीन-पठनीय कोड में व्यक्त और कार्यान्वित प्रतिबन्धों का चयन किया गया है।<ref name="erpl201812" /><ref name="jit202008" /><ref name="jit202009" />
इस प्रकार से एक स्मार्ट अनुबंध को [[स्मार्ट कानूनी अनुबंध|स्मार्ट वैध अनुबंध]] के साथ भ्रमित नहीं किया जाना चाहिए, जो पारंपरिक, प्राकृतिक-लैंग्वेज, वैध रूप से बाध्यकारी लेनदेन को संदर्भित करता है जिसमें मशीन-पठनीय कोड में व्यक्त और कार्यान्वित प्रतिबन्धों का चयन किया गया है।<ref name="erpl201812" /><ref name="jit202008" /><ref name="jit202009" />
==व्युत्पत्ति==
==व्युत्पत्ति==
स्मार्ट अनुबंध पहली बार 1990 के दशक की प्रारम्भ में निक स्जाबो द्वारा प्रस्तावित किए गए थे, जिन्होंने यह शब्द गढ़ा था, इसका उपयोग डिजिटल रूप में निर्दिष्ट वचनों के समूह को संदर्भित करने के लिए किया गया था, जिसमें प्रोटोकॉल भी सम्मिलित थे, जिसके भीतर समूह इन वचनों पर कार्य करती हैं।<ref>{{cite web |url=http://fortune.com/2014/01/21/bitcoin-is-not-just-digital-currency-its-napster-for-finance/ |title=बिटकॉइन सिर्फ डिजिटल करेंसी नहीं है. यह वित्त के लिए नैप्स्टर है|last=Morris |first=David Z. |date=21 January 2014 |website=[[Fortune (magazine)|Fortune]] |access-date=7 November 2018}}</ref><ref>{{cite web |url=http://arno.uvt.nl/show.cgi?fid=146860 |title=नीदरलैंड में स्मार्ट अनुबंध - टिलबर्ग विश्वविद्यालय|last=Schulpen |first=Ruben R.W.H.G. |date=1 August 2018 |website=uvt.nl|publisher=Twente University |access-date=26 October 2019}}</ref> इस प्रकार से 1998 में, इस शब्द का उपयोग स्टैनफोर्ड इन्फोबस सिस्टम के [[डिजिटल अधिकार प्रबंधन]] में वस्तुओं का वर्णन करने के लिए किया गया था, जो [[स्टैनफोर्ड डिजिटल लाइब्रेरी प्रोजेक्ट]] का भाग था।<ref name=infobus/>
स्मार्ट अनुबंध प्रथमतः 1990 के दशक के प्रारम्भ में निक स्जाबो द्वारा प्रस्तावित किए गए थे, जिन्होंने यह शब्द गढ़ा था, इसका उपयोग डिजिटल रूप में निर्दिष्ट वचनों के समूह को संदर्भित करने के लिए किया गया था, जिसमें प्रोटोकॉल भी सम्मिलित थे, जिसके भीतर समूह इन वचनों पर निष्पादन करती हैं।<ref>{{cite web |url=http://fortune.com/2014/01/21/bitcoin-is-not-just-digital-currency-its-napster-for-finance/ |title=बिटकॉइन सिर्फ डिजिटल करेंसी नहीं है. यह वित्त के लिए नैप्स्टर है|last=Morris |first=David Z. |date=21 January 2014 |website=[[Fortune (magazine)|Fortune]] |access-date=7 November 2018}}</ref><ref>{{cite web |url=http://arno.uvt.nl/show.cgi?fid=146860 |title=नीदरलैंड में स्मार्ट अनुबंध - टिलबर्ग विश्वविद्यालय|last=Schulpen |first=Ruben R.W.H.G. |date=1 August 2018 |website=uvt.nl|publisher=Twente University |access-date=26 October 2019}}</ref> इस प्रकार से 1998 में, इस शब्द का उपयोग स्टैनफोर्ड इन्फोबस सिस्टम के [[डिजिटल अधिकार प्रबंधन]] में वस्तुओं का वर्णन करने के लिए किया गया था, जो [[स्टैनफोर्ड डिजिटल लाइब्रेरी प्रोजेक्ट]] का भाग था।<ref name=infobus/>
==स्मार्ट अनुबंधों की वैध स्थिति==
==स्मार्ट अनुबंधों की वैध स्थिति==
{{See also|एल्गोरिदम का विनियमन}}
{{See also|एल्गोरिदम का विनियमन}}
Line 13: Line 13:
इस प्रकार से एक स्मार्ट अनुबंध सामान्यतः नियम में वैध बाध्यकारी समझौता नहीं बनता है,<ref name=jcl201912/> यद्यपि स्मार्ट वैध अनुबंध का उद्देश्य मशीन द्वारा निष्पादन योग्य और वैध रूप से लागू करना दोनों है।<ref>{{cite journal |last1=CleanApp |title=Crypto's Founding Fallacy: How Mistakes in the 'Smart Contract' Genesis Block Weaken the Whole Chain |journal=Crypto Law Review |date=January 21, 2019 |url=https://medium.com/cryptolawreview/cryptos-founding-fallacy-aaa151b795ff |language=en}}</ref> <ref name=erpl201812>{{cite journal |last1=Cannarsa |first1=Michel |title=Interpretation of Contracts and Smart Contracts: Smart Interpretation or Interpretation of Smart Contracts? |journal=European Review of Private Law |date=1 December 2018 |volume=26 |issue=6 |pages=773–785 |doi=10.54648/ERPL2018054 |s2cid=188017977 |url=https://kluwerlawonline.com/journalarticle/European+Review+of+Private+Law/26.6/ERPL2018054 |language=en}}</ref><ref name=jit202008>{{cite journal |last1=Drummer |first1=Daniel |last2=Neumann |first2=Dirk |title=Is code law? Current legal and technical adoption issues and remedies for blockchain-enabled smart contracts |journal=Journal of Information Technology |date=5 August 2020 |volume=35 |issue=4 |pages=337–360 |doi=10.1177/0268396220924669 |s2cid=225409384 |url=https://journals.sagepub.com/doi/abs/10.1177/0268396220924669 |language=en |issn=0268-3962}}</ref><ref name=jit202009>{{cite journal |last1=Filatova |first1=Nataliia |title=Smart contracts from the contract law perspective: outlining new regulative strategies |journal=International Journal of Law and Information Technology |date=1 September 2020 |volume=28 |issue=3 |pages=217–242 |doi=10.1093/ijlit/eaaa015 |url=https://academic.oup.com/ijlit/article-abstract/28/3/217/5897086 |language=en |issn=0967-0769}}</ref>
इस प्रकार से एक स्मार्ट अनुबंध सामान्यतः नियम में वैध बाध्यकारी समझौता नहीं बनता है,<ref name=jcl201912/> यद्यपि स्मार्ट वैध अनुबंध का उद्देश्य मशीन द्वारा निष्पादन योग्य और वैध रूप से लागू करना दोनों है।<ref>{{cite journal |last1=CleanApp |title=Crypto's Founding Fallacy: How Mistakes in the 'Smart Contract' Genesis Block Weaken the Whole Chain |journal=Crypto Law Review |date=January 21, 2019 |url=https://medium.com/cryptolawreview/cryptos-founding-fallacy-aaa151b795ff |language=en}}</ref> <ref name=erpl201812>{{cite journal |last1=Cannarsa |first1=Michel |title=Interpretation of Contracts and Smart Contracts: Smart Interpretation or Interpretation of Smart Contracts? |journal=European Review of Private Law |date=1 December 2018 |volume=26 |issue=6 |pages=773–785 |doi=10.54648/ERPL2018054 |s2cid=188017977 |url=https://kluwerlawonline.com/journalarticle/European+Review+of+Private+Law/26.6/ERPL2018054 |language=en}}</ref><ref name=jit202008>{{cite journal |last1=Drummer |first1=Daniel |last2=Neumann |first2=Dirk |title=Is code law? Current legal and technical adoption issues and remedies for blockchain-enabled smart contracts |journal=Journal of Information Technology |date=5 August 2020 |volume=35 |issue=4 |pages=337–360 |doi=10.1177/0268396220924669 |s2cid=225409384 |url=https://journals.sagepub.com/doi/abs/10.1177/0268396220924669 |language=en |issn=0268-3962}}</ref><ref name=jit202009>{{cite journal |last1=Filatova |first1=Nataliia |title=Smart contracts from the contract law perspective: outlining new regulative strategies |journal=International Journal of Law and Information Technology |date=1 September 2020 |volume=28 |issue=3 |pages=217–242 |doi=10.1093/ijlit/eaaa015 |url=https://academic.oup.com/ijlit/article-abstract/28/3/217/5897086 |language=en |issn=0967-0769}}</ref>


स्मार्ट अनुबंध वैध लेनदेन नहीं हैं, बल्कि लेनदेन से उत्पन्न दायित्वों को पूर्ण करने के साधन हैं जिन्हें कंप्यूटर प्रोग्राम या लेनदेन [[प्रोटोकॉल (कंप्यूटर विज्ञान)]] द्वारा स्वचालित रूप से निष्पादित किया जा सकता है,<ref name="jcl201912">Mik, Eliza, Smart Contracts: A Requiem (December 7, 2019). Journal of Contract Law (2019) Volume 36 Part 1 at p 72</ref> जैसे भुगतान दायित्वों या टोकन या क्रिप्टोकरेंसी के हस्तांतरण से जुड़े दायित्वों के स्वचालन के लिए तकनीकी साधन।<ref>J Cieplak, S Leefatt, ‘Smart Contracts: A Smart Way To Automate Performance’ (2017) 1 Georgia L & Tech Rev 417</ref> इस प्रकार से कुछ विद्वानों ने तर्क दिया है कि प्रोग्रामिंग लैंग्वेजों की अनिवार्य या घोषणात्मक प्रकृति स्मार्ट अनुबंधों की वैध वैधता को प्रभावित करेगी।<ref name="ail2018issue4">{{cite journal|last1=Governatori|first1=Guido|last2=Idelberger|first2=Florian|last3=Milosevic|first3=Zoran|last4=Riveret|first4=Regis|last5=Sartor|first5=Giovanni|last6=Xu|first6=Xiwei|title=कानूनी अनुबंधों, अनिवार्य और घोषणात्मक स्मार्ट अनुबंधों और ब्लॉकचेन प्रणालियों पर|journal=Artificial Intelligence and Law|year=2018|volume=26|issue=4|pages=33|language=en|doi=10.1007/s10506-018-9223-3|s2cid=3663005}}</ref>
स्मार्ट अनुबंध वैध लेनदेन नहीं हैं, यद्यपि लेनदेन से उत्पन्न दायित्वों को पूर्ण करने के साधन हैं जिन्हें कंप्यूटर प्रोग्राम या लेनदेन [[प्रोटोकॉल (कंप्यूटर विज्ञान)]] द्वारा स्वचालित रूप से निष्पादित किया जा सकता है,<ref name="jcl201912">Mik, Eliza, Smart Contracts: A Requiem (December 7, 2019). Journal of Contract Law (2019) Volume 36 Part 1 at p 72</ref> जैसे भुगतान दायित्वों या टोकन या क्रिप्टोकरेंसी के हस्तांतरण से जुड़े दायित्वों के स्वचालन के लिए तकनीकी साधन है।<ref>J Cieplak, S Leefatt, ‘Smart Contracts: A Smart Way To Automate Performance’ (2017) 1 Georgia L & Tech Rev 417</ref> इस प्रकार से कुछ विद्वानों ने तर्क दिया है कि प्रोग्रामिंग लैंग्वेजों की अनिवार्य या घोषणात्मक प्रकृति स्मार्ट अनुबंधों की वैध वैधता को प्रभावित करेगी।<ref name="ail2018issue4">{{cite journal|last1=Governatori|first1=Guido|last2=Idelberger|first2=Florian|last3=Milosevic|first3=Zoran|last4=Riveret|first4=Regis|last5=Sartor|first5=Giovanni|last6=Xu|first6=Xiwei|title=कानूनी अनुबंधों, अनिवार्य और घोषणात्मक स्मार्ट अनुबंधों और ब्लॉकचेन प्रणालियों पर|journal=Artificial Intelligence and Law|year=2018|volume=26|issue=4|pages=33|language=en|doi=10.1007/s10506-018-9223-3|s2cid=3663005}}</ref>


2015 में एथेरियम [[ब्लॉकचेन (डेटाबेस)]] के लॉन्च के बाद से,<ref>{{Cite web|last=Buterin|first=Vitalik|date=August 7, 2015|title=एथेरियम - सार्वजनिक और सार्वजनिक ब्लॉकचेन पर|url=https://blog.ethereum.org/2015/08/07/on-public-and-private-blockchains/|website=Ethereum.Org}}</ref> स्मार्ट अनुबंध शब्द को विशेष रूप से सामान्य प्रयोजन गणना की धारणा के लिए लागू किया गया है जो ब्लॉकचेन या वितरित खाता बही पर होता है। यूएस नेशनल इंस्टीट्यूट ऑफ स्टैंडर्ड्स एंड टेक्नोलॉजी स्मार्ट अनुबंध को कोड और डेटा (कभी-कभी फलन और स्थिति के रूप में संदर्भित) के संग्रह के रूप में वर्णित करता है जिसे ब्लॉकचेन नेटवर्क पर क्रिप्टोग्राफ़िक रूप से हस्ताक्षरित लेनदेन का उपयोग करके नियुक्त किया जाता है।<ref>D J Yaga et al., Blockchain Technology Overview, National Institute of Standards and Technology Internal/Interagency Report 8202, 2018, p 54, cited in Mik, Eliza, Smart Contracts: A Requiem (December 7, 2019). Journal of Contract Law (2019) Volume 36 Part 1 at p 71</ref> इस व्याख्या में, उदाहरण के लिए एथेरियम संस्था<ref name="buterin" /> या आईबीएम द्वारा उपयोग किया जाता है,<ref>{{cite web|last1=Cachin|first1=Christian|title=हाइपरलेजर ब्लॉकचेन फैब्रिक की वास्तुकला|url=https://www.zurich.ibm.com/dccl/papers/cachin_dccl.pdf|website=ibm.com}}</ref> एक स्मार्ट अनुबंध आवश्यक रूप से अनुबंध की उत्कृष्ट अवधारणा से संबंधित नहीं है, परन्तु यह किसी भी प्रकार का कंप्यूटर प्रोग्राम हो सकता है। स्मार्ट अनुबंध को सुरक्षित संग्रहित प्रक्रिया के रूप में भी माना जा सकता है, क्योंकि इसके निष्पादन और संहिताबद्ध प्रभाव (जैसे समूहों के बीच मूल्य का हस्तांतरण) को दृढ़ता से लागू किया जाता है और इसमें परिवर्तन नहीं किया जा सकता है; विशिष्ट अनुबंध विवरण के साथ लेनदेन को ब्लॉकचेन या वितरित बहीखाता में संग्रहीत करने के बाद, इसे बदला नहीं जा सकता है। ऐसा इसलिए है क्योंकि अनुबंधों का वास्तविक निष्पादन प्लेटफ़ॉर्म द्वारा नियंत्रित और ऑडिट किया जाता है, न कि प्लेटफ़ॉर्म से जुड़ने वाले यादृच्छिक सर्वर-साइड प्रोग्राम द्वारा।<ref>{{cite journal |first1=Hoang Tam|last1=Vo|first2=Ashish|last2=Kundu|first3=Mukesh|last3=Mohania|title=ब्लॉकचेन डेटा प्रबंधन और एनालिटिक्स में अनुसंधान दिशाएँ|url=https://openproceedings.org/2018/conf/edbt/paper-227.pdf|journal=Advances in Database Technology - Extending Database Technology (EDBT)|volume=21|year=2018|publisher=OpenProceedings|quote=कुछ वितरित खाता-बही प्रौद्योगिकियाँ स्मार्ट अनुबंध नामक एक अतिरिक्त क्षमता का समर्थन करती हैं, जो कुछ हद तक शास्त्रीय संबंधपरक डेटाबेस में संग्रहीत प्रक्रिया की अवधारणा के समान है। स्मार्ट कॉन्ट्रैक्ट्स, बहीखाता की अखंडता को बढ़ाने के लिए कंप्यूटर प्रोग्राम के माध्यम से एक बिजनेस नेटवर्क के भीतर साझा व्यावसायिक प्रक्रियाओं को मानकीकृत, स्वचालित और लागू करने की अनुमति देते हैं।|page=446}}</ref><ref>{{cite journal |first1=Steve|last1=Huckle|first2=Rituparna|last2=Bhattacharya|first3=Martin|last3=White|first4=Natalia|last4=Beloff|journal=Procedia Computer Science|volume=98|year=2016|title=इंटरनेट ऑफ थिंग्स, ब्लॉकचेन और साझा अर्थव्यवस्था अनुप्रयोग|publisher=Elsevier B.V. |quote=सबसे पहले, लेनदेन के इनपुट में बीटीसी की कुल मात्रा में आउटपुट में बीटीसी की कुल संख्या शामिल होनी चाहिए। यह नियम डेटाबेस संग्रहीत प्रक्रिया के समान ही व्यवहार करता है, सिवाय इसके कि इसे टालना असंभव है। दूसरे, बीटीसी लेनदेन सार्वजनिक-निजी कुंजी क्रिप्टोग्राफी का उपयोग करते हैं। यह बीटीसी को सार्वजनिक रूप से ऑडिट करने योग्य प्रति-पंक्ति अनुमति योजना वाले डेटाबेस की तरह कार्य करता है।|page=463|doi=10.1016/j.procs.2016.09.074|doi-access=free}}</ref>
2015 में एथेरियम [[ब्लॉकचेन (डेटाबेस)]] के लॉन्च के बाद से,<ref>{{Cite web|last=Buterin|first=Vitalik|date=August 7, 2015|title=एथेरियम - सार्वजनिक और सार्वजनिक ब्लॉकचेन पर|url=https://blog.ethereum.org/2015/08/07/on-public-and-private-blockchains/|website=Ethereum.Org}}</ref> स्मार्ट अनुबंध शब्द को विशेष रूप से सामान्य प्रयोजन गणना की धारणा के लिए लागू किया गया है जो ब्लॉकचेन या वितरित बही खाता होता है। यूएस नेशनल इंस्टीट्यूट ऑफ स्टैंडर्ड्स एंड टेक्नोलॉजी स्मार्ट अनुबंध को कोड और डेटा (कभी-कभी फलन और स्थिति के रूप में संदर्भित) के संग्रह के रूप में वर्णित करता है जिसे ब्लॉकचेन नेटवर्क पर क्रिप्टोग्राफ़िक रूप से हस्ताक्षरित लेनदेन का उपयोग करके नियुक्त किया जाता है।<ref>D J Yaga et al., Blockchain Technology Overview, National Institute of Standards and Technology Internal/Interagency Report 8202, 2018, p 54, cited in Mik, Eliza, Smart Contracts: A Requiem (December 7, 2019). Journal of Contract Law (2019) Volume 36 Part 1 at p 71</ref> इस व्याख्या में, उदाहरण के लिए एथेरियम संस्था<ref name="buterin" /> या आईबीएम द्वारा उपयोग किया जाता है,<ref>{{cite web|last1=Cachin|first1=Christian|title=हाइपरलेजर ब्लॉकचेन फैब्रिक की वास्तुकला|url=https://www.zurich.ibm.com/dccl/papers/cachin_dccl.pdf|website=ibm.com}}</ref> एक स्मार्ट अनुबंध आवश्यक रूप से अनुबंध की उत्कृष्ट अवधारणा से संबंधित नहीं है, परन्तु यह किसी भी प्रकार का कंप्यूटर प्रोग्राम हो सकता है। स्मार्ट अनुबंध को सुरक्षित संग्रहित प्रक्रिया के रूप में भी माना जा सकता है, क्योंकि इसके निष्पादन और संहिताबद्ध प्रभाव (जैसे समूहों के बीच मूल्य का हस्तांतरण) को स्पष्टता से लागू किया जाता है और इसमें परिवर्तन नहीं किया जा सकता है; विशिष्ट अनुबंध विवरण के साथ लेनदेन को ब्लॉकचेन या वितरित बही खाता में संग्रहीत करने के बाद, इसे बदला नहीं जा सकता है। ऐसा इसलिए है क्योंकि अनुबंधों का वास्तविक निष्पादन प्लेटफ़ॉर्म द्वारा नियंत्रित और ऑडिट किया जाता है, न कि प्लेटफ़ॉर्म से जुड़ने वाले यादृच्छिक सर्वर-साइड प्रोग्राम द्वारा।<ref>{{cite journal |first1=Hoang Tam|last1=Vo|first2=Ashish|last2=Kundu|first3=Mukesh|last3=Mohania|title=ब्लॉकचेन डेटा प्रबंधन और एनालिटिक्स में अनुसंधान दिशाएँ|url=https://openproceedings.org/2018/conf/edbt/paper-227.pdf|journal=Advances in Database Technology - Extending Database Technology (EDBT)|volume=21|year=2018|publisher=OpenProceedings|quote=कुछ वितरित खाता-बही प्रौद्योगिकियाँ स्मार्ट अनुबंध नामक एक अतिरिक्त क्षमता का समर्थन करती हैं, जो कुछ हद तक शास्त्रीय संबंधपरक डेटाबेस में संग्रहीत प्रक्रिया की अवधारणा के समान है। स्मार्ट कॉन्ट्रैक्ट्स, बहीखाता की अखंडता को बढ़ाने के लिए कंप्यूटर प्रोग्राम के माध्यम से एक बिजनेस नेटवर्क के भीतर साझा व्यावसायिक प्रक्रियाओं को मानकीकृत, स्वचालित और लागू करने की अनुमति देते हैं।|page=446}}</ref><ref>{{cite journal |first1=Steve|last1=Huckle|first2=Rituparna|last2=Bhattacharya|first3=Martin|last3=White|first4=Natalia|last4=Beloff|journal=Procedia Computer Science|volume=98|year=2016|title=इंटरनेट ऑफ थिंग्स, ब्लॉकचेन और साझा अर्थव्यवस्था अनुप्रयोग|publisher=Elsevier B.V. |quote=सबसे पहले, लेनदेन के इनपुट में बीटीसी की कुल मात्रा में आउटपुट में बीटीसी की कुल संख्या शामिल होनी चाहिए। यह नियम डेटाबेस संग्रहीत प्रक्रिया के समान ही व्यवहार करता है, सिवाय इसके कि इसे टालना असंभव है। दूसरे, बीटीसी लेनदेन सार्वजनिक-निजी कुंजी क्रिप्टोग्राफी का उपयोग करते हैं। यह बीटीसी को सार्वजनिक रूप से ऑडिट करने योग्य प्रति-पंक्ति अनुमति योजना वाले डेटाबेस की तरह कार्य करता है।|page=463|doi=10.1016/j.procs.2016.09.074|doi-access=free}}</ref>


इस प्रकार से 2017 में, [[डिजिटल अर्थव्यवस्था के विकास पर डिक्री]] को लागू करके, [[बेलोरूस]] पहला देश बन गया है देश स्मार्ट अनुबंधों को वैध बनाएगा। बेलारूसी वकील डेनिस एलेनिकोव को डिक्री द्वारा प्रारम्भ की गई स्मार्ट अनुबंध वैध अवधारणा का लेखक माना जाता है।<ref>{{cite news|url=https://www.reuters.com/article/us-belarus-cryptocurrency-idUSKBN1EG0XO  |title=बेलारूस ने विदेशी निवेशकों को लुभाने के लिए क्रिप्टो-मुद्रा कानून अपनाया|last=Makhovsky |first=Andrei |date=December 22, 2017 |work=[[Reuters]]}}</ref>
इस प्रकार से 2017 में, [[डिजिटल अर्थव्यवस्था के विकास पर डिक्री]] को लागू करके, [[बेलोरूस]] पहला देश बन गया है देश स्मार्ट अनुबंधों को वैध बनाएगा। बेलारूसी वकील डेनिस एलेनिकोव को डिक्री द्वारा प्रारम्भ की गई स्मार्ट अनुबंध वैध अवधारणा का लेखक माना जाता है।<ref>{{cite news|url=https://www.reuters.com/article/us-belarus-cryptocurrency-idUSKBN1EG0XO  |title=बेलारूस ने विदेशी निवेशकों को लुभाने के लिए क्रिप्टो-मुद्रा कानून अपनाया|last=Makhovsky |first=Andrei |date=December 22, 2017 |work=[[Reuters]]}}</ref>
Line 23: Line 23:
इस प्रकार से अप्रैल 2021 में, यूके क्षेत्राधिकार कार्यबल (यूकेजेटी) ने ब्रिटेन में ब्लॉकचेन और क्रिप्टो वैध विवादों के तीव्रता से हल को सक्षम करने में सहायता करने के लिए डिजिटल विवाद हल नियम (डिजिटल डीआर नियम) प्रकाशित किए।<ref>{{Cite web|last1=Morgan|first1=Herbert Smith Freehills LLP-Charlie|last2=Parker|first2=Chris|last3=Livingston|first3=Dorothy|last4=Naish|first4=Vanessa|last5=Tevendale|first5=Craig|title=Arbitration of digital disputes in smart contracts and the release of the digital dispute resolution rules from the UK jurisdiction taskforce {{!}} Lexology|url=https://www.lexology.com/library/detail.aspx?g=6ea7c284-0157-4f2c-b330-e2758d1bf7a0|access-date=2021-04-25|website=www.lexology.com|date=23 April 2021|language=en}}</ref>
इस प्रकार से अप्रैल 2021 में, यूके क्षेत्राधिकार कार्यबल (यूकेजेटी) ने ब्रिटेन में ब्लॉकचेन और क्रिप्टो वैध विवादों के तीव्रता से हल को सक्षम करने में सहायता करने के लिए डिजिटल विवाद हल नियम (डिजिटल डीआर नियम) प्रकाशित किए।<ref>{{Cite web|last1=Morgan|first1=Herbert Smith Freehills LLP-Charlie|last2=Parker|first2=Chris|last3=Livingston|first3=Dorothy|last4=Naish|first4=Vanessa|last5=Tevendale|first5=Craig|title=Arbitration of digital disputes in smart contracts and the release of the digital dispute resolution rules from the UK jurisdiction taskforce {{!}} Lexology|url=https://www.lexology.com/library/detail.aspx?g=6ea7c284-0157-4f2c-b330-e2758d1bf7a0|access-date=2021-04-25|website=www.lexology.com|date=23 April 2021|language=en}}</ref>
==कार्यचालन==
==कार्यचालन==
ब्लॉकचेन पर मूल्य के हस्तांतरण के समान, ब्लॉकचेन पर स्मार्ट अनुबंध की नियुक्तिी ब्लॉकचेन के लिए [[क्रिप्टोकरेंसी वॉलेट]] से लेनदेन भेजकर होती है।<ref name="SoloroKannaHoover">{{cite book |last1=Soloro |first1=Kevin |last2=Kanna |first2=Randall |last3=Hoover |first3=David |title=Hands-On Smart Contract Development With Solidity and Ethereum: From Fundamentals to Deployment |date=December 2019 |publisher=O'Reilly |location=California, U.S.A. |isbn=978-1-492-04526-7 |page=73 |url=https://books.google.com/books?id=thbADwAAQBAJ |access-date=1 November 2020}}</ref> लेन-देन में स्मार्ट अनुबंध के लिए संकलित कोड के साथ-साथ विशेष रिसीवर एड्रेस भी सम्मिलित है।<ref name="SoloroKannaHoover" /> इस प्रकार से उस लेन-देन को तब ब्लॉकचैन में जोड़े गए ब्लॉक में सम्मिलित किया जाना चाहिए, जिस बिंदु पर स्मार्ट अनुबंध का कोड स्मार्ट अनुबंध की प्रारंभिक स्थिति स्थापित करने के लिए निष्पादित होगा।<ref name="SoloroKannaHoover" /> [[बीजान्टिन दोष सहिष्णुता]] एल्गोरिदम स्मार्ट अनुबंध को इसके साथ परिवर्तन करने के प्रयासों से विकेंद्रीकृत विधि से सुरक्षित करते हैं। एक बार स्मार्ट अनुबंध नियुक्त हो जाने के बाद, इसे अपडेट नहीं किया जा सकता है।<ref name="zilliqa">{{cite journal |last1=Sergey |first1=Ilya |last2=Nagaraj |first2=Vaivaswatha |last3=Johannsen |first3=Jacob |last4=Kumar |first4=Amrit |last5=Trunov |first5=Anton |last6=Hao |first6=Ken Chan Guan |title=स्किला के साथ सुरक्षित स्मार्ट अनुबंध प्रोग्रामिंग|journal=Proceedings of the ACM on Programming Languages |date=10 October 2019 |volume=3 |issue=OOPSLA |pages=1–30 |doi=10.1145/3360611 |language=en |issn=2475-1421|doi-access=free }}</ref> ब्लॉकचेन पर स्मार्ट अनुबंध यादृच्छिक स्थिति को संग्रहीत कर सकते हैं और यादृच्छिक गणना निष्पादित कर सकते हैं। अंतिम ग्राहक लेनदेन के माध्यम से स्मार्ट अनुबंध के साथ अन्तः क्रिया करते हैं। स्मार्ट अनुबंध के साथ ऐसे लेनदेन अन्य स्मार्ट अनुबंधों को लागू कर सकते हैं। इन लेन-देन के परिणामस्वरूप स्थिति बदल सकती है और सिक्कों को स्मार्ट अनुबंध से दूसरे या खाते से दूसरे खाते में भेजा जा सकता है।<ref name="zilliqa" />
ब्लॉकचेन पर मूल्य के हस्तांतरण के समान, ब्लॉकचेन पर स्मार्ट अनुबंध की नियुक्तिी ब्लॉकचेन के लिए [[क्रिप्टोकरेंसी वॉलेट]] से लेनदेन भेजकर होती है।<ref name="SoloroKannaHoover">{{cite book |last1=Soloro |first1=Kevin |last2=Kanna |first2=Randall |last3=Hoover |first3=David |title=Hands-On Smart Contract Development With Solidity and Ethereum: From Fundamentals to Deployment |date=December 2019 |publisher=O'Reilly |location=California, U.S.A. |isbn=978-1-492-04526-7 |page=73 |url=https://books.google.com/books?id=thbADwAAQBAJ |access-date=1 November 2020}}</ref> लेन-देन में स्मार्ट अनुबंध के लिए संकलित कोड के साथ-साथ विशेष रिसीवर एड्रेस भी सम्मिलित है।<ref name="SoloroKannaHoover" /> इस प्रकार से उस लेन-देन को तब ब्लॉकचैन में जोड़े गए ब्लॉक में सम्मिलित किया जाना चाहिए, जिस बिंदु पर स्मार्ट अनुबंध का कोड स्मार्ट अनुबंध की प्रारंभिक स्थिति स्थापित करने के लिए निष्पादित होगा।<ref name="SoloroKannaHoover" /> [[बीजान्टिन दोष सहिष्णुता]] एल्गोरिदम स्मार्ट अनुबंध को इसके साथ परिवर्तन करने के प्रयासों से विकेंद्रीकृत विधि से सुरक्षित करते हैं। एक बार स्मार्ट अनुबंध नियुक्त हो जाने के बाद, इसे अपडेट नहीं किया जा सकता है।<ref name="zilliqa">{{cite journal |last1=Sergey |first1=Ilya |last2=Nagaraj |first2=Vaivaswatha |last3=Johannsen |first3=Jacob |last4=Kumar |first4=Amrit |last5=Trunov |first5=Anton |last6=Hao |first6=Ken Chan Guan |title=स्किला के साथ सुरक्षित स्मार्ट अनुबंध प्रोग्रामिंग|journal=Proceedings of the ACM on Programming Languages |date=10 October 2019 |volume=3 |issue=OOPSLA |pages=1–30 |doi=10.1145/3360611 |language=en |issn=2475-1421|doi-access=free }}</ref> ब्लॉकचेन पर स्मार्ट अनुबंध यादृच्छिक स्थिति को संग्रहीत कर सकते हैं और यादृच्छिक गणना निष्पादित कर सकते हैं। अंतिम ग्राहक लेनदेन के माध्यम से स्मार्ट अनुबंध के साथ अन्तः क्रिया करते हैं। स्मार्ट अनुबंध के साथ ऐसे लेनदेन अन्य स्मार्ट अनुबंधों को लागू कर सकते हैं। इन लेन-देन के परिणामस्वरूप स्थिति बदल सकती है और सिक्कों को स्मार्ट अनुबंध से दूसरे या अकाउंट से दूसरे अकाउंट में भेजा जा सकता है।<ref name="zilliqa" />


इस प्रकार से स्मार्ट अनुबंध चलाने के लिए सबसे लोकप्रिय ब्लॉकचेन एथेरियम है।<ref>{{cite journal |last1=Alharby |first1=Maher |last2=van Moorsel |first2=Aad |title=Blockchain-based Smart Contracts: A Systematic Mapping Study |journal=Computer Science & Information Technology (CS & IT) |date=26 August 2017 |pages=125–140 |doi=10.5121/csit.2017.71011 |arxiv=1710.06372|isbn=9781921987700 |doi-access=free }}</ref> एथेरियम पर, [[स्मार्ट अनुबंध]] सामान्यतः [[ट्यूरिंग-पूर्णता]]|ट्यूरिंग-पूर्ण प्रोग्रामिंग लैंग्वेज में लिखे जाते हैं जिसे सॉलिडिटी कहा जाता है,<ref>{{cite journal |last1=Wohrer |first1=Maximilian |last2=Zdun |first2=Uwe |title=Smart contracts: security patterns in the ethereum ecosystem and solidity |journal=2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) |date=20 March 2018 |pages=2–8 |doi=10.1109/IWBOSE.2018.8327565 |isbn=978-1-5386-5986-1 |s2cid=4567923 |url=https://ieeexplore.ieee.org/document/8327565}}</ref> और एथेरियम वर्चुअल मशीन द्वारा निष्पादित करने के लिए निम्न-स्तरीय [[ बाईटकोड |बाईटकोड]] में संकलित किया गया।<ref name="vuln-exploit">{{cite arXiv |last1=Perez |first1=Daniel |last2=Livshits |first2=Benjamin |title=Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited |date=17 October 2020 |class=cs.CR |eprint=1902.06710}}</ref> [[रुकने की समस्या]] और अन्य सुरक्षा समस्याओं के कारण, ट्यूरिंग-पूर्णता को संकट माना जाता है और इथेरियम संपर्क स्रोत कोड जैसी लैंग्वेजों द्वारा विचार कर इससे बचा जाता है।<ref name="harz">{{cite arXiv |last1=Harz |first1=Dominik |last2=Knottenbelt |first2=William |title=Towards Safer Smart Contracts: A Survey of Languages and Verification Methods |date=31 October 2018 |class=cs.CR |eprint=1809.09805 }}</ref><ref name="overview">{{cite journal |last1=Tyurin |first1=A.V. |last2=Tyuluandin |first2=I.V. |last3=Maltsev |first3=V.S. |last4=Kirilenko |first4=I.A. |last5=Berezun |first5=D.A. |title=सुरक्षित स्मार्ट कॉन्ट्रैक्ट प्रोग्रामिंग के लिए भाषाओं का अवलोकन|journal=Proceedings of the Institute for System Programming of the RAS |date=2019 |volume=31 |issue=3 |pages=157–176 |doi=10.15514/ispras-2019-31(3)-13 |s2cid=203179644 |doi-access=free }}</ref> अन्य स्मार्ट अनुबंध प्रोग्रामिंग लैंग्वेजों में से कुछ में ट्यूरिंग-पूर्णता की कमी है, सिंपलिसिटी, स्किला, आइवी और बिटकॉइन स्क्रिप्ट हैं।<ref name="overview" /> यद्यपि, 2020 में [[नियमित अभिव्यक्ति]]यों का उपयोग करके माप से पता चला कि उस समय 53,757 एथेरियम स्मार्ट अनुबंधों में से मात्र 35.3% में पुनरावर्तन और पाश सम्मिलित थे - रुकने की समस्या से जुड़े निर्माण।<ref name="needturing">{{cite journal |last1=Jansen |first1=Marc |last2=Hdhili |first2=Farouk |last3=Gouiaa |first3=Ramy |last4=Qasem |first4=Ziyaad |title=Do Smart Contract Languages Need to Be Turing Complete? |journal=Blockchain and Applications |series=Advances in Intelligent Systems and Computing |date=2020 |volume=1010 |pages=19–26 |doi=10.1007/978-3-030-23813-1_3 |publisher=Springer International Publishing |isbn=978-3-030-23812-4 |s2cid=195656195 |language=en }}</ref>
इस प्रकार से स्मार्ट अनुबंध चलाने के लिए सबसे लोकप्रिय ब्लॉकचेन एथेरियम है।<ref>{{cite journal |last1=Alharby |first1=Maher |last2=van Moorsel |first2=Aad |title=Blockchain-based Smart Contracts: A Systematic Mapping Study |journal=Computer Science & Information Technology (CS & IT) |date=26 August 2017 |pages=125–140 |doi=10.5121/csit.2017.71011 |arxiv=1710.06372|isbn=9781921987700 |doi-access=free }}</ref> एथेरियम पर, [[स्मार्ट अनुबंध]] सामान्यतः [[ट्यूरिंग-पूर्णता]]|ट्यूरिंग-पूर्ण प्रोग्रामिंग लैंग्वेज में लिखे जाते हैं जिसे सॉलिडिटी कहा जाता है,<ref>{{cite journal |last1=Wohrer |first1=Maximilian |last2=Zdun |first2=Uwe |title=Smart contracts: security patterns in the ethereum ecosystem and solidity |journal=2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) |date=20 March 2018 |pages=2–8 |doi=10.1109/IWBOSE.2018.8327565 |isbn=978-1-5386-5986-1 |s2cid=4567923 |url=https://ieeexplore.ieee.org/document/8327565}}</ref> और एथेरियम वर्चुअल मशीन द्वारा निष्पादित करने के लिए निम्न-स्तरीय [[ बाईटकोड |बाईटकोड]] में संकलित किया गया।<ref name="vuln-exploit">{{cite arXiv |last1=Perez |first1=Daniel |last2=Livshits |first2=Benjamin |title=Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited |date=17 October 2020 |class=cs.CR |eprint=1902.06710}}</ref> [[रुकने की समस्या|हाल्टिंग समस्या]] और अन्य सुरक्षा समस्याओं के कारण, ट्यूरिंग-पूर्णता को संकट माना जाता है और इथेरियम संपर्क स्रोत कोड जैसी लैंग्वेजों द्वारा विचार कर इससे बचा जाता है।<ref name="harz">{{cite arXiv |last1=Harz |first1=Dominik |last2=Knottenbelt |first2=William |title=Towards Safer Smart Contracts: A Survey of Languages and Verification Methods |date=31 October 2018 |class=cs.CR |eprint=1809.09805 }}</ref><ref name="overview">{{cite journal |last1=Tyurin |first1=A.V. |last2=Tyuluandin |first2=I.V. |last3=Maltsev |first3=V.S. |last4=Kirilenko |first4=I.A. |last5=Berezun |first5=D.A. |title=सुरक्षित स्मार्ट कॉन्ट्रैक्ट प्रोग्रामिंग के लिए भाषाओं का अवलोकन|journal=Proceedings of the Institute for System Programming of the RAS |date=2019 |volume=31 |issue=3 |pages=157–176 |doi=10.15514/ispras-2019-31(3)-13 |s2cid=203179644 |doi-access=free }}</ref> अन्य स्मार्ट अनुबंध प्रोग्रामिंग लैंग्वेजों में से कुछ में ट्यूरिंग-पूर्णता की कमी है, सिंपलिसिटी, स्किला, आइवी और बिटकॉइन स्क्रिप्ट हैं।<ref name="overview" /> यद्यपि, 2020 में [[नियमित अभिव्यक्ति]]यों का उपयोग करके माप से पता चला कि उस समय 53,757 एथेरियम स्मार्ट अनुबंधों में से मात्र 35.3% में पुनरावर्तन और पाश सम्मिलित थे - [[रुकने की समस्या|हाल्टिंग]] समस्या से जुड़े निर्माण।<ref name="needturing">{{cite journal |last1=Jansen |first1=Marc |last2=Hdhili |first2=Farouk |last3=Gouiaa |first3=Ramy |last4=Qasem |first4=Ziyaad |title=Do Smart Contract Languages Need to Be Turing Complete? |journal=Blockchain and Applications |series=Advances in Intelligent Systems and Computing |date=2020 |volume=1010 |pages=19–26 |doi=10.1007/978-3-030-23813-1_3 |publisher=Springer International Publishing |isbn=978-3-030-23812-4 |s2cid=195656195 |language=en }}</ref>


इस प्रकार से [[औपचारिक सत्यापन]] को सक्षम करने के लिए कई लैंग्वेज डिज़ाइन की गई हैं: जैसे कि बम्बू, आईईएलई, सिंपलिसिटी, माइकलसन (कोक के साथ सत्यापित किया जा सकता है),<ref name="overview" /> तरलता (माइकलसन के लिए संकलित), स्किला, डीएएमएल और पैक्ट आदि।<ref name="harz" />
इस प्रकार से [[औपचारिक सत्यापन]] को सक्षम करने के लिए कई लैंग्वेज डिज़ाइन की गई हैं: जैसे कि बम्बू, आईईएलई, सिंपलिसिटी, माइकलसन (कोक के साथ सत्यापित किया जा सकता है),<ref name="overview" /> तरलता (माइकलसन के लिए संकलित), स्किला, डीएएमएल और पैक्ट आदि।<ref name="harz" />
Line 36: Line 36:
| [[Ethereum|इथेरियम]] || अपने ब्लॉकचेन पर ट्यूरिंग-पूर्ण लैंग्वेज लागू करता है, जो एक प्रमुख स्मार्ट अनुबंध संरचना है<ref name=":1">{{Citation|title=6th International Conference on Principles of Security and Trust (POST)|year=2017|last1=Atzei|last2=Bartoletti|last3=Cimoli|first1=Nicola|first2=Massimo|first3=Tiziana|contribution=A survey of attacks on Ethereum smart contracts|contribution-url=http://eprint.iacr.org/2016/1007.pdf|publisher=European Joint Conferences on Theory and Practice of Software}}</ref>
| [[Ethereum|इथेरियम]] || अपने ब्लॉकचेन पर ट्यूरिंग-पूर्ण लैंग्वेज लागू करता है, जो एक प्रमुख स्मार्ट अनुबंध संरचना है<ref name=":1">{{Citation|title=6th International Conference on Principles of Security and Trust (POST)|year=2017|last1=Atzei|last2=Bartoletti|last3=Cimoli|first1=Nicola|first2=Massimo|first3=Tiziana|contribution=A survey of attacks on Ethereum smart contracts|contribution-url=http://eprint.iacr.org/2016/1007.pdf|publisher=European Joint Conferences on Theory and Practice of Software}}</ref>
|-
|-
| [[Bitcoin|बिटक्वाइन]]  || एक ट्यूरिंग-अपूर्ण स्क्रिप्ट लैंग्वेज प्रदान करती है जो बिटकॉइन के शीर्ष पर [[Multisignature|बहुसिग्नेचर खाते]], भुगतान चैनल, एस्क्रो, टाइम लॉक, परमाणु क्रॉस-चेन ट्रेडिंग, ऑरेकल या बिना किसी ऑपरेटर के बहु-समूह लॉटरी जैसे प्रचलन स्मार्ट अनुबंध बनाने की अनुमति देती है।<ref>{{Citation|title=7th International Conference on Principles of Security and Trust (POST)|year=2018|last1=Atzei|last2=Bartoletti|last3=Cimoli|last4=Lande|last5=Zunino|first1=Nicola|first2=Massimo|first3=Tiziana|first4=Stefano|first5=Roberto|contribution=SoK: unraveling Bitcoin smart contracts|contribution-url=https://eprint.iacr.org/2018/192.pdf|publisher=European Joint Conferences on Theory and Practice of Software}}</ref>
| [[Bitcoin|बिटक्वाइन]]  || एक ट्यूरिंग-अपूर्ण स्क्रिप्ट लैंग्वेज प्रदान करती है जो बिटकॉइन के शीर्ष पर [[Multisignature|बहुसिग्नेचर अकाउंट]], भुगतान चैनल, एस्क्रो, टाइम लॉक, परमाणु क्रॉस-चेन ट्रेडिंग, ऑरेकल या बिना किसी ऑपरेटर के बहु-समूह लॉटरी जैसे प्रचलन स्मार्ट अनुबंध बनाने की अनुमति देती है।<ref>{{Citation|title=7th International Conference on Principles of Security and Trust (POST)|year=2018|last1=Atzei|last2=Bartoletti|last3=Cimoli|last4=Lande|last5=Zunino|first1=Nicola|first2=Massimo|first3=Tiziana|first4=Stefano|first5=Roberto|contribution=SoK: unraveling Bitcoin smart contracts|contribution-url=https://eprint.iacr.org/2018/192.pdf|publisher=European Joint Conferences on Theory and Practice of Software}}</ref>
|-
|-
| [[Binance Smart Chain|बिनेंस स्मार्ट चेन]] || स्मार्ट अनुबंधों के लिए एक ब्लॉकचेन प्लेटफ़ॉर्म
| [[Binance Smart Chain|बिनेंस स्मार्ट चेन]] || स्मार्ट अनुबंधों के लिए एक ब्लॉकचेन प्लेटफ़ॉर्म
Line 66: Line 66:
सेठ ओरानबर्ग और लिया पलागश्विली का तर्क है कि स्मार्ट अनुबंधों का उपयोग [[रोजगार अनुबंध|रोजगार अनुबंधों]], विशेष रूप से अस्थायी रोजगार अनुबंधों में भी किया जा सकता है, जिससे उनके अनुसार नियोक्ता को लाभ होगा।<ref name="Oranburg Palagashvili 2018">{{cite journal | last1=Oranburg | first1=Seth | last2=Palagashvili | first2=Liya | title=गिग इकोनॉमी, स्मार्ट कॉन्ट्रैक्ट और पारंपरिक कार्य व्यवस्था में व्यवधान| website=Search eLibrary | date=22 October 2018 | doi=10.2139/ssrn.3270867 | ssrn=3270867 | s2cid=216803648 | url=https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3270867 | access-date=25 January 2022}}</ref><ref>[https://www.researchgate.net/publication/328657407_A_Blockchain-Based_Decentralized_System_for_Proper_Handling_of_Temporary_Employment_Contracts A blockchain-based decentralized system for proper handling of temporary employment contracts]</ref>
सेठ ओरानबर्ग और लिया पलागश्विली का तर्क है कि स्मार्ट अनुबंधों का उपयोग [[रोजगार अनुबंध|रोजगार अनुबंधों]], विशेष रूप से अस्थायी रोजगार अनुबंधों में भी किया जा सकता है, जिससे उनके अनुसार नियोक्ता को लाभ होगा।<ref name="Oranburg Palagashvili 2018">{{cite journal | last1=Oranburg | first1=Seth | last2=Palagashvili | first2=Liya | title=गिग इकोनॉमी, स्मार्ट कॉन्ट्रैक्ट और पारंपरिक कार्य व्यवस्था में व्यवधान| website=Search eLibrary | date=22 October 2018 | doi=10.2139/ssrn.3270867 | ssrn=3270867 | s2cid=216803648 | url=https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3270867 | access-date=25 January 2022}}</ref><ref>[https://www.researchgate.net/publication/328657407_A_Blockchain-Based_Decentralized_System_for_Proper_Handling_of_Temporary_Employment_Contracts A blockchain-based decentralized system for proper handling of temporary employment contracts]</ref>


इस प्रकार से स्मार्ट गांवों के लिए ब्लॉक श्रृंखला प्रौद्योगिकी पर स्मार्ट अनुबंध<ref>{{Cite journal |last1=Kaur |first1=Parminder |last2=Parashar |first2=Anshu |date=2022-06-01 |title=स्मार्ट गांवों के लिए ब्लॉकचेन प्रौद्योगिकी की एक व्यवस्थित साहित्य समीक्षा|url=https://doi.org/10.1007/s11831-021-09659-7 |journal=Archives of Computational Methods in Engineering |language=en |volume=29 |issue=4 |pages=2417–2468 |doi=10.1007/s11831-021-09659-7 |issn=1886-1784 |pmc=8549431 |pmid=34720578}}</ref>
इस प्रकार से स्मार्ट गांवों के लिए ब्लॉक श्रृंखला टेक्नोलाजी पर स्मार्ट अनुबंध<ref>{{Cite journal |last1=Kaur |first1=Parminder |last2=Parashar |first2=Anshu |date=2022-06-01 |title=स्मार्ट गांवों के लिए ब्लॉकचेन प्रौद्योगिकी की एक व्यवस्थित साहित्य समीक्षा|url=https://doi.org/10.1007/s11831-021-09659-7 |journal=Archives of Computational Methods in Engineering |language=en |volume=29 |issue=4 |pages=2417–2468 |doi=10.1007/s11831-021-09659-7 |issn=1886-1784 |pmc=8549431 |pmid=34720578}}</ref>
==सुरक्षा समस्या==
==सुरक्षा समस्या==
ब्लॉकचेन-आधारित स्मार्ट अनुबंध से लेनदेन डेटा ब्लॉकचेन में सभी उपयोगकर्ताओं को दिखाई देता है। डेटा लेन-देन का क्रिप्टोग्राफ़िक दृश्य प्रदान करता है, यद्यपि, इससे ऐसी स्थिति उत्पन्न होती है जहां सुरक्षा छिद्र सहित बग सभी को दिखाई देते हैं, फिर भी उन्हें तुरंत ठीक नहीं किया जा सकता है।<ref name="Peck20160528">{{cite web|url=https://spectrum.ieee.org/tech-talk/computing/networks/ethereums-150-million-dollar-dao-opens-for-business-just-as-researchers-call-for-a-moratorium|title=Ethereum's $150-Million Blockchain-Powered Fund Opens Just as Researchers Call For a Halt|first=M.|last=Peck|date=28 May 2016|work=[[IEEE Spectrum]]|publisher=[[Institute of Electrical and Electronics Engineers]]}}</ref> इस प्रकार से ऐसा आक्षेप, जिसे तुरंत ठीक करना जटिल था, जून 2016 में [[डीएओ (संगठन)]] पर सफलतापूर्वक निष्पादित किया गया था, उस समय लगभग 50 मिलियन अमेरिकी डॉलर मूल्य का ईथर समाप्त हो गया था, जबकि डेवलपर्स ने एक ऐसे हल पर पहुंचने का प्रयास किया था जो सामान्य सहमति प्राप्त करेगा।<ref name=":0">{{cite web|url=http://iqdupont.com/assets/documents/DUPONT-2017-Preprint-Algorithmic-Governance.pdf|title=Experiments in Algorithmic Governance: A history and ethnography of "The DAO", a failed Decentralized Autonomous Organization|last=DuPont|first=Quinn|date=2017|archive-url=https://web.archive.org/web/20170730133911/http://iqdupont.com/assets/documents/DUPONT%2D2017%2DPreprint%2DAlgorithmic%2DGovernance.pdf|archive-date=2017-07-30|url-status=dead|access-date=29 July 2017}}</ref> हैकर द्वारा धनराशि निकालने से पहले डीएओ कार्यक्रम में कुछ समय की देरी हुई थी; समय सीमा समाप्त होने से पहले आक्षेपक से धन वापस पाने के लिए एथेरियम सॉफ्टवेयर का हार्ड फोर्क किया गया था।<ref>{{Cite news|url=https://www.bloomberg.com/news/articles/2016-08-25/this-is-your-company-on-blockchain|title=ब्लॉकचेन पर यह आपकी कंपनी है|last1=Coy|first1=Peter|date=25 August 2016|last2=Kharif|first2=Olga|newspaper=Bloomberg Businessweek|access-date=2016-12-05}}</ref> अन्य उच्च-प्रोफाइल आक्षेपों में क्रिप्टोकरेंसी और अपराध वॉलेट, और पूर्णांक अंडरफ़्लो/ओवरफ़्लो आक्षेप (2018) सम्मिलित है, जिनकी कुल लागत 184 मिलियन अमेरिकी डॉलर से अधिक है।<ref>{{cite arXiv |last1=Praitheeshan |first1=Purathani |last2=Pan |first2=Lei |last3=Yu |first3=Jiangshan |last4=Liu |first4=Joseph |last5=Doss |first5=R. |title=Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey |eprint=1908.08605 |date=2019 |class=cs.CR }}</ref>
ब्लॉकचेन-आधारित स्मार्ट अनुबंध से लेनदेन डेटा ब्लॉकचेन में सभी उपयोगकर्ताओं को दिखाई देता है। डेटा लेन-देन का क्रिप्टोग्राफ़िक दृश्य प्रदान करता है, यद्यपि, इससे ऐसी स्थिति उत्पन्न होती है जहां सुरक्षा छिद्र सहित बग सभी को दिखाई देते हैं, फिर भी उन्हें तुरंत ठीक नहीं किया जा सकता है।<ref name="Peck20160528">{{cite web|url=https://spectrum.ieee.org/tech-talk/computing/networks/ethereums-150-million-dollar-dao-opens-for-business-just-as-researchers-call-for-a-moratorium|title=Ethereum's $150-Million Blockchain-Powered Fund Opens Just as Researchers Call For a Halt|first=M.|last=Peck|date=28 May 2016|work=[[IEEE Spectrum]]|publisher=[[Institute of Electrical and Electronics Engineers]]}}</ref> इस प्रकार से ऐसा आक्षेप, जिसे तुरंत ठीक करना जटिल था, जून 2016 में [[डीएओ (संगठन)]] पर सफलतापूर्वक निष्पादित किया गया था, उस समय लगभग 50 मिलियन अमेरिकी डॉलर मूल्य का ईथर समाप्त हो गया था, जबकि डेवलपर्स ने एक ऐसे हल पर पहुंचने का प्रयास किया था जो सामान्य सहमति प्राप्त करेगा।<ref name=":0">{{cite web|url=http://iqdupont.com/assets/documents/DUPONT-2017-Preprint-Algorithmic-Governance.pdf|title=Experiments in Algorithmic Governance: A history and ethnography of "The DAO", a failed Decentralized Autonomous Organization|last=DuPont|first=Quinn|date=2017|archive-url=https://web.archive.org/web/20170730133911/http://iqdupont.com/assets/documents/DUPONT%2D2017%2DPreprint%2DAlgorithmic%2DGovernance.pdf|archive-date=2017-07-30|url-status=dead|access-date=29 July 2017}}</ref> हैकर द्वारा धनराशि निकालने से पहले डीएओ कार्यक्रम में कुछ समय की देरी हुई थी; समय सीमा समाप्त होने से पहले आक्षेपक से धन वापस पाने के लिए एथेरियम सॉफ्टवेयर का हार्ड फोर्क किया गया था।<ref>{{Cite news|url=https://www.bloomberg.com/news/articles/2016-08-25/this-is-your-company-on-blockchain|title=ब्लॉकचेन पर यह आपकी कंपनी है|last1=Coy|first1=Peter|date=25 August 2016|last2=Kharif|first2=Olga|newspaper=Bloomberg Businessweek|access-date=2016-12-05}}</ref> अन्य उच्च-प्रोफाइल आक्षेपों में क्रिप्टोकरेंसी और अपराध वॉलेट, और पूर्णांक अंडरफ़्लो/ओवरफ़्लो आक्षेप (2018) सम्मिलित है, जिनकी कुल लागत 184 मिलियन अमेरिकी डॉलर से अधिक है।<ref>{{cite arXiv |last1=Praitheeshan |first1=Purathani |last2=Pan |first2=Lei |last3=Yu |first3=Jiangshan |last4=Liu |first4=Joseph |last5=Doss |first5=R. |title=Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey |eprint=1908.08605 |date=2019 |class=cs.CR }}</ref>

Revision as of 14:16, 21 July 2023

स्मार्ट अनुबंध कंप्यूटर प्रोग्राम या लेनदेन प्रोटोकॉल है जिसका उद्देश्य किसी अनुबंध या समझौते के प्रतिबन्धों के अनुसार घटनाओं और क्रियाओं को स्वचालित रूप से निष्पादित, नियंत्रित या दस्तावेज़ीकृत करना है।[1][2][3][4] स्मार्ट अनुबंधों का उद्देश्य विश्वसनीय मध्यस्थों की आवश्यकता, मध्यस्थता लागत और छल की हानि को कम करना, साथ ही दुर्भावनापूर्ण और आकस्मिक अपवादों को कम करना है।[5]<