स्मार्ट अनुबंधको परिचय

यस लेखमा, हामी स्मार्ट अनुबंधहरू के हुन्, तिनीहरू के हुन् भनेर हेर्नेछौं, हामी विभिन्न स्मार्ट अनुबंध प्लेटफर्महरू, तिनीहरूका सुविधाहरूसँग परिचित हुनेछौं, र तिनीहरूले कसरी काम गर्छन् र तिनीहरूले के फाइदाहरू ल्याउन सक्छन् भनेर पनि छलफल गर्नेछौं। यो सामग्री पाठकहरूका लागि धेरै उपयोगी हुनेछ जो स्मार्ट अनुबंधको विषयसँग राम्ररी परिचित छैनन्, तर यसलाई बुझ्नको लागि नजिक जान चाहन्छन्।

नियमित अनुबंध बनाम। स्मार्ट सम्झौता

हामीले विवरणहरू खोल्नु अघि, कागजमा निर्दिष्ट गरिएको नियमित सम्झौता, र डिजिटल रूपमा प्रतिनिधित्व गरिएको स्मार्ट सम्झौता बीचको भिन्नताहरूको उदाहरण लिनुहोस्।

स्मार्ट अनुबंधको आगमन अघि यो कसरी काम गर्यो? मानहरूको वितरणको लागि निश्चित नियम र सर्तहरू स्थापना गर्न चाहने व्यक्तिहरूको समूहको कल्पना गर्नुहोस्, साथै दिइएको नियम र सर्तहरू अनुसार यो वितरणको कार्यान्वयनको ग्यारेन्टी गर्ने निश्चित संयन्त्र। त्यसपछि तिनीहरू एकसाथ भेला हुनेछन्, एउटा कागज कोर्नेछन् जसमा तिनीहरूले आफ्नो पहिचान विवरणहरू, सर्तहरू, मूल्यहरू समावेश छन्, तिनीहरूलाई मिति र हस्ताक्षर गर्नुहोस्। यो सम्झौता पनि एक विश्वसनीय पक्ष, जस्तै नोटरी द्वारा प्रमाणित गरिएको थियो। यसबाहेक, यी व्यक्तिहरू आफ्नो यस्तो सम्झौताको कागजी प्रतिलिपि लिएर विभिन्न दिशामा गए र केही कार्यहरू गर्न थाले जुन सम्झौता आफैंसँग मेल खाँदैन, त्यो हो, तिनीहरूले एउटा काम गरे, तर कागजमा यो प्रमाणित गरियो कि तिनीहरूले केही गर्नुपर्छ। पूर्ण रूपमा फरक। र यो अवस्थाबाट कसरी बाहिर निस्कने? वास्तवमा, समूह सदस्यहरू मध्ये एकले यो कागज लिनु आवश्यक छ, केहि प्रमाण लिनु पर्छ, यसलाई अदालतमा लैजानु पर्छ र सम्झौता र वास्तविक कार्यहरू बीचको अनुपालन हासिल गर्न आवश्यक छ। प्रायः, यो सम्झौताको निष्पक्ष कार्यान्वयन प्राप्त गर्न गाह्रो छ, जसले अप्रिय परिणामहरू निम्त्याउँछ।

स्मार्ट अनुबंधको बारेमा के भन्न सकिन्छ? तिनीहरूले सम्झौताका सर्तहरू लेख्ने सम्भावना र तिनीहरूको कडा कार्यान्वयनको लागि संयन्त्र दुवै संयोजन गर्छन्। यदि सर्तहरू सेट गरिएको छ र सम्बन्धित लेनदेन वा अनुरोधमा हस्ताक्षर गरिएको छ भने, एक पटक त्यो अनुरोध वा लेनदेन स्वीकार गरिसकेपछि, सर्तहरू परिवर्तन गर्न वा तिनीहरूको कार्यान्वयनलाई प्रभाव पार्न सम्भव छैन।

त्यहाँ एक मान्यकर्ता वा सम्पूर्ण नेटवर्क छ, साथै एक डाटाबेस जसले सबै स्मार्ट अनुबंधहरू भण्डारण गर्दछ जुन कडा कालक्रमिक क्रममा कार्यान्वयनको लागि पेश गरिएको थियो। यो पनि महत्त्वपूर्ण छ कि यो डाटाबेसले स्मार्ट अनुबंध कार्यान्वयन गर्नका लागि सबै ट्रिगर सर्तहरू समावेश गर्नुपर्छ। थप रूपमा, यसले धेरै मूल्यलाई ध्यानमा राख्नुपर्दछ जसको वितरण सम्झौतामा वर्णन गरिएको छ। यदि यो केहि डिजिटल मुद्रामा लागू हुन्छ भने, तब यो डाटाबेसले यसलाई ध्यानमा राख्नुपर्छ।

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

एक स्मार्ट अनुबंध को परिभाषा

सामान्यतया, शब्दावली आफैं शोधकर्ता निक साबो द्वारा बनाईएको थियो र पहिलो पटक 1994 मा प्रयोग गरिएको थियो, र 1997 मा एक लेखमा दस्तावेज गरिएको थियो जसले स्मार्ट अनुबंधको धेरै विचार वर्णन गर्दछ।

स्मार्ट अनुबंधहरूले मान वितरणको केही स्वचालन गरिन्छ भन्ने संकेत गर्दछ, जुन केवल ती अवस्थाहरूमा निर्भर हुन सक्छ जुन पहिले नै पूर्वनिर्धारित छन्। यसको सरल रूप मा, यो कडाईका साथ परिभाषित सर्तहरु संग एक सम्झौता जस्तै देखिन्छ, जुन केहि पक्षहरु द्वारा हस्ताक्षर गरिएको छ।

स्मार्ट अनुबंधहरू तेस्रो पक्षहरूमा विश्वास कम गर्न डिजाइन गरिएको हो। कहिलेकाहीँ निर्णय गर्ने केन्द्र जसमा सबै कुरा निर्भर हुन्छ पूर्णतया बहिष्कृत हुन्छ। थप रूपमा, त्यस्ता अनुबंधहरू लेखा परीक्षण गर्न सजिलो हुन्छ। यो यस्तो प्रणालीको केही डिजाइन सुविधाहरूको परिणाम हो, तर प्रायः हामीले स्मार्ट अनुबंधले विकेन्द्रीकृत वातावरण र कार्यहरूको उपस्थितिलाई बुझ्छौं जसले कसैलाई डाटाबेसको विश्लेषण गर्न र सम्झौताहरूको कार्यान्वयनको पूर्ण लेखा परीक्षा सञ्चालन गर्न अनुमति दिन्छ। यसले पूर्वव्यापी डेटा परिवर्तनहरू विरुद्ध सुरक्षा सुनिश्चित गर्दछ जसले सम्झौताको कार्यसम्पादनमा परिवर्तनहरू समावेश गर्दछ। स्मार्ट अनुबंध सिर्जना गर्दा र सुरु गर्दा प्रायः प्रक्रियाहरूको डिजिटाइजेशनले तिनीहरूको कार्यान्वयनको प्रविधि र लागतलाई सरल बनाउँछ।

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

एक धेरै सरल उदाहरण हेरौं। यसले तपाईंलाई स्मार्ट अनुबंधहरूको कार्यक्षमता बुझ्नको लागि नजिक आउन मद्दत गर्नेछ, साथै तिनीहरू कुन अवस्थामा प्रयोग गर्नुपर्छ भनेर अझ राम्रोसँग बुझ्न मद्दत गर्नेछ।

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

Bitcoin को मामला मा, यो क्रेता र विक्रेता स्वतन्त्र रूपमा एक मध्यस्थ चयन गर्न अनुमति दिन सम्भव छ। विवादित मुद्दाहरू समाधान गर्ने धेरै व्यक्तिहरू छन्। र हाम्रा सहभागीहरूले मध्यस्थकर्ताहरूको सामान्य सूचीबाट उनीहरूले विश्वास गर्ने एक छनौट गर्न सक्छन्। तिनीहरूले सँगै मिलेर 2 बहुहस्ताक्षर ठेगानाहरू सिर्जना गर्छन् जहाँ तीनवटा कुञ्जीहरू छन् र कुनै पनि दुई कुञ्जीहरूसँग दुईवटा हस्ताक्षरहरू त्यस ठेगानाबाट सिक्का खर्च गर्न आवश्यक छ। एउटा कुञ्जी खरिदकर्ताको, दोस्रो अनलाइन स्टोरको र तेस्रो मध्यस्थकर्ताको हुनेछ। र यस्तो बहुहस्ताक्षर ठेगानामा खरिदकर्ताले मोनिटरको लागि भुक्तान गर्न आवश्यक रकम पठाउनेछ। अब, जब विक्रेताले देख्छ कि पैसा केहि समयको लागि बहुहस्ताक्षर ठेगानामा अवरुद्ध छ जुन उसमा निर्भर हुन्छ, उसले सुरक्षित रूपमा मोनिटरलाई मेल मार्फत पठाउन सक्छ।

अर्को, खरिदकर्ताले पार्सल प्राप्त गर्दछ, सामानहरूको निरीक्षण गर्दछ र अन्तिम खरिदमा निर्णय गर्दछ। उसले प्रदान गरिएको सेवासँग पूर्ण रूपमा सहमत हुन सक्छ र आफ्नो कुञ्जीसँग लेनदेनमा हस्ताक्षर गर्न सक्छ, जहाँ उसले बहुहस्ताक्षर ठेगानाबाट बिक्रेतालाई सिक्का स्थानान्तरण गर्दछ, वा ऊ केहिसँग असन्तुष्ट हुन सक्छ। दोस्रो अवस्थामा, उसले एक वैकल्पिक लेनदेन सँगै राख्न मध्यस्थकर्तालाई सम्पर्क गर्दछ जसले ती सिक्काहरू फरक रूपमा वितरण गर्नेछ।

मानौं कि मनिटर अलिकति स्क्र्याच भयो र किटले कम्प्युटरमा जडान गर्नको लागि केबल समावेश गरेन, यद्यपि अनलाइन स्टोर वेबसाइटले किटमा केबल समावेश गरिनुपर्छ भन्यो। त्यसपछि खरिदकर्ताले मध्यस्थकर्तालाई प्रमाणित गर्न आवश्यक प्रमाणहरू सङ्कलन गर्दछ कि उसले यस अवस्थामा धोका दिएको थियो: उसले साइटको स्क्रिनसटहरू लिन्छ, मेल रसिदको फोटो लिन्छ, मोनिटरमा स्क्र्याचहरूको फोटो लिन्छ र सील थियो भनेर देखाउँछ। भाँचियो र केबल बाहिर निकालियो। अनलाइन स्टोर, बारीमा, यसको प्रमाण सङ्कलन र मध्यस्थकर्तामा स्थानान्तरण गर्दछ।

मध्यस्थकर्ताले खरिदकर्ताको क्रोध र अनलाइन स्टोरको चासो दुवैलाई एकै साथ सन्तुष्ट पार्नमा रुचि राख्छ (यो किन पछि स्पष्ट हुनेछ)। यसले एक लेनदेन गठन गर्दछ जसमा बहुहस्ताक्षर ठेगानाबाट सिक्का खरिदकर्ता, अनलाइन स्टोर र मध्यस्थ बीचको केही अनुपातमा खर्च गरिनेछ, किनकि उसले आफ्नो कामको लागि इनामको रूपमा आफ्नो लागि एक अंश लिन्छ। मानौं कुल रकमको ९०% बिक्रेतालाई, ५% मध्यस्थलाई र ५% क्षतिपूर्ति खरिदकर्तालाई जान्छ। मध्यस्थले आफ्नो कुञ्जीले यो लेनदेनमा हस्ताक्षर गर्छ, तर यसलाई अझै लागू गर्न सकिँदैन, किनभने यसलाई दुईवटा हस्ताक्षर चाहिन्छ, तर एउटा मात्र यसको लायक छ। यसले खरिदकर्ता र बिक्रेता दुवैलाई यस्तो लेनदेन पठाउँछ। यदि तिनीहरू मध्ये कम्तिमा एक सिक्का पुन: वितरणको लागि यो विकल्पसँग सन्तुष्ट छ भने, लेनदेन पूर्व-हस्ताक्षरित र नेटवर्कमा वितरित हुनेछ। यसलाई प्रमाणित गर्न, लेनदेनको पक्षहरू मध्ये एक मध्यस्थकर्ताको विकल्पसँग सहमत हुनु पर्याप्त छ।

प्रारम्भिक रूपमा मध्यस्थकर्ता छनौट गर्न महत्त्वपूर्ण छ ताकि दुवै सहभागीहरूले उहाँलाई विश्वास गर्छन्। यस अवस्थामा, उसले एक वा अर्कोको चासोको स्वतन्त्र रूपमा कार्य गर्नेछ र वस्तुनिष्ठ रूपमा स्थितिको मूल्याङ्कन गर्नेछ। यदि मध्यस्थले कम्तिमा एक सहभागीलाई सन्तुष्ट पार्ने सिक्का वितरण गर्ने विकल्प प्रदान गर्दैन भने, त्यसपछि, सँगै सहमत भएपछि, खरिदकर्ता र अनलाइन स्टोर दुवैले आफ्नो दुई हस्ताक्षर राखेर नयाँ बहुहस्ताक्षर ठेगानामा सिक्का पठाउन सक्छन्। नयाँ बहुहस्ताक्षर ठेगाना फरक मध्यस्थसँग कम्पाइल गरिनेछ, जो यस मामिलामा बढी सक्षम हुन सक्छ र राम्रो विकल्प प्रदान गर्न सक्छ।

एक छात्रावास र एक फ्रिज संग उदाहरण

स्मार्ट अनुबंधको क्षमताहरू अझ स्पष्ट रूपमा प्रदर्शन गर्ने थप जटिल उदाहरणलाई हेरौं।

मानौं त्यहाँ तीन जना केटाहरू छन् जो भर्खरै एउटै छात्रावासको कोठामा सरेका छन्। तिनीहरूमध्ये तीनजना आफ्नो कोठाको लागि एक फ्रिज किन्न इच्छुक छन् जुन तिनीहरूले सँगै प्रयोग गर्न सक्छन्। तिनीहरूमध्ये एकले फ्रिज किन्न र विक्रेतासँग वार्ता गर्न आवश्यक रकम सङ्कलन गर्न स्वयम्सेवा गरे। तर, उनीहरुले भर्खरै मात्र एकअर्कालाई भेटेका थिए र उनीहरुबीच पर्याप्त विश्वास छैन । जाहिर छ, तीमध्ये दुईले तेस्रोलाई पैसा दिएर जोखिम लिइरहेका छन्। थप रूपमा, तिनीहरूले बिक्रेता छनौट गर्न सम्झौतामा पुग्न आवश्यक छ।

तिनीहरूले एस्क्रो सेवा प्रयोग गर्न सक्छन्, अर्थात्, लेनदेनको कार्यान्वयनको निगरानी गर्ने र विवादास्पद मुद्दाहरू उत्पन्न भएमा समाधान गर्ने मध्यस्थकर्ता छनौट गर्नुहोस्। त्यसपछि, सहमत भएपछि, तिनीहरूले एक स्मार्ट अनुबंध कोर्छन् र यसमा केही सर्तहरू लेख्छन्।

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

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

स्मार्ट अनुबंध को वर्गीकरण

वर्गीकरण को लागी, तपाइँ मापदण्ड को विभिन्न समूह सेट गर्न सक्नुहुन्छ। यद्यपि, प्रविधि विकासको क्षणमा, ती मध्ये चार सान्दर्भिक छन्।

स्मार्ट अनुबंधहरू तिनीहरूको कार्यान्वयन वातावरणद्वारा छुट्याउन सकिन्छ, जुन या त केन्द्रीकृत वा विकेन्द्रीकृत हुन सक्छ। विकेन्द्रीकरणको मामलामा, स्मार्ट अनुबंधहरू कार्यान्वयन गर्दा हामीसँग धेरै स्वतन्त्रता र दोष सहिष्णुता छ।

तिनीहरूलाई सेटिङ र सर्तहरू पूरा गर्ने प्रक्रियाद्वारा पनि छुट्याउन सकिन्छ: तिनीहरू स्वतन्त्र रूपमा प्रोग्रामयोग्य, सीमित वा पूर्वनिर्धारित हुन सक्छन्, अर्थात् कडाइका साथ टाइप गरिएको। जब स्मार्ट अनुबंध प्लेटफर्ममा केवल 4 विशिष्ट स्मार्ट अनुबंधहरू हुन्छन्, तिनीहरूका लागि प्यारामिटरहरू कुनै पनि तरिकाले सेट गर्न सकिन्छ। तदनुसार, तिनीहरूलाई सेटिङ धेरै सरल छ: हामी सूचीबाट एउटा सम्झौता चयन गर्छौं र प्यारामिटरहरू पास गर्छौं।

प्रारम्भ विधि अनुसार, त्यहाँ स्वचालित स्मार्ट अनुबंधहरू छन्, अर्थात्, जब केहि सर्तहरू हुन्छन्, तिनीहरू स्वयं-कार्यान्वयन हुन्छन्, र त्यहाँ सम्झौताहरू छन् जसमा सर्तहरू निर्दिष्ट गरिएको छ, तर प्लेटफर्मले स्वचालित रूपमा तिनीहरूको पूर्ति जाँच गर्दैन; यसको लागि तिनीहरू अलग पहल गर्न आवश्यक छ।

थप रूपमा, स्मार्ट अनुबंधहरू तिनीहरूको गोपनीयताको स्तरमा भिन्न हुन्छन्। तिनीहरू पूर्ण रूपमा खुला, आंशिक वा पूर्ण रूपमा गोप्य हुन सक्छन्। पछिल्लोको अर्थ तेस्रो-पक्ष पर्यवेक्षकहरूले स्मार्ट अनुबंधका सर्तहरू देख्दैनन्। यद्यपि, गोपनीयताको विषय धेरै फराकिलो छ र यसलाई हालको लेखबाट अलग गरी विचार गर्नु राम्रो हुन्छ।

तल हामी हालको विषयको बुझाइमा थप स्पष्टता ल्याउन पहिलो तीन मापदण्डलाई नजिकबाट हेर्नेछौं।

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

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

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

एउटा थप उदाहरण दिन सकिन्छ: इन्टरनेट बैंकिङको विस्तारित कार्यक्षमता भएका परम्परागत बैंकहरू र धेरै सरल सम्झौताहरू जस्तै नियमित भुक्तानीहरू, आगमन भुक्तानीहरूको स्वचालित रूपान्तरण, निर्दिष्ट खातामा ब्याजको स्वत: कटौती, आदि।

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

सेटिङ र सर्तहरू पूरा गर्ने विधिद्वारा स्मार्ट अनुबंधहरू

अब स्मार्ट अनुबंधहरू तिनीहरूले सेट गर्ने र सर्तहरू पूरा गर्ने तरिकामा कसरी भिन्न हुन सक्छन् भनेर नजिकबाट हेरौं। यहाँ हामी हाम्रो ध्यान स्मार्ट अनुबंधहरूमा केन्द्रित गर्छौं जुन अनियमित रूपमा प्रोग्रामयोग्य र टुरिङ पूर्ण छन्। एक ट्युरिङ-पूर्ण स्मार्ट अनुबंधले तपाईंलाई सम्झौता कार्यान्वयनको लागि सर्तहरूको रूपमा लगभग कुनै पनि एल्गोरिदमहरू सेट गर्न अनुमति दिन्छ: चक्रहरू लेख्नुहोस्, सम्भाव्यताहरू गणना गर्नका लागि केही कार्यहरू, र जस्तै - तपाईंको आफ्नै इलेक्ट्रोनिक हस्ताक्षर एल्गोरिदमहरूमा। यस अवस्थामा, हामीले तर्कको साँच्चै मनमानी लेखन भनेको हो।

त्यहाँ पनि मनमानी स्मार्ट अनुबंधहरू छन्, तर टुरिङ पूर्ण छैनन्। यसमा Bitcoin र Litecoin तिनीहरूको आफ्नै लिपिको साथ समावेश छ। यसको मतलब तपाईले कुनै पनि क्रममा केहि अपरेशनहरू मात्र प्रयोग गर्न सक्नुहुन्छ, तर तपाईले अब लूपहरू र आफ्नै एल्गोरिदमहरू लेख्न सक्नुहुन्न।

थप रूपमा, त्यहाँ स्मार्ट अनुबंध प्लेटफर्महरू छन् जुन पूर्व-परिभाषित स्मार्ट अनुबंधहरू लागू गर्दछ। यसमा Bitshares र Steemit समावेश छन्। Bitshares सँग व्यापार, खाता व्यवस्थापन, प्लेटफर्मको व्यवस्थापन र यसको प्यारामिटरहरूको लागि स्मार्ट अनुबंधहरूको दायरा छ। Steemit एक समान प्लेटफर्म हो, तर यो अब टोकन जारी गर्न र Bitshares जस्तै व्यापार मा केन्द्रित छैन, तर ब्लगिङ मा, अर्थात् यो विकेन्द्रीकृत तरिकामा सामग्री भण्डारण र प्रशोधन गर्दछ।

स्वेच्छाचारी ट्युरिङ-पूर्ण अनुबंधहरूमा Ethereum प्लेटफर्म र RootStock समावेश छ, जुन अझै विकास अन्तर्गत छ। तसर्थ, तल हामी Ethereum स्मार्ट अनुबंध प्लेटफर्ममा थोरै थप विवरणमा बस्नेछौं।

प्रारम्भ विधि द्वारा स्मार्ट अनुबंध

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

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

इथरियम खाताहरू

Ethereum खाता प्रकारहरू

Ethereum प्लेटफर्ममा कस्ता प्रकारका खाताहरू हुन सक्छन् हेरौं। यहाँ केवल दुई प्रकारका खाताहरू छन् र त्यहाँ अन्य विकल्पहरू छैनन्। पहिलो प्रकारलाई प्रयोगकर्ता खाता भनिन्छ, दोस्रो एक अनुबंध खाता हो। तिनीहरू कसरी फरक छन् भनेर पत्ता लगाउनुहोस्।

प्रयोगकर्ता खाता मात्र इलेक्ट्रोनिक हस्ताक्षर को व्यक्तिगत कुञ्जी द्वारा नियन्त्रित छ। खाता मालिकले ECDSA (Elliptic Curve Digital Signature Algorithm) एल्गोरिदम प्रयोग गरी इलेक्ट्रोनिक हस्ताक्षरका लागि आफ्नै कुञ्जी जोडा उत्पन्न गर्दछ। यो कुञ्जीसँग हस्ताक्षर गरिएका लेनदेनहरूले मात्र यस खाताको स्थिति परिवर्तन गर्न सक्छ।

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

Ethereum मा खाताहरू कसरी सिर्जना गरिन्छ

प्रयोगकर्ता खाताको मामलामा, मालिकले स्वतन्त्र रूपमा ECDSA प्रयोग गरेर कुञ्जी जोडी उत्पन्न गर्दछ। यो नोट गर्न महत्त्वपूर्ण छ कि Ethereum ले Bitcoin जस्तै इलेक्ट्रोनिक हस्ताक्षरहरूको लागि ठ्याक्कै उही एल्गोरिदम र ठ्याक्कै उही अण्डाकार वक्र प्रयोग गर्दछ, तर ठेगाना अलि फरक तरिकामा गणना गरिन्छ। यहाँ, बिटकोइनमा जस्तै डबल ह्यासिङको नतिजा अब प्रयोग गरिएको छैन, तर एकल ह्यासिङलाई २५६ बिटको लम्बाइमा Keccak प्रकार्यको साथ प्रदान गरिएको छ। कम्तिमा महत्त्वपूर्ण बिटहरू परिणाम मानबाट काटिएका छन्, अर्थात् आउटपुट ह्यास मानको न्यूनतम महत्त्वपूर्ण 256 बिटहरू। नतिजाको रूपमा, हामीले Ethereum मा ठेगाना पाउँछौं। वास्तवमा, यसले 160 बाइटहरू लिन्छ।

कृपया ध्यान दिनुहोस् कि Ethereum मा खाता पहिचानकर्ता चेकसम लागू नगरिकन हेक्समा इन्कोड गरिएको छ, Bitcoin र अन्य धेरै प्रणालीहरूको विपरीत, जहाँ ठेगानालाई चेकसम थपेर आधार 58 नम्बर प्रणालीमा इन्कोड गरिएको छ। यसको मतलब यो हो कि तपाईले Ethereum मा खाता पहिचानकर्ताहरूसँग काम गर्दा होसियार हुन आवश्यक छ: पहिचानकर्तामा एउटा गल्तीले पनि सिक्का गुमाउने ग्यारेन्टी छ।

त्यहाँ एउटा महत्त्वपूर्ण सुविधा छ र त्यो यो हो कि सामान्य डाटाबेस स्तरमा प्रयोगकर्ता खाता उसले पहिलो आगमन भुक्तानी स्वीकार गर्ने क्षणमा सिर्जना हुन्छ।

स्मार्ट अनुबंध खाता सिर्जना गर्दा पूर्ण रूपमा फरक दृष्टिकोण लिन्छ। प्रारम्भमा, प्रयोगकर्ताहरू मध्ये एकले स्मार्ट अनुबंधको स्रोत कोड लेख्छ, त्यसपछि कोड Ethereum प्लेटफर्मको लागि विशेष कम्पाइलर मार्फत पारित हुन्छ, यसको आफ्नै Ethereum भर्चुअल मेसिनको लागि बाइटकोड प्राप्त गर्दै। परिणामस्वरूप बाइटकोड लेनदेनको विशेष क्षेत्रमा राखिएको छ। यो पहलकर्ताको खाताको तर्फबाट प्रमाणित छ। अर्को, यो लेनदेन नेटवर्क भर प्रचार गरिएको छ र स्मार्ट अनुबंध कोड राख्छ। लेनदेनको लागि आयोग र, तदनुसार, सम्झौताको कार्यान्वयनको लागि पहलकर्ताको खाताको ब्यालेन्सबाट फिर्ता लिइन्छ।

प्रत्येक स्मार्ट अनुबंधमा अनिवार्य रूपमा यसको आफ्नै कन्स्ट्रक्टर समावेश हुन्छ (यस सम्झौताको)। यो खाली हुन सक्छ वा यसमा सामग्री हुन सक्छ। कन्स्ट्रक्टर निष्पादित भएपछि, एक स्मार्ट अनुबंध खाता पहिचानकर्ता सिर्जना हुन्छ, जसको प्रयोग गरेर तपाईंले सिक्का पठाउन सक्नुहुन्छ, निश्चित स्मार्ट अनुबंध विधिहरू कल गर्न सक्नुहुन्छ, आदि।

इथरियम लेनदेन संरचना

यसलाई स्पष्ट बनाउनको लागि, हामी Ethereum लेनदेनको संरचना र उदाहरण स्मार्ट अनुबंध कोड हेर्न सुरु गर्नेछौं।

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

अर्को जस्तो फिल्ड आउँछ ग्यास मूल्य। यसले मूल्यलाई संकेत गर्दछ जसमा इथरियम आधार मुद्रा ग्यासमा रूपान्तरण हुन्छ, जुन स्मार्ट सम्झौताको कार्यान्वयन र भर्चुअल मेसिन स्रोतको आवंटनको लागि भुक्तान गर्न प्रयोग गरिन्छ। यसको मतलब के हो?

Bitcoin मा, शुल्कहरू सीधै आधार मुद्रा - Bitcoin द्वारा भुक्तान गरिन्छ। यो सम्भव छ तिनीहरूलाई गणना गर्न को लागी एक साधारण संयन्त्र को लागी धन्यवाद: हामी लेनदेन मा निहित डाटा को मात्रा को लागी कडा भुक्तान गर्दछ। Ethereum मा स्थिति अधिक जटिल छ, किनभने यो लेनदेन डाटा को मात्रा मा भरोसा गर्न धेरै गाह्रो छ। यहाँ, लेनदेनमा प्रोग्राम कोड पनि हुन सक्छ जुन भर्चुअल मेसिनमा कार्यान्वयन हुनेछ, र भर्चुअल मेसिनको प्रत्येक अपरेशनमा फरक जटिलता हुन सक्छ। चरका लागि मेमोरी आवंटित गर्ने अपरेसनहरू पनि छन्। तिनीहरूको आफ्नै जटिलता हुनेछ, जसमा प्रत्येक सञ्चालनको लागि भुक्तानी निर्भर हुनेछ।

ग्यास बराबरको प्रत्येक सञ्चालनको लागत स्थिर हुनेछ। यो विशेष रूपमा प्रत्येक अपरेशनको स्थिर लागत निर्धारण गर्नको लागि पेश गरिएको हो। नेटवर्कमा लोडको आधारमा, ग्यासको मूल्य परिवर्तन हुनेछ, अर्थात्, गुणांक जसको आधारमा आधार मुद्रालाई आयोग तिर्नको लागि यस सहायक इकाईमा रूपान्तरण गरिनेछ।

Ethereum मा लेनदेनको अर्को विशेषता छ: भर्चुअल मेसिनमा कार्यान्वयनको लागि यसमा समावेश गरिएको बाइटकोड कार्यान्वयन हुनेछ जब सम्म यो केहि नतिजा (सफलता वा असफलता) संग पूरा हुँदैन वा कमिसन तिर्नको लागि छुट्याइएको सिक्काको निश्चित मात्रा समाप्त नभएसम्म। । यो अवस्थाबाट बच्नको लागि हो जहाँ, केहि त्रुटिको घटनामा, प्रेषकको खाताबाट सबै सिक्काहरू कमिसनमा खर्च गरियो (उदाहरणका लागि, भर्चुअल मेसिनमा केही प्रकारको अनन्त चक्र सुरु भयो), निम्न क्षेत्र अवस्थित छ - ग्यास सुरु गर्नुहोस् (प्रायः ग्यास सीमा भनिन्छ) - यसले प्रेषकले निश्चित लेनदेन पूरा गर्न खर्च गर्न इच्छुक हुने सिक्काहरूको अधिकतम रकम निर्धारण गर्दछ।

अर्को फिल्ड भनिन्छ गन्तव्य ठेगाना। यसमा सिक्का प्राप्तकर्ताको ठेगाना वा एक विशिष्ट स्मार्ट सम्झौताको ठेगाना समावेश छ जसको विधिहरू कल गरिनेछ। पछि मैदान आउँछ मूल्य, जहाँ गन्तव्य ठेगानामा पठाइएका सिक्काहरूको मात्रा प्रविष्ट गरिएको छ।

अर्को एक रोचक क्षेत्र भनिन्छ डाटा, जहाँ सम्पूर्ण संरचना फिट हुन्छ। यो एउटा छुट्टै क्षेत्र होइन, तर सम्पूर्ण संरचना हो जसमा भर्चुअल मेसिनको लागि कोड परिभाषित गरिएको छ। तपाईं यहाँ मनमानी डाटा राख्न सक्नुहुन्छ - यसका लागि छुट्टै नियमहरू छन्।

र अन्तिम क्षेत्र भनिन्छ हस्ताक्षर। यसले एकै साथ यो लेनदेनको लेखकको इलेक्ट्रोनिक हस्ताक्षर र सार्वजनिक कुञ्जी समावेश गर्दछ जसको साथ यो हस्ताक्षर प्रमाणित हुनेछ। सार्वजनिक कुञ्जीबाट तपाईले यस लेनदेनको प्रेषकको खाता पहिचानकर्ता प्राप्त गर्न सक्नुहुन्छ, अर्थात्, प्रणालीमा नै प्रेषकको खाता अद्वितीय रूपमा पहिचान गर्नुहोस्। हामीले लेनदेनको संरचनाको बारेमा मुख्य कुरा पत्ता लगायौं।

ठोसताको लागि स्मार्ट अनुबंध कोडको उदाहरण

अब एउटा उदाहरण प्रयोग गरेर सरल स्मार्ट अनुबंधमा नजिकबाट हेरौं।

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 भनेको ठ्याक्कै त्यो डाटा हो जुन भर्चुअल मेसिनमा ट्रान्सफर गरिएको लेनदेनको साथमा यो सम्झौताको सम्पूर्ण कोड समावेश छ। तदनुसार, msg.sender यो कोड होस्ट गर्ने यस कारोबारको लेखक हो। उनी स्मार्ट सम्झौताको मालिक हुनेछन्।

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

अर्को विधिलाई निकासी भनिन्छ र यसले एउटा प्यारामिटर लिन्छ - सिक्काको मात्रा जुन कसैले यो बैंकबाट निकाल्न चाहन्छ। यसले तिनीहरूलाई पठाउनको लागि यो विधि कल गर्ने प्रयोगकर्ताको ब्यालेन्समा पर्याप्त सिक्काहरू छन् कि छैनन् भनेर जाँच गर्दछ। यदि तिनीहरूमध्ये पर्याप्त छन् भने, त्यसपछि स्मार्ट अनुबंधले कलरलाई त्यो संख्याको सिक्का फिर्ता गर्दछ।

अर्को प्रयोगकर्ताको हालको ब्यालेन्स जाँच गर्ने विधि आउँछ। यस विधिलाई कल गर्ने जो कोहीले स्मार्ट सम्झौतामा यो ब्यालेन्स पुन: प्राप्त गर्न प्रयोग गरिनेछ। यो ध्यान दिन लायक छ कि यो विधि को परिमार्जन दृश्य हो। यसको मतलब यो हो कि विधि आफैंले कुनै पनि तरिकाले यसको वर्गको चर परिवर्तन गर्दैन र यो वास्तवमा पढ्ने विधि मात्र हो। यस विधिलाई कल गर्न कुनै अलग लेनदेन सिर्जना गरिएको छैन, कुनै शुल्क तिर्न छैन, र सबै गणनाहरू स्थानीय रूपमा प्रदर्शन गरिन्छ, त्यसपछि प्रयोगकर्ताले परिणाम प्राप्त गर्दछ।

स्मार्ट अनुबंधको अवस्थालाई नष्ट गर्न मार्ने विधि आवश्यक छ। र यहाँ एक अतिरिक्त जाँच छ कि यो विधि को कलर यो सम्झौता को मालिक हो। यदि त्यसो हो भने, तब सम्झौताले आत्म-विनाश गर्छ, र विनाश कार्यले एउटा प्यारामिटर लिन्छ - खाता पहिचानकर्ता जसमा सम्झौताले आफ्नो ब्यालेन्समा बाँकी रहेका सबै सिक्काहरू पठाउनेछ। यस अवस्थामा, बाँकी सिक्काहरू स्वचालित रूपमा अनुबंध मालिकको ठेगानामा जानेछन्।

Ethereum नेटवर्कमा पूर्ण नोडले कसरी काम गर्छ?

Ethereum प्लेटफर्ममा कसरी त्यस्ता स्मार्ट अनुबंधहरू कार्यान्वयन गरिन्छ र कसरी पूर्ण नेटवर्क नोडले काम गर्छ भनेर योजनाबद्ध रूपमा हेरौं।

Ethereum नेटवर्क मा एक पूर्ण नोड कम्तिमा चार मोड्युल हुनुपर्छ।
पहिलो, कुनै पनि विकेन्द्रीकृत प्रोटोकलको रूपमा, P2P नेटवर्किङ मोड्युल हो - नेटवर्क जडान र अन्य नोडहरूसँग काम गर्ने मोड्युल, जहाँ ब्लकहरू, लेनदेनहरू, र अन्य नोडहरूको बारेमा जानकारी आदानप्रदान गरिन्छ। यो सबै विकेन्द्रीकृत क्रिप्टोकरेन्सीहरूको लागि परम्परागत घटक हो।

अर्को, हामीसँग ब्लकचेन डाटा भण्डारण गर्ने, प्रशोधन गर्ने, प्राथमिकता शाखा छनोट गर्ने, ब्लकहरू जोड्ने, ब्लकहरू अनलिङ्क गर्ने, यी ब्लकहरूलाई प्रमाणीकरण गर्ने, इत्यादिका लागि मोड्युल छ।

तेस्रो मोड्युललाई EVM (Ethereum भर्चुअल मेसिन) भनिन्छ - यो Ethereum लेनदेनबाट बाइटकोड प्राप्त गर्ने भर्चुअल मेसिन हो। यो मोड्युलले विशेष खाताको हालको अवस्था लिन्छ र प्राप्त बाइटकोडको आधारमा यसको स्थितिमा परिवर्तन गर्दछ। प्रत्येक नेटवर्क नोडमा भर्चुअल मेसिन संस्करण एउटै हुनुपर्छ। प्रत्येक Ethereum नोडमा हुने गणनाहरू ठ्याक्कै उस्तै छन्, तर तिनीहरू एक एसिन्क्रोनस तरिकामा हुन्छन्: कसैले यो लेनदेन पहिले जाँच गर्दछ र स्वीकार गर्दछ, त्यो हो, यसमा समावेश सबै कोडहरू कार्यान्वयन गर्दछ, र कसैले पछि। तदनुसार, जब एक लेनदेन सिर्जना गरिन्छ, यो नेटवर्कमा वितरण गरिन्छ, नोडहरूले यसलाई स्वीकार गर्दछ, र प्रमाणीकरणको समयमा, Bitcoin मा Bitcoin Script कार्यान्वयन गरिएको छ, भर्चुअल मेसिनको बाइटकोड यहाँ कार्यान्वयन गरिन्छ।

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

मिथकहरू र स्मार्ट अनुबंधहरूको सीमाहरू

Ethereum जस्तै स्मार्ट अनुबंध प्लेटफर्महरूको लागि अवस्थित प्रतिबन्धहरूको लागि, निम्न उद्धृत गर्न सकिन्छ:

• कोड कार्यान्वयन;
• स्मृति आवंटित;
• blockchain डाटा;
• भुक्तानी पठाउनुहोस्;
• नयाँ सम्झौता सिर्जना;
• अन्य अनुबंधहरू कल गर्नुहोस्।

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

अर्को, भर्चुअल मेशिनले ब्लकचेन डाटाबेसबाट डाटा पढ्न सक्छ यो डाटालाई एक वा अर्को स्मार्ट सम्झौता तर्क कार्यान्वयन गर्न ट्रिगरको रूपमा प्रयोग गर्न। भर्चुअल मेसिनले लेनदेनहरू सिर्जना गर्न र पठाउन सक्छ, यसले नयाँ सम्झौताहरू सिर्जना गर्न सक्छ र नेटवर्कमा पहिले नै प्रकाशित भएका अन्य स्मार्ट अनुबंधहरूको कल विधिहरू: अवस्थित, उपलब्ध, आदि।

सबैभन्दा सामान्य मिथक यो हो कि Ethereum स्मार्ट अनुबंधले कुनै पनि इन्टरनेट स्रोतबाट जानकारी प्रयोग गर्न सक्छ। सत्य यो हो कि भर्चुअल मेशिनले इन्टरनेटमा केहि बाह्य जानकारी स्रोतमा नेटवर्क अनुरोध पठाउन सक्दैन, त्यो हो, यो एक स्मार्ट अनुबंध लेख्न असम्भव छ जसले प्रयोगकर्ताहरू बीचको मूल्यमा निर्भर गर्दछ, भन्नुहोस्, बाहिर मौसम कस्तो छ, वा कसले केहि च्याम्पियनशिप जित्यो, वा बाहिरको संसारमा के अन्य घटना घट्यो भन्ने आधारमा, किनकि यी घटनाहरूको बारेमा जानकारी प्लेटफर्मको डाटाबेसमा मात्र हुँदैन। त्यो हो, यस बारे ब्लकचेनमा केहि छैन। यदि यो त्यहाँ देखा पर्दैन भने, भर्चुअल मेसिनले ट्रिगरको रूपमा यो डाटा प्रयोग गर्न सक्दैन।

Ethereum को हानि

मुख्य सूची गरौं। पहिलो हानि यो हो कि त्यहाँ Ethereum मा स्मार्ट अनुबंध डिजाइन, विकास र परीक्षण मा केहि कठिनाइहरु छन् (Ethereum स्मार्ट अनुबंध लेख्न ठोस भाषा प्रयोग गर्दछ)। वास्तवमा, अभ्यासले देखाउँछ कि सबै त्रुटिहरूको धेरै ठूलो प्रतिशत मानव कारकसँग सम्बन्धित छ। यो वास्तवमा पहिले नै लिखित Ethereum स्मार्ट अनुबंधहरूको लागि सत्य हो जुन औसत वा उच्च जटिलता छ। यदि साधारण स्मार्ट अनुबंधहरूको लागि त्रुटिको सम्भावना सानो छ भने, जटिल स्मार्ट सम्झौताहरूमा प्राय: त्रुटिहरू हुन्छन् जसले कोषको चोरी, तिनीहरूको फ्रिज, अप्रत्याशित तरिकामा स्मार्ट अनुबंधहरू नष्ट गर्ने, इत्यादि निम्त्याउँछ। यस्ता धेरै घटनाहरू पहिले नै छन्। ज्ञात।

दोस्रो हानि यो भर्चुअल मेसिन आफैंमा सही छैन, किनभने यो पनि मानिसहरू द्वारा लेखिएको छ। यसले स्वेच्छाचारी आदेशहरू कार्यान्वयन गर्न सक्छ, र यसमा कमजोरी छ: धेरै आदेशहरू निश्चित तरिकामा कन्फिगर गर्न सकिन्छ जसले परिणामहरू निम्त्याउनेछ जुन पहिले नै अप्रत्याशित थियो। यो एक धेरै जटिल क्षेत्र हो, तर त्यहाँ पहिले नै धेरै अध्ययनहरू छन् जसले देखाउँदछ कि यी कमजोरीहरू Ethereum नेटवर्कको हालको संस्करणमा अवस्थित छन् र तिनीहरूले धेरै स्मार्ट अनुबंधहरूको विफलताको नेतृत्व गर्न सक्छन्।

अर्को ठूलो कठिनाई, यो एक हानि मान्न सकिन्छ। यो तथ्यमा निहित छ कि तपाइँ व्यावहारिक वा प्राविधिक रूपमा निष्कर्षमा आउन सक्नुहुन्छ कि यदि तपाइँ भर्चुअल मेसिनमा कार्यान्वयन गरिने सम्झौताको बाइटकोड कम्पाइल गर्नुहुन्छ भने, तपाइँ सञ्चालनको केहि विशिष्ट क्रम निर्धारण गर्न सक्नुहुन्छ। सँगै प्रदर्शन गर्दा, यी अपरेसनहरूले भर्चुअल मेसिनलाई ठूलो मात्रामा लोड गर्नेछन् र यी अपरेशनहरू गर्नको लागि तिरेको शुल्कको तुलनामा यसलाई असमानताले ढिलो पार्नेछ।

विगतमा, Ethereum को विकास मा पहिले नै एक अवधि थियो, जब धेरै केटाहरु जसले भर्चुअल मेशिन को संचालन को बारे मा बुझ्न को लागी यस्तो कमजोरीहरु फेला पारे। वास्तवमा, लेनदेनले धेरै सानो शुल्क तिरेको छ, तर व्यावहारिक रूपमा सम्पूर्ण नेटवर्क ढिलो भयो। यी समस्याहरू समाधान गर्न धेरै गाह्रो छ, किनकि यो आवश्यक छ, पहिलो, तिनीहरूलाई निर्धारण गर्न, दोस्रो, यी अपरेसनहरू प्रदर्शन गर्नको लागि मूल्य समायोजन गर्न र, तेस्रो, हार्ड फोर्क पूरा गर्न, जसको अर्थ सबै नेटवर्क नोडहरू नयाँ संस्करणमा अद्यावधिक गर्ने। सफ्टवेयरको, र त्यसपछि यी परिवर्तनहरूको एक साथ सक्रियता।

Ethereum को लागि, धेरै अनुसन्धान गरिएको छ, धेरै व्यावहारिक अनुभव प्राप्त भएको छ: दुबै सकारात्मक र नकारात्मक, तर यद्यपि त्यहाँ कठिनाइहरू र कमजोरीहरू छन् जुन अझै पनि कुनै न कुनै रूपमा व्यवहार गर्नुपर्दछ।

त्यसोभए, लेखको विषयगत भाग पूरा भयो, प्रायः उठ्ने प्रश्नहरूमा जाऔं।

प्राय: सोधिने प्रश्नहरू

- यदि अवस्थित स्मार्ट सम्झौताका सबै पक्षहरू सर्तहरू परिवर्तन गर्न चाहन्छन् भने, के तिनीहरूले मल्टीसिग प्रयोग गरेर यो स्मार्ट सम्झौता रद्द गर्न सक्छन्, र त्यसपछि यसको कार्यान्वयनको अद्यावधिक सर्तहरू सहित नयाँ स्मार्ट सम्झौता सिर्जना गर्न सक्छन्?

यहाँ जवाफ दोहोरो हुनेछ। किन? किनभने एकातिर, एक स्मार्ट अनुबंध एक पटक परिभाषित गरिएको छ र यसले अब कुनै पनि परिवर्तनलाई संकेत गर्दैन, र अर्कोतर्फ, यसमा पूर्व-लिखित तर्क हुन सक्छ जसले केही सर्तहरूको पूर्ण वा आंशिक परिवर्तनको लागि प्रदान गर्दछ। त्यो हो, यदि तपाइँ तपाइँको स्मार्ट अनुबंधमा केहि परिवर्तन गर्न चाहानुहुन्छ भने, तपाइँले यी सर्तहरू अद्यावधिक गर्न सक्ने सर्तहरू निर्धारित गर्नुपर्छ। तदनुसार, यस्तो विवेकपूर्ण तरिकाले मात्र सम्झौता नवीकरण गर्न सकिन्छ। तर यहाँ पनि, तपाईं समस्यामा भाग्न सक्नुहुन्छ: केहि गल्ती गर्नुहोस् र एक समान जोखिम प्राप्त गर्नुहोस्। त्यसकारण, त्यस्ता चीजहरू धेरै विस्तृत र सावधानीपूर्वक डिजाइन र परीक्षण गर्न आवश्यक छ।

- के हुन्छ यदि मध्यस्थले सहभागी पक्षहरू मध्ये एकसँग सम्झौतामा प्रवेश गर्छ: एस्क्रो वा स्मार्ट सम्झौता? के एक स्मार्ट अनुबंधमा मध्यस्थ आवश्यक छ?

स्मार्ट सम्झौतामा मध्यस्थको आवश्यकता पर्दैन। यो अवस्थित नहुन सक्छ। यदि, एस्क्रो को मामला मा, मध्यस्थ पक्षहरु मध्ये एक संग एक साजिश मा प्रवेश गर्छ, तब हो, यो योजना त्यसपछि तीव्र रूपमा यसको सबै मूल्य गुमाउँछ। तसर्थ, मध्यस्थकर्ताहरू यस प्रक्रियामा संलग्न सबै पक्षहरूले एकै समयमा विश्वास गर्ने तरिकाले चयन गरिन्छ। तदनुसार, तपाईले विश्वास नगर्ने मध्यस्थकर्तासँग बहुहस्ताक्षर ठेगानामा सिक्का हस्तान्तरण गर्नुहुने छैन।

— के तपाईको ठेगानाबाट विभिन्न लक्षित ठेगानाहरूमा धेरै फरक टोकनहरू स्थानान्तरण गर्न एउटा Ethereum लेनदेनको साथ सम्भव छ, उदाहरणका लागि, यी टोकनहरू किनबेच गरिएका ठेगानाहरू आदानप्रदान गर्न सकिन्छ?

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

- Ethereum प्लेटफर्मको बारेमा मिथकहरू मध्ये एक यो हो कि बाह्य इन्टरनेट स्रोतको डेटामा निर्भर हुने अवस्थाहरू वर्णन गर्न असम्भव छ, त्यसोभए के गर्ने?

समाधान यो हो कि स्मार्ट अनुबंध आफैंले एक वा बढी तथाकथित विश्वसनीय ओरेकलहरू प्रदान गर्न सक्छ, जसले बाहिरी संसारमा चीजहरूको अवस्थाको बारेमा डाटा सङ्कलन गर्दछ र विशेष विधिहरू मार्फत स्मार्ट अनुबंधहरूमा पठाउँदछ। सम्झौताले नै विश्वसनीय पक्षहरूबाट प्राप्त गरेको डाटालाई सत्य मान्दछ। अधिक विश्वसनीयताको लागि, केवल ओरेकलहरूको ठूलो समूह छनौट गर्नुहोस् र तिनीहरूको मिलनसारको जोखिमलाई कम गर्नुहोस्। बहुसंख्यकसँग विरोधाभास गर्ने ओरेकलहरूबाट प्राप्त डेटालाई सम्झौताले आफैंमा ध्यान दिन सक्दैन।

Blockchain मा अनलाइन पाठ्यक्रम को एक व्याख्यान यस विषयमा समर्पित छ - "स्मार्ट अनुबंधको परिचय"।

स्रोत: www.habr.com