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

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

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

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

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

समजा आपल्याकडे अॅलिस - डीअॅप मालक आहे.
बूब आणि कूपर हे अॅलिसचे भागीदार आणि अॅलिस-बीसी डीएओचे सह-संस्थापक आहेत.
नेली हा एक व्यवसाय मालक आहे ज्याला निधीची आवश्यकता आहे.
बँक — टोकन वितरित करणारी बँक

पायरी १. शिल्लक सुरू करणे

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

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

१ लाटा = १००,०००,००० युनिट्स (वेव्हलेट्स), कारण राशी फक्त पूर्णांक असू शकतात
०.०१ लाटा (व्यवहार शुल्क) = १००००००००

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

आम्ही तपासतो की ज्या env.SEED कडून व्यवहार केले जातात ते आमच्या बँकेशी जुळते का:


जर तुमच्याकडे जुळणारा सीड वाक्यांश नसेल, तर फक्त अकाउंट्स टॅबमध्ये त्यावर स्विच करा आणि पुन्हा तपासा.
यानंतर, आम्ही अ‍ॅलिसला ३ वेव्ह हस्तांतरित करण्यासाठी एक व्यवहार तयार करतो, जाहीर करतो आणि त्यावर स्वाक्षरी करतो.
तुम्ही env.accounts व्हेरिएबलद्वारे देखील अॅलिसचा डेटा शोधू शकता. क्रमांकन 0 पासून सुरू होते, म्हणून अॅलिस env.accounts[1] आहे.

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

निकाल ब्राउझरमध्ये देखील पाहता येतो, त्याची लिंक अंमलबजावणीनंतर लगेच आम्हाला परत केली जाईल. व्यवहार.

आम्ही खात्री करतो की अॅलिसची शिल्लक 3 लाटांनी भरली आहे आणि बँक बॅलन्स 10 - 3 - 0.01 = 0.699 आहे.

आम्ही बूब आणि कूपर यांना प्रत्येकी ३ लाटा आणि नेली, झेना आणि मार्क यांना प्रत्येकी ०.२ लाटा त्याच प्रकारे पाठवतो.
(टीपा: आम्ही एका अक्षराची चूक केली आणि नेलीला ०.०२ वेव्हज पाठवले. काळजी घ्या!)

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

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

पायरी २: dApp खाते तयार करा

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

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

सेटस्क्रिप्ट व्यवहाराची फी १४०००००/१००००००००० = ०.०१४ लाटा आहे. अ‍ॅलिसच्या शिल्लक रकमेत २,९८६ लाटा शिल्लक आहेत.

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

राइड४डॅप्स आता २ नवीन भाष्य प्रकार समाविष्ट आहेत:

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

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

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

स्मार्ट कॉन्ट्रॅक्टचे लॉजिक आमच्या अपेक्षेशी जुळते याची आम्ही खात्री करतो.
अ‍ॅलिसच्या शिल्लकीवर २,९७२ लाटा शिल्लक आहेत.

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

बूब आणि कूपर प्रत्येकी 1 WAVES dApp खात्यात जमा करतात.

आपण चूक करतो आणि व्यवहार अयशस्वी होतो. कारण, बॉबच्या वतीने व्यवहार करत आहोत याची खात्री करूनही, आपण निर्देशांक चुकीचा टाइप केला आहे आणि स्मार्ट करार नसलेले बँक खाते निर्दिष्ट केले आहे. येथे हे लक्षात ठेवणे महत्त्वाचे आहे: व्यवहार सुरू करण्याच्या अयशस्वी प्रयत्नांसाठी शुल्क आकारले जाते. ते काढता येत नाही! अ‍ॅलिसच्या शिल्लकीवर २,९७२ लाटा शिल्लक आहेत. बॉबकडे ३ लाटा आहेत.

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

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

बॉबकडे १.९९ लाटा शिल्लक आहेत. याचा अर्थ बॉबने ०.०१ लाटा फीमध्ये भरले.

अ‍ॅलिसची शिल्लक २,९७२ वेव्हज होती, आता ती ३,९७२ झाली आहे. अ‍ॅलिसच्या खात्यावर एक व्यवहार देखील नोंदवण्यात आला होता, परंतु dApp खात्यावर (अ‍ॅलिस) कोणतेही शुल्क आकारले गेले नाही.
कूपरने अॅलिसच्या खात्यात पैसे भरल्यानंतर, तिची शिल्लक ४,९७२ लाटा झाली.

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

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

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

कूपरची शिल्लक आता २.४८ लाटा आहे. याचा अर्थ ३ लाटा - १ - ०.०१, आणि नंतर + ०.५ - ०.०१ असा होतो. परिणामी, प्रत्येक ठेव आणि पैसे काढण्याच्या कॉलची किंमत ०.०१ लाटा आहे. परिणामी, dApp मालकाच्या टेबल नोंदी खालीलप्रमाणे बदलल्या.

बॉबने शेअर्ड वॉलेटमधून काही रक्कम काढण्याचा निर्णय घेतला, परंतु त्याने चूक केली आणि १.५ वेव्हज काढण्याचा प्रयत्न केला.

तथापि, स्मार्ट करारात या परिस्थितीसाठी एक तपासणी होती.

झेना हा एक घोटाळा करणारा आहे ज्याने सामान्य खात्यातून १ WAVES काढण्याचा प्रयत्न केला.

तीही अपयशी ठरली.

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

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