រៀនសរសេរកិច្ចសន្យាឆ្លាតវៃ Waves នៅលើ RIDE និង RIDE4DAPPS ។ ផ្នែកទី 2 (DAO - អង្គការស្វយ័តវិមជ្ឈការ)

ជំរាបសួរមនុស្សគ្រប់គ្នា!

В ដំបូង ផ្នែកដែលយើងពិនិត្យមើលលម្អិតអំពីរបៀបបង្កើត និងធ្វើការជាមួយ dApp (កម្មវិធីវិមជ្ឈការ) នៅក្នុង រលកជិះ IDE.

តោះ​សាក​ល្បង​ឧបករណ៍​ដែល​បែក​ចេញ​បន្តិច​ឥឡូវ​នេះ។ ឧទាហរណ៍.

ដំណាក់កាលទី 3. សាកល្បងគណនី dApp

តើមានបញ្ហាអ្វីកើតឡើងភ្លាមៗចំពោះអ្នកជាមួយអាលីស? ចមនេហ គណនី?
ទីមួយ:
Boob និង Cooper អាចផ្ញើប្រាក់ដោយចៃដន្យទៅកាន់អាសយដ្ឋាន dApp ដោយប្រើទៀងទាត់ ការផ្ទេរប្រាក់ ប្រតិបត្តិការ ហើយដូច្នេះនឹងមិនអាចចូលប្រើពួកវាមកវិញបានទេ។

ទីពីរ:
យើងមិនដាក់កម្រិត Alice ក្នុងមធ្យោបាយណាមួយពីការដកប្រាក់ដោយគ្មានការយល់ព្រមពី Boob និង/ឬ Cooper ទេ។ ចាប់តាំងពី, យកចិត្តទុកដាក់ដើម្បីផ្ទៀងផ្ទាត់, ប្រតិបត្តិការទាំងអស់ពី Alice នឹងត្រូវបានប្រតិបត្តិ។

តោះជួសជុលទី 2 ដោយហាមអាលីស ការផ្ទេរប្រាក់ ប្រតិបត្តិការ។ ចូរ​ប្រើ​ស្គ្រីប​ដែល​បាន​កែ​តម្រូវ៖


យើងកំពុងព្យាយាមដកកាក់ពី dApp Alice និងហត្ថលេខារបស់នាង។ យើងទទួលបានកំហុសមួយ៖

ចូរយើងព្យាយាមដកដោយការដកប្រាក់៖

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

ស្គ្រីបដំណើរការហើយយើងរកឃើញចំណុចទី 2!

ដំណាក់កាលទី 4. បង្កើត DAO ជាមួយនឹងការបោះឆ្នោត

ជាអកុសល ភាសា RIDE មិនទាន់ផ្តល់លទ្ធភាពក្នុងការធ្វើការជាមួយបណ្តុំ (វចនានុក្រម វចនានុក្រម អ្នកសរសេរឡើងវិញ អ្នកកាត់បន្ថយ។ល។)។ ទោះយ៉ាងណាក៏ដោយសម្រាប់ប្រតិបត្តិការណាមួយជាមួយនឹងការប្រមូលផ្ទះល្វែង តម្លៃគ្រាប់ចុច យើង​អាច​រចនា​ប្រព័ន្ធ​មួយ​សម្រាប់​ធ្វើ​ការ​ជាមួយ​ខ្សែ​ស្រប​តាម​គ្រាប់​ចុច​និង​ការ​ឌិគ្រីប​របស់​វា​។

ខ្សែអក្សរមានភាពងាយស្រួលក្នុងការភ្ជាប់ខ្សែអក្សរអាចត្រូវបានបំបែកដោយសន្ទស្សន៍។
ចូរយើងប្រមូល និងញែកខ្សែអក្សរជាឧទាហរណ៍សាកល្បង ហើយពិនិត្យមើលថាតើវាប៉ះពាល់ដល់លទ្ធផលនៃប្រតិបត្តិការយ៉ាងដូចម្តេច។
យើងបានដោះស្រាយលើការពិតដែលថា Alice មិនអាចចុះហត្ថលេខាលើប្រតិបត្តិការផ្ទេរប្រាក់បានទេ ដោយសារសមត្ថភាពនេះត្រូវបានរារាំងនៅក្នុង @verifier សម្រាប់ប្រតិបត្តិការប្រភេទនេះ។

ចូរយើងអនុវត្តជាមួយខ្សែអក្សរ ហើយបន្ទាប់មកដោះស្រាយវា។

ខ្សែអក្សរជិះ

ប្រតិបត្តិការអាចធ្វើទៅបានម្តងទៀត យើងដឹងពីរបៀបធ្វើការជាមួយខ្សែអក្សរ។


សរុបមក យើងមានអ្វីគ្រប់យ៉ាងដែលចាំបាច់ដើម្បីសរសេរតក្កវិជ្ជាស្មុគស្មាញ DAO dApp.

ប្រតិបត្តិការទិន្នន័យ

ប្រតិបត្តិការទិន្នន័យ៖
“ទំហំអតិបរមាសម្រាប់សោគឺ 100 តួអក្សរ ហើយសោមួយអាចមានចំណុចកូដយូនីកូដតាមអំពើចិត្ត រួមទាំងដកឃ្លា និងនិមិត្តសញ្ញាដែលមិនអាចបោះពុម្ពបានផ្សេងទៀត។ តម្លៃខ្សែអក្សរមានដែនកំណត់ 32,768 បៃ ហើយចំនួនអតិបរមានៃធាតុដែលអាចធ្វើបាននៅក្នុងប្រតិបត្តិការទិន្នន័យគឺ 100 ។ សរុបមក ទំហំអតិបរមានៃប្រតិបត្តិការទិន្នន័យគឺប្រហែល 140kb — សម្រាប់ជាឯកសារយោង ស្ទើរតែប្រវែងនៃការលេងរបស់ Shakespeare 'Romeo and Juliet '។

យើងបង្កើត DAO ដោយមានលក្ខខណ្ឌដូចខាងក្រោមៈ
ដើម្បីឱ្យការចាប់ផ្តើមអាជីវកម្មទទួលបានមូលនិធិដោយការហៅទូរស័ព្ទ getFunds() ការគាំទ្រពីអ្នកចូលរួមយ៉ាងហោចណាស់ 2 នាក់ - អ្នកវិនិយោគ DAO - ត្រូវបានទាមទារ។ ដកប្រាក់ វានឹងអាចធ្វើទៅបានយ៉ាងពិតប្រាកដដូចចំនួនសរុបដែលបានបង្ហាញនៅលើ ការបោះឆ្នោត ម្ចាស់ DAO ។

តោះបង្កើតកូនសោ 3 ប្រភេទ ហើយបន្ថែមតក្កវិជ្ជាសម្រាប់ធ្វើការជាមួយសមតុល្យក្នុងមុខងារថ្មីចំនួន 2 vote និង getFunds៖
xx…xx_អាយ = វិនិយោគិន សមតុល្យដែលមាន (បោះឆ្នោត ដាក់ប្រាក់ ដកប្រាក់)
xx…xx_sv = ការចាប់ផ្តើម, ចំនួននៃការបោះឆ្នោត (បោះឆ្នោត ទទួលបានមូលនិធិ)
xx…xx_sf = ការចាប់ផ្តើម, ចំនួននៃការបោះឆ្នោត (បោះឆ្នោត ទទួលបានមូលនិធិ)
xx…xx = អាសយដ្ឋានសាធារណៈ (៣៥ តួអក្សរ)

សូមចំណាំថានៅក្នុង Vote យើងត្រូវធ្វើបច្ចុប្បន្នភាពវាលជាច្រើនក្នុងពេលតែមួយ៖

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

WriteSet អនុញ្ញាតឱ្យយើងបង្កើតកំណត់ត្រាជាច្រើនក្នុងពេលតែមួយក្នុងមួយ invokeScript ប្រតិបត្តិការ។

នេះ​ជា​អ្វី​ដែល​វា​មើល​ទៅ​ដូច​ជា​នៅ​ក្នុង​ការ​ផ្ទុក​តម្លៃ​គន្លឹះ​នៃ DAO dApp បន្ទាប់​ពី Bob និង Cooper បាន​បំពេញ​បន្ថែម ia-ប្រាក់បញ្ញើ៖

មុខងារដាក់ប្រាក់របស់យើងបានផ្លាស់ប្តូរបន្តិចបន្តួច៖

ឥឡូវនេះមកដល់ពេលដ៏សំខាន់បំផុតនៅក្នុងសកម្មភាពរបស់ DAO - បោះឆ្នោត សម្រាប់គម្រោងដែលត្រូវផ្តល់ហិរញ្ញប្បទាន។

Bob បោះឆ្នោតឱ្យគម្រោងរលក 500000 របស់ Neli៖

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

នៅក្នុងឃ្លាំងទិន្នន័យ យើងឃើញធាតុចាំបាច់ទាំងអស់សម្រាប់អាសយដ្ឋានរបស់ Neli៖

Cooper ក៏បានបោះឆ្នោតឱ្យគម្រោង Neli ផងដែរ។

តោះមើលកូដមុខងារ ទទួលបានមូលនិធិ. Neli ត្រូវតែប្រមូលសំឡេងយ៉ាងតិច 2 ដើម្បីអាចដកមូលនិធិពី DAO ។

Neli នឹងដកពាក់កណ្តាលនៃចំនួនទឹកប្រាក់ដែលប្រគល់ឱ្យនាង៖

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

នាងជោគជ័យ នោះគឺ DAO ធ្វើការ!

យើងបានពិនិត្យមើលដំណើរការនៃការបង្កើត DAO ជាភាសា ជិះ 4DAPPS.
នៅក្នុងផ្នែកខាងក្រោម យើងនឹងពិនិត្យមើលឱ្យកាន់តែដិតដល់លើការកែប្រែកូដ និងការធ្វើតេស្តករណី។

កំណែពេញលេញនៃកូដនៅក្នុង រលកជិះ 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
រលកជិះ IDE
សេចក្តីប្រកាសអំពីកម្មវិធីជំនួយ

ប្រភព: www.habr.com