ProHoster > Blog > Novinky internetu > Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Ahojte všetci!

V prvej V tejto časti podrobne preskúmame, ako vytvárať a pracovať s dApp (decentralizovanou aplikáciou) v Waves RIDE IDE.

Teraz si trochu otestujeme rozobratý príklad.

Krok 3. Testovanie účtu dApp

Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Aké problémy okamžite padnú do očí s Alicou dApp Účet?
Po prvé:
Boob a Cooper môžu náhodou poslať prostriedky na adresu dApp pomocou bežnej transfer transakcie a tým pádom k nim nebudú môcť získať prístup späť.

Po druhé:
Alicu nijako neobmedzujeme pri výbere prostriedkov bez súhlasu Booba alebo Coobera. Ako si všimnite, všetky transakcie od Alice sa budú vykonávať.

Poďme opraviť druhú vec a zakázať Alici transfer transakcie. Nasadíme opravený skript:
Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Skúšame vybrať mince z dApp Alici a jej podpisu. Dostávame chybu:
Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Skúšame vybrať cez withdraw:

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

Skript funguje a s druhým bodom sme sa vyrovnali!

Krok 4. Vytvárame DAO s hlasovaním

Bohužiaľ, jazyk RIDE zatiaľ nepodporuje možnosti práce s kolekciami (slovníky-slovníkov, iterátory, reduktory a iné). Avšak pre akékoľvek operácie s plochými kolekciami key-value môžeme navrhnúť systém práce s reťazcami, a teda s kľúčmi a ich dešifrovaním.

Reťazce sa veľmi jednoducho konkatenujú, reťazce sa dajú deliť podľa indexov.
Poďme na testovacom príklade zostaviť a analyzovať reťazec a zistiť, ako to ovplyvní výsledok transakcie.
Zastavili sme sa pri tom, že Alica nemohla podpísať Transfer transakciu, pretože táto možnosť bola zablokovaná v @verifier pre takýto typ transakcií.

Poďme si precvičiť reťazce a potom to povolíme.

RIDE Reťazce

Transakcia je znova možná, vieme pracovať s reťazcami.
Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)


Celkovo máme všetko potrebné na napísanie zložitej logiky DAO dApp.

Dátové transakcie

Dátové transakcie:
„Maximálna veľkosť kľúča je 100 znakov a kľúč môže obsahovať ľubovoľné Unicode znaky vrátane medzier a iných neviditeľných symbolov. Reťazcové hodnoty majú limit 32 768 bajtov a maximálny počet možných položiek v dátovej transakcii je 100. Celková maximálna veľkosť dátovej transakcie je okolo 140 kB — pre porovnanie, takmer presne dĺžka hry Shakespeara ‘Romeo a Júlia’.“

Vytvárame DAO za nasledujúcich podmienok:
Aby startup získal financovanie, vyžaduje si getFunds() podporu minimálne 2 účastníkov — investorov DAO. Zobraziť bude možné presne toľko, koľko celkovo uviedli na hlasovaní vlastníci DAO.

Vytvorme 3 typy kľúčov a pridajme logiku na prácu s zostatkami v 2 nových funkciách vote a getFunds:
xx…xx_ia = investori, dostupný zostatok (vote, deposit, withdrawal)
xx…xx_sv = startupy, počet hlasov (vote, getFunds)
xx…xx_sf = startupy, počet hlasov (vote, getFunds)
xx…xx = verejná adresa (35 znakov)

Všimnite si, že v Vote sme museli aktualizovať viacero polí naraz:

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

WriteSet nám umožňuje robiť viacero záznamov v rámci jednej invokeScript transakcie.

Takto to vyzerá v key-value úložisku DAO dApp, po tom, čo Bob a Cooper doplnili ia- vklady:
Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Funkcia vkladu sa u nás mierne zmenila:
Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Teraz prichádza najdôležitejší moment v činnosti DAO — hlasovanie o projektoch na financovanie.

Bob hlasuje za projekt Neli s 500000 waveletmi:

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

Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

V databáze vidíme všetky potrebné záznamy pre adresu Neli:
Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)
Cooper tiež hlasoval za projekt Neli.
Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Pozrime sa na kód funkcie getFunds. Neli musí získať minimálne 2 hlasy, aby mohla vybrať prostriedky z DAO.
Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Neli sa chystá vybrať polovicu zverenej sumy:

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

Učíme sa písať Waves smart kontrakty na RIDE a RIDE4DAPPS. Časť 2 (DAO — Decentralizovaná autonómna organizácia)

Podarí sa jej to, to znamená, že DAO funguje!

Skontrolovali sme proces vytvorenia DAO v jazyku RIDE4DAPPS.
V nasledujúcich častiach sa podrobnejšie zaoberáme refaktoringom kódu a testovaním prípadov.

Úplná verzia kódu v 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
    }
}

Prvá časť
Kód na github.com
Waves RIDE IDE
Oznámenie grantového programu

Zdroj: habr.com

Kúpte si spoľahlivý hosting pre webové stránky s ochranou proti DDoS, VPS VDS servery 🔥 Kúpte si spoľahlivý hosting pre webové stránky s ochranou proti DDoS, VPS VDS servery | ProHoster