Õppime kirjutama Wavesi nutikaid lepinguid RIDE ja RIDE4DAPPS. Osa 2 (DAO — detsentraliseeritud autonoomne organisatsioon)

Tere kõigile!

V esimese osa jooksul vaatlesime põhjalikult, kuidas luua ja töötada dApp (detsentraliseeritud rakendus) Waves RIDE IDE.

Katsetame nüüd veidi ära võetud an example.

Etapp 3. dApp konto testimine

Millised probleemid viskuvad kohe silma Alice dApp konto?
Esiteks:
Boob ja Cooper võivad juhuslikult saata dApp aadressile vahendeid tavatransaktsiooni kaudu ja seega ei saa nad neile enam juurde pääseda. transfer Teiseks:

Me ei piira kuidagi Alice'i vahendite tõmbamist ilma Boobi või Cooperiga kokku leppimata. Pange tähele, et kõik Alice'i tehingud täidetakse.
Parandame teise, keelates Alice'i

tehingud. Juurutame parandatud skripti: transfer Proovime välja võtta münte Alice'i ja tema allkirjaga. Saame vea:


Proovime välja võtta withdraw kaudu:

broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"withdraw",args:[{type:"integer", value: 1000000}]}, payment: []}))

Skript töötab ning saime teise punkti selgeks!

Etapp 4. Loome DAO koos hääletamisega

Samm 4. Loome hääletamise DAO

Kahjuks ei ole RIDE keeles yet olemas võimalusi kollektiividega (sõnastikud-sõnastiked, iteratsioonid, reduktorid jne) töötamiseks. Siiski, kõikide toimingute puhul tasapinnaliste kollektsioonidega võti-väärtus saame kavandada süsteemi, mis tegeleb stringide, seega ka võtmete ja nende dešifreerimisega.

Stringe on väga lihtne ühendama, stringe saab indekseid mööda jagada.
Lähme testnäitena stringi koostama ja lahendame selle, et vaadata, kuidas see mõjutab tehingu tulemust.
Jõudsime sinnani, et Alice ei saanud Transfer tehingut allkirjastada, kuna see võimalus oli @verifier'is selle tüübi tehingute jaoks blokeeritud.

Harjutame stringidega ja lahendame siis selle küsimuse.

RIDE stringid

Tehing on jälle võimalik, saame stringidega töötada.


Kokkuvõttes on meil kõik vajalik keeruka loogika kirjutamiseks DAO dApp.

Andmete tehingud

Andmete tehingud:
„Võti maksimaalne suurus on 100 tähemärki ja võti võib sisaldada juhuslikke Unicode koodipunkte, sealhulgas tühikuid ja muid trükkimata sümboleid. Stringide väärtuste suurus on piiratud 32 768 baitiga ja andmete tehingute maksimaalne võimalike sisestuste arv on 100. Üldiselt on andmete tehingu maksimaalne suurus umbes 140 KB — viiteks, peaaegu täpselt Shakespeare'i näidendi 'Romeo ja Julia' pikkus.”

Loome DAO järgmiste tingimustega:
Kuna startup peab rahastust saama, vajab ta getFunds() toetust vähemalt 2 osalejalt — DAO investorilt. Väljastada saab täpselt nii palju, kui kokku on märgitud hääletamisel DAO omanike poolt.

Teeme 3 tüüpi võtmeid ja lisame tasakaalu haldamiseks loogika 2 uude funktsiooni: vote ja getFunds:
xx…xx_ia = investorid, saadaval saldo (vote, deposit, withdrawal)
xx…xx_sv = startupid, häälte arv (vote, getFunds)
xx…xx_sf = startupid, häälte arv (vote, getFunds)
xx…xx = avalik aadress (35 tähte)

Pange tähele, et Vote'is pidi me uuendama kohe mitu välja:

WriteSet([DataEntry(key1, value1), DataEntry(key2, value2)]),

WriteSet võimaldab meil teha mitu kirjet ühe invokeScript tehingu raames.

Nii see välja näeb DAO dApp'i võtme-väli andmemälus, pärast seda, kui Bob ja Cooper on täiendatud ia-deposiid:

Meie sissemakse funktsioon on veidi muutunud:

Nüüd jõuab kätte kõige olulisem hetk DAO tegevuses — hääletamine projektide üle rahastamiseks.

Bob hääletab projekti Neli poolt 500000 wavelet'i eest:

broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"vote",args:[{type:"integer", value: 500000}, {type:"string", value: "3MrXEKJr9nDLNyVZ1d12Mq4jjeUYwxNjMsH"}]}, payment: []}))

Andmehoidlas näeme kõiki vajalikke kirjeid aadressi Neli jaoks:

Cooper hääletas ka Neli projekti poolt.

Vaatame funktsiooni koodi getFunds. Neli peab koguma vähemalt 2 häält, et saada võimalus vahendeid DAO-st välja võtta.

Neli kavatseb välja võtta poole talle usaldatud summast:

broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"getFunds",args:[{type:"integer", value: 500000}]}, payment: []}))

Tal õnnestub see, see tähendab, et DAO töötab!

Me käsitlesime DAO loomise protsessi keeles RIDE4DAPPS.
Järgnevates osades käsitleme koodi refaktoreerimist ja testimiskeskeid.

Koodi täisversioon Waves RIDE IDE:

# In this example multiple accounts can deposit their funds to DAO and safely take them back, no one can interfere with this.
# DAO participants can also vote for particular addresses and let them withdraw invested funds then quorum has reached.
# An inner state is maintained as mapping `address=>waves`.
# https://medium.com/waves-lab/waves-announces-funding-for-ride-for-dapps-developers-f724095fdbe1

# You can try this contract by following commands in the IDE (ide.wavesplatform.com)
# Run commands as listed below
# From account #0:
#      deploy()
# From account #1: deposit funds
#      broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"deposit",args:[]}, payment: [{amount: 100000000, asset:null }]}))
# From account #2: deposit funds
#      broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"deposit",args:[]}, payment: [{amount: 100000000, asset:null }]}))
# From account #1: vote for startup
#      broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"vote",args:[{type:"integer", value: 500000}, {type:"string", value: "3MrXEKJr9nDLNyVZ1d12Mq4jjeUYwxNjMsH"}]}, payment: []}))
# From account #2: vote for startup
#      broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"vote",args:[{type:"integer", value: 500000}, {type:"string", value: "3MrXEKJr9nDLNyVZ1d12Mq4jjeUYwxNjMsH"}]}, payment: []}))
# From account #3: get invested funds
#      broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"getFunds",args:[{type:"integer", value: 500000}]}, payment: []}))

{-# STDLIB_VERSION 3 #-}
{-# CONTENT_TYPE DAPP #-}
{-# SCRIPT_TYPE ACCOUNT #-}

@Callable(i)
func deposit() = {
   let pmt = extract(i.payment)
   if (isDefined(pmt.assetId)) then throw("can hodl waves only at the moment")
   else {
        let currentKey = toBase58String(i.caller.bytes)
        let xxxInvestorBalance = currentKey + "_" + "ib"
        let currentAmount = match getInteger(this, xxxInvestorBalance) {
            case a:Int => a
            case _ => 0
        }
        let newAmount = currentAmount + pmt.amount
        WriteSet([DataEntry(xxxInvestorBalance, newAmount)])
   }
}
@Callable(i)
func withdraw(amount: Int) = {
        let currentKey = toBase58String(i.caller.bytes)
        let xxxInvestorBalance = currentKey + "_" + "ib"
        let currentAmount = match getInteger(this, xxxInvestorBalance) {
            case a:Int => a
            case _ => 0
        }
        let newAmount = currentAmount - amount
     if (amount < 0)
            then throw("Can't withdraw negative amount")
    else if (newAmount < 0)
            then throw("Not enough balance")
            else ScriptResult(
                    WriteSet([DataEntry(xxxInvestorBalance, newAmount)]),
                    TransferSet([ScriptTransfer(i.caller, amount, unit)])
                )
    }
@Callable(i)
func getFunds(amount: Int) = {
        let quorum = 2
        let currentKey = toBase58String(i.caller.bytes)
        let xxxStartupFund = currentKey + "_" + "sf"
        let xxxStartupVotes = currentKey + "_" + "sv"
        let currentAmount = match getInteger(this, xxxStartupFund) {
            case a:Int => a
            case _ => 0
        }
        let totalVotes = match getInteger(this, xxxStartupVotes) {
            case a:Int => a
            case _ => 0
        }
        let newAmount = currentAmount - amount
    if (amount < 0)
            then throw("Can't withdraw negative amount")
    else if (newAmount < 0)
            then throw("Not enough balance")
    else if (totalVotes < quorum)
            then throw("Not enough votes. At least 2 votes required!")
    else ScriptResult(
                    WriteSet([
                        DataEntry(xxxStartupFund, newAmount)
                        ]),
                    TransferSet([ScriptTransfer(i.caller, amount, unit)])
                )
    }
@Callable(i)
func vote(amount: Int, address: String) = {
        let currentKey = toBase58String(i.caller.bytes)
        let xxxInvestorBalance = currentKey + "_" + "ib"
        let xxxStartupFund = address + "_" + "sf"
        let xxxStartupVotes = address + "_" + "sv"
        let currentAmount = match getInteger(this, xxxInvestorBalance) {
            case a:Int => a
            case _ => 0
        }
        let currentVotes = match getInteger(this, xxxStartupVotes) {
            case a:Int => a
            case _ => 0
        }
        let currentFund = match getInteger(this, xxxStartupFund) {
            case a:Int => a
            case _ => 0
        }
    if (amount <= 0)
            then throw("Can't withdraw negative amount")
    else if (amount > currentAmount)
            then throw("Not enough balance")
    else ScriptResult(
                    WriteSet([
                        DataEntry(xxxInvestorBalance, currentAmount - amount),
                        DataEntry(xxxStartupVotes, currentVotes + 1),
                        DataEntry(xxxStartupFund, currentFund + amount)
                        ]),
                    TransferSet([ScriptTransfer(i.caller, amount, unit)])
            )
    }
@Verifier(tx)
func verify() = {
    match tx {
        case t: TransferTransaction =>false
        case _ => true
    }
}

Esimene osa
Kood GitHubis
Waves RIDE IDE
Toetuste programmide väljakuulutamine

Allikas: habr.com