ვისწავლეთ Waves ჭკვიანი კონტრაქტების დაწერა RIDE-ზე და RIDE4DAPPS-ზე. ნაწილი 1 (მრავალ მომხმარებლის საფულე)

გაუმარჯოს ყველას!

ახლახან Waves Labs გამოცხადდა კონკურსი დეველოპერებისთვის, რომელიც ეძღვნება RIDE ჭკვიანი კონტრაქტის ენის გაფართოების გამოშვებას დეცენტრალიზებული აპლიკაციებისთვის Ride4Dapps სატესტო ქსელში!

ჩვენ ავირჩიეთ DAO საქმე იმიტომ ვენტუარი გეგმავს dApp-ების განვითარებას სოციალური ფუნქციებით: ხმის მიცემა, ფონდების მოზიდვა, ნდობის მართვა და ა.შ.
ჩვენ დავიწყეთ მარტივი მაგალითით კითხვა-პასუხის სესიები და RIDE IDE - მაგალითად საერთო საფულე.

მოდით შევხედოთ ამ მაგალითს, შევამოწმოთ ჰიპოთეზები და შევხედოთ რამდენიმე უცნაურობას:

მოდით გვყავს Alice - dApp მფლობელი
ბუბი და კუპერი არიან Alice-ის პარტნიორები, Alice-BC DAO-ს თანადამფუძნებლები
ნელი ბიზნესის მფლობელია, რომელსაც დაფინანსება სჭირდება
ბანკი - ბანკი, რომელიც ავრცელებს ტოკენებს

ეტაპი 1. ნაშთების ინიციალიზაცია

იმისათვის, რომ მიიღოთ ნიშნები ტალღების ტესტირების ქსელში, თქვენ უნდა დაუკავშირდეთ faucet და მიუთითეთ მისამართი, რომელზეც უნდა გაიგზავნოთ ტოკენები.
თქვენ შეგიძლიათ იპოვოთ მისამართი IDE-ში თქვენი ანგარიშის დეტალების გახსნით.
ჩვენ ხაზს ვუსვამთ ბანკ 10 ტალღებს. შემდეგ ვამოწმებთ, რომ ისინი ჩამოვიდნენ ბლოკისა და ტრანზაქციის ბრაუზერის მეშვეობით: მიმომხილველი

ახლა მოდით გავანაწილოთ ტოკენები ბანკიდან დანარჩენ მონაწილეებზე. (შენიშვნები: ტალღების ქსელში ყველა ტრანზაქცია უფასო არ არის, ამიტომ ტრანზაქციის განსახორციელებლად ყველა მონაწილეს სჭირდება მინიმალური დადებითი ბალანსი).

1 ტალღა = 100000000 ერთეული (ტალღები), რადგან თანხები შეიძლება იყოს მხოლოდ მთელი რიცხვი
0.01 WAVES (ტრანზაქციის საკომისიო) = 1000000

ბანკი -> [3 WAVES] -> Alice, TransferTransaction-ით (ტიპი: 4).

ჩვენ ვამოწმებთ, რომ env.SEED, საიდანაც გაფორმებულია ტრანზაქციები, ემთხვევა ჩვენს ბანკს:


თუ არ გაქვთ შესაბამისი საწყის ფრაზა, უბრალოდ გადაერთეთ მასზე ანგარიშების ჩანართში და შეამოწმეთ ხელახლა.
ამის შემდეგ ჩვენ ვქმნით, ვაცხადებთ და ვაფორმებთ ტრანზაქციას 3 ტალღის ალისის გადაცემისთვის.
თქვენ ასევე შეგიძლიათ გაიგოთ ალისის მონაცემები env.accounts ცვლადის საშუალებით. ნუმერაცია იწყება 0-დან, ამიტომ Alice არის env.accounts[1].

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

შედეგი ასევე შეიძლება დაფიქსირდეს ბრაუზერში, მისი ბმული დაგვიბრუნდება შესრულებისთანავე გარიგებები.

ჩვენ დავრწმუნდებით, რომ ალისის ბალანსი შევსებულია 3 ტალღით, ხოლო საბანკო ბალანსი რჩება 10 - 3 - 0.01 = 0.699.

ჩვენ ვუგზავნით ბუბს და კუპერს თითო 3 ტალღას, ხოლო ნელის, ზენას და მარკს 0.2 ტალღას ერთნაირად.
(შენიშვნები: ჩვენ დავუშვით ერთი სიმბოლოს შეცდომა და გავგზავნეთ Neli 0.02 WAVES. ფრთხილად იყავით!)

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

ყველა მონაწილის ნაშთების შევსების შემდეგ, ჩვენ ვხედავთ:

ეტაპი 2. შექმენით dApp ანგარიში

ჩვენ შევთანხმდით, რომ ალისა იქნებოდა დეცენტრალიზებული აპლიკაციის შემქმნელი და მფლობელი.
გადადით Accounts-ზე, დააყენეთ ის როგორც SEED და შეამოწმეთ env.SEED შეესაბამება Alice.

შევეცადოთ დავაინსტალიროთ უმარტივესი სკრიპტი (კონტრაქტი) ალისის ანგარიშზე.
Smart კონტაქტები Waves-ში არის პრედიკატები, რომლებიც კრძალავს ან საშუალებას აძლევს რაიმე სახის გამავალი ტრანზაქციის განხორციელებას გარკვეულ პირობებში. ამ შემთხვევაში, ეს მდგომარეობა ყოველთვის არის. ხელშეკრულების კოდი მართალია. Call deploy().

საკომისიო თითო setScript ტრანზაქციაზე 1400000/100000000 = 0.014 WAVES. ალისს ბალანსზე დარჩა 2.986 ტალღა.

მოდით ახლა ვეცადოთ დავაინსტალიროთ უფრო რთული ჭკვიანი კონტრაქტის ლოგიკა ალისის ანგარიშზე, რომელიც აღწერილია აქ მაგალითი

Ride4Dapps ახლა მოიცავს ანოტაციის 2 ახალ ტიპს:

1. @Callable(i) — i პარამეტრად იღებს მონაცემებს, თუ რომელ ანგარიშზეა გამოძახებული/ხელმოწერილი ტრანზაქცია. ეს არის ამ ფუნქციის შედეგი, რომელიც განსაზღვრავს dApp ანგარიშის მდგომარეობის ცვლილებას. სხვა ანგარიშებს შეუძლიათ შექმნან ტრანზაქციები და შეასრულონ ფუნქციები ამ ანოტაციით და შეცვალონ dApp ანგარიშის მდგომარეობა.
2. @Verifier (tx) — ტრანზაქციის დამადასტურებელი ტრანზაქციის tx პარამეტრით. შეესაბამება პრედიკატის ლოგიკას RIDE-დან. სწორედ ამ გამოთქმაში შეგიძლიათ დაუშვათ ან აკრძალოთ შემდგომი ცვლილებები ჭკვიანი კონტრაქტების ლოგიკაში dApp ანგარიშზე.

Მოდით გავაკეთოთ დოპ ანგარიში, როგორც საერთო საფულე ყველა მონაწილისთვის.

იმის შესამოწმებლად, თუ რომელი კონტრაქტია ამჟამად აქტიური თქვენს ანგარიშზე, შეგიძლიათ დააკოპიროთ სმარტ კონტრაქტის base64 კოდი block Explorer-ში და ამოიცნოთ იგი დეკომპილერის გამოყენებით (მაგალითად)

ჩვენ დარწმუნებული ვართ, რომ ჭკვიანი კონტრაქტის ლოგიკა ემთხვევა იმას, რასაც ველით.
ალისას ბალანსზე დარჩა 2.972 ტალღა.

ეს dApp ადევნებს თვალყურს, თუ რამდენს შეიტანს თითოეული მონაწილე საერთო ფონდში მექანიზმის საშუალებით მონაცემთა ტრანზაქცია - მონაცემთა შეყვანა (მიმდინარე გასაღები, newAmount), სადაც currentKey არის ანგარიში, რომელიც იძახებს დეპოზიტის ფუნქციას, ხოლო newAmount არის შევსებული ბალანსის მნიშვნელობა.

ბუბი და კუპერი დეპოზიტებს ახორციელებენ dApp ანგარიშზე 1 WAVES-ით.

ჩვენ ვუშვებთ შეცდომას და გარიგება არ სრულდება. ვინაიდან, მიუხედავად იმისა, რომ დავრწმუნდით, რომ ვაკეთებდით ტრანზაქციას ბობის სახელით, ჩვენ შეცდომა დავუშვით ინდექსში და მივუთითეთ საბანკო ანგარიში, რომელსაც არ აქვს ჭკვიანი კონტრაქტი. აქ უნდა აღინიშნოს მნიშვნელოვანი წერტილი - არის საკომისიო ტრანზაქციების დაწყების წარუმატებელი მცდელობისთვის არ შეიძლება ამოღება! ალისას ბალანსზე დარჩა 2.972 ტალღა. ბობს აქვს 3 ტალღა.

ბობმა გაგზავნა 1 WAVES dApp ანგარიშზე.

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

ბობს დარჩა 1.99 ტალღა. ანუ ბობმა გადაიხადა 0.01 WAVES საკომისიო

ალისას ბალანსზე ჰქონდა 2.972 ტალღა, ახლა ეს არის 3.972. ტრანზაქცია ასევე დარეგისტრირდა Alice ანგარიშზე, მაგრამ dApp ანგარიშიდან (Alice) საკომისიო არ დარიცხულა.
მას შემდეგ, რაც კუპერმა ასევე შეავსო ანგარიში, ალისის ბალანსი გახდა 4.972 WAVES.

თქვენ შეგიძლიათ გაიგოთ, თუ ვინ ფლობს რამდენი ტალღა საერთო საფულეში ბლოკის მკვლევარში, მონაცემთა ჩანართში.

კუპერმა გადაიფიქრა 1 WAVES ოდენობის გენერალურ საფულეზე დატოვება და გადაწყვიტა ნახევარი ნათესაობის ამოღება. ამისათვის მან უნდა გამოიძახოს გაყვანის ფუნქცია.

თუმცა, ჩვენ ისევ ვცდებოდით, რადგან გაყვანის ფუნქციას აქვს სრულიად განსხვავებული პარამეტრები და განსხვავებული ხელმოწერა. RIDE4DAPPS-ზე ჭკვიანი კონტრაქტების შედგენისას ყურადღება უნდა მიაქციოთ ამ პუნქტს

კუპერს ახლა ბალანსზე აქვს 2.48 ტალღა. შესაბამისად, 3 ტალღა - 1 - 0.01 და შემდეგ + 0.5 - 0.01. შესაბამისად, ყოველი ზარი შესატანად და გასატანად ღირს 0.01 WAVES. შედეგად, dApps მფლობელების ცხრილში ჩანაწერები შეიცვალა შემდეგნაირად.

ბობმა ასევე გადაწყვიტა გარკვეული თანხის ამოღება საერთო საფულედან, მაგრამ შეცდომა დაუშვა და სცადა 1.5 WAVES-ის ამოღება.

თუმცა, ჭკვიან კონტრაქტს ჰქონდა შემოწმება ამ სიტუაციისთვის.

ზენა თაღლითია, მან სცადა 1 ტალღის ამოღება მთლიანი ანგარიშიდან.

არც მას გამოუვიდა.

შემდეგ ნაწილში განვიხილავთ უფრო რთულ საკითხებს, რომლებიც დაკავშირებულია Alice dApp ანგარიშის არასრულყოფილებასთან.

წყარო: www.habr.com