RIDE 및 RIDE4DAPPS에서 Waves 스마트 계약을 작성하는 방법을 배웁니다. 2부(DAO - 분산형 자율 조직)

안녕하십니까!

В 첫 번째 부분에서는 dApp(분산형 애플리케이션)을 생성하고 작업하는 방법을 자세히 살펴보았습니다. 웨이브 라이드 IDE.

이제 분해된 것을 조금 테스트해 보겠습니다. 예.

3단계. dApp 계정 테스트

Alice와 관련하여 어떤 문제가 즉시 발생합니까? dApp 계정?
첫 번째 :
Boob과 Cooper는 실수로 일반 계정을 사용하여 dApp 주소로 자금을 보낼 수 있습니다. 이전 거래에 다시 액세스할 수 없게 됩니다.

둘째 :
우리는 Boob 및/또는 Cooper의 승인 없이 Alice가 자금을 인출하는 것을 어떤 식으로든 제한하지 않습니다. 검증에 주의하시기 바랍니다. Alice의 모든 거래가 실행될 것입니다.

Alice를 금지하여 두 번째 문제를 해결하자 이전 업무. 수정된 스크립트를 배포해 보겠습니다.


우리는 dApp Alice와 그녀의 서명에서 코인을 출금하려고 합니다. 오류가 발생합니다.

철회를 통해 철회를 시도해 보겠습니다.

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

스크립트가 작동하고 두 번째 요점을 알아냈습니다!

4단계. 투표를 통해 DAO 생성

불행하게도 RIDE 언어는 아직 컬렉션(사전 사전, 반복자, 리듀서 등) 작업 기능을 제공하지 않습니다. 그러나 플랫 컬렉션을 사용하는 모든 작업의 ​​경우 핵심 가치 우리는 키와 암호 해독에 따라 문자열 작업을 위한 시스템을 설계할 수 있습니다.

문자열은 연결하기가 매우 쉽습니다. 문자열은 인덱스로 구분할 수 있습니다.
테스트 예시로 문자열을 수집하고 구문 분석하여 이것이 트랜잭션 결과에 어떤 영향을 미치는지 확인해 보겠습니다.
우리는 이러한 유형의 거래에 대해 @verifier에서 이 기회가 차단되었기 때문에 Alice가 이체 거래에 서명할 수 없다는 사실에 합의했습니다.

문자열로 연습한 후 이 문제를 해결해 보겠습니다.

라이드 스트링

거래가 다시 가능합니다. 우리는 문자열 작업 방법을 알고 있습니다.


전체적으로 우리는 복잡한 논리를 작성하는 데 필요한 모든 것을 갖추고 있습니다. DAO 디앱.

데이터 거래

데이터 거래:
“키의 최대 크기는 100자이며 키에는 공백 및 기타 인쇄할 수 없는 기호를 포함하여 임의의 유니코드 코드 포인트가 포함될 수 있습니다. 문자열 값은 32,768바이트로 제한되며 데이터 트랜잭션에 가능한 최대 항목 수는 100개입니다. 전체적으로 데이터 트랜잭션의 최대 크기는 약 140kb입니다. 참고로 셰익스피어의 희곡 '로미오와 줄리엣'의 길이와 거의 정확히 같습니다. '.”

우리는 다음 조건으로 DAO를 생성합니다.
스타트업이 전화해서 자금을 받기 위해서는 getFunds() 최소 2명의 참가자(DAO 투자자)의 지원이 필요합니다. 철수 에 표시된 총 금액만큼 정확하게 가능합니다. 투표 DAO 소유자.

3가지 유형의 키를 만들고 2개의 새로운 함수 vote 및 getFunds에서 잔액 작업을 위한 로직을 추가해 보겠습니다.
xx…xx_ia = 투자자, 사용 가능 잔액 (투표, 입금, 출금)
xx…xx_sv = 스타트업, 투표수 (투표, getFunds)
xx…xx_sf = 스타트업, 투표수 (투표, getFunds)
xx…xx = 공개 주소(35자)

Vote에서는 여러 필드를 한 번에 업데이트해야 했습니다.

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

WriteSet을 사용하면 하나의 레코드에서 동시에 여러 레코드를 만들 수 있습니다. 호출스크립트 업무.

Bob과 Cooper가 보충한 후 DAO dApp의 키-값 저장소의 모습은 다음과 같습니다. ia-매장:

입금 기능이 약간 변경되었습니다:

이제 DAO 활동에서 가장 중요한 순간이 왔습니다. 투표 프로젝트 자금 조달을 위해.

Bob은 Neli의 500000개 웨이블릿 프로젝트에 투표했습니다.

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

데이터 저장소에는 Neli의 주소에 필요한 모든 항목이 표시됩니다.

Cooper는 Neli 프로젝트에도 투표했습니다.

함수코드를 살펴보자 getFunds. Neli는 DAO에서 자금을 인출하려면 최소 2표를 모아야 합니다.

Neli는 자신에게 맡겨진 금액의 절반을 인출할 예정입니다.

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

그녀는 성공합니다. 즉, DAO가 작동합니다!

언어로 DAO를 생성하는 과정을 살펴보았습니다. RIDE4DAPPS.
다음 부분에서는 코드 리팩토링과 사례 테스트를 자세히 살펴보겠습니다.

코드의 전체 버전 웨이브 라이드 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
보조금 프로그램 발표

출처 : habr.com