Õpime kirjutama Wavesi nutilepinguid RIDE ja RIDE4DAPPS. Osa 1 (Mitme kasutaja rahakott)

Tere kõigile!

Alles hiljem Waves Labs teatas konkurss arendajatele, mis on seotud RIDE nutilepingute keele laienduse testvõrgule käivitamisega ja detsentraliseeritud rakenduste jaoks Ride4Dapps!

Valisime DAO juhtumi, kuna Ventuary plaanib arendada sotsiaalsete funktsioonidega dApp’i: hääletamine, rahastamine, usalduslik haldamine jne.
Alustasime lihtsa näite uurimisega Q&A seansid ja RIDE IDE — näites koos ühisrahakotiga.

Uurime seda näidet, testime hüpoteese ja vaatame mõningaid kummalisi asju:

Oletame, et meil on Alice — dApp omanik
Boob ja Cooper — Alice’i partnerid, Alice-BC DAO kaasasutajad
Neli — äriomanik, kellele on vajalik rahastus
Bank — pank, mis jagab münte

Etapp 1. Balansside initsialiseerimine

Selleks, et testvõrgus waves münte saada, tuleb pöörduda faucet ja märkida aadress, kuhu münte saata.
Aadressi saab IDE’s, avades konto andmed.
Laendame Bank’ile 10 WAVES. Seejärel kontrollime, et need on seotud plokiahela ja tehingute vaataja kaudu: vaataja

Nüüd jagame münte pangast teistele osalejatele. (Märkused: Kõik tehingud waves võrgus ei ole tasuta, seetõttu peavad kõik osalejad sooritama tehingute jaoks omama minimaalse positiivse saldo.)

1 WAVES = 100000000 ühikut (wavelets), kuna summad võivad olla ainult täisarvud
0.01 WAVES (tehingutasu) = 1000000

Bank -> [3 WAVES] -> Alice, läbi TransferTransaction (Tüüp: 4).

Kontrollime, et env.SEED, mille abil tehingud allkirjastatakse, vastaks meie Bank’ile:


Kui sul ei ole vastavust seed fraasidega, vaheta lihtsalt selle vahekaardile Accounts ja kontrolli veel kord.
Seejärel loome, kuulutame ja allkirjastame tehingu 3 WAVES edastamiseks Alice’ile.
Alice'i andmeid saab samuti leida muutuja env.accounts kaudu. Numbrimine algab 0-st, seega on Alice env.accounts[1].

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

Tulemust saab samuti jälgida vaatamisprogrammis, link sellele antakse meile kohe pärast täitmist tehingu.

Veendume, et Alice’i saldo suurenes 3 WAVES võrra ning pangas jäi 10 — 3 — 0.01 = 0.699.

Saadame Boobile ja Cooperile mõlemale 3 WAVES ning Neli, Xena ja Mark saavad 0.2 WAVES sama meetodiga.
(Märkused: Me tegime vea ühe tähe võrra ja saatsime Neli 0.02 WAVES. Ole ettevaatlik!)

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

Pärast kõigi osalejate balansside täiendamist näeme:

Etapp 2. dApp konto loomine

Me leppisime kokku, et detsentraliseeritud rakenduse loojaks ja omanikuks saab Alice.
Accounts menüüs seadistame selle SEED-iks ja kontrollime, et env.SEED vastab Alices.

Proovime Alices kontole installida kõige lihtsama skripti (leping), mis võimalik.
Waves'is on nutilepingud predikaadid, mis keelavad või lubavad teatud tüüpi väljaminevate tehingute toimumise teatud tingimustel. Antud juhul on see tingimus - ALWAYS. Lepingu kood - true. Kutsub üles deploy().

SetScript tehingu tasu on 1400000/100000000 = 0.014 WAVES. Alices jääb kontole 2.986 WAVES.

Proovime nüüd Alices kontole installida keerukama nutilepingute loogika, mis on kirjeldatud näites

Ride4Dapps nüüd sisaldab 2 uut annotatsiooni tüüpi:

1. @Callable(i) — võtab parametritena i, andmed selle kohta, milline konto kutsus/alla kirjutas tehingule. Just selle funktsiooni tulemus määrab dApp konto oleku muutuse. Teised kontod võivad luua tehinguid ja täita funktsioone, millel on see annotatsioon, muutes dApp konto olekut.
2. @Verifier(tx) — Tehingu verifikaator parametritega tx tehingu kohta. Vasta RIDE predikaatide loogikale. Just selles avaldises saab lubada või keelata nutilepingute loogika edasised muudatused dApp kontol.

Teeme dApp konto kõigi osalejate ühise rahakotina.

Kuna soovime kontrollida, milline leping on kontol aktiivne, saame plokiahelate uurijas kopeerida base64 koodi nutilepingust ja tuvastada selle dekompilaatoriga (näiteks)

Veendume, et nutilepingute loogika vastab meie ootustele.
Alices jääb kontole 2.972 WAVES.

See dApp jälgib, kui palju iga osaline ühisesse fondi panustab, kasutades mehhanismi data transaction — DataEntry(currentKey, newAmount), kus currentKey on konto, mis kutsub üles funktsiooni deposit, ja newAmount on lisatud tasakaalu väärtus.

Boob ja Cooper panustavad oma hoiuseid dApp kontole 1 WAVES.

Teeme vea ja tehing ei toimu. Kuigi me veendusime, et teeme tehingu Bob'i nimel, eksisime indeksis ja määrasime konto Bank, millel pole nutilepingut. Siinkohal on oluline märkida, et ebaõnnestunud tehingute algatamise eest teenustasu ei võeta! Alices jääb kontole 2.972 WAVES. Bob'il on 3 WAVES.

Bob saatis 1 WAVES dApp kontole.

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

Bob'il on jäänud 1.99 WAVES. See tähendab, et Bob maksis 0.01 WAVES teenustasu.

Alice'il oli kontol algselt 2.972 WAVES, nüüd on 3.972. Alice'i kontol on samuti registreeritud tehing, kuid dApp Account (Alice) puhul ei olnud teenustasu maha arvatud.
Pärast seda, kui Cooper ka täiendavalt Alice'ile raha kandis, on tema bilanss nüüd 4.972 WAVES.

Kellel on üldrahakotis kui palju WAVES'i, saab vaadata plokiahelat analüsaatoris vahekaardilt Data.

Cooper otsustas mitte hoida 1 WAVES'i üldrahakotis ja soovis välja võtta poole oma varadest. Selleks peab ta kutsuma funktsiooni withdraw.

Kuid me eksisime taas, kuna withdraw funktsioonil on hoopis teised parameetrid, teine allkiri. Kui kavandate RIDE4DAPPS'i nutilepinguid, tasub sellele tähelepanu pöörata.

Cooper'i bilanss on nüüd 2.48 WAVES. Seega 3 WAVES - 1 - 0.01, ja siis + 0.5 - 0.01. Iga deposit ja withdraw kutse maksab 0.01 WAVES. Lõpuks muudeti dApps omanikeregistris andmed järgmiselt.

Bob otsustas samuti üldrahakotist natuke raha välja võtta, kuid eksis ja proovis välja võtta 1.5 WAVES.

Kuid nutilepingus oli sellise olukorra jaoks kontroll.

Xena on petis, proovis välja võtta 1 WAVES'i üldkontolt.

Tal ei tulnud samuti midagi välja.

Järgmisel korral vaatame keerukamaid teemasid, mis on seotud Alice dApp Account'i puudustega.

Allikas: habr.com