RIDE અને RIDE4DAPPS પર વેવ્ઝ સ્માર્ટ કોન્ટ્રાક્ટ લખવાનું શીખવું. ભાગ 2 (DAO - વિકેન્દ્રિત સ્વાયત્ત સંસ્થા)

હેલો દરેક!

В પ્રથમ આ ભાગમાં આપણે dApp (વિકેન્દ્રિત એપ્લિકેશન) કેવી રીતે બનાવવી અને તેની સાથે કેવી રીતે કાર્ય કરવું તે વિગતવાર જોયું. વેવ્ઝ રાઇડ IDE.

ચાલો હવે ડિસએસેમ્બલ કરેલાનું થોડું પરીક્ષણ કરીએ. ઉદાહરણ.

પગલું 3: dApp એકાઉન્ટનું પરીક્ષણ કરવું

એલિસ સાથે તમને કઈ સમસ્યાઓ તરત જ દેખાય છે? dApp ખાતું?
પ્રથમ:
બૂબ અને કૂપર નિયમિત ઉપયોગ કરીને dApp સરનામાં પર આકસ્મિક રીતે ભંડોળ મોકલી શકે છે ટ્રાન્સફર વ્યવહારો અને તેથી તેમને પાછા ઍક્સેસ કરી શકશે નહીં.

બીજું:
અમે એલિસને બૂબ અને/અથવા કૂપરની મંજૂરી વિના ભંડોળ ઉપાડવા પર પ્રતિબંધ મૂકતા નથી. જેમ તમે જોઈ શકો છો, એલિસના બધા વ્યવહારો એક્ઝિક્યુટ કરવામાં આવશે, જેમ કે વેરિફિકેશન બટન દ્વારા સૂચવવામાં આવ્યું છે.

ચાલો એલિસ પર પ્રતિબંધ મૂકીને બીજાને ઠીક કરીએ ટ્રાન્સફર વ્યવહારો. સુધારેલી સ્ક્રિપ્ટ જમાવવી:


અમે એલિસના dApp અને તેના હસ્તાક્ષરમાંથી સિક્કા પાછા ખેંચવાનો પ્રયાસ કરી રહ્યા છીએ. અમને એક ભૂલ મળી રહી છે:

ચાલો ઉપાડ દ્વારા ઉપાડ કરવાનો પ્રયાસ કરીએ:

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

સ્ક્રિપ્ટ કામ કરે છે અને અમે પોઈન્ટ 2 ઉકેલી નાખ્યો છે!

પગલું 4: મતદાન સાથે DAO બનાવો

કમનસીબે, RIDE ભાષા હજુ સુધી સંગ્રહો (શબ્દકોશોના શબ્દકોશો, પુનરાવર્તકો, રીડ્યુસર્સ, વગેરે) સાથે કામ કરવા માટે ક્ષમતાઓ પ્રદાન કરતી નથી. જો કે, ફ્લેટ સંગ્રહો સાથેના કોઈપણ કામગીરી માટે કી-મૂલ્ય આપણે તાર સાથે કામ કરવા માટે, તે મુજબ કીઓ અને તેમના ડિક્રિપ્શન માટે એક સિસ્ટમ ડિઝાઇન કરી શકીએ છીએ.

સ્ટ્રિંગ્સને જોડવાનું ખૂબ જ સરળ છે, સ્ટ્રિંગ્સને ઇન્ડેક્સ દ્વારા વિભાજિત કરી શકાય છે.
એક પરીક્ષણ ઉદાહરણ તરીકે, ચાલો એક સ્ટ્રિંગને એસેમ્બલ અને પાર્સ કરીએ અને તપાસીએ કે આ વ્યવહારના પરિણામને કેવી રીતે અસર કરે છે.
અમને એ હકીકતનો સામનો કરવો પડ્યો કે એલિસ ટ્રાન્સફર ટ્રાન્ઝેક્શન પર સહી કરી શકી નહીં, કારણ કે આ પ્રકારના ટ્રાન્ઝેક્શન માટે @verifier માં આ ક્ષમતા અવરોધિત હતી.

ચાલો શબ્દમાળાઓ સાથે પ્રેક્ટિસ કરીએ અને પછી આ ઉકેલીએ.

રાઇડ સ્ટ્રિંગ્સ

વ્યવહાર ફરીથી શક્ય છે, આપણે જાણીએ છીએ કે શબ્દમાળાઓ સાથે કેવી રીતે કામ કરવું.


તો, જટિલ તર્ક લખવા માટે આપણી પાસે બધું જ છે. DAO dApp.

ડેટા વ્યવહારો

ડેટા વ્યવહારો:
"કી માટે મહત્તમ કદ 100 અક્ષરો છે, અને કીમાં જગ્યાઓ અને અન્ય બિન-પ્રિન્ટેબલ પ્રતીકો સહિત મનસ્વી યુનિકોડ કોડ પોઈન્ટ હોઈ શકે છે. સ્ટ્રિંગ મૂલ્યોની મર્યાદા 32,768 બાઇટ્સની છે અને ડેટા ટ્રાન્ઝેક્શનમાં શક્ય એન્ટ્રીઓની મહત્તમ સંખ્યા 100 છે. એકંદરે, ડેટા ટ્રાન્ઝેક્શનનું મહત્તમ કદ લગભગ 140kb છે - સંદર્ભ માટે, લગભગ શેક્સપિયરના નાટક 'રોમિયો અને જુલિયટ' ની લંબાઈ જેટલું જ."

અમે નીચેની શરતો સાથે DAO બનાવીએ છીએ:
સ્ટાર્ટઅપને ફોન કરીને ભંડોળ મેળવવા માટે ગેટફંડ્સ() ઓછામાં ઓછા 2 સહભાગીઓ - DAO રોકાણકારો - નો ટેકો જરૂરી છે. પાછી ખેંચી પર દર્શાવેલ કુલ રકમ જેટલી જ રકમ મળી શકશે મતદાન DAO માલિકો.

ચાલો 3 પ્રકારની કી બનાવીએ અને 2 નવા ફંક્શન, વોટ અને ગેટફંડ્સમાં બેલેન્સ સાથે કામ કરવા માટે લોજિક ઉમેરીએ:
xx…xx_આઈએ = રોકાણકારો, ઉપલબ્ધ બેલેન્સ (મત, જમા, ઉપાડ)
xx…xx_સર્વ = સ્ટાર્ટઅપ્સ, મતોની સંખ્યા (મત આપો, ભંડોળ મેળવો)
xx…xx_એસએફ = સ્ટાર્ટઅપ્સ, મતોની સંખ્યા (મત આપો, ભંડોળ મેળવો)
xx…xx = જાહેર સરનામું (૩૫ અક્ષરો)

નોંધ કરો કે વોટમાં અમારે એકસાથે અનેક ફીલ્ડ અપડેટ કરવાની જરૂર હતી:

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

WriteSet આપણને એક જ સમયે એક સાથે અનેક રેકોર્ડ બનાવવાની મંજૂરી આપે છે. ઇન્વોકસ્ક્રિપ્ટ વ્યવહારો.

બોબ અને કૂપર દ્વારા ફરીથી ભરાયા પછી DAO dApp કી-વેલ્યુ સ્ટોરમાં આના જેવું દેખાય છે. ia-થાપણો:

અમારા ડિપોઝિટ કાર્યમાં થોડો ફેરફાર થયો છે:

હવે DAO ની પ્રવૃત્તિઓમાં સૌથી મહત્વપૂર્ણ ક્ષણ આવે છે - મત પ્રોજેક્ટ્સને ભંડોળ પૂરું પાડવા માટે.

બોબ નેલીના 500000 વેવલેટ્સ પ્રોજેક્ટ માટે મત આપે છે:

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

ડેટા વેરહાઉસમાં, આપણે નેલીના સરનામાં માટેના બધા જરૂરી રેકોર્ડ જોઈએ છીએ:

કૂપરે પણ નેલી પ્રોજેક્ટ માટે મતદાન કર્યું.

ચાલો ફંક્શન કોડ પર એક નજર કરીએ. ગેટફંડ્સDAO માંથી ભંડોળ ઉપાડવા માટે નેલીએ ઓછામાં ઓછા 2 મત મેળવવા પડશે.

નેલી તેને સોંપવામાં આવેલી રકમનો અડધો ભાગ ઉપાડવા જઈ રહી છે:

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

તે સફળ થાય છે, એટલે કે, DAO કામ કરે છે!

અમે ભાષામાં DAO બનાવવાની પ્રક્રિયાને આવરી લીધી છે રાઇડ4ડીએપીએસ.
નીચેના ભાગોમાં, આપણે કોડ રિફેક્ટરિંગ અને કેસ ટેસ્ટિંગ પર નજીકથી નજર નાખીશું.

કોડનું સંપૂર્ણ સંસ્કરણ વેવ્ઝ રાઇડ 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