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

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{About|contractual transactions on a decentralized platform|smart legal contracts|Smart legal contract}}
{{About|contractual transactions on a decentralized platform|smart legal contracts|Smart legal contract}}
{{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> [[बिटकॉइन प्रोटोकॉल]] को स्मार्ट कॉन्ट्रैक्ट अवधारणा के एक कमजोर संस्करण के रूप में वर्णित किया गया है, जैसा कि मूल रूप से [[निक स्ज़ाबो]] द्वारा परिभाषित किया गया था, और [[ दृढ़ता ]] भाषा के आधार पर एक मजबूत संस्करण प्रस्तावित किया गया है, जो [[ट्यूरिंग पूर्ण]] है। बिटकॉइन के बाद से,{{clarify|what is the role of Bitcoin here? or is this just meaning "after the advent of bitcoin..."?|date=November 2022}} विभिन्न क्रिप्टोकरेंसी ने [[प्रोग्रामिंग भाषा]]ओं का समर्थन किया है जो अविश्वसनीय पार्टियों के बीच अधिक उन्नत स्मार्ट अनुबंध की अनुमति देती है।<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|Regulation of algorithms}}
{{See also|Regulation of algorithms}}
एक स्मार्ट अनुबंध आम तौर पर कानून में एक वैध बाध्यकारी समझौता नहीं बनता है<!-- "at law" means under the established law of a nation state or other jurisdiction -->,<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 में, [[डिजिटल अर्थव्यवस्था के विकास पर डिक्री]] को लागू करके, [[बेलोरूस]] पहला देश बन गया है{{dubious|date=November 2022}} देश स्मार्ट अनुबंधों को वैध बनाएगा। बेलारूसी वकील डेनिस एलेनिकोव को डिक्री द्वारा शुरू की गई स्मार्ट अनुबंध कानूनी अवधारणा का लेखक माना जाता है।<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>{{better source|date=November 2022}}
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>


2018 में, [[अमेरिकी सीनेट]] की एक रिपोर्ट में कहा गया था: जबकि स्मार्ट अनुबंध नए लग सकते हैं, यह अवधारणा बुनियादी अनुबंध कानून में निहित है। आमतौर पर, न्यायिक प्रणाली संविदात्मक विवादों पर निर्णय लेती है और शर्तों को लागू करती है, लेकिन विशेष रूप से अंतरराष्ट्रीय लेनदेन के लिए एक और मध्यस्थता पद्धति का होना भी आम है। स्मार्ट अनुबंधों के साथ, एक प्रोग्राम कोड में निर्मित अनुबंध को लागू करता है।<ref name=usSenate201803>[https://www.jec.senate.gov/public/_cache/files/aaac3a69-e9fb-45b6-be9f-b1fd96dd738b/chapter-9-building-a-secure-future-one-blockchain-at-a-time.pdf Chapter 9:  Building a Secure Future, One blockchain at a time], [[US Senate]] [[Joint Economic Committee]], March 2018.</ref> अमेरिका में कई राज्यों ने स्मार्ट अनुबंधों के उपयोग पर कानून पारित किया है, जैसे एरिजोना,<ref>{{cite web|url=https://legiscan.com/AZ/text/HB2417/id/1588180|title=Arizona HB2417 - 2017 - Fifty-third Legislature 1st Regular|website=LegiScan}}</ref> नेवादा,<ref>Hyman Gayle M, Digesti, Matthew P [https://www.nvbar.org/wp-content/uploads/NevadaLawyer_Aug2017_Blockchain-1.pdf New Nevada legislation recognizes blockchain and smart contract terminologies] August 2017, Nevada Lawyer</ref> टेनेसी,<ref>{{cite web|last=Tom|first=Daniel|date=22 September 2020|title=स्मार्ट कॉन्ट्रैक्ट बिल टेनेसी|url=http://www.capitol.tn.gov/Bills/110/Bill/SB1662.pdf}}</ref> और व्योमिंग.<ref>{{Cite web|last=Wyoming|first=Legislature|date=26 February 2019|title=व्योमिंग - स्मार्ट कॉन्ट्रैक्ट|url=https://wyoleg.gov/Legislation/2019/sf0125}}</ref> और अप्रैल 2020 में, आयोवा के प्रतिनिधि सभा ने राज्य में स्मार्ट अनुबंधों को कानूनी रूप से मान्यता देने वाला एक विधेयक पारित किया।<ref>{{Cite web|title=आयोवा हाउस ने ब्रॉडबैंड, क्रिप्टोकरेंसी की सुविधा के लिए बिल को मंजूरी दी|url=https://www.thegazette.com/government-politics/iowa-house-approves-bills-to-facilitate-broadband-cryptocurrency/|access-date=2021-04-15|website=www.thegazette.com|language=en-US}}</ref>
2018 में, [[अमेरिकी सीनेट]] की रिपोर्ट में कहा गया था: जबकि स्मार्ट अनुबंध नए लग सकते हैं, यह अवधारणा बुनियादी अनुबंध कानून में निहित है। आमतौर पर, न्यायिक प्रणाली संविदात्मक विवादों पर निर्णय लेती है और शर्तों को लागू करती है, लेकिन विशेष रूप से अंतरराष्ट्रीय लेनदेन के लिए और मध्यस्थता पद्धति का होना भी आम है। स्मार्ट अनुबंधों के साथ, प्रोग्राम कोड में निर्मित अनुबंध को लागू करता है।<ref name=usSenate201803>[https://www.jec.senate.gov/public/_cache/files/aaac3a69-e9fb-45b6-be9f-b1fd96dd738b/chapter-9-building-a-secure-future-one-blockchain-at-a-time.pdf Chapter 9:  Building a Secure Future, One blockchain at a time], [[US Senate]] [[Joint Economic Committee]], March 2018.</ref> अमेरिका में कई राज्यों ने स्मार्ट अनुबंधों के उपयोग पर कानून पारित किया है, जैसे एरिजोना,<ref>{{cite web|url=https://legiscan.com/AZ/text/HB2417/id/1588180|title=Arizona HB2417 - 2017 - Fifty-third Legislature 1st Regular|website=LegiScan}}</ref> नेवादा,<ref>Hyman Gayle M, Digesti, Matthew P [https://www.nvbar.org/wp-content/uploads/NevadaLawyer_Aug2017_Blockchain-1.pdf New Nevada legislation recognizes blockchain and smart contract terminologies] August 2017, Nevada Lawyer</ref> टेनेसी,<ref>{{cite web|last=Tom|first=Daniel|date=22 September 2020|title=स्मार्ट कॉन्ट्रैक्ट बिल टेनेसी|url=http://www.capitol.tn.gov/Bills/110/Bill/SB1662.pdf}}</ref> और व्योमिंग.<ref>{{Cite web|last=Wyoming|first=Legislature|date=26 February 2019|title=व्योमिंग - स्मार्ट कॉन्ट्रैक्ट|url=https://wyoleg.gov/Legislation/2019/sf0125}}</ref> और अप्रैल 2020 में, आयोवा के प्रतिनिधि सभा ने राज्य में स्मार्ट अनुबंधों को कानूनी रूप से मान्यता देने वाला विधेयक पारित किया।<ref>{{Cite web|title=आयोवा हाउस ने ब्रॉडबैंड, क्रिप्टोकरेंसी की सुविधा के लिए बिल को मंजूरी दी|url=https://www.thegazette.com/government-politics/iowa-house-approves-bills-to-facilitate-broadband-cryptocurrency/|access-date=2021-04-15|website=www.thegazette.com|language=en-US}}</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>
अप्रैल 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> [[रुकने की समस्या]] और अन्य सुरक्षा समस्याओं के कारण, ट्यूरिंग-पूर्णता को एक जोखिम माना जाता है और Ethereum#Contract स्रोत कोड जैसी भाषाओं द्वारा जानबूझकर इससे बचा जाता है।<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> [[रुकने की समस्या]] और अन्य सुरक्षा समस्याओं के कारण, ट्यूरिंग-पूर्णता को जोखिम माना जाता है और Ethereum#Contract स्रोत कोड जैसी भाषाओं द्वारा जानबूझकर इससे बचा जाता है।<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 51: Line 45:
|}
|}
बीजान्टिन दोष-सहिष्णुता सुनिश्चित करने के लिए ब्लॉकचेन पर प्रक्रियाएं आम तौर पर नियतात्मक होती हैं।<ref name=chainrandom>{{cite arXiv |last1=Chatterjee |first1=Krishnendu |last2=Goharshady |first2=Amir Kafshdar |last3=Pourdamghani |first3=Arash |title=Probabilistic Smart Contracts: Secure Randomness on the Blockchain |date=21 February 2019 |class=cs.GT |eprint=1902.07986 |language=en}}</ref> फिर भी, [[लॉटरी]] और [[कैसीनो]] जैसे स्मार्ट अनुबंधों के वास्तविक विश्व अनुप्रयोग के लिए सुरक्षित यादृच्छिकता की आवश्यकता होती है।<ref>{{cite web |last1=Chen |first1=Tai-yuan |last2=Huang |first2=Wei-ning |last3=Kuo |first3=Po-chun |last4=Chung |first4=Hao |title=ब्लॉकचेन पर सुरक्षित यादृच्छिकता उत्पन्न करने की विधि|url=http://www.freepatentsonline.com/y2020/0252211.html |access-date=28 August 2020 |date=6 August 2020}}</ref> वास्तव में, ब्लॉकचेन तकनीक लॉटरी आयोजित करने की लागत को कम करती है और इसलिए प्रतिभागियों के लिए फायदेमंद है। ब्लॉकचेन पर रैंडमनेस को ब्लॉक हैश या टाइमस्टैम्प, ओरेकल, प्रतिबद्धता योजनाओं, RANDAO जैसे विशेष स्मार्ट अनुबंधों का उपयोग करके लागू किया जा सकता है।<ref>{{cite book |date=2019 |doi=10.1145/3376044.3376049 |s2cid=207880557 |language=EN|chapter=DeLottery: A Novel Decentralized Lottery System Based on Blockchain Technology |title=Proceedings of the 2019 2nd International Conference on Blockchain Technology and Applications |last1=Jia |first1=Zhifeng |last2=Chen |first2=Rui |last3=Li |first3=Jie |pages=20–25 |isbn=9781450377430 }}</ref><ref>{{cite web |title=randao/randao |url=https://github.com/randao/randao |publisher=randao |access-date=10 July 2020 |date=10 July 2020}}</ref> और क्वांटा, साथ ही [[मिश्रित रणनीति]] [[नैश संतुलन]] से अनुक्रम।<ref name=chainrandom/>
बीजान्टिन दोष-सहिष्णुता सुनिश्चित करने के लिए ब्लॉकचेन पर प्रक्रियाएं आम तौर पर नियतात्मक होती हैं।<ref name=chainrandom>{{cite arXiv |last1=Chatterjee |first1=Krishnendu |last2=Goharshady |first2=Amir Kafshdar |last3=Pourdamghani |first3=Arash |title=Probabilistic Smart Contracts: Secure Randomness on the Blockchain |date=21 February 2019 |class=cs.GT |eprint=1902.07986 |language=en}}</ref> फिर भी, [[लॉटरी]] और [[कैसीनो]] जैसे स्मार्ट अनुबंधों के वास्तविक विश्व अनुप्रयोग के लिए सुरक्षित यादृच्छिकता की आवश्यकता होती है।<ref>{{cite web |last1=Chen |first1=Tai-yuan |last2=Huang |first2=Wei-ning |last3=Kuo |first3=Po-chun |last4=Chung |first4=Hao |title=ब्लॉकचेन पर सुरक्षित यादृच्छिकता उत्पन्न करने की विधि|url=http://www.freepatentsonline.com/y2020/0252211.html |access-date=28 August 2020 |date=6 August 2020}}</ref> वास्तव में, ब्लॉकचेन तकनीक लॉटरी आयोजित करने की लागत को कम करती है और इसलिए प्रतिभागियों के लिए फायदेमंद है। ब्लॉकचेन पर रैंडमनेस को ब्लॉक हैश या टाइमस्टैम्प, ओरेकल, प्रतिबद्धता योजनाओं, RANDAO जैसे विशेष स्मार्ट अनुबंधों का उपयोग करके लागू किया जा सकता है।<ref>{{cite book |date=2019 |doi=10.1145/3376044.3376049 |s2cid=207880557 |language=EN|chapter=DeLottery: A Novel Decentralized Lottery System Based on Blockchain Technology |title=Proceedings of the 2019 2nd International Conference on Blockchain Technology and Applications |last1=Jia |first1=Zhifeng |last2=Chen |first2=Rui |last3=Li |first3=Jie |pages=20–25 |isbn=9781450377430 }}</ref><ref>{{cite web |title=randao/randao |url=https://github.com/randao/randao |publisher=randao |access-date=10 July 2020 |date=10 July 2020}}</ref> और क्वांटा, साथ ही [[मिश्रित रणनीति]] [[नैश संतुलन]] से अनुक्रम।<ref name=chainrandom/>
==अनुप्रयोग==
==अनुप्रयोग==
1998 में, स्जाबो ने प्रस्तावित किया कि स्मार्ट अनुबंध बुनियादी ढांचे को मर्कल पेड़ों और बीजान्टिन दोष-सहिष्णु प्रतिकृति का उपयोग करके प्रतिकृति परिसंपत्ति रजिस्ट्रियों और अनुबंध निष्पादन द्वारा कार्यान्वित किया जा सकता है।<ref>{{cite web | url=http://szabo.best.vwh.net/securetitle.html | author=Nick Szabo | title=मालिक प्राधिकारी के साथ संपत्ति के स्वामित्व सुरक्षित करें| year=1998 | access-date=January 12, 2014 | url-status=dead | archive-url=https://web.archive.org/web/20140115142013/http://szabo.best.vwh.net/securetitle.html | archive-date=January 15, 2014 }}</ref> एस्केमोस ने 2002 में इस दृष्टिकोण को लागू किया<ref>{{cite conference |url=http://citeseerx.ist.psu.edu/viewdoc/download;?doi=10.1.1.11.5050&rep=rep1&type=pdf |year=2002 |author=Jörg F. Wittenberger |title=एस्केमोस एक वितरित बस्ती है|conference = Proceedings of International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet (SSGRR), L’Aquila }}</ref><ref>{{cite web | url=http://www.isl.cs.waseda.ac.jp/~sugawara/pdf/kurihara-SSGRR2002.pdf | title=इंटरनेट पर ई-बिजनेस, ई-एजुकेशन, ई-साइंस और ई-मेडिसिन के लिए बुनियादी ढांचे में प्रगति पर अंतर्राष्ट्रीय सम्मेलन की कार्यवाही| access-date=2017-05-25 | archive-date=2017-10-26 | archive-url=https://web.archive.org/web/20171026111541/http://www.isl.cs.waseda.ac.jp/~sugawara/pdf/kurihara-SSGRR2002.pdf | url-status=dead }}</ref> स्कीम (प्रोग्रामिंग भाषा) का उपयोग करना (बाद में [[SQLite]] जोड़ना)।<ref>{{cite thesis | url=https://monami.hs-mittweida.de/frontdoor/index/index/docId/476 | title=Erstellung eines Archivierungskonzepts für die Speicherung rückverfolgbarer Datenbestände im Askemos-System | year=2009 | author=Martin Möbius| publisher=Hochschule Mittweida }}</ref><ref>{{cite web | url=https://core.ac.uk/display/33987564 | title=Entwicklung einer Datenbankschnittstelle als Grundlage für Shop-Systeme unter dem Betriebssystem Askemos |  year=2010 | author=Tom-Steve Watzke}}</ref>) अनुबंध स्क्रिप्ट भाषा के रूप में।<ref>{{cite web | url=http://askemos.org/A0e80fdd97a7b6e7af87c5d294f39a96c | title=Beweiswürdigung elektronischer Dokumente im Zivilprozess unter vergleichender Betrachtung von qualifizierten elektronischen Signaturen nach dem Signaturgesetz und dem Askemos-Verfahren | author=RA Markus Heinker | year=2007}}</ref>
1998 में, स्जाबो ने प्रस्तावित किया कि स्मार्ट अनुबंध बुनियादी ढांचे को मर्कल पेड़ों और बीजान्टिन दोष-सहिष्णु प्रतिकृति का उपयोग करके प्रतिकृति परिसंपत्ति रजिस्ट्रियों और अनुबंध निष्पादन द्वारा कार्यान्वित किया जा सकता है।<ref>{{cite web | url=http://szabo.best.vwh.net/securetitle.html | author=Nick Szabo | title=मालिक प्राधिकारी के साथ संपत्ति के स्वामित्व सुरक्षित करें| year=1998 | access-date=January 12, 2014 | url-status=dead | archive-url=https://web.archive.org/web/20140115142013/http://szabo.best.vwh.net/securetitle.html | archive-date=January 15, 2014 }}</ref> एस्केमोस ने 2002 में इस दृष्टिकोण को लागू किया<ref>{{cite conference |url=http://citeseerx.ist.psu.edu/viewdoc/download;?doi=10.1.1.11.5050&rep=rep1&type=pdf |year=2002 |author=Jörg F. Wittenberger |title=एस्केमोस एक वितरित बस्ती है|conference = Proceedings of International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet (SSGRR), L’Aquila }}</ref><ref>{{cite web | url=http://www.isl.cs.waseda.ac.jp/~sugawara/pdf/kurihara-SSGRR2002.pdf | title=इंटरनेट पर ई-बिजनेस, ई-एजुकेशन, ई-साइंस और ई-मेडिसिन के लिए बुनियादी ढांचे में प्रगति पर अंतर्राष्ट्रीय सम्मेलन की कार्यवाही| access-date=2017-05-25 | archive-date=2017-10-26 | archive-url=https://web.archive.org/web/20171026111541/http://www.isl.cs.waseda.ac.jp/~sugawara/pdf/kurihara-SSGRR2002.pdf | url-status=dead }}</ref> स्कीम (प्रोग्रामिंग भाषा) का उपयोग करना (बाद में [[SQLite]] जोड़ना)।<ref>{{cite thesis | url=https://monami.hs-mittweida.de/frontdoor/index/index/docId/476 | title=Erstellung eines Archivierungskonzepts für die Speicherung rückverfolgbarer Datenbestände im Askemos-System | year=2009 | author=Martin Möbius| publisher=Hochschule Mittweida }}</ref><ref>{{cite web | url=https://core.ac.uk/display/33987564 | title=Entwicklung einer Datenbankschnittstelle als Grundlage für Shop-Systeme unter dem Betriebssystem Askemos |  year=2010 | author=Tom-Steve Watzke}}</ref>) अनुबंध स्क्रिप्ट भाषा के रूप में।<ref>{{cite web | url=http://askemos.org/A0e80fdd97a7b6e7af87c5d294f39a96c | title=Beweiswürdigung elektronischer Dokumente im Zivilprozess unter vergleichender Betrachtung von qualifizierten elektronischen Signaturen nach dem Signaturgesetz und dem Askemos-Verfahren | author=RA Markus Heinker | year=2007}}</ref>
प्रतिकृति परिसंपत्ति पंजीकरण और अनुबंध निष्पादन के लिए बिटकॉइन का उपयोग करने के एक प्रस्ताव को [[रंगीन सिक्के]] कहा जाता है।<ref>{{cite magazine | url=https://www.newscientist.com/article/dn24620-bitcoin-moves-beyond-mere-money.html | magazine=New Scientist | author= Hal Hodson| title=बिटकॉइन महज़ पैसे से आगे बढ़ता है| date=20 November 2013 | access-date=12 January 2014 }}</ref> संपत्ति के संभावित मनमाने रूपों के लिए दोहराए गए शीर्षक, दोहराए गए अनुबंध निष्पादन के साथ, विभिन्न परियोजनाओं में कार्यान्वित किए जाते हैं।
प्रतिकृति परिसंपत्ति पंजीकरण और अनुबंध निष्पादन के लिए बिटकॉइन का उपयोग करने के प्रस्ताव को [[रंगीन सिक्के]] कहा जाता है।<ref>{{cite magazine | url=https://www.newscientist.com/article/dn24620-bitcoin-moves-beyond-mere-money.html | magazine=New Scientist | author= Hal Hodson| title=बिटकॉइन महज़ पैसे से आगे बढ़ता है| date=20 November 2013 | access-date=12 January 2014 }}</ref> संपत्ति के संभावित मनमाने रूपों के लिए दोहराए गए शीर्षक, दोहराए गए अनुबंध निष्पादन के साथ, विभिन्न परियोजनाओं में कार्यान्वित किए जाते हैं।


{{asof|2015}}, [[यूबीएस]] स्मार्ट बॉन्ड के साथ प्रयोग कर रहा था जो [[ Bitcoin ]] ब्लॉकचेन (डेटाबेस) का उपयोग करता है<ref name="newsweek20150912">{{cite news |last=Ross|first=Rory |url=http://europe.newsweek.com/smart-money-blockchains-are-future-internet-329278 |title=Smart Money: Blockchains Are the Future of the Internet |work=[[Newsweek]] |date=2015-09-12 |access-date=2016-05-27 }}</ref> जिसमें भुगतान धाराओं को काल्पनिक रूप से पूरी तरह से स्वचालित किया जा सकता है, जिससे एक स्व-भुगतान साधन तैयार किया जा सकता है।<ref name="IFRasia20150611">{{cite news |last=Wigan|first=David |url=http://www.ifrasia.com/bitcoin-technology-will-disrupt-derivatives-says-banker/21202956.article |title=बैंकर का कहना है कि बिटकॉइन तकनीक डेरिवेटिव को बाधित कर देगी|work=IFR Asia |date=2015-06-11 |access-date=2016-05-27 }}</ref>
{{asof|2015}}, [[यूबीएस]] स्मार्ट बॉन्ड के साथ प्रयोग कर रह