RIDE 및 RIDE4DAPPS에서 Waves 스마트 계약을 작성하는 방법을 배웁니다. 1부(다중 사용자 지갑)

안녕하십니까!

최근에는 Waves Labs 발표 분산 애플리케이션 Ride4Dapps를 위한 RIDE 스마트 계약 언어 확장을 테스트 네트워크에 출시하는 데 전념하는 개발자를 위한 경쟁입니다!

우리는 DAO 케이스를 선택했습니다. 벤튜어리 투표, 모금, 신뢰 관리 등 소셜 기능을 갖춘 dApp을 개발할 계획입니다.
우리는 간단한 예제로 시작했습니다. Q&A 세션 과 라이드 라이드 - 예 공유 지갑.

이 예를 보고 가설을 테스트하고 몇 가지 이상한 점을 살펴보겠습니다.

Alice를 갖게 해주세요 - dApp 소유자
Boob과 Cooper는 Alice 파트너이자 Alice-BC DAO의 공동 창립자입니다.
Neli는 자금 조달이 필요한 사업주입니다.
은행 - 토큰을 배포하는 은행

1단계. 잔액 초기화

웨이브 테스트 네트워크에서 토큰을 받으려면 다음 연락처로 문의해야 합니다. 수도꼭지 토큰을 보낼 주소를 나타냅니다.
계정 세부정보를 열어 IDE에서 주소를 찾을 수 있습니다.
우리는 Bank 10 WAVES를 강조합니다. 그런 다음 블록 및 트랜잭션 브라우저를 통해 도착했는지 확인합니다. 검토 자

이제 은행의 토큰을 나머지 참가자에게 배포해 보겠습니다. (참고: Waves 네트워크의 모든 거래는 무료가 아니므로 모든 참가자가 거래를 하려면 최소한의 잔고가 필요합니다.)

1 WAVES = 100000000 단위(웨이블릿), 양은 정수만 가능하므로
0.01 WAVES(거래 수수료) = 1000000

Bank -> [3 WAVES] -> Alice, TransferTransaction을 통해(유형: 4).

거래가 서명된 env.SEED가 은행과 일치하는지 확인합니다.


일치하는 시드 문구가 없으면 계정 탭에서 해당 문구로 전환하고 다시 확인하세요.
그 후, 우리는 3 WAVES Alice의 전송을 위한 거래를 생성, 발표 및 서명합니다.
env.accounts 변수를 통해서도 Alice의 데이터를 확인할 수 있습니다. 번호는 0부터 시작하므로 Alice는 env.accounts[1]입니다.

broadcast(transfer({recipient:address(env.accounts[1]), amount: 300000000, fee: 1000000}))

결과는 브라우저에서도 확인할 수 있으며, 실행 후 즉시 결과에 대한 링크가 반환됩니다. 업무.

우리는 Alice의 잔액이 3 WAVES로 보충되고 은행 잔액이 10 - 3 - 0.01 = 0.699로 유지되는지 확인합니다.

Boob과 Cooper는 각각 3 WAVES를 보내고 Neli, Xena, Mark는 각각 0.2 WAVES를 같은 방식으로 보냅니다.
(참고: 한 문자 오류가 발생하여 Neli 0.02 WAVES를 보냈습니다. 조심하세요!)

broadcast(transfer({recipient:address(env.accounts[4]), amount: 20000000, fee: 1000000}))

모든 참가자의 잔액을 보충하면 다음이 표시됩니다.

2단계. dApp 계정 생성

우리는 Alice가 분산형 애플리케이션의 창시자이자 소유자가 되는 데 동의했습니다.
Accounts로 이동하여 SEED로 설정하고 env.SEED가 Alice와 일치하는지 확인하세요.

Alice의 계정에 가능한 가장 간단한 스크립트(계약)를 설치해 보겠습니다.
Waves의 스마트 연락처는 특정 조건에서 모든 유형의 나가는 트랜잭션이 발생하는 것을 금지하거나 허용하는 조건입니다. 이 경우 이 조건은 ALWAYS입니다. 계약 코드가 사실입니다. 배포()를 호출합니다.

setScript 거래당 수수료 1400000/100000000 = 0.014 WAVES. Alice의 잔액에는 2.986 WAVES가 남아 있습니다.

이제 Alice 계정에 더 복잡한 스마트 계약 논리를 설치해 보겠습니다. 예

Ride4Dapps 이제 2가지 새로운 주석 유형이 포함됩니다.

1. @콜러블(i) — 거래를 호출/서명한 계정에 대한 데이터인 i를 매개변수로 사용합니다. dApp 계정 상태의 변화를 결정하는 것은 이 기능의 결과입니다. 다른 계정은 이 주석을 사용하여 트랜잭션을 생성하고 기능을 실행하며 dApp 계정의 상태를 변경할 수 있습니다.
2. @검증자(tx) — 트랜잭션 tx 매개변수를 사용하는 트랜잭션 검증자. RIDE의 조건자 논리에 해당합니다. 이 표현을 통해 dApp 계정의 스마트 계약 논리에 대한 추가 변경을 허용하거나 금지할 수 있습니다.

하자 dApp 모든 참가자의 공통 지갑으로 계정을 사용합니다.

현재 귀하의 계정에 어떤 계약이 활성화되어 있는지 확인하려면 블록 탐색기에서 스마트 계약의 base64 코드를 복사하고 디컴파일러(예를 들면)

우리는 스마트 계약의 논리가 우리가 기대하는 것과 일치하는지 확인합니다.
Alice의 잔액에는 2.972 WAVES가 남아 있습니다.

이 dApp은 메커니즘을 통해 각 참가자가 공동 기금에 얼마나 기여하는지 추적합니다. 데이터 트랜잭션 — DataEntry(currentKey, newAmount)여기서 currentKey는 입금 기능을 호출하는 계정이고 newAmount는 보충된 잔액의 값입니다.

Boob과 Cooper는 1 WAVES로 dApp 계정에 입금합니다.

실수를 해서 거래가 진행되지 않습니다. 왜냐하면 우리가 Bob을 대신하여 거래를 하고 있다고 확신했음에도 불구하고 지수에서 실수를 하여 스마트 계약이 없는 은행 계좌를 표시했기 때문입니다. 여기서 중요한 점을 주목할 가치가 있습니다. 거래 시작 시도가 실패하면 수수료가 부과됩니다. 제거할 수 없습니다! Alice의 잔액에는 2.972 WAVES가 남아 있습니다. Bob은 3개의 WAVES를 가지고 있습니다.

Bob은 dApp 계정으로 1 WAVES를 보냈습니다.

broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"deposit",args:[]}, payment: [{amount: 100000000, asset:null }]}))

Bob에게는 1.99 WAVES가 남았습니다. 즉, Bob은 0.01 WAVES 커미션을 지불했습니다.

Alice의 잔고에는 2.972 WAVES가 있었는데 지금은 3.972입니다. Alice 계정에도 거래가 등록되었지만 dApp 계정(Alice)에서는 수수료가 부과되지 않았습니다.
Cooper도 계정을 보충한 후 Alice의 잔액은 4.972 WAVES가 되었습니다.

데이터 탭의 블록 탐색기에서 공통 지갑에 몇 개의 WAVES를 소유하고 있는지 확인할 수 있습니다.

쿠퍼는 일반 지갑에 1 WAVES 금액을 남겨두는 것에 대해 마음을 바꿔서 어피니티의 절반을 인출하기로 결정했습니다. 이를 위해서는 철회 기능을 호출해야 합니다.

그러나 철회 기능은 완전히 다른 매개변수와 다른 서명을 갖기 때문에 우리는 또 틀렸습니다. RIDE4DAPPS에서 스마트 계약을 설계할 때 이 점에 주의해야 합니다.

Cooper는 이제 대차대조표에 2.48개의 WAVES를 보유하고 있습니다. 따라서 3 WAVES - 1 - 0.01, 그리고 + 0.5 - 0.01입니다. 따라서 입금 및 출금을 위한 각 통화 비용은 0.01 WAVES입니다. 결과적으로 dApp 소유자 테이블의 항목이 다음과 같이 변경되었습니다.

Bob도 공유 지갑에서 돈을 일부 인출하기로 결정했지만 실수로 1.5 WAVES를 인출하려고 했습니다.

그러나 스마트 컨트랙트는 이러한 상황에 대한 점검 기능을 가지고 있었습니다.

Xena는 사기꾼입니다. 그녀는 전체 계정에서 1 WAVES를 인출하려고 했습니다.

그녀에게도 효과가 없었습니다.

다음 부분에서는 Alice dApp 계정의 불완전성과 관련된 보다 복잡한 문제를 살펴보겠습니다.

출처 : habr.com