स्मार्ट कॉन्ट्रॅक्टचा परिचय

या लेखात, आम्ही स्मार्ट कॉन्ट्रॅक्ट्स म्हणजे काय, ते काय आहेत ते पाहू, आम्ही विविध स्मार्ट कॉन्ट्रॅक्ट प्लॅटफॉर्म, त्यांची वैशिष्ट्ये याबद्दल परिचित होऊ आणि ते कसे कार्य करतात आणि ते काय फायदे आणू शकतात यावर देखील चर्चा करू. स्मार्ट कॉन्ट्रॅक्टच्या विषयाशी परिचित नसलेल्या, परंतु ते समजून घेण्याच्या जवळ जाऊ इच्छित असलेल्या वाचकांसाठी ही सामग्री खूप उपयुक्त ठरेल.

नियमित करार वि. स्मार्ट करार

तपशिलांचा सखोल अभ्यास करण्यापूर्वी, कागदावर नमूद केलेला नियमित करार आणि डिजिटल पद्धतीने सादर केलेला स्मार्ट करार यांच्यातील फरकांचे उदाहरण घेऊ.

स्मार्ट कॉन्ट्रॅक्ट्सच्या आगमनापूर्वी हे कसे कार्य केले? अशा लोकांच्या गटाची कल्पना करा ज्यांना मूल्यांच्या वितरणासाठी काही नियम आणि अटी स्थापित करायच्या आहेत, तसेच दिलेल्या नियम आणि शर्तींनुसार या वितरणाच्या अंमलबजावणीची हमी देणारी एक विशिष्ट यंत्रणा आहे. मग ते एकत्र जमायचे, एक कागद काढायचे ज्यावर त्यांनी त्यांचे ओळखीचे तपशील, अटी, त्यात समाविष्ट असलेली मूल्ये, तारीख आणि स्वाक्षरी लिहिली. हा करार एका विश्वासू पक्षाने देखील प्रमाणित केला होता, जसे की नोटरी. पुढे, हे लोक त्यांच्या अशा कराराची कागदी प्रत घेऊन वेगवेगळ्या दिशेने गेले आणि काही कृती करू लागले ज्या कदाचित कराराशी संबंधित नसतील, म्हणजे त्यांनी एक गोष्ट केली, परंतु कागदावर असे प्रमाणित केले गेले की त्यांनी काहीतरी केले पाहिजे. पूर्णपणे वेगळं. आणि या परिस्थितीतून कसे बाहेर पडायचे? खरं तर, गटातील सदस्यांपैकी एकाने हा कागद घेणे, काही पुरावे घेणे, न्यायालयात नेणे आणि करार आणि वास्तविक कृती यांच्यातील अनुपालन साध्य करणे आवश्यक आहे. बर्‍याचदा, या कराराची निष्पक्ष अंमलबजावणी करणे कठीण आहे, ज्यामुळे अप्रिय परिणाम होतात.

स्मार्ट करारांबद्दल काय म्हणता येईल? ते कराराच्या अटी लिहिण्याची शक्यता आणि त्यांच्या कठोर अंमलबजावणीसाठी यंत्रणा दोन्ही एकत्र करतात. जर अटी सेट केल्या गेल्या असतील आणि संबंधित व्यवहार किंवा विनंतीवर स्वाक्षरी केली गेली असेल, तर एकदा ती विनंती किंवा व्यवहार स्वीकारला गेला की, यापुढे अटी बदलणे किंवा त्यांच्या अंमलबजावणीवर प्रभाव टाकणे शक्य होणार नाही.

एक व्हॅलिडेटर किंवा संपूर्ण नेटवर्क आहे, तसेच एक डेटाबेस आहे जो कठोर कालक्रमानुसार अंमलबजावणीसाठी सबमिट केलेले सर्व स्मार्ट करार संग्रहित करतो. हे देखील महत्त्वाचे आहे की या डेटाबेसमध्ये स्मार्ट कराराची अंमलबजावणी करण्यासाठी सर्व ट्रिगर अटी असणे आवश्यक आहे. याव्यतिरिक्त, ज्याचे वितरण करारामध्ये वर्णन केले आहे तेच मूल्य विचारात घेणे आवश्यक आहे. हे काही डिजिटल चलनावर लागू होत असल्यास, या डेटाबेसने ते विचारात घेतले पाहिजे.

दुसऱ्या शब्दांत, स्मार्ट कॉन्ट्रॅक्ट व्हॅलिडेटर्सना स्मार्ट कॉन्ट्रॅक्ट चालवणाऱ्या सर्व डेटामध्ये प्रवेश असणे आवश्यक आहे. उदाहरणार्थ, डिजिटल चलने, वापरकर्ता शिल्लक, वापरकर्ता व्यवहार आणि टाइमस्टॅम्पसाठी एकाच वेळी खाते ठेवण्यासाठी एकच डेटाबेस वापरला जावा. मग, स्मार्ट कॉन्ट्रॅक्टमध्ये, विशिष्ट चलनामध्ये वापरकर्त्याची शिल्लक, विशिष्ट वेळेचे आगमन किंवा एक विशिष्ट व्यवहार केला गेला आहे ही स्थिती असू शकते, परंतु आणखी काही नाही.

स्मार्ट कराराची व्याख्या

सर्वसाधारणपणे, शब्दावली स्वतः संशोधक निक साबो यांनी तयार केली होती आणि 1994 मध्ये प्रथम वापरली गेली होती आणि 1997 मध्ये एका लेखात दस्तऐवजीकरण करण्यात आली होती ज्यात स्मार्ट कॉन्ट्रॅक्ट्सच्या अगदी कल्पनेचे वर्णन केले आहे.

स्मार्ट कॉन्ट्रॅक्ट्सचा अर्थ असा आहे की मूल्य वितरणाचे काही ऑटोमेशन केले जाते, जे केवळ त्या अटींवर अवलंबून असू शकते जे आगाऊ पूर्वनिर्धारित आहेत. त्याच्या सर्वात सोप्या स्वरूपात, हे कठोरपणे परिभाषित अटींसह करारासारखे दिसते, ज्यावर विशिष्ट पक्षांनी स्वाक्षरी केली आहे.

स्मार्ट करार तृतीय पक्षांवरील विश्वास कमी करण्यासाठी डिझाइन केलेले आहेत. कधीकधी निर्णय घेणारे केंद्र ज्यावर सर्वकाही अवलंबून असते ते पूर्णपणे वगळले जाते. याव्यतिरिक्त, अशा करारांचे ऑडिट करणे सोपे आहे. हा अशा प्रणालीच्या काही डिझाइन वैशिष्ट्यांचा परिणाम आहे, परंतु बहुतेकदा आम्ही स्मार्ट कराराद्वारे विकेंद्रित वातावरण आणि कार्यांची उपस्थिती समजतो ज्यामुळे कोणालाही डेटाबेसचे विश्लेषण करण्याची आणि कराराच्या अंमलबजावणीचे संपूर्ण ऑडिट करण्याची परवानगी मिळते. हे पूर्वलक्ष्यी डेटा बदलांपासून संरक्षण सुनिश्चित करते ज्यामुळे कराराच्या कार्यक्षमतेतच बदल होतात. स्मार्ट कॉन्ट्रॅक्ट तयार करताना आणि लॉन्च करताना बहुतेक प्रक्रियांचे डिजिटायझेशन अनेकदा तंत्रज्ञान आणि त्यांच्या अंमलबजावणीची किंमत सुलभ करते.

एक साधे उदाहरण - एस्क्रो सेवा

अगदी साधे उदाहरण पाहू. हे तुम्हाला स्मार्ट कॉन्ट्रॅक्ट्सची कार्यक्षमता समजून घेण्याच्या जवळ येण्यास मदत करेल, तसेच ते कोणत्या प्रकरणांमध्ये वापरले जावे हे अधिक चांगल्या प्रकारे समजून घेण्यात मदत करेल.

हे Bitcoin वापरून देखील अंमलात आणले जाऊ शकते, जरी सध्या Bitcoin ला स्मार्ट कॉन्ट्रॅक्ट्ससाठी पूर्ण प्लॅटफॉर्म म्हटले जाऊ शकत नाही. तर, आमच्याकडे काही खरेदीदार आहेत आणि आमच्याकडे एक ऑनलाइन स्टोअर आहे. एका ग्राहकाला या दुकानातून मॉनिटर खरेदी करायचा आहे. सर्वात सोप्या प्रकरणात, खरेदीदार पेमेंट पूर्ण करतो आणि पाठवतो आणि ऑनलाइन स्टोअर ते स्वीकारतो, त्याची पुष्टी करतो आणि नंतर माल पाठवतो. तथापि, या परिस्थितीत मोठ्या विश्वासाची आवश्यकता आहे - खरेदीदाराने मॉनिटरच्या संपूर्ण खर्चासाठी ऑनलाइन स्टोअरवर विश्वास ठेवला पाहिजे. खरेदीदाराच्या दृष्टीने ऑनलाइन स्टोअरची प्रतिष्ठा कमी असल्याने, काही कारणास्तव, पेमेंट स्वीकारल्यानंतर, स्टोअर सेवा नाकारेल आणि खरेदीदाराला वस्तू पाठवणार नाही असा धोका आहे. म्हणून, खरेदीदार प्रश्न विचारतो (आणि त्यानुसार, ऑनलाइन स्टोअर हा प्रश्न विचारतो) अशा जोखीम कमी करण्यासाठी आणि असे व्यवहार अधिक विश्वासार्ह करण्यासाठी या प्रकरणात काय लागू केले जाऊ शकते.

बिटकॉइनच्या बाबतीत, खरेदीदार आणि विक्रेत्याला स्वतंत्रपणे मध्यस्थ निवडण्याची परवानगी देणे शक्य आहे. वादग्रस्त प्रश्न सोडवण्यात गुंतलेले अनेक लोक आहेत. आणि आमचे सहभागी मध्यस्थांच्या सामान्य सूचीमधून ते निवडू शकतात ज्यावर ते विश्वास ठेवतील. ते एकत्रितपणे 2 पैकी 3 मल्टिसिग्नेचर अॅड्रेस तयार करतात जेथे तीन की असतात आणि त्या पत्त्यावरील नाणी खर्च करण्यासाठी कोणत्याही दोन कीसह दोन स्वाक्षरी आवश्यक असतात. एक की खरेदीदाराची, दुसरी ऑनलाइन स्टोअरची आणि तिसरी मध्यस्थीची असेल. आणि अशा बहु-स्वाक्षरी पत्त्यावर खरेदीदार मॉनिटरसाठी देय आवश्यक रक्कम पाठवेल. आता, जेव्हा विक्रेता पाहतो की त्याच्यावर अवलंबून असलेल्या बहु-स्वाक्षरी पत्त्यावर पैसे काही काळ अवरोधित केले आहेत, तेव्हा तो मॉनिटरला मेलद्वारे सुरक्षितपणे पाठवू शकतो.

पुढे, खरेदीदार पार्सल प्राप्त करतो, वस्तूंची तपासणी करतो आणि अंतिम खरेदीवर निर्णय घेतो. तो प्रदान केलेल्या सेवेशी पूर्णपणे सहमत असू शकतो आणि त्याच्या कीसह व्यवहारावर स्वाक्षरी करू शकतो, जिथे तो बहु-स्वाक्षरी पत्त्यावरून विक्रेत्याकडे नाणी हस्तांतरित करतो किंवा तो एखाद्या गोष्टीबद्दल असमाधानी असू शकतो. दुसऱ्या प्रकरणात, तो पर्यायी व्यवहार करण्यासाठी मध्यस्थांशी संपर्क साधतो ज्यामुळे त्या नाण्यांचे वेगळ्या पद्धतीने वितरण होईल.

समजा की मॉनिटर थोडा स्क्रॅच झाला आणि किटमध्ये संगणकाशी कनेक्ट करण्यासाठी केबल समाविष्ट नाही, जरी ऑनलाइन स्टोअर वेबसाइटने सांगितले की केबल किटमध्ये समाविष्ट केली जावी. मग खरेदीदार या परिस्थितीत फसवणूक झाल्याचे मध्यस्थाला सिद्ध करण्यासाठी आवश्यक पुरावे गोळा करतो: तो साइटचे स्क्रीनशॉट घेतो, मेल पावतीचा फोटो घेतो, मॉनिटरवरील स्क्रॅचचा फोटो घेतो आणि सील असल्याचे दर्शवतो. तुटलेली आणि केबल बाहेर काढली. ऑनलाइन स्टोअर, यामधून, त्याचे पुरावे गोळा करते आणि मध्यस्थांकडे हस्तांतरित करते.

मध्यस्थाला खरेदीदाराचा राग आणि ऑनलाइन स्टोअरचे हित दोन्ही एकाच वेळी पूर्ण करण्यात रस आहे (का हे नंतर स्पष्ट होईल). तो एक व्यवहार तयार करतो ज्यामध्ये बहु-स्वाक्षरी पत्त्यावरील नाणी खरेदीदार, ऑनलाइन स्टोअर आणि मध्यस्थ यांच्यात काही प्रमाणात खर्च केली जातील, कारण तो त्याच्या कामासाठी बक्षीस म्हणून स्वतःसाठी एक भाग घेतो. समजा एकूण रकमेपैकी 90% रक्कम विक्रेत्याला, 5% मध्यस्थ आणि 5% भरपाई खरेदीदाराला जाते. मध्यस्थ त्याच्या किल्लीने या व्यवहारावर स्वाक्षरी करतो, परंतु तो अद्याप लागू केला जाऊ शकत नाही, कारण त्यासाठी दोन स्वाक्षरी आवश्यक आहेत, परंतु फक्त एकच त्याची किंमत आहे. तो असा व्यवहार खरेदीदार आणि विक्रेता दोघांना पाठवतो. जर त्यापैकी किमान एक नाणी पुनर्वितरणासाठी या पर्यायावर समाधानी असेल, तर व्यवहार पूर्व-साइन केले जाईल आणि नेटवर्कवर वितरित केले जाईल. ते सत्यापित करण्यासाठी, व्यवहारातील पक्षांपैकी एकाने मध्यस्थीच्या पर्यायाशी सहमत असणे पुरेसे आहे.

सुरुवातीला मध्यस्थ निवडणे महत्वाचे आहे जेणेकरून दोन्ही सहभागी त्याच्यावर विश्वास ठेवतील. या प्रकरणात, तो एक किंवा दुसर्‍याच्या हितसंबंधांवर स्वतंत्रपणे कार्य करेल आणि वस्तुनिष्ठपणे परिस्थितीचे मूल्यांकन करेल. जर मध्यस्थाने किमान एका सहभागीचे समाधान होईल अशा नाण्यांचे वितरण करण्याचा पर्याय प्रदान केला नाही, तर, खरेदीदार आणि ऑनलाइन स्टोअर दोघेही एकत्रितपणे सहमती दर्शविल्यानंतर, त्यांच्या दोन स्वाक्षऱ्या टाकून नवीन बहु-स्वाक्षरी पत्त्यावर नाणी पाठवू शकतात. नवीन मल्टिसिग्नेचर पत्ता वेगळ्या मध्यस्थांसह संकलित केला जाईल, जो या प्रकरणात अधिक सक्षम असेल आणि एक चांगला पर्याय प्रदान करेल.

शयनगृह आणि रेफ्रिजरेटरचे उदाहरण

चला एक अधिक जटिल उदाहरण पाहू जे स्मार्ट कॉन्ट्रॅक्टची क्षमता अधिक स्पष्टपणे प्रदर्शित करते.

असे म्हणूया की अलीकडेच एकाच वसतिगृहात गेलेले तीन लोक आहेत. या तिघांना त्यांच्या खोलीसाठी रेफ्रिजरेटर खरेदी करण्यात रस आहे जो ते एकत्र वापरू शकतात. त्यापैकी एकाने रेफ्रिजरेटर खरेदी करण्यासाठी आणि विक्रेत्याशी वाटाघाटी करण्यासाठी आवश्यक रक्कम गोळा करण्यासाठी स्वेच्छेने काम केले. तथापि, ते नुकतेच एकमेकांना भेटले आणि त्यांच्यामध्ये पुरेसा विश्वास नाही. त्यातले दोघे तिसर्‍याला पैसे देऊन धोका पत्करतात हे उघड आहे. याव्यतिरिक्त, त्यांना विक्रेता निवडण्यासाठी करारावर पोहोचणे आवश्यक आहे.

ते एस्क्रो सेवेचा वापर करू शकतात, म्हणजे, एक मध्यस्थ निवडू शकतात जो व्यवहाराच्या अंमलबजावणीवर लक्ष ठेवेल आणि विवादास्पद समस्या उद्भवल्यास त्याचे निराकरण करेल. मग, सहमत झाल्यानंतर, ते एक स्मार्ट करार तयार करतात आणि त्यात काही अटी लिहून देतात.

पहिली अट अशी आहे की एका विशिष्ट वेळेपूर्वी, एका आठवड्याच्या आत, संबंधित स्मार्ट कॉन्ट्रॅक्ट खात्याला ठराविक रकमेसाठी विशिष्ट पत्त्यांकडून तीन पेमेंट मिळणे आवश्यक आहे. असे न झाल्यास, स्मार्ट कराराची अंमलबजावणी थांबते आणि सर्व सहभागींना नाणी परत केली जातात. अट पूर्ण झाल्यास, विक्रेता आणि मध्यस्थ अभिज्ञापकांची मूल्ये सेट केली जातात आणि सर्व सहभागी विक्रेता आणि मध्यस्थांच्या निवडीशी सहमत आहेत याची अट तपासली जाते. जेव्हा सर्व अटी पूर्ण केल्या जातात, तेव्हा निधी निर्दिष्ट पत्त्यांवर हस्तांतरित केला जाईल. हा दृष्टीकोन सहभागींना कोणत्याही बाजूने फसवणूक करण्यापासून वाचवू शकतो आणि सामान्यतः विश्वास ठेवण्याची गरज दूर करतो.

आम्ही या उदाहरणात अगदी तत्त्व पाहतो की प्रत्येक अट पूर्ण करण्यासाठी चरण-दर-चरण पॅरामीटर्स सेट करण्याची ही क्षमता तुम्हाला कोणत्याही जटिलतेची आणि नेस्टेड पातळीच्या खोलीची प्रणाली तयार करण्यास अनुमती देते. याव्यतिरिक्त, आपण प्रथम स्मार्ट कॉन्ट्रॅक्टमध्ये प्रथम अट परिभाषित करू शकता आणि त्याच्या पूर्ततेनंतरच आपण पुढील स्थितीसाठी पॅरामीटर्स सेट करू शकता. दुस-या शब्दात सांगायचे तर, अट औपचारिकपणे लिहिली जाते आणि त्याच्या ऑपरेशन दरम्यान त्याचे पॅरामीटर्स आधीच सेट केले जाऊ शकतात.

स्मार्ट करारांचे वर्गीकरण

वर्गीकरणासाठी, तुम्ही निकषांचे वेगवेगळे गट सेट करू शकता. तथापि, तंत्रज्ञानाच्या विकासाच्या क्षणी, त्यापैकी चार संबंधित आहेत.

स्मार्ट कॉन्ट्रॅक्ट्स त्यांच्या अंमलबजावणीच्या वातावरणाद्वारे ओळखले जाऊ शकतात, जे एकतर केंद्रीकृत किंवा विकेंद्रित असू शकतात. विकेंद्रीकरणाच्या बाबतीत, स्मार्ट करारांची अंमलबजावणी करताना आपल्याकडे अधिक स्वातंत्र्य आणि दोष सहिष्णुता आहे.

ते सेट करण्याच्या आणि अटी पूर्ण करण्याच्या प्रक्रियेद्वारे देखील ओळखले जाऊ शकतात: ते मुक्तपणे प्रोग्राम करण्यायोग्य, मर्यादित किंवा पूर्वनिर्धारित, म्हणजे काटेकोरपणे टाइप केलेले असू शकतात. जेव्हा स्मार्ट कॉन्ट्रॅक्ट प्लॅटफॉर्मवर फक्त 4 विशिष्ट स्मार्ट कॉन्ट्रॅक्ट्स असतात, तेव्हा त्यांच्यासाठीचे पॅरामीटर्स कोणत्याही प्रकारे सेट केले जाऊ शकतात. त्यानुसार, ते सेट करणे खूप सोपे आहे: आम्ही सूचीमधून एक करार निवडतो आणि पॅरामीटर्स पास करतो.

इनिशिएशन पद्धतीनुसार, स्वयंचलित स्मार्ट कॉन्ट्रॅक्ट्स असतात, म्हणजे, जेव्हा काही विशिष्ट परिस्थिती उद्भवतात तेव्हा ते स्वत: ची अंमलबजावणी करतात आणि असे करार असतात ज्यामध्ये अटी निर्दिष्ट केल्या जातात, परंतु प्लॅटफॉर्म स्वयंचलितपणे त्यांची पूर्तता तपासत नाही; यासाठी ते स्वतंत्रपणे सुरू करणे आवश्यक आहे.

याव्यतिरिक्त, स्मार्ट करार त्यांच्या गोपनीयतेच्या पातळीनुसार बदलतात. ते एकतर पूर्णपणे खुले, अंशतः किंवा पूर्णपणे गोपनीय असू शकतात. नंतरचा अर्थ असा आहे की तृतीय-पक्ष निरीक्षकांना स्मार्ट कराराच्या अटी दिसत नाहीत. तथापि, गोपनीयतेचा विषय खूप विस्तृत आहे आणि सध्याच्या लेखापासून स्वतंत्रपणे विचार करणे चांगले आहे.

खाली आम्ही सध्याच्या विषयाच्या आकलनात अधिक स्पष्टता आणण्यासाठी पहिल्या तीन निकषांवर बारकाईने नजर टाकू.

रनटाइमनुसार स्मार्ट करार

अंमलबजावणीच्या वातावरणावर आधारित, केंद्रीकृत आणि विकेंद्रित स्मार्ट कॉन्ट्रॅक्ट प्लॅटफॉर्ममध्ये फरक केला जातो. केंद्रीकृत डिजिटल कॉन्ट्रॅक्टच्या बाबतीत, एकच सेवा वापरली जाते, जिथे फक्त एक सत्यापनकर्ता असतो आणि बॅकअप आणि रिकव्हरी सेवा असू शकते, जी देखील केंद्रीय व्यवस्थापित केली जाते. एक डेटाबेस आहे जो स्मार्ट कराराच्या अटी सेट करण्यासाठी आणि या सेवा डेटाबेसमध्ये विचारात घेतलेल्या मूल्याचे वितरण करण्यासाठी सर्व आवश्यक माहिती संग्रहित करतो. अशा केंद्रीकृत सेवेमध्ये एक क्लायंट असतो जो विशिष्ट विनंत्यांसह अटी सेट करतो आणि अशा करारांचा वापर करतो. प्लॅटफॉर्मच्या केंद्रीकृत स्वरूपामुळे, प्रमाणीकरण यंत्रणा क्रिप्टोकरन्सीपेक्षा कमी सुरक्षित असू शकते.

उदाहरण म्हणून, आम्ही मोबाइल कम्युनिकेशन प्रदाते (वेगवेगळे मोबाइल ऑपरेटर) घेऊ शकतो. समजा एखादा विशिष्ट ऑपरेटर त्याच्या सर्व्हरवर रहदारीचे केंद्रीकृत रेकॉर्ड ठेवतो, जे वेगवेगळ्या फॉरमॅटमध्ये प्रसारित केले जाऊ शकते, उदाहरणार्थ: व्हॉइस कॉल, एसएमएस ट्रान्समिशन, मोबाइल इंटरनेट ट्रॅफिक आणि वेगवेगळ्या मानकांनुसार, आणि रेकॉर्ड देखील ठेवते. वापरकर्ता शिल्लक वर निधी. त्यानुसार, मोबाइल संप्रेषण पुरवठादार प्रदान केलेल्या सेवांसाठी आणि त्यांच्या देयकासाठी वेगवेगळ्या अटींसह करार तयार करू शकतो. या प्रकरणात, "अशा आणि अशा नंबरवर अशा आणि अशा कोडसह एसएमएस पाठवा आणि तुम्हाला रहदारी वितरणासाठी अशा आणि अशा अटी प्राप्त होतील" अशा अटी सेट करणे सोपे आहे.

आणखी एक उदाहरण दिले जाऊ शकते: इंटरनेट बँकिंगची विस्तारित कार्यक्षमता असलेल्या पारंपारिक बँका आणि अगदी साधे करार जसे की नियमित पेमेंट, इनकमिंग पेमेंटचे स्वयंचलित रूपांतर, निर्दिष्ट खात्यावरील व्याजाची स्वयंचलित कपात इ.

जर आपण विकेंद्रित अंमलबजावणी वातावरणासह स्मार्ट करारांबद्दल बोलत असाल, तर आमच्याकडे प्रमाणीकरणकर्त्यांचा एक गट आहे. आदर्शपणे, कोणीही व्हॅलिडेटर बनू शकतो. डेटाबेस सिंक्रोनाइझेशन प्रोटोकॉल आणि एकमतापर्यंत पोहोचल्यामुळे, आमच्याकडे काही सामान्य डेटाबेस आहे जो आता सर्व व्यवहार काटेकोरपणे वर्णन केलेल्या करारांसह संग्रहित करेल, आणि काही सशर्त क्वेरी नाही, ज्याचे स्वरूप अनेकदा बदलतात आणि कोणतेही खुले तपशील नाहीत. येथे, व्यवहारांमध्ये कठोर तपशीलानुसार कराराची अंमलबजावणी करण्याच्या सूचना असतील. हे स्पेसिफिकेशन खुले आहे आणि म्हणूनच, प्लॅटफॉर्म वापरकर्ते स्वतःच स्मार्ट कॉन्ट्रॅक्टचे ऑडिट आणि प्रमाणीकरण करू शकतात. येथे आपण पाहतो की विकेंद्रित प्लॅटफॉर्म स्वातंत्र्य आणि दोष सहिष्णुतेच्या बाबतीत केंद्रीकृत प्लॅटफॉर्मपेक्षा श्रेष्ठ आहेत, परंतु त्यांची रचना आणि देखभाल अधिक जटिल आहे.

अटी सेट करण्याच्या आणि पूर्ण करण्याच्या पद्धतीनुसार स्मार्ट करार

आता स्मार्ट कॉन्ट्रॅक्ट्स ते ज्या प्रकारे सेट करतात आणि अटी पूर्ण करतात त्यामध्ये ते कसे वेगळे असू शकतात यावर बारकाईने नजर टाकूया. येथे आम्ही आमचे लक्ष यादृच्छिकपणे प्रोग्राम करण्यायोग्य आणि ट्युरिंग पूर्ण असलेल्या स्मार्ट करारांकडे वळवतो. ट्युरिंग-संपूर्ण स्मार्ट कॉन्ट्रॅक्ट तुम्हाला कराराच्या अंमलबजावणीसाठी अटी म्हणून जवळजवळ कोणतेही अल्गोरिदम सेट करण्याची परवानगी देतो: सायकल लिहा, संभाव्यता मोजण्यासाठी काही कार्ये आणि यासारखे - अगदी तुमच्या स्वतःच्या इलेक्ट्रॉनिक स्वाक्षरी अल्गोरिदमवर. या प्रकरणात, आपल्याला तर्कशास्त्राचे खरोखर अनियंत्रित लेखन म्हणायचे आहे.

अनियंत्रित स्मार्ट करार देखील आहेत, परंतु ट्युरिंग पूर्ण नाहीत. यामध्ये Bitcoin आणि Litecoin यांचा त्यांच्या स्वतःच्या स्क्रिप्टसह समावेश आहे. याचा अर्थ असा की तुम्ही कोणत्याही क्रमाने फक्त काही ऑपरेशन्स वापरू शकता, परंतु तुम्ही यापुढे लूप आणि तुमचे स्वतःचे अल्गोरिदम लिहू शकत नाही.

याव्यतिरिक्त, स्मार्ट कॉन्ट्रॅक्ट प्लॅटफॉर्म आहेत जे पूर्व-परिभाषित स्मार्ट कॉन्ट्रॅक्ट्सची अंमलबजावणी करतात. यामध्ये बिटशेअर्स आणि स्टीमिट यांचा समावेश आहे. बिटशेअर्सकडे ट्रेडिंग, खाते व्यवस्थापन, प्लॅटफॉर्मचे स्वतःचे व्यवस्थापन आणि त्याचे पॅरामीटर्ससाठी स्मार्ट करारांची श्रेणी आहे. Steemit हे एक समान प्लॅटफॉर्म आहे, परंतु ते यापुढे बिटशेअर्सप्रमाणे टोकन जारी करणे आणि व्यापार करण्यावर लक्ष केंद्रित करत नाही, तर ब्लॉगिंगवर, म्हणजेच ते विकेंद्रित पद्धतीने सामग्री संग्रहित करते आणि त्यावर प्रक्रिया करते.

अनियंत्रित ट्युरिंग-पूर्ण कॉन्ट्रॅक्ट्समध्ये इथरियम प्लॅटफॉर्म आणि रूटस्टॉकचा समावेश आहे, जे अद्याप विकासाधीन आहे. म्हणून, खाली आम्ही इथरियम स्मार्ट कॉन्ट्रॅक्ट प्लॅटफॉर्मवर थोडे अधिक तपशीलवार राहू.

दीक्षा पद्धतीद्वारे स्मार्ट करार

दीक्षेच्या पद्धतीवर आधारित, स्मार्ट कॉन्ट्रॅक्ट्स देखील कमीतकमी दोन गटांमध्ये विभागले जाऊ शकतात: स्वयंचलित आणि मॅन्युअल (स्वयंचलित नाही). सर्व ज्ञात पॅरामीटर्स आणि अटींनुसार, स्मार्ट करार पूर्णपणे स्वयंचलितपणे अंमलात आणला जातो, म्हणजेच, त्याला कोणतेही अतिरिक्त व्यवहार पाठविण्याची आणि त्यानंतरच्या प्रत्येक अंमलबजावणीवर अतिरिक्त कमिशन खर्च करण्याची आवश्यकता नसते. स्मार्ट करार कसा पूर्ण होईल याची गणना करण्यासाठी प्लॅटफॉर्मकडेच सर्व डेटा आहे. तिथले तर्क अनियंत्रित नसून पूर्वनियोजित आहे आणि हे सर्व प्रेडिक्टेबल आहे. म्हणजेच, आपण स्मार्ट कराराच्या अंमलबजावणीच्या जटिलतेचा आगाऊ अंदाज लावू शकता, त्यासाठी काही प्रकारचे सतत कमिशन वापरू शकता आणि त्याच्या अंमलबजावणीसाठी सर्व प्रक्रिया अधिक कार्यक्षम आहेत.

मुक्तपणे प्रोग्राम केलेल्या स्मार्ट करारांसाठी, अंमलबजावणी स्वयंचलित नसते. असा स्मार्ट करार सुरू करण्यासाठी, अक्षरशः प्रत्येक टप्प्यावर तुम्हाला एक नवीन व्यवहार तयार करणे आवश्यक आहे, ज्याला पुढील अंमलबजावणीचा टप्पा किंवा पुढील स्मार्ट कराराची पद्धत म्हटले जाईल, योग्य कमिशन द्या आणि व्यवहाराची पुष्टी होण्याची प्रतीक्षा करा. अंमलबजावणी यशस्वीरित्या पूर्ण होऊ शकते किंवा नाही, कारण स्मार्ट कॉन्ट्रॅक्ट कोड अनियंत्रित आहे आणि काही अनपेक्षित क्षण दिसू शकतात, जसे की शाश्वत लूप, काही पॅरामीटर्स आणि युक्तिवादांचा अभाव, न हाताळलेले अपवाद इ.

इथरियम खाती

इथरियम खाते प्रकार

इथरियम प्लॅटफॉर्मवर कोणत्या प्रकारची खाती असू शकतात ते पाहू या. येथे फक्त दोन प्रकारची खाती आहेत आणि इतर कोणतेही पर्याय नाहीत. पहिल्या प्रकाराला वापरकर्ता खाते म्हणतात, दुसरा करार खाते आहे. ते कसे वेगळे आहेत ते शोधूया.

वापरकर्ता खाते केवळ इलेक्ट्रॉनिक स्वाक्षरीच्या वैयक्तिक कीद्वारे नियंत्रित केले जाते. खाते मालक ECDSA (Elliptic Curve Digital Signature Algorithm) अल्गोरिदम वापरून इलेक्ट्रॉनिक स्वाक्षरीसाठी स्वतःची की जोडी तयार करतो. केवळ या की सह स्वाक्षरी केलेले व्यवहार या खात्याची स्थिती बदलू शकतात.

स्मार्ट कॉन्ट्रॅक्ट अकाउंटसाठी वेगळे लॉजिक दिले जाते. हे केवळ पूर्वनिर्धारित सॉफ्टवेअर कोडद्वारे नियंत्रित केले जाऊ शकते जे स्मार्ट कॉन्ट्रॅक्टचे वर्तन पूर्णपणे निर्धारित करते: विशिष्ट परिस्थितीत ते त्याची नाणी कशी व्यवस्थापित करेल, कोणत्या वापरकर्त्याच्या पुढाकाराने आणि कोणत्या अतिरिक्त परिस्थितींमध्ये ही नाणी वितरित केली जातील. प्रोग्राम कोडमध्ये विकासकांद्वारे काही मुद्दे प्रदान केले नसल्यास, समस्या उद्भवू शकतात. उदाहरणार्थ, स्मार्ट कॉन्ट्रॅक्टला एक विशिष्ट स्थिती प्राप्त होऊ शकते ज्यामध्ये ते कोणत्याही वापरकर्त्यांकडून पुढील अंमलबजावणीची सुरुवात स्वीकारत नाही. या प्रकरणात, नाणी प्रत्यक्षात गोठविली जातील, कारण स्मार्ट करार या राज्यातून बाहेर पडण्याची तरतूद करत नाही.

इथरियमवर खाती कशी तयार केली जातात

वापरकर्ता खात्याच्या बाबतीत, मालक स्वतंत्रपणे ECDSA वापरून की जोडी तयार करतो. हे लक्षात घेणे महत्त्वाचे आहे की Ethereum Bitcoin प्रमाणे इलेक्ट्रॉनिक स्वाक्षरीसाठी अगदी समान अल्गोरिदम आणि अगदी समान लंबवर्तुळाकार वक्र वापरते, परंतु पत्त्याची गणना थोड्या वेगळ्या पद्धतीने केली जाते. येथे, बिटकॉइन प्रमाणे दुहेरी हॅशिंगचा परिणाम आता वापरला जात नाही, परंतु 256 बिट्सच्या लांबीवर केकॅक फंक्शनसह सिंगल हॅशिंग प्रदान केले जाते. परिणामी मूल्यापासून कमीत कमी लक्षणीय बिट्स कापले जातात, म्हणजे आउटपुट हॅश मूल्याचे सर्वात कमी महत्त्वाचे 160 बिट्स. परिणामी, आम्हाला इथरियममध्ये एक पत्ता मिळतो. खरं तर, ते 20 बाइट्स घेते.

कृपया लक्षात घ्या की इथरियममधील खाते ओळखकर्ता चेकसम लागू न करता हेक्समध्‍ये एन्कोड केलेला आहे, बिटकॉइन आणि इतर अनेक सिस्‍टमच्‍या विपरीत, जिथे पत्ता चेकसम जोडून बेस 58 नंबर सिस्‍टममध्‍ये एन्कोड केलेला असतो. याचा अर्थ असा आहे की इथरियममधील खाते अभिज्ञापकांसह कार्य करताना आपण सावधगिरी बाळगणे आवश्यक आहे: आयडेंटिफायरमधील एक चूक देखील नाणी गमावण्याची हमी देते.

एक महत्त्वाचे वैशिष्ट्य आहे आणि ते म्हणजे सामान्य डेटाबेस स्तरावर वापरकर्ता खाते तयार केले जाते जेव्हा तो प्रथम येणारे पेमेंट स्वीकारतो.

स्मार्ट कॉन्ट्रॅक्ट खाते तयार करणे पूर्णपणे भिन्न दृष्टीकोन घेते. सुरुवातीला, वापरकर्त्यांपैकी एक स्मार्ट कॉन्ट्रॅक्टचा स्त्रोत कोड लिहितो, त्यानंतर कोड त्याच्या स्वत: च्या इथरियम व्हर्च्युअल मशीनसाठी बायकोड प्राप्त करून, इथरियम प्लॅटफॉर्मसाठी विशेष कंपाइलरद्वारे पास केला जातो. परिणामी बाइटकोड व्यवहाराच्या विशेष फील्डमध्ये ठेवला जातो. हे आरंभकर्त्याच्या खात्याच्या वतीने प्रमाणित केले जाते. पुढे, हा व्यवहार संपूर्ण नेटवर्कमध्ये प्रसारित केला जातो आणि स्मार्ट कॉन्ट्रॅक्ट कोड ठेवतो. व्यवहारासाठी कमिशन आणि त्यानुसार, कराराच्या अंमलबजावणीसाठी आरंभकर्त्याच्या खात्यातील शिल्लक रक्कम काढून घेतली जाते.

प्रत्येक स्मार्ट कॉन्ट्रॅक्टमध्ये (या कराराचा) स्वतःचा कन्स्ट्रक्टर असणे आवश्यक आहे. ते रिक्त असू शकते किंवा त्यात सामग्री असू शकते. कन्स्ट्रक्टर कार्यान्वित झाल्यानंतर, एक स्मार्ट कॉन्ट्रॅक्ट अकाउंट आयडेंटिफायर तयार केला जातो, ज्याचा वापर करून तुम्ही नाणी पाठवू शकता, विशिष्ट स्मार्ट कॉन्ट्रॅक्ट पद्धती कॉल करू शकता इ.

इथरियम व्यवहार संरचना

हे स्पष्ट करण्यासाठी, आम्ही इथरियम व्यवहाराची रचना आणि स्मार्ट कॉन्ट्रॅक्ट कोडचे उदाहरण पाहू.

इथरियम व्यवहारात अनेक फील्ड असतात. यापैकी पहिला, नॉन्स, व्यवहाराचा एक विशिष्ट अनुक्रमांक आहे जो खाते स्वतः वितरीत करतो आणि त्याचा लेखक असतो. दुहेरी व्यवहारांमध्ये फरक करण्यासाठी हे आवश्यक आहे, म्हणजे, जेव्हा समान व्यवहार दोनदा स्वीकारला जातो तेव्हा प्रकरण वगळण्यासाठी. आयडेंटिफायर वापरून, प्रत्येक व्यवहाराला एक अद्वितीय हॅश मूल्य असते.

पुढे असे फील्ड येते गॅस किंमत. हे एथेरियम बेस चलन गॅसमध्ये रूपांतरित होणारी किंमत दर्शवते, ज्याचा वापर स्मार्ट कराराच्या अंमलबजावणीसाठी आणि आभासी मशीन संसाधनाच्या वाटपासाठी पैसे देण्यासाठी केला जातो. याचा अर्थ काय?

Bitcoin मध्ये, फी थेट मूळ चलनाद्वारे भरली जाते - Bitcoin स्वतः. त्यांची गणना करण्याच्या सोप्या यंत्रणेमुळे हे शक्य आहे: आम्ही व्यवहारात असलेल्या डेटाच्या रकमेसाठी काटेकोरपणे पैसे देतो. इथरियममध्ये परिस्थिती अधिक क्लिष्ट आहे, कारण व्यवहार डेटाच्या व्हॉल्यूमवर अवलंबून राहणे फार कठीण आहे. येथे, व्यवहारामध्ये प्रोग्राम कोड देखील असू शकतो जो व्हर्च्युअल मशीनवर कार्यान्वित केला जाईल आणि आभासी मशीनच्या प्रत्येक ऑपरेशनमध्ये भिन्न जटिलता असू शकते. व्हेरिएबल्ससाठी मेमरी वाटप करणारे ऑपरेशन्स देखील आहेत. त्यांची स्वतःची जटिलता असेल, ज्यावर प्रत्येक ऑपरेशनसाठी देय अवलंबून असेल.

गॅस समतुल्य प्रत्येक ऑपरेशनची किंमत स्थिर असेल. प्रत्येक ऑपरेशनची स्थिर किंमत निश्चित करण्यासाठी हे विशेषतः सादर केले जाते. नेटवर्कवरील लोडवर अवलंबून, गॅसची किंमत बदलेल, म्हणजेच गुणांक ज्यानुसार आधार चलन कमिशन भरण्यासाठी या सहायक युनिटमध्ये रूपांतरित केले जाईल.

इथरियममधील व्यवहाराचे आणखी एक वैशिष्ट्य आहे: व्हर्च्युअल मशीनमध्ये कार्यान्वित करण्यासाठी त्यात समाविष्ट असलेला बायकोड काही परिणाम (यश किंवा अपयश) पूर्ण होईपर्यंत किंवा कमिशन भरण्यासाठी वाटप केलेली ठराविक रक्कम संपेपर्यंत कार्यान्वित केली जाईल. . अशी परिस्थिती टाळण्यासाठी हे आहे की, काही त्रुटी असल्यास, प्रेषकाच्या खात्यातील सर्व नाणी कमिशनवर खर्च केली गेली (उदाहरणार्थ, आभासी मशीनमध्ये काही प्रकारचे शाश्वत चक्र सुरू झाले), खालील फील्ड अस्तित्वात आहे - गॅस सुरू करा (बहुतेकदा गॅस मर्यादा म्हटले जाते) - हे निश्चित व्यवहार पूर्ण करण्यासाठी प्रेषक किती नाणी खर्च करण्यास तयार आहे हे निर्धारित करते.

पुढील फील्ड म्हणतात गंतव्य पत्ता. यामध्ये नाणी प्राप्तकर्त्याचा पत्ता किंवा विशिष्ट स्मार्ट कराराचा पत्ता समाविष्ट आहे ज्याच्या पद्धती कॉल केल्या जातील. त्यानंतर मैदान येते मूल्य, जेथे गंतव्य पत्त्यावर पाठवलेल्या नाण्यांची रक्कम प्रविष्ट केली जाते.

पुढे एक मनोरंजक फील्ड म्हणतात डेटा, जिथे संपूर्ण रचना बसते. हे एक वेगळे फील्ड नाही, परंतु एक संपूर्ण रचना आहे ज्यामध्ये व्हर्च्युअल मशीनसाठी कोड परिभाषित केला आहे. आपण येथे अनियंत्रित डेटा ठेवू शकता - यासाठी स्वतंत्र नियम आहेत.

आणि शेवटचे क्षेत्र म्हणतात स्वाक्षरी. त्यामध्ये एकाच वेळी या व्यवहाराच्या लेखकाची इलेक्ट्रॉनिक स्वाक्षरी आणि सार्वजनिक की ज्याद्वारे या स्वाक्षरीची पडताळणी केली जाईल अशा दोन्ही गोष्टी असतात. पब्लिक की वरून तुम्ही या व्यवहाराच्या प्रेषकाचे खाते ओळखकर्ता मिळवू शकता, म्हणजेच सिस्टममध्येच प्रेषकाचे खाते अद्वितीयपणे ओळखू शकता. आम्हाला व्यवहाराच्या संरचनेबद्दल मुख्य गोष्ट सापडली.

सॉलिडिटीसाठी स्मार्ट कॉन्ट्रॅक्ट कोडचे उदाहरण

चला आता उदाहरण वापरून सर्वात सोप्या स्मार्ट कॉन्ट्रॅक्टकडे जवळून पाहू.

contract Bank {
    address owner;
    mapping(address => uint) balances;
    
    function Bank() {
        owner = msg.sender;
    }

    function deposit() public payable {
        balances[msg.sender] += msg.value;
    }

    function withdraw(uint amount) public {
        if (balances[msg.sender] >= amount) {
            balances[msg.sender] -= amount;
            msg.sender.transfer(amount);
        }
    }

    function getMyBalance() public view returns(uint) {
        return balances[msg.sender];
    }

    function kill() public {
        if (msg.sender == owner)
            selfdestruct(owner);
    }
}

वर एक सरलीकृत स्त्रोत कोड आहे जो वापरकर्त्यांची नाणी ठेवू शकतो आणि मागणीनुसार परत करू शकतो.

म्हणून, एक बँक स्मार्ट करार आहे जो खालील कार्ये करतो: तो त्याच्या शिल्लक वर नाणी जमा करतो, म्हणजे, जेव्हा व्यवहाराची पुष्टी केली जाते आणि असा स्मार्ट करार केला जातो, तेव्हा एक नवीन खाते तयार केले जाते ज्यामध्ये त्याच्या शिल्लक वर नाणी असू शकतात; हे वापरकर्ते आणि त्यांच्या दरम्यान नाण्यांचे वितरण लक्षात ठेवते; शिल्लक व्यवस्थापित करण्यासाठी अनेक पद्धती आहेत, म्हणजे, पुन्हा भरणे, पैसे काढणे आणि वापरकर्त्याची शिल्लक तपासणे शक्य आहे.

चला सोर्स कोडच्या प्रत्येक ओळीत जाऊ. या करारामध्ये स्थिर फील्ड आहेत. त्यापैकी एक, प्रकार पत्त्यासह, मालक म्हणतात. येथे कॉन्ट्रॅक्ट हा स्मार्ट कॉन्ट्रॅक्ट तयार करणाऱ्या वापरकर्त्याचा पत्ता लक्षात ठेवतो. पुढे, एक डायनॅमिक रचना आहे जी वापरकर्त्याचे पत्ते आणि शिल्लक यांच्यातील पत्रव्यवहार राखते.

हे बँकेच्या पद्धतीनुसार केले जाते - त्यास कराराचे समान नाव आहे. त्यानुसार, हे त्याचे कन्स्ट्रक्टर आहे. येथे मालक व्हेरिएबलला नेटवर्कवर हा स्मार्ट कॉन्ट्रॅक्ट ठेवलेल्या व्यक्तीचा पत्ता नियुक्त केला आहे. या कन्स्ट्रक्टरमध्ये हेच घडते. म्हणजेच, या प्रकरणात संदेश हा या कराराचा संपूर्ण कोड असलेल्या व्यवहारासह व्हर्च्युअल मशीनवर हस्तांतरित केलेला डेटा आहे. त्यानुसार, msg.sender हा या व्यवहाराचा लेखक आहे जो हा कोड होस्ट करतो. तो स्मार्ट कराराचा मालक असेल.

डिपॉझिट पद्धत तुम्हाला व्यवहाराद्वारे ठराविक संख्येची नाणी कॉन्ट्रॅक्ट खात्यात हस्तांतरित करण्याची परवानगी देते. या प्रकरणात, स्मार्ट कॉन्ट्रॅक्ट, ही नाणी प्राप्त करून, ती आपल्या ताळेबंदावर ठेवतात, परंतु ही नाणी नेमकी कोणाची होती हे जाणून घेण्यासाठी ते नेमके कोण पाठवणारे होते हे बॅलन्स स्ट्रक्चरमध्ये नोंदवले जाते.

पुढील पद्धतीला पैसे काढणे म्हणतात आणि त्यासाठी एक पॅरामीटर लागतो - एखाद्याला या बँकेतून काढू इच्छित असलेल्या नाण्यांची रक्कम. या पद्धतीत कॉल करणार्‍या वापरकर्त्याच्या शिल्लक मध्ये पुरेशी नाणी आहेत की नाही हे तपासते. जर ते पुरेसे असतील तर, स्मार्ट कॉन्ट्रॅक्ट स्वतः कॉलरला त्या संख्येची नाणी परत करतो.

पुढे वापरकर्त्याची वर्तमान शिल्लक तपासण्याची पद्धत येते. जो कोणी ही पद्धत कॉल करेल तो स्मार्ट कॉन्ट्रॅक्टमध्ये ही शिल्लक पुनर्प्राप्त करण्यासाठी वापरला जाईल. हे लक्षात घेण्यासारखे आहे की या पद्धतीचा सुधारक दृश्य आहे. याचा अर्थ ही पद्धत स्वतःच त्याच्या वर्गातील व्हेरिएबल्समध्ये कोणत्याही प्रकारे बदल करत नाही आणि प्रत्यक्षात ती फक्त वाचण्याची पद्धत आहे. या पद्धतीला कॉल करण्यासाठी कोणताही वेगळा व्यवहार तयार केला जात नाही, कोणतेही शुल्क दिले जात नाही आणि सर्व गणना स्थानिक पातळीवर केली जाते, त्यानंतर वापरकर्त्याला परिणाम प्राप्त होतो.

स्मार्ट कॉन्ट्रॅक्टची स्थिती नष्ट करण्यासाठी मारण्याची पद्धत आवश्यक आहे. आणि येथे एक अतिरिक्त तपासणी आहे की या पद्धतीचा कॉलर या कराराचा मालक आहे की नाही. तसे असल्यास, कराराचा स्वतःचा नाश होतो आणि विनाश कार्य एक पॅरामीटर घेते - खाते अभिज्ञापक ज्यावर करार त्याच्या शिल्लक असलेली सर्व नाणी पाठवेल. या प्रकरणात, उर्वरित नाणी स्वयंचलितपणे कराराच्या मालकाच्या पत्त्यावर जातील.

इथरियम नेटवर्कवरील पूर्ण नोड कसे कार्य करते?

इथरियम प्लॅटफॉर्मवर असे स्मार्ट कॉन्ट्रॅक्ट्स कसे कार्यान्वित केले जातात आणि संपूर्ण नेटवर्क नोड कसे कार्य करते ते योजनाबद्धपणे पाहू या.

इथरियम नेटवर्कवरील पूर्ण नोडमध्ये किमान चार मॉड्यूल असणे आवश्यक आहे.
प्रथम, कोणत्याही विकेंद्रित प्रोटोकॉलसाठी, P2P नेटवर्किंग मॉड्यूल आहे - नेटवर्क कनेक्शन आणि इतर नोड्ससह कार्य करण्यासाठी एक मॉड्यूल, जिथे ब्लॉक्स, व्यवहार आणि इतर नोड्सबद्दल माहितीची देवाणघेवाण केली जाते. सर्व विकेंद्रित क्रिप्टोकरन्सीसाठी हा पारंपारिक घटक आहे.

पुढे, आमच्याकडे ब्लॉकचेन डेटा संग्रहित करणे, प्रक्रिया करणे, प्राधान्य शाखा निवडणे, ब्लॉक जोडणे, ब्लॉक्स अनलिंक करणे, हे ब्लॉक प्रमाणित करणे इत्यादीसाठी मॉड्यूल आहे.

तिसऱ्या मॉड्यूलला EVM (Ethereum व्हर्च्युअल मशीन) म्हणतात - हे एक आभासी मशीन आहे जे इथरियम व्यवहारातून बायकोड प्राप्त करते. हे मॉड्यूल विशिष्ट खात्याची वर्तमान स्थिती घेते आणि प्राप्त झालेल्या बायकोडच्या आधारे त्याच्या स्थितीत बदल करते. प्रत्येक नेटवर्क नोडवरील आभासी मशीन आवृत्ती समान असणे आवश्यक आहे. प्रत्येक इथरियम नोडवर होणारी गणना तंतोतंत सारखीच असते, परंतु ती अतुल्यकालिक पद्धतीने घडतात: कोणीतरी हा व्यवहार आधी तपासतो आणि स्वीकारतो, म्हणजे, त्यात असलेले सर्व कोड कार्यान्वित करतो आणि कोणीतरी नंतर. त्यानुसार, व्यवहार तयार केल्यावर तो नेटवर्कमध्ये वितरित केला जातो, नोड्स ते स्वीकारतात आणि पडताळणीच्या वेळी, बिटकॉइनमध्ये ज्या पद्धतीने बिटकॉइन स्क्रिप्ट कार्यान्वित होते, त्याच पद्धतीने व्हर्च्युअल मशीनचा बायटेकोड येथे कार्यान्वित केला जातो.

हा व्यवहार लागू केला गेला आहे की नाही हे स्पष्ट होईपर्यंत त्यामध्ये असलेले सर्व कोड कार्यान्वित केले गेले असल्यास, विशिष्ट खात्याची नवीन स्थिती व्युत्पन्न केली गेली आणि जतन केली गेली असल्यास व्यवहार सत्यापित मानले जाते. जर व्यवहार लागू केला असेल, तर ही स्थिती केवळ पूर्णच नव्हे तर वर्तमान देखील मानली जाते. एक डेटाबेस आहे जो प्रत्येक नेटवर्क नोडसाठी प्रत्येक खात्याची स्थिती संग्रहित करतो. सर्व आकडेमोड सारख्याच प्रकारे होत असल्यामुळे आणि ब्लॉकचेनची स्थिती सारखीच असल्यामुळे, सर्व खात्यांची स्थिती असलेला डेटाबेस प्रत्येक नोडसाठी सारखाच असेल.

समज आणि स्मार्ट कराराच्या मर्यादा

इथरियम सारख्या स्मार्ट कॉन्ट्रॅक्ट प्लॅटफॉर्मसाठी अस्तित्वात असलेल्या निर्बंधांसाठी, खालील गोष्टींचा उल्लेख केला जाऊ शकतो:

• कोडची अंमलबजावणी;
• मेमरी वाटप करा;
• ब्लॉकचेन डेटा;
• देयके पाठवा;
• नवीन करार तयार करा;
• इतर करारांना कॉल करा.

चला व्हर्च्युअल मशीनवर लादलेले निर्बंध पाहू आणि त्यानुसार, स्मार्ट कॉन्ट्रॅक्ट्सबद्दल काही मिथक दूर करू. व्हर्च्युअल मशीनवर, जे केवळ इथरियममध्येच नाही तर तत्सम प्लॅटफॉर्मवर देखील असू शकते, आपण खरोखर अनियंत्रित तार्किक ऑपरेशन्स करू शकता, म्हणजे, कोड लिहा आणि तो तेथे कार्यान्वित केला जाईल, आपण याव्यतिरिक्त मेमरी वाटप करू शकता. तथापि, प्रत्येक ऑपरेशनसाठी आणि वाटप केलेल्या मेमरीच्या प्रत्येक अतिरिक्त युनिटसाठी शुल्क स्वतंत्रपणे दिले जाते.

पुढे, व्हर्च्युअल मशीन ब्लॉकचेन डेटाबेसमधील डेटा वाचू शकते जेणेकरून एक किंवा दुसरे स्मार्ट कॉन्ट्रॅक्ट लॉजिक कार्यान्वित करण्यासाठी हा डेटा ट्रिगर म्हणून वापरला जाईल. व्हर्च्युअल मशीन व्यवहार तयार करू शकते आणि पाठवू शकते, ते नवीन करार तयार करू शकते आणि नेटवर्कवर आधीपासून प्रकाशित केलेल्या इतर स्मार्ट करारांच्या कॉल पद्धती: विद्यमान, उपलब्ध इ.

सर्वात सामान्य समज अशी आहे की इथरियम स्मार्ट कॉन्ट्रॅक्ट्स त्यांच्या अटींमध्ये कोणत्याही इंटरनेट संसाधनातील माहिती वापरू शकतात. सत्य हे आहे की व्हर्च्युअल मशीन इंटरनेटवरील काही बाह्य माहिती संसाधनांना नेटवर्क विनंती पाठवू शकत नाही, म्हणजे, एक स्मार्ट करार लिहिणे अशक्य आहे जे वापरकर्त्यांमध्ये मूल्य वितरीत करेल, म्हणा, बाहेरील हवामान कसे आहे, यावर अवलंबून. किंवा कोणी चॅम्पियनशिप जिंकली, किंवा बाहेरच्या जगात घडलेल्या इतर घटनेवर आधारित, कारण या घटनांची माहिती प्लॅटफॉर्मच्या डेटाबेसमध्येच नाही. म्हणजेच, ब्लॉकचेनवर याबद्दल काहीही नाही. ते तेथे दिसत नसल्यास, व्हर्च्युअल मशीन हा डेटा ट्रिगर म्हणून वापरू शकत नाही.

इथरियमचे तोटे

चला मुख्य यादी करूया. पहिला तोटा असा आहे की इथरियममध्ये स्मार्ट कॉन्ट्रॅक्ट्स डिझाइन करण्यात, विकसित करण्यात आणि चाचणी करण्यात काही अडचणी आहेत (स्मार्ट कॉन्ट्रॅक्ट्स लिहिण्यासाठी इथरियम सॉलिडिटी भाषा वापरते). खरंच, सराव दर्शवितो की सर्व त्रुटींपैकी खूप मोठी टक्केवारी मानवी घटकाशी संबंधित आहे. हे आधीच लिहिलेल्या इथरियम स्मार्ट कॉन्ट्रॅक्ट्ससाठी खरे आहे ज्यात सरासरी किंवा जास्त जटिलता आहे. जर साध्या स्मार्ट कॉन्ट्रॅक्ट्ससाठी एररची शक्यता कमी असेल, तर कॉम्प्लेक्स स्मार्ट कॉन्ट्रॅक्ट्समध्ये अनेकदा चुका असतात ज्यामुळे निधीची चोरी, ते गोठवणे, स्मार्ट कॉन्ट्रॅक्ट्स अनपेक्षित मार्गाने नष्ट होणे इ. अशी अनेक प्रकरणे आधीच आहेत. ज्ञात

दुसरा तोटा असा आहे की व्हर्च्युअल मशीन स्वतःच परिपूर्ण नाही, कारण ते लोकांद्वारे देखील लिहिलेले आहे. हे अनियंत्रित आदेश कार्यान्वित करू शकते, आणि त्यातच असुरक्षा आहे: अनेक आज्ञा एका विशिष्ट प्रकारे कॉन्फिगर केल्या जाऊ शकतात ज्यामुळे अगोदर अनपेक्षित परिणाम होऊ शकतात. हे एक अतिशय क्लिष्ट क्षेत्र आहे, परंतु आधीपासूनच अनेक अभ्यास आहेत जे दर्शविते की या असुरक्षा इथरियम नेटवर्कच्या वर्तमान आवृत्तीमध्ये अस्तित्वात आहेत आणि ते अनेक स्मार्ट करारांच्या अपयशास कारणीभूत ठरू शकतात.

आणखी एक मोठी अडचण, ती एक गैरसोय मानली जाऊ शकते. हे खरं आहे की आपण व्यावहारिक किंवा तांत्रिकदृष्ट्या निष्कर्षापर्यंत पोहोचू शकता की जर आपण व्हर्च्युअल मशीनवर अंमलात आणल्या जाणार्‍या कराराचा बायकोड संकलित केला तर आपण ऑपरेशनचा काही विशिष्ट क्रम निर्धारित करू शकता. एकत्र केल्यावर, ही ऑपरेशन्स व्हर्च्युअल मशीनला मोठ्या प्रमाणात लोड करतील आणि ही ऑपरेशन्स करण्यासाठी भरलेल्या फीच्या तुलनेत ते कमी होतील.

पूर्वी, इथरियमच्या विकासात आधीच एक काळ होता, जेव्हा व्हर्च्युअल मशीनचे ऑपरेशन तपशीलवार समजून घेतलेल्या बर्‍याच लोकांना अशा असुरक्षा आढळल्या. खरं तर, व्यवहारांनी खूप कमी शुल्क दिले, परंतु व्यावहारिकपणे संपूर्ण नेटवर्कची गती कमी झाली. या समस्यांचे निराकरण करणे खूप कठीण आहे, कारण प्रथम, ते निश्चित करणे आवश्यक आहे, दुसरे म्हणजे, या ऑपरेशन्स करण्यासाठी किंमत समायोजित करणे आणि तिसरे म्हणजे, हार्ड फोर्क करणे, म्हणजे सर्व नेटवर्क नोड्स नवीन आवृत्तीमध्ये अद्यतनित करणे. सॉफ्टवेअरचे, आणि नंतर या बदलांचे एकाचवेळी सक्रियकरण.

इथरियमसाठी, बरेच संशोधन केले गेले आहे, भरपूर व्यावहारिक अनुभव प्राप्त झाला आहे: दोन्ही सकारात्मक आणि नकारात्मक, परंतु तरीही काही अडचणी आणि असुरक्षा आहेत ज्यांना अद्याप कसे तरी सामोरे जावे लागेल.

तर, लेखाचा थीमॅटिक भाग पूर्ण झाला आहे, चला बर्‍याचदा उद्भवणार्‍या प्रश्नांकडे वळूया.

वारंवार विचारले जाणारे प्रश्न

— जर विद्यमान स्मार्ट करारातील सर्व पक्षांना अटी बदलायच्या असतील, तर ते मल्टीसिग वापरून हा स्मार्ट करार रद्द करू शकतात आणि नंतर त्याच्या अंमलबजावणीच्या अद्ययावत अटींसह नवीन स्मार्ट करार तयार करू शकतात?

येथे उत्तर दुहेरी असेल. का? कारण एकीकडे, स्मार्ट करार एकदाच परिभाषित केला जातो आणि तो यापुढे कोणतेही बदल सूचित करत नाही आणि दुसरीकडे, त्यात पूर्व-लिखित तर्क असू शकतो जे काही अटी पूर्ण किंवा आंशिक बदल प्रदान करते. म्हणजेच, जर तुम्हाला तुमच्या स्मार्ट कॉन्ट्रॅक्टमध्ये काही बदल करायचा असेल, तर तुम्ही या अटी ज्या अटींमध्ये अपडेट करू शकता त्या अटी लिहिल्या पाहिजेत. त्यानुसार, केवळ अशा विवेकपूर्ण पद्धतीने कराराचे नूतनीकरण आयोजित केले जाऊ शकते. परंतु येथे देखील, आपण अडचणीत येऊ शकता: काही चूक करा आणि संबंधित असुरक्षा मिळवा. म्हणून, अशा गोष्टींची अतिशय तपशीलवार आणि काळजीपूर्वक रचना आणि चाचणी करणे आवश्यक आहे.

- जर मध्यस्थ सहभागी पक्षांपैकी एकाशी करार करत असेल तर: एस्क्रो किंवा स्मार्ट करार? स्मार्ट करारामध्ये मध्यस्थ आवश्यक आहे का?

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

— तुमच्या पत्त्यावरून वेगवेगळ्या लक्ष्य पत्त्यांवर अनेक भिन्न टोकन हस्तांतरित करणे एका इथरियम व्यवहाराने शक्य आहे का, उदाहरणार्थ, या टोकन्सचा व्यवहार जेथे केला जातो अशा पत्त्यांचे विनिमय?

हा एक चांगला प्रश्न आहे आणि तो इथरियम व्यवहार मॉडेलशी संबंधित आहे आणि तो बिटकॉइन मॉडेलपेक्षा कसा वेगळा आहे. आणि फरक मूलगामी आहे. जर इथरियम व्यवहार मॉडेलमध्ये तुम्ही फक्त नाणी हस्तांतरित केली, तर ती फक्त एका पत्त्यावरून दुसऱ्या पत्त्यावर हस्तांतरित केली जातात, कोणताही बदल नाही, फक्त तुम्ही निर्दिष्ट केलेली विशिष्ट रक्कम. दुसऱ्या शब्दांत, हे न खर्च केलेल्या आउटपुटचे (UTXO) मॉडेल नाही, तर खात्यांचे आणि संबंधित शिल्लकांचे मॉडेल आहे. जर तुम्ही धूर्त स्मार्ट करार लिहिला तर एकाच व्यवहारात अनेक भिन्न टोकन पाठवणे सैद्धांतिकदृष्ट्या शक्य आहे, परंतु तरीही तुम्हाला अनेक व्यवहार करावे लागतील, एक करार तयार करावा लागेल, त्यानंतर टोकन आणि नाणी हस्तांतरित करावी लागतील आणि नंतर योग्य पद्धतीने कॉल करा. . यासाठी प्रयत्न आणि वेळ आवश्यक आहे, म्हणून व्यवहारात ते असे कार्य करत नाही आणि इथरियममधील सर्व देयके स्वतंत्र व्यवहारांमध्ये केली जातात.

- इथरियम प्लॅटफॉर्मबद्दलची एक मिथक अशी आहे की बाह्य इंटरनेट संसाधनाच्या डेटावर अवलंबून असलेल्या परिस्थितीचे वर्णन करणे अशक्य आहे, मग काय करावे?

यावर उपाय असा आहे की स्मार्ट कॉन्ट्रॅक्ट स्वतः एक किंवा अधिक तथाकथित विश्वसनीय ओरॅकल्स प्रदान करू शकतो, जे बाहेरील जगातील गोष्टींच्या स्थितीबद्दल डेटा गोळा करतात आणि विशेष पद्धतींद्वारे स्मार्ट कॉन्ट्रॅक्टमध्ये प्रसारित करतात. करार स्वतः विश्वसनीय पक्षांकडून प्राप्त केलेला डेटा सत्य मानतो. अधिक विश्वासार्हतेसाठी, फक्त ओरॅकल्सचा एक मोठा गट निवडा आणि त्यांच्या संगनमताचा धोका कमी करा. करार स्वतःच बहुसंख्यांशी विरोधाभास असलेल्या ओरॅकल्समधील डेटा विचारात घेणार नाही.

ब्लॉकचेनवरील ऑनलाइन कोर्सचे एक व्याख्यान या विषयाला वाहिलेले आहे - “स्मार्ट कॉन्ट्रॅक्टचा परिचय".

स्त्रोत: www.habr.com