🥇 Õpime kirjutama Waves nutilepinguid RIDE ja RIDE4DAPPS abil. Osa 1 (Mitme kasutaja rahakott)

Tere kõigile!

Hiljuti teatas Waves Labs konkursist arendajatele, mis on seotud RIDE nutikontakti keele laienduse beta versiooni väljalaskmisega, et luua detsentraliseeritud rakendusi Ride4Dapps!

Valisime DAO juhtumi, kuna Ventuary plaanib arendada dApp-i sotsiaalsete funktsioonidega: hääletamine, rahastamine, usalduslik haldamine jne.
Alustasime lihtsa näitena Q&A sessioonis ja RIDE IDE — näide üldisest rahakotist. Vaatame seda näidet, kontrollime hüpoteese ja käsitleme mõningaid eripärasid:.

Vaatame seda näidet lähemalt, kontrollime hüpoteese ja arutame mõningaid kummalisi aspekte:

Oletame, et meil on Alice — dApp omaniku
Boob ja Cooper — Alice'i partnerid, Alice-BC DAO kaasasutajad
Neli — ettevõtte omanik, kellele on vajalik rahastamine
Pank — pank, mis jagab tokenite.

Etapp 1. Balansside initsialiseerimine

Kuna testnetis Waves'i tokenite saamiseks tuleb pöörduda faucet'i ja märkida aadress, kuhu tokenid saata.
Aadressi saab teada IDE-st, avades konto andmed.
Määrame Pangale 10 WAVES. Seejärel kontrollime, et need on saabunud plokiahela ja tehingute vaatleja kaudu: vaatleja

Nüüd jagame tokenid pangast ülejäänud osalejatele. (Märkus: Kõik tehingud Waves võrgus ei ole tasuta, seetõttu vajavad kõik osalejad miinimum positiivset saldo, et tehinguid teha).

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

Pank -> [3 WAVES] -> Alice, TransferTransaction'i kaudu (Tüüp: 4).

Kontrollime, et env.SEED, millega tehingud allkirjastatakse, vastab meie Pangale:

Kui teil ei ole vastavat seed fraasi, lülitage lihtsalt Accounts vahekaardile ja kontrollige uuesti.
Pärast seda loome, kuulutame ja allkirjastame tehingu 3 WAVES ülekandmiseks Alicele.
Alice'i andmeid saab samuti leida muutuja env.accounts kaudu. Numeratsioon algab 0-st, seega Alice on env.accounts[1].

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

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

Veenduge, et Alice'i saldo on lisandunud 3 WAVES, ja pangas on jäänud 10 — 3 — 0.01 = 0.699.

Saadame Boobile ja Cooperile poognas 3 WAVES, Neli, Xena ja Markile aga 0.2 WAVES samamoodi.
(Märkused: tegime ühe märgiga vea ja saatsime Neli 0.02 WAVES. Olge ettevaatlikud!)

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

Kuna oleme kõikide osalejate kontod täiendatud, näeme:

Etapp 2. dApp konto loomine

Oleme kokku leppinud, et detsentraliseeritud rakenduse looja ja omanik on Alice.
Accounts sektsioonis seadistame tema SEED-iks ja kontrollime, et env.SEED vastab Alicele.

Proovime seadistada Alice kontole kõige lihtsama skripti (lepingu) võimalikest.
Waves’i nutikontaktid on predikaadid, mis keelavad või lubavad teatud tüüpi väljuvate tehingute toimumist teatud tingimustel. Antud juhul on see tingimus — ALWAYS. Lepingu kood — true. Kutsume välja deploy().

SetScript tehingu tasu 1400000/100000000 = 0.014 WAVES. Alicel on kontol jäänud 2.986 WAVES.

Proovime nüüd seadistada Alice kontole keerukama nutikonto loogika, nagu on kirjeldatud näites

Ride4Dapps kaasa arvatud 2 uut tüüpi annotatsioone:

@Callable(i) — võtab parameetrina i andmed selle kohta, milline konto käivitas/aloitas tehingu. Just selle funktsiooni tulemus määrab dApp konto seisundi muutumise. Teised kontod saavad luua tehinguid ja täita funktsioone selle annotatsiooni abil ning muuta dApp konto seisundit.

@Verifier(tx) — Tehingu valideerija parameetriga tx. Vastab RIDE-st pärinevatele predikaatide loogikatele. Just selles väljendis saab lubada või keelata edasised muudatused nutilepingute loogikas dApp kontol.

Teeme dApp kontolt ühise rahakoti kõigile osalejatele.

Selleks, et kontrollida, milline leping on kontol aktiivne, saab blokki vaatlejasse kopeerida nutilepingu base64 koodi ja dekompileerida selle kaudu (näiteks)

Veenduge, et nutilepingu loogika vastab sellele, mida me ootame.
Alisil on jäänud 2,972 WAVES.

See dApp arvestab, kui palju iga osaleja panustab ühisesse fondi läbi mehhanismi data transaction — DataEntry(currentKey, newAmount), kus currentKey on konto, mis kutsub esile funktsiooni deposit, ja newAmount on täiendatud saldo väärtus.

Boob ja Cooper sisenevad oma hoiused dApp kontole 1 WAVES.

Teeme vea ja tehing ei toimi. Kuigi me veendusime, et teeme tehingu Bobi nimel, eksisime indeksiga ja näitasime Banki kontot, kus ei ole nutilepingut. Siin tasub märkida oluline punkt — ebaõnnestunud tehingute proovimise eest tasu ei võeta. Ei võeta! Alicel on jäänud 2.972 WAVES. Bobil 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 }]}))

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

Alicel oli 2.972 WAVES, nüüd on 3.972. Alice'i kontol on samuti registreeritud tehing, kuid dApp kontolt (Alice) ei ole mingit teenustasu maha arvatud.
Pärast seda, kui Cooper samuti Alicele raha juurde kandis, on Alicel nüüd 4.972 WAVES.

Keda kui palju WAVES üldrahakotis kuulub, saab vaadata plokiahelate sirvijast vahekaartilt Andmed.

Cooper mõtles ümber ja otsustas mitte jätta 1 WAVES summat üldrahakotti, vaid jätta pool rahast välja võtta. Selleks peab ta kutsuma üles tõmbamisfunktsiooni.

Kuid me eksisime taas, kuna withdraw funktsioonil on täiesti erinevad parameetrid ja signatuur. Kui kavandate RIDE4DAPPS-i jaoks nutikaid lepinguid, peaksite sellele tähelepanu pöörama.

Cooperil on nüüd saldo 2,48 WAVES. Seega 3 WAVES – 1 – 0,01 ja seejärel + 0,5 – 0,01. Iga deposit ja withdraw kutse maksab 0,01 WAVES. Lõpuks muutus dAppide omanike tabelis kirjeid järgnevalt.