Научаване как да пишете интелигентни договори на Waves на RIDE и RIDE4DAPPS. Част 2 (DAO - Децентрализирана автономна организация)

Здравейте на всички!

В първо част, ние разгледахме подробно как да създадете и работите с dApp (децентрализирано приложение) в Waves RIDE IDE.

Нека сега тестваме малко разглобеното пример.

Етап 3. Тестване на dApp акаунта

Какви проблеми веднага се втурват към гласовете с Алис DAPP Сметка?
На първо място:
Boob и Cooper могат случайно да изпратят средства на адрес на dApp, използвайки нормален прехвърляне транзакции и по този начин няма да имате достъп до тях обратно.

На второ място:
Ние по никакъв начин не ограничаваме Alice да тегли средства без съгласието на Boob и/или Cooper. Тъй като, обърнете внимание на проверката, всички транзакции от Alice ще бъдат изпълнени.

Нека поправим 2, като забраним Alice прехвърляне сделки. Разположете коригирания скрипт:


Опитваме се да теглим монети с dApp Alice и нейния подпис. Получаваме грешка:

Опит за теглене чрез теглене:

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

Скриптът работи и разбрахме 2-ра точка!

Етап 4. Създайте DAO с гласуване

За съжаление, езикът RIDE все още не предоставя възможност за работа с колекции (речници, речници, итератори, редуктори и др.). Въпреки това, за всякакви операции върху плоски колекции ключ-стойност можем да проектираме система за работа с низове, съответно с ключове и тяхното декриптиране.

Низовете са много лесни за конкатенация, низовете могат да бъдат разделени от индекси.
Нека съберем и анализираме низа като тестов случай и да проверим как това ще се отрази на резултата от транзакцията.
Спряхме се на факта, че Алис не може да подпише транзакцията за прехвърляне, тъй като тази възможност беше блокирана в @verifier за този тип транзакция.

Нека практикуваме с низове и след това да разрешим това.

RIDE Струни

Транзакцията отново е възможна, знаем как да работим с низове.


Като цяло имаме всичко необходимо за писане на сложна логика DAO dApp.

Транзакции с данни

Транзакции с данни:
„Максималният размер на ключ е 100 знака и ключът може да съдържа произволни Unicode кодови точки, включително интервали и други непечатаеми символи. Стойностите на низовете имат ограничение от 32,768 100 байта и максималният брой възможни записи в транзакция с данни е 140. Като цяло максималният размер на транзакция с данни е около XNUMX kb — за справка, почти точно колкото дължината на пиесата на Шекспир „Ромео и Жулиета“ '.

Ние създаваме DAO със следните условия:
За да може един стартъп да получи финансиране чрез обаждане getFunds() необходима е подкрепата на поне 2 участника - DAO инвеститори. Теглене ще бъде възможно точно толкова, колкото е сумата, посочена на гласуване Собственици на DAO.

Нека направим 3 вида ключове и добавим логика за работа с баланси в 2 нови функции vote и getFunds:
хх…хх_ia = инвеститори, наличен баланс (гласуване, депозит, теглене)
хх…хх_св = стартиращи компании, брой гласове (гласуване, getFunds)
хх…хх_sf = стартиращи компании, брой гласове (гласуване, getFunds)
xx…xx = обществен адрес (35 знака)

Забележете в Vote, че трябва да актуализираме няколко полета наведнъж:

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

WriteSet ни позволява да правим няколко записа наведнъж в рамките на един invokeScript сделки.

Ето как изглежда в хранилището за ключ-стойност на DAO dApp след попълването на Боб и Купър ia- депозити:

Нашата функция за депозит се промени леко:

Сега идва най-важният момент в дейността на DAO - гласувайте за проекти за финансиране.

Боб гласува за проекта Neli на 500000 XNUMX вълни:

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

В хранилището за данни виждаме всички необходими записи за адреса на Neli:

Купър също гласува за проекта Нели.

Нека да разгледаме функционалния код getFunds. Нели трябва да събере поне 2 гласа, за да може да тегли средства от DAO.

Нели ще изтегли половината от поверената й сума:

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

Тя успява, тоест DAO работи!

Прегледахме процеса на създаване на DAO на езика RIDE4DAPPS.
В следващите части ще разгледаме по-подробно преработването на кода и тестването на казуси.

Пълен код в 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
    }
}

Първата част
Код в github
Waves RIDE IDE
Съобщение за програмата за безвъзмездни средства

Източник: www.habr.com