RIDE र RIDE4DAPPS मा Waves smart Contracts लेख्न सिक्दै। भाग १ (बहु-प्रयोगकर्ता वालेट)

नमस्कार!

हालसालै, Waves Labs घोषणा गरियो विकेन्द्रीकृत अनुप्रयोगहरू Ride4Dapps परीक्षण नेटवर्कमा RIDE स्मार्ट अनुबंध भाषा विस्तारको रिलीजमा समर्पित विकासकर्ताहरूको लागि प्रतिस्पर्धा!

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

यस उदाहरणलाई हेरौं, परिकल्पनाहरू परीक्षण गरौं र केही विचित्रताहरू हेरौं:

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

स्टेज १. ब्यालेन्सको प्रारम्भिकरण

तरंग परीक्षण नेटवर्कमा टोकनहरू प्राप्त गर्न, तपाईंले सम्पर्क गर्न आवश्यक छ नल र टोकन पठाउने ठेगाना संकेत गर्नुहोस्।
तपाईंले आफ्नो खाता विवरणहरू खोलेर IDE मा ठेगाना पाउन सक्नुहुन्छ।
हामी बैंक 10 WAVES हाइलाइट गर्छौं। त्यसपछि हामी तिनीहरू ब्लक र लेनदेन ब्राउजर मार्फत आइपुगेको जाँच गर्छौं: समीक्षक

अब बाँकी सहभागीहरूलाई बैंकबाट टोकनहरू वितरण गरौं। (नोटहरू: तरंग नेटवर्कमा सबै लेनदेनहरू निःशुल्क छैनन्, त्यसैले सबै सहभागीहरूलाई लेनदेन गर्नको लागि न्यूनतम सकारात्मक ब्यालेन्स आवश्यक छ)।

1 तरंगहरू = 100000000 एकाइ (तरंगहरू), किनकि मात्राहरू मात्र पूर्णांक हुन सक्छ
0.01 तरंग (लेनदेन शुल्क) = 1000000

बैंक -> [३ तरंगहरू] -> एलिस, ट्रान्सफर लेनदेन मार्फत (प्रकार: ४)।

हामी जाँच गर्छौं कि env.SEED जसबाट कारोबारमा हस्ताक्षर गरिएको छ हाम्रो बैंकसँग मेल खान्छ:


यदि तपाइँसँग मिल्दो बीज वाक्यांश छैन भने, केवल खाता ट्याबमा यसलाई स्विच गर्नुहोस् र फेरि जाँच गर्नुहोस्।
यस पछि, हामी 3 WAVES एलिस को स्थानान्तरण को लागी एक लेनदेन सिर्जना, घोषणा र हस्ताक्षर गर्छौं।
तपाईंले env.accounts चर मार्फत एलिसको डाटा पनि पत्ता लगाउन सक्नुहुन्छ। नम्बरिङ ० बाट सुरु हुन्छ, त्यसैले एलिस env.accounts [१] हो।

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

नतिजा ब्राउजरमा पनि अवलोकन गर्न सकिन्छ, यसको लिङ्क कार्यान्वयन पछि तुरुन्तै हामीलाई फिर्ता गरिनेछ लेनदेन.

हामी सुनिश्चित गर्छौं कि एलिसको ब्यालेन्स 3 WAVES द्वारा भरिएको छ, र बैंक ब्यालेन्स 10 - 3 - 0.01 = 0.699 मा रहन्छ।

हामी Boob र Cooper 3 WAVES प्रत्येक, र Neli, Xena र Mark 0.2 WAVES प्रत्येकलाई उस्तै तरिकाले पठाउँछौं।
(नोटहरू: हामीले एउटा क्यारेक्टर त्रुटि गर्यौं र 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। एलिसको ब्यालेन्समा २.९८६ तरङ्गहरू बाँकी छन्।

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

Ride4Dapps अब २ नयाँ एनोटेसन प्रकारहरू समावेश छन्:

1. @Callable(i) - एक प्यारामिटर i को रूपमा लिन्छ, कुन खाताले लेनदेनमा हस्ताक्षर गर्यो भन्ने बारे डाटा। यो यस प्रकार्यको परिणाम हो जसले dApp खाताको स्थितिमा परिवर्तन निर्धारण गर्दछ। अन्य खाताहरूले लेनदेनहरू सिर्जना गर्न र यस एनोटेसनसँग कार्यहरू कार्यान्वयन गर्न र dApp खाताको स्थिति परिवर्तन गर्न सक्छ।
2. @Verifier(tx) - लेनदेन tx प्यारामिटरको साथ लेनदेन प्रमाणिकरण। RIDE बाट predicate तर्कसँग मेल खान्छ। यो यो अभिव्यक्तिमा छ कि तपाईंले dApp खातामा स्मार्ट अनुबंधहरूको तर्कमा थप परिवर्तनहरूलाई अनुमति दिन वा निषेध गर्न सक्नुहुन्छ।

गरौं dApp सबै सहभागीहरूको लागि साझा वालेटको रूपमा खाता।

तपाईंको खातामा हाल कुन सम्झौता सक्रिय छ भनेर जाँच गर्न, तपाईंले ब्लक एक्सप्लोररमा स्मार्ट अनुबंधको आधार 64 कोड प्रतिलिपि गर्न सक्नुहुन्छ र यसलाई डिकम्पाइलर प्रयोग गरेर पहिचान गर्न सक्नुहुन्छ (उदाहरणका लागि)

हामी सुनिश्चित गर्छौं कि स्मार्ट अनुबंधको तर्क हामीले अपेक्षा गरेको कुरासँग मेल खान्छ।
एलिसको ब्यालेन्समा २.९७२ तरंगहरू बाँकी छन्।

यो dApp ले प्रत्येक सहभागीले एक संयन्त्र मार्फत साझा कोषमा कति योगदान गर्छ भनेर ट्र्याक राख्छ। डाटा लेनदेन — DataEntry (currentKey, newAmount), जहाँ currentKey खाता हो जसले निक्षेप प्रकार्यलाई कल गर्दछ, र newAmount पुन: भरिएको ब्यालेन्सको मूल्य हो।

Boob र Cooper ले आफ्नो जम्मा dApp खातामा 1 WAVES को साथ गर्छन्।

हामी गल्ती गर्छौं र लेनदेन मार्फत जाँदैन। हामी Bob को तर्फबाट लेनदेन गर्दैछौं भन्ने कुरामा विश्वस्त भए तापनि, हामीले अनुक्रमणिकामा गल्ती गर्यौं र स्मार्ट सम्झौता नभएको बैंक खातालाई संकेत गर्‍यौं। यहाँ एउटा महत्त्वपूर्ण बिन्दु ध्यान दिन लायक छ - लेनदेन सुरु गर्न असफल प्रयासहरूको लागि शुल्क छ हटाउन सकिँदैन! एलिसको ब्यालेन्समा २.९७२ तरंगहरू बाँकी छन्। बबसँग ३ तरङ्गहरू छन्।

Bob ले dApp खातामा 1 WAVES पठाउनुभयो।

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

Bob सँग 1.99 WAVES बाँकी छ। त्यो हो, बबले ०.०१ WAVES कमीशन तिर्यो

एलिसको ब्यालेन्समा 2.972 WAVES थियो, अब यो 3.972 छ। एलिस खातामा लेनदेन पनि दर्ता गरिएको थियो, तर dApp खाता (एलिस) बाट कुनै कमीशन चार्ज गरिएको थिएन।
कूपरले पनि खाता पुन: भरेपछि, एलिसको ब्यालेन्स 4.972 WAVES भयो।

तपाईले डेटा ट्याबमा ब्लक एक्सप्लोररमा साझा वालेटमा कतिवटा WAVES को स्वामित्वमा छ भनेर पत्ता लगाउन सक्नुहुन्छ।

कूपरले सामान्य वालेटमा 1 WAVES को रकम छोड्ने बारे आफ्नो मन परिवर्तन गरे र आधा आधा फिर्ता लिने निर्णय गरे। यो गर्नको लागि, उसले फिर्ता समारोह कल गर्नुपर्छ।

यद्यपि, हामी फेरि गलत थियौं, किनकि फिर्ता गर्ने प्रकार्यमा पूर्ण रूपमा फरक प्यारामिटरहरू र फरक हस्ताक्षर छ। जब तपाईं RIDE4DAPPS मा स्मार्ट अनुबंधहरू डिजाइन गर्नुहुन्छ तपाईंले यस बिन्दुमा ध्यान दिनुपर्छ

कूपरसँग अब यसको ब्यालेन्स पानामा 2.48 WAVES छ। तदनुसार, 3 तरंगहरू - 1 - 0.01, र त्यसपछि + 0.5 - 0.01। तदनुसार, जम्मा र निकासी गर्न प्रत्येक कल लागत 0.01 WAVES। नतिजाको रूपमा, dApps मालिकहरूको तालिकामा निम्नानुसार प्रविष्टिहरू परिवर्तन भयो।

बबले साझा वालेटबाट केही पैसा निकाल्ने निर्णय पनि गरे, तर गल्ती गरे र 1.5 WAVES निकाल्ने प्रयास गरे।

यद्यपि, स्मार्ट अनुबंधले यस अवस्थाको लागि जाँच गरेको थियो।

Xena एक स्क्यामर हो, उनले कुल खाताबाट 1 WAVES निकाल्ने प्रयास गरिन्।

यो पनि उनको लागि काम गरेन।

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

स्रोत: www.habr.com