लहर और RIDE4DAPPS पर स्मार्ट अनुबंध लिखना सीखना। भाग 1 (बहुउद्देशीय बटुआ)

सभी को नमस्कार!

हाल ही में, लहरें लैब्स ने डेवलपर्स के लिए एक प्रतियोगिता की घोषणा की, जो RIDE स्मार्ट कॉन्ट्रैक्ट भाषा के विस्तार के लिए समर्पित है, जो कि राइड 4Dapps के लिए टेस्ट नेटवर्क के विकेंद्रीकृत अनुप्रयोगों के लिए है!

हमने डीएओ केस को चुना, क्योंकि वेन्चुरी ने सामाजिक कार्यों के साथ डीएपी विकसित करने की योजना बनाई: मतदान, धन उगाहने, विश्वास प्रबंधन, आदि।

हमने Q & A सत्र में और RIDE IDE में एक साधारण उदाहरण के साथ शुरुआत की - एक सामान्य बटुए के साथ एक उदाहरण।

आइए इस उदाहरण को देखें, परिकल्पना का परीक्षण करें और कुछ विषमताओं पर विचार करें:

हमारे पास ऐलिस है - dApp मालिक
Boob और कूपर ऐलिस के सहयोगी हैं, ऐलिस-बीसी DAO के सह-संस्थापक हैं
नेली एक व्यवसाय स्वामी है जिसे वित्तपोषण की आवश्यकता है
बैंक - एक बैंक जो टोकन वितरित करता है

चरण 1. संतुलन की प्रारंभिक शुरुआत

तरंगों के परीक्षण नेटवर्क में टोकन प्राप्त करने के लिए, आपको नल से संपर्क करना होगा और पता निर्दिष्ट करना होगा कि टोकन किसके पास भेजा जाना चाहिए।

आईडीई में खाता जानकारी का पता करके पता लगाया जा सकता है।

बैंक 10 WAVES चुनें। हम यह सत्यापित करने के बाद कि वे ब्लॉक और लेन-देन एक्सप्लोरर: ब्राउज़र के माध्यम से आए हैं

अब बैंक से अन्य प्रतिभागियों को टोकन वितरित करते हैं। (नोट्स: लहरों के नेटवर्क में सभी लेन-देन मुफ्त नहीं हैं, इसलिए, सभी प्रतिभागियों को लेनदेन पूरा करने के लिए एक न्यूनतम सकारात्मक संतुलन की आवश्यकता होती है)।

1 WAVES = 100000000 इकाइयाँ (तरंगिकाएँ), क्योंकि राशियाँ केवल पूर्णांक हो सकती हैं
0.01 WAVES (लेनदेन शुल्क) = 1000000

Bank -> [3 WAVES] -> ऐलिस, ट्रांसफरट्रांसशिप के माध्यम से (टाइप: 4)।

हम सत्यापित करते हैं कि env.SEED जिसमें से लेनदेन पर हस्ताक्षर किए गए हैं, हमारे बैंक से मेल खाती है:


यदि आपके पास मेल खाने वाले बीज वाक्यांश नहीं हैं, तो बस इसे खाते टैब में स्विच करें और फिर से जांचें।

उसके बाद, हम 3 WAVES ऐलिस के हस्तांतरण पर लेनदेन बनाते हैं, घोषणा करते हैं और हस्ताक्षर करते हैं।
आप ऐलिस के डेटा को env.accounts चर के माध्यम से भी जान सकते हैं। क्रमांकन 0 से शुरू होता है, क्रमशः ऐलिस env.accounts [1] है।

broadcast(transfer({recipient:address(env.accounts[1]), amount: 300000000, fee: 1000000})) 

परिणाम ब्राउज़र में भी देखा जा सकता है, इसके लिंक लेन-देन के तुरंत बाद हमारे पास वापस आ जाएंगे।

हम यह सुनिश्चित करते हैं कि ऐलिस शेष राशि 3 WAVES द्वारा फिर से भर दी जाती है, और बैंक बैलेंस पर 10 - 3 - 0.01 = 0.699 शेष रहते हैं।

हम Boob और कूपर को 3 WAVES, और Neli, Xena और मार्क को 0.2 WAVES में उसी तरह भेजते हैं।
(नोट्स: हमने एक एकल चरित्र त्रुटि की और नेली 0.02 waves भेजा। सावधान रहें!)

 broadcast(transfer({recipient:address(env.accounts[4]), amount: 20000000, fee: 1000000})) 

सभी प्रतिभागियों के संतुलन को फिर से भरने के बाद, हम देखते हैं:

चरण 2. एक डीएपी खाता बनाना

हम सहमत हुए कि विकेन्द्रीकृत अनुप्रयोग का निर्माता और मालिक ऐलिस होगा।
खातों में, इसे SEED के रूप में स्थापित करने के लिए जाएं और env.SEED मिलान ऐलिस की जांच करें।

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

सेटस्क्रिप्ट लेनदेन के लिए शुल्क 1400000/100000000 = 0.014 WAVES। ऐलिस उसके संतुलन पर 2.986 WAVES है।

आइए अब ऐलिस खाते पर स्थापित करने का प्रयास करें जो उदाहरण में वर्णित एक अधिक जटिल स्मार्ट अनुबंध तर्क है

Ride4Dapps में अब 2 नए प्रकार के एनोटेशन शामिल हैं:

1. @Callable (i) - पैरामीटर i के रूप में लेता है, जिस डेटा के कारण लेन-देन / हस्ताक्षर किए गए। इस फ़ंक्शन का परिणाम डीएपी खाते की स्थिति में परिवर्तन को निर्धारित करता है। अन्य खाते इस एनोटेशन के साथ लेनदेन बना सकते हैं और कार्य कर सकते हैं और डीएपी खाते की स्थिति बदल सकते हैं।
2. @ वेरिफायर (tx) - लेन-देन tx पैरामीटर के साथ लेनदेन सत्यापनकर्ता। RIDE से विधेय तर्क के अनुरूप है। यह इस अभिव्यक्ति में है कि आप एक डीएपी खाते पर स्मार्ट अनुबंधों के तर्क में और बदलावों को सक्षम या अक्षम कर सकते हैं।
   सावधान! महत्वपूर्ण बिंदु यह है कि डिफ़ॉल्ट रूप से खाते पर स्क्रिप्ट सत्य के बराबर नहीं है , लेकिन एक हस्ताक्षर तुलना का उपयोग करता है और केवल हस्ताक्षर के मालिक को लेनदेन करने की अनुमति देता है।
   

    sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPk) 

   
   
   इस तरह के सत्यापन के बिना, कोई भी किसी खाते से लेनदेन कर सकता है!

चलो सभी प्रतिभागियों के लिए एक सामान्य बटुए के रूप में डीएपी खाता बनाते हैं।

आपके खाते में वर्तमान में कौन सा अनुबंध सक्रिय है, यह जांचने के लिए, आप ब्लॉक कॉन्ट्रैक्ट के बेस 64 कोड को ब्लॉक ब्राउजर में कॉपी कर सकते हैं और इसे डिकंपाइलर के माध्यम से पहचान सकते हैं ( उदाहरण के लिए )

हम यह सुनिश्चित करते हैं कि स्मार्ट कॉन्ट्रैक्ट के तर्क से हम क्या उम्मीद करते हैं।
ऐलिस उसके संतुलन पर 2.972 WAVES है।

यह डीएपी इस बात पर नज़र रखता है कि प्रत्येक भागीदार डेटा लेनदेन तंत्र के माध्यम से आम निधि में कितना योगदान देता है - DataEntry (currentKey, newAmount) , जहाँ currentKey वह खाता है जो डिपॉजिट फ़ंक्शन को कॉल करता है, और newAmount पुनः प्राप्त शेष का मूल्य है।

Boob और कूपर अपनी जमा राशि को प्रत्येक WAVES पर dApp खाते में बनाते हैं।

हम एक गलती करते हैं और लेन-देन पास नहीं होता है। चूंकि हम इस तथ्य के बावजूद कि हम आश्वस्त थे कि हम बॉब की ओर से लेन-देन कर रहे हैं, सूचकांक में गलती की और एक बैंक खाते को इंगित किया जिसमें स्मार्ट अनुबंध नहीं है। यहां यह एक महत्वपूर्ण बिंदु पर ध्यान देने योग्य है - लेनदेन शुरू करने के असफल प्रयासों के लिए, कमीशन वापस नहीं लिया जाता है! ऐलिस उसके संतुलन पर 2.972 WAVES है। बॉब 3 में WAVES हैं।

बॉब ने DAP खाते में 1 WAVES भेजा।

 broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"deposit",args:[]}, payment: [{amount: 100000000, asset:null }]})) 

बॉब के पास 1.99 हथियार हैं। यही है, बॉब ने 0.01 WAVES कमीशन का भुगतान किया

ऐलिस की बैलेंस शीट पर 2.972 WAVES थी, यह 3.972 हो गई। ऐलिस के खाते पर एक लेन-देन भी दर्ज किया गया था, हालांकि, डीएपी खाता (एलिस) से कोई कमीशन नहीं काटा गया था।
कूपर ने ऐलिस के खाते को फिर से भरने के बाद, 4.972 WAVES बैलेंस शीट पर बन गए।

आप पता लगा सकते हैं कि सामान्य बटुए में कितने WAVES डेटा टैब में ब्लॉक एक्सप्लोरर में हैं।

कूपर ने एक सामान्य बटुए पर 1 WAVES की राशि छोड़ने के बारे में अपना विचार बदल दिया और आधे लोगों की शपथ वापस लेने का फैसला किया। ऐसा करने के लिए, इसे आहरण फ़ंक्शन को कॉल करना होगा।

हालाँकि, हम फिर से गलत थे, क्योंकि निकासी समारोह में पूरी तरह से अलग पैरामीटर हैं, एक अलग हस्ताक्षर। RIDE4DAPPS पर स्मार्ट कॉन्ट्रैक्ट डिज़ाइन करते समय, आपको इस क्षण पर ध्यान देना चाहिए।

कूपर की बैलेंस शीट पर 2.48 WAVES हैं। तदनुसार, 3 WAVES - 1 - 0.01, और फिर + 0.5 - 0.01। तदनुसार, प्रत्येक कॉल को जमा करने और निकालने की लागत 0.01 WAVES है। परिणामस्वरूप, dApps स्वामित्व तालिका में प्रविष्टियाँ निम्नानुसार बदल गई हैं।

बॉब ने कुल बटुए से एक निश्चित राशि निकालने का फैसला किया, लेकिन गलती हुई और 1.5 WAVES निकालने की कोशिश की गई।

हालांकि, स्मार्ट कॉन्ट्रैक्ट में ऐसी स्थिति की जांच थी।

Xena एक स्कैमर है, उसने सामान्य खाते से 1 WAVES को वापस लेने की कोशिश की।

वह भी असफल रही।

अगले भाग में, हम ऐलिस डीएपी अकाउंट की अपूर्णता से जुड़े अधिक जटिल मुद्दों पर विचार करेंगे।