RIDE आणि RIDE4DAPPS वर Waves स्मार्ट कॉन्ट्रॅक्ट लिहायला शिकत आहे. भाग १ (मल्टी-यूजर वॉलेट)

हॅलो प्रत्येकजण!

अगदी अलीकडे, Waves Labs घोषित केले विकेंद्रित ऍप्लिकेशन्स Ride4Dapps साठी चाचणी नेटवर्कमध्ये RIDE स्मार्ट कॉन्ट्रॅक्ट लँग्वेज एक्स्टेंशन जारी करण्यासाठी समर्पित विकासकांसाठी स्पर्धा!

आम्ही DAO केस निवडले कारण व्हेंच्युरी सामाजिक कार्यांसह dApps विकसित करण्याची योजना: मतदान, निधी उभारणी, विश्वास व्यवस्थापन इ.
मध्ये एका साध्या उदाहरणाने सुरुवात केली प्रश्नोत्तर सत्रे आणि मध्ये राइड IDE - सह उदाहरण सामायिक पाकीट.

चला हे उदाहरण पाहू, गृहीतके तपासू आणि काही विषमता पाहू:

आमच्याकडे Alice - dApp Owner असू द्या
बूब आणि कूपर हे अॅलिस भागीदार आहेत, अॅलिस-बीसी DAO चे सह-संस्थापक आहेत
नेली हा व्यवसाय मालक आहे ज्याला वित्तपुरवठा आवश्यक आहे
बँक - टोकन वितरीत करणारी बँक

स्टेज 1. शिलके सुरू करणे

लाटा चाचणी नेटवर्कवर टोकन प्राप्त करण्यासाठी, आपल्याला संपर्क साधण्याची आवश्यकता आहे नल आणि ज्या पत्त्यावर टोकन पाठवायचे ते सूचित करा.
तुमचे खाते तपशील उघडून तुम्ही IDE मध्ये पत्ता शोधू शकता.
आम्ही बँक 10 लाटा हायलाइट करतो. मग आम्ही तपासतो की ते ब्लॉक आणि व्यवहार ब्राउझरद्वारे आले आहेत: समीक्षक

आता उर्वरित सहभागींना बँकेकडून टोकन वितरित करूया. (टिपा: लहरी नेटवर्कवरील सर्व व्यवहार विनामूल्य नाहीत, म्हणून सर्व सहभागींना व्यवहार करण्यासाठी किमान सकारात्मक शिल्लक आवश्यक आहे).

1 लाटा = 100000000 युनिट्स (वेव्हलेट्स), कारण रक्कम केवळ पूर्णांक असू शकते
0.01 लाटा (व्यवहार शुल्क) = 1000000

बँक -> [३ लाटा] -> अॅलिस, ट्रान्सफर ट्रान्झॅक्शनद्वारे (प्रकार: ४).

आम्ही तपासतो की ज्या 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 वर राहील.

आम्ही प्रत्येकी बूब आणि कूपर 3 लाटा आणि नेली, झेना आणि मार्क 0.2 लाटा प्रत्येकी त्याच प्रकारे पाठवतो.
(टिपा: आम्ही एक वर्ण त्रुटी केली आणि Neli 0.02 WAVES पाठवले. सावधगिरी बाळगा!)

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

सर्व सहभागींची शिल्लक पुन्हा भरल्यानंतर, आम्ही पाहतो:

स्टेज 2. dApp खाते तयार करा

आम्ही सहमत झालो की अॅलिस विकेंद्रीकृत अनुप्रयोगाची निर्माता आणि मालक असेल.
खाती वर जा, ते SEED म्हणून सेट करा आणि env.SEED अॅलिसशी जुळते ते तपासा.

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

प्रति सेटस्क्रिप्ट व्यवहार शुल्क 1400000/100000000 = 0.014 WAVES. अॅलिसकडे 2.986 लाटा शिल्लक आहेत.

आता अॅलिस खात्यावर अधिक जटिल स्मार्ट कॉन्ट्रॅक्ट लॉजिक स्थापित करण्याचा प्रयत्न करूया, ज्यामध्ये वर्णन केले आहे उदाहरण

Ride4Dapps आता 2 नवीन भाष्य प्रकार समाविष्ट आहेत:

1. @Callable(i) — हे पॅरामीटर i म्हणून घेते, कोणत्या खात्याने व्यवहार म्हटले/साइन केले याचा डेटा. या फंक्शनचा परिणाम आहे जो dApp खात्याच्या स्थितीत बदल ठरवतो. इतर खाती या भाष्यासह व्यवहार तयार करू शकतात आणि कार्ये चालवू शकतात आणि dApp खात्याची स्थिती बदलू शकतात.
2. @Verifier(tx) — व्यवहार tx पॅरामीटरसह व्यवहार सत्यापनकर्ता. RIDE कडील predicate logic शी संबंधित आहे. या अभिव्यक्तीमध्येच तुम्ही dApp खात्यावरील स्मार्ट कराराच्या तर्कामध्ये पुढील बदलांना परवानगी देऊ शकता किंवा प्रतिबंधित करू शकता.

च्या करू द्या dApp सर्व सहभागींसाठी एक सामान्य वॉलेट म्हणून खाते.

तुमच्या खात्यावर सध्या कोणता करार सक्रिय आहे हे तपासण्यासाठी, तुम्ही ब्लॉक एक्सप्लोररमध्ये स्मार्ट कॉन्ट्रॅक्टचा बेस64 कोड कॉपी करू शकता आणि डिकम्पायलर वापरून ओळखू शकता (उदाहरणार्थ)

आम्ही खात्री करतो की स्मार्ट कराराचे तर्क आमच्या अपेक्षेशी जुळतात.
अॅलिसकडे तिच्या शिल्लक 2.972 लाटा शिल्लक आहेत.

हे dApp यंत्रणेद्वारे प्रत्येक सहभागी कॉमन फंडात किती योगदान देते याचा मागोवा ठेवते डेटा व्यवहार — DataEntry(currentKey, newAmount), जेथे currentKey हे खाते आहे जे डिपॉझिट फंक्शनला कॉल करते आणि newAmount हे पुन्हा भरलेल्या शिल्लकचे मूल्य आहे.

Boob आणि Cooper 1 WAVES सह dApp खात्यात त्यांच्या ठेवी ठेवतात.

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

बॉबने dApp खात्यावर 1 WAVES पाठवले.

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

बॉबकडे १.९९ लाटा शिल्लक आहेत. म्हणजेच, बॉबने 1.99 WAVES कमिशन दिले

अॅलिसच्या शिल्लक 2.972 लाटा होत्या, आता ते 3.972 आहे. अॅलिस खात्यावर व्यवहाराची नोंदणी देखील करण्यात आली होती, परंतु dApp खात्याकडून (एलिस) कोणतेही कमिशन आकारले गेले नाही.
कूपरने खाते पुन्हा भरल्यानंतर, अॅलिसची शिल्लक 4.972 WAVES झाली.

डेटा टॅबमधील ब्लॉक एक्सप्लोररमध्ये सामान्य वॉलेटमध्ये किती WAVES कोणाच्या मालकीचे आहेत हे तुम्ही शोधू शकता.

कूपरने सामान्य वॉलेटवर 1 WAVES ची रक्कम सोडण्याबद्दल आपले मत बदलले आणि निम्मी संलग्नता काढून घेण्याचा निर्णय घेतला. हे करण्यासाठी, त्याने पैसे काढण्याचे फंक्शन कॉल करणे आवश्यक आहे.

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

कूपरच्या ताळेबंदात आता 2.48 लाटा आहेत. त्यानुसार, 3 लाटा - 1 - 0.01, आणि नंतर + 0.5 - 0.01. त्यानुसार, जमा करण्यासाठी आणि काढण्यासाठी प्रत्येक कॉलची किंमत 0.01 WAVES आहे. परिणामी, dApps मालकांच्या टेबलमधील नोंदी खालीलप्रमाणे बदलल्या.

बॉबने शेअर्ड वॉलेटमधून काही पैसे काढण्याचाही निर्णय घेतला, पण चूक झाली आणि 1.5 WAVES काढण्याचा प्रयत्न केला.

तथापि, स्मार्ट कॉन्ट्रॅक्टमध्ये या परिस्थितीची तपासणी होती.

Xena एक स्कॅमर आहे, तिने एकूण खात्यातून 1 WAVES काढण्याचा प्रयत्न केला.

तिच्यासाठीही ते जमले नाही.

पुढील भागात, आम्ही अॅलिस dApp खात्याच्या अपूर्णतेशी संबंधित अधिक जटिल समस्या पाहू.

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