ການຮຽນຮູ້ການຂຽນສັນຍາສະຫຼາດ Waves ໃນ RIDE ແລະ RIDE4DAPPS. ສ່ວນທີ 1 (ກະເປົາເງິນຫຼາຍຜູ້ໃຊ້)

ສະບາຍດີທຸກຄົນ!

ບໍ່ດົນມານີ້, Waves Labs ປະ​ກາດ ການ​ແຂ່ງ​ຂັນ​ສໍາ​ລັບ​ການ​ພັດ​ທະ​ນາ​ທີ່​ອຸ​ທິດ​ຕົນ​ເພື່ອ​ການ​ປ່ອຍ​ຂອງ​ການ​ຂະ​ຫຍາຍ​ພາ​ສາ​ສັນ​ຍາ smart RIDE ສໍາ​ລັບ​ຄໍາ​ຮ້ອງ​ສະ​ຫມັກ​ແບ່ງ​ປັນ Ride4Dapps ເຂົ້າ​ໄປ​ໃນ​ເຄືອ​ຂ່າຍ​ການ​ທົດ​ສອບ​!

ພວກເຮົາເລືອກກໍລະນີ DAO ເພາະວ່າ Ventuary ວາງແຜນທີ່ຈະພັດທະນາ dApps ດ້ວຍຫນ້າທີ່ສັງຄົມ: ການລົງຄະແນນສຽງ, ການລະດົມທຶນ, ການຄຸ້ມຄອງຄວາມໄວ້ວາງໃຈ, ແລະອື່ນໆ.
ພວກເຮົາເລີ່ມຕົ້ນດ້ວຍຕົວຢ່າງງ່າຍໆໃນ ຊ່ວງຖາມ-ຕອບ ແລະໃນ ຂີ່ IDE - ຕົວຢ່າງກັບ ກະເປົາເງິນທີ່ໃຊ້ຮ່ວມກັນ.

ໃຫ້ເບິ່ງຕົວຢ່າງນີ້, ທົດສອບ hypotheses ແລະເບິ່ງ odids ບາງ:

ຂໍໃຫ້ພວກເຮົາມີ Alice - ເຈົ້າຂອງ dApp
Boob ແລະ Cooper ແມ່ນຄູ່ຮ່ວມງານຂອງ Alice, ຜູ້ຮ່ວມກໍ່ຕັ້ງຂອງ Alice-BC DAO
Neli ເປັນເຈົ້າຂອງທຸລະກິດທີ່ຕ້ອງການເງິນ
ທະນາຄານ - ທະນາຄານທີ່ແຈກຢາຍ tokens

ໄລຍະທີ 1. ການດຸ່ນດ່ຽງເບື້ອງຕົ້ນ

ເພື່ອໃຫ້ໄດ້ຮັບ tokens ໃນເຄືອຂ່າຍການທົດສອບຄື້ນ, ທ່ານຈໍາເປັນຕ້ອງຕິດຕໍ່ ກauອກນ້ ຳ ແລະຊີ້ບອກທີ່ຢູ່ທີ່ຈະສົ່ງ tokens.
ທ່ານສາມາດຊອກຫາທີ່ຢູ່ໃນ IDE ໂດຍການເປີດລາຍລະອຽດບັນຊີຂອງທ່ານ.
ພວກເຮົາເນັ້ນໃສ່ທະນາຄານ 10 WAVES. ຫຼັງຈາກນັ້ນ, ພວກເຮົາກວດເບິ່ງວ່າພວກເຂົາມາຮອດຜ່ານຕົວທ່ອງເວັບ block ແລະທຸລະກໍາ: ຜູ້ທົບທວນ

ຕອນນີ້ໃຫ້ແຈກຢາຍ tokens ຈາກທະນາຄານໃຫ້ຜູ້ເຂົ້າຮ່ວມສ່ວນທີ່ເຫຼືອ. (ໝາຍເຫດ: ທຸລະກຳທັງໝົດໃນເຄືອຂ່າຍຄື້ນແມ່ນບໍ່ໄດ້ເສຍຄ່າ, ສະນັ້ນ ຕ້ອງມີຍອດເງິນບວກຂັ້ນຕ່ຳສຳລັບຜູ້ເຂົ້າຮ່ວມທັງໝົດເພື່ອເຮັດທຸລະກຳ).

1 WAVES = 100000000 ຫນ່ວຍ (wavelets), ເນື່ອງຈາກວ່າຈໍານວນສາມາດເປັນຈໍານວນພຽງແຕ່
0.01 WAVES (ຄ່າທໍານຽມການເຮັດທຸລະກໍາ) = 1000000

ທະນາຄານ -> [3 WAVES] -> Alice, ຜ່ານ TransferTransaction (ປະເພດ: 4).

ພວກເຮົາກວດເບິ່ງວ່າ env.SEED ຈາກການເຮັດທຸລະກໍາໃດຖືກເຊັນກົງກັບທະນາຄານຂອງພວກເຮົາ:


ຖ້າທ່ານບໍ່ມີປະໂຫຍກເມັດທີ່ກົງກັນ, ພຽງແຕ່ປ່ຽນໄປໃສ່ມັນຢູ່ໃນແຖບບັນຊີແລ້ວກວດເບິ່ງອີກຄັ້ງ.
ຫຼັງຈາກນີ້, ພວກເຮົາສ້າງ, ປະກາດແລະເຊັນສັນຍາການໂອນເງິນຂອງ 3 WAVES Alice.
ທ່ານຍັງສາມາດຊອກຫາຂໍ້ມູນຂອງ Alice ຜ່ານຕົວແປ env.accounts ໄດ້. ຕົວເລກເລີ່ມຕົ້ນຈາກ 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 ຈະເປັນຜູ້ສ້າງ ແລະເປັນເຈົ້າຂອງແອັບພລິເຄຊັນທີ່ມີການແບ່ງຂັ້ນຄຸ້ມຄອງ.
ໄປທີ່ບັນຊີ, ຕັ້ງມັນເປັນ SEED ແລະກວດເບິ່ງ env.SEED ກົງກັບ Alice.

ໃຫ້ພະຍາຍາມຕິດຕັ້ງສະຄິບທີ່ງ່າຍດາຍທີ່ສຸດທີ່ເປັນໄປໄດ້ (ສັນຍາ) ໃນບັນຊີຂອງ Alice.
ການຕິດຕໍ່ອັດສະລິຍະໃນ Waves ແມ່ນ predicates ທີ່ຫ້າມຫຼືອະນຸຍາດໃຫ້ປະເພດຂອງທຸລະກໍາຂາອອກໃດໆທີ່ຈະເກີດຂຶ້ນພາຍໃຕ້ເງື່ອນໄຂສະເພາະໃດຫນຶ່ງ. ໃນກໍລະນີນີ້, ເງື່ອນໄຂນີ້ແມ່ນສະເຫມີ. ລະຫັດສັນຍາແມ່ນຄວາມຈິງ. ໂທ deploy().

ຄ່າທຳນຽມຕໍ່ທຸລະກຳ setScript 1400000/100000000 = 0.014 WAVES. Alice ມີ 2.986 WAVES ເຫຼືອຢູ່ໃນຍອດເງິນຂອງນາງ.

ຕອນນີ້ໃຫ້ພະຍາຍາມຕິດຕັ້ງເຫດຜົນຂອງສັນຍາສະຫມາດທີ່ສັບສົນຫຼາຍໃນບັນຊີ Alice, ອະທິບາຍໄວ້ໃນ ຕົວຢ່າງ

Ride4Dapps ໃນປັດຈຸບັນປະກອບມີ 2 ປະເພດຄໍາບັນຍາຍໃຫມ່:

1. @Callable(i) — ໃຊ້​ເວ​ລາ​ເປັນ​ຕົວ​ກໍາ​ນົດ​ການ i​, ຂໍ້​ມູນ​ກ່ຽວ​ກັບ​ການ​ທີ່​ບັນ​ຊີ​ທີ່​ເອີ້ນ​ວ່າ / ເຊັນ​ທຸ​ລະ​ກໍາ​. ມັນເປັນຜົນມາຈາກການເຮັດວຽກນີ້ທີ່ກໍານົດການປ່ຽນແປງໃນສະຖານະຂອງບັນຊີ dApp. ບັນຊີອື່ນສາມາດສ້າງທຸລະກໍາແລະປະຕິບັດຫນ້າທີ່ມີຄໍາອະທິບາຍນີ້ແລະປ່ຽນສະຖານະຂອງບັນຊີ dApp.
2. @Verifier(tx) - ຕົວກວດສອບການເຮັດທຸລະກໍາທີ່ມີຕົວກໍານົດການເຮັດທຸລະກໍາ tx. ກົງກັບເຫດຜົນຂອງ predicate ຈາກ RIDE. ມັນແມ່ນຢູ່ໃນການສະແດງອອກນີ້ທີ່ທ່ານສາມາດອະນຸຍາດໃຫ້ຫຼືຫ້າມການປ່ຽນແປງເພີ່ມເຕີມຕໍ່ກັບເຫດຜົນຂອງສັນຍາສະຫມາດໃນບັນຊີ dApp.

ໃຫ້ເຮັດ dApp ບັນຊີເປັນກະເປົາເງິນທົ່ວໄປສຳລັບຜູ້ເຂົ້າຮ່ວມທັງໝົດ.

ເພື່ອກວດເບິ່ງວ່າສັນຍາໃດທີ່ປະຈຸບັນມີການເຄື່ອນໄຫວຢູ່ໃນບັນຊີຂອງທ່ານ, ທ່ານສາມາດຄັດລອກລະຫັດ base64 ຂອງສັນຍາສະຫມາດໃນ block explorer ແລະຮັບຮູ້ມັນໂດຍໃຊ້ decompiler (ຕົວຢ່າງເຊັ່ນ)

ພວກເຮົາໃຫ້ແນ່ໃຈວ່າເຫດຜົນຂອງສັນຍາສະຫມາດກົງກັບສິ່ງທີ່ພວກເຮົາຄາດຫວັງ.
Alice ມີ 2.972 WAVES ເຫຼືອຢູ່ໃນຍອດເງິນຂອງນາງ.

dApp ນີ້ຕິດຕາມຈໍານວນຜູ້ເຂົ້າຮ່ວມແຕ່ລະຄົນປະກອບສ່ວນເຂົ້າໃນກອງທຶນທົ່ວໄປໂດຍຜ່ານກົນໄກ ທຸລະກຳຂໍ້ມູນ — DataEntry(CurrentKey, newAmount), ທີ່ currentKey ແມ່ນບັນຊີທີ່ເອີ້ນຟັງຊັນເງິນຝາກ, ແລະ newAmount ແມ່ນມູນຄ່າຂອງຍອດເງິນທີ່ເຫຼືອ.

Boob ແລະ Cooper ຝາກເງິນເຂົ້າບັນຊີ dApp ດ້ວຍ 1 WAVES.

ພວກເຮົາເຮັດຜິດພາດແລະການເຮັດທຸລະກໍາບໍ່ຜ່ານ. ນັບຕັ້ງແຕ່, ເຖິງວ່າຈະມີຄວາມຈິງທີ່ວ່າພວກເຮົາຫມັ້ນໃຈວ່າພວກເຮົາເຮັດທຸລະກໍາໃນນາມຂອງ Bob, ພວກເຮົາໄດ້ເຮັດຜິດພາດໃນດັດສະນີແລະຊີ້ໃຫ້ເຫັນບັນຊີທະນາຄານທີ່ບໍ່ມີສັນຍາສະຫມາດ. ມັນເປັນມູນຄ່າທີ່ສັງເກດວ່າຈຸດສໍາຄັນຢູ່ທີ່ນີ້ - ມີຄ່າທໍານຽມສໍາລັບຄວາມພະຍາຍາມທີ່ບໍ່ປະສົບຜົນສໍາເລັດໃນການລິເລີ່ມການເຮັດທຸລະກໍາ. ບໍ່ສາມາດເອົາອອກໄດ້! Alice ມີ 2.972 WAVES ເຫຼືອຢູ່ໃນຍອດເງິນຂອງນາງ. Bob ມີ 3 Waves.

Bob ສົ່ງ 1 WAVES ໄປຫາບັນຊີ dApp.

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 ໃນກະເປົາເງິນທົ່ວໄປໃນ block explorer ໃນແຖບຂໍ້ມູນ.

Cooper ໄດ້ປ່ຽນໃຈກ່ຽວກັບການປະໄວ້ຈໍານວນ 1 WAVES ຢູ່ໃນກະເປົາເງິນທົ່ວໄປແລະຕັດສິນໃຈຖອນເຄິ່ງຫນຶ່ງຂອງຄວາມໃກ້ຊິດ. ເພື່ອເຮັດສິ່ງນີ້, ລາວຕ້ອງໂທຫາຫນ້າທີ່ຖອນຕົວ.

ຢ່າງໃດກໍຕາມ, ພວກເຮົາຜິດພາດອີກເທື່ອຫນຶ່ງ, ເນື່ອງຈາກວ່າຟັງຊັນການຖອນຕົວມີຕົວກໍານົດການທີ່ແຕກຕ່າງກັນຫມົດແລະມີລາຍເຊັນທີ່ແຕກຕ່າງກັນ. ເມື່ອທ່ານອອກແບບສັນຍາສະຫມາດໃນ RIDE4DAPPS ທ່ານຄວນເອົາໃຈໃສ່ກັບຈຸດນີ້

ດຽວນີ້ Cooper ມີ 2.48 WAVES ໃນໃບດຸ່ນດ່ຽງຂອງມັນ. ຕາມນັ້ນແລ້ວ, 3 WAVES - 1 - 0.01, ແລະຫຼັງຈາກນັ້ນ + 0.5 - 0.01. ຕາມ​ນັ້ນ​ແລ້ວ, ​ແຕ່​ລະ​ໂທ​ຫາ​ຝາກ​ແລະ​ຖອນ​ຄ່າ​ໃຊ້​ຈ່າຍ 0.01 WAVES. ດັ່ງນັ້ນ, ລາຍການໃນຕາຕະລາງເຈົ້າຂອງ dApps ມີການປ່ຽນແປງດັ່ງຕໍ່ໄປນີ້.

Bob ຍັງຕັດສິນໃຈຖອນເງິນຈໍານວນນຶ່ງອອກຈາກກະເປົາເງິນທີ່ໃຊ້ຮ່ວມກັນ, ແຕ່ເຮັດຜິດພາດ ແລະພະຍາຍາມຖອນເງິນ 1.5 WAVES.

ຢ່າງໃດກໍຕາມ, ສັນຍາສະຫມາດມີການກວດສອບສະຖານະການນີ້.

Xena ເປັນຜູ້ຫລອກລວງ, ນາງໄດ້ພະຍາຍາມຖອນ 1 WAVES ຈາກບັນຊີທັງຫມົດ.

ມັນບໍ່ໄດ້ຜົນສໍາລັບນາງຄືກັນ.

ໃນສ່ວນຕໍ່ໄປ, ພວກເຮົາຈະເບິ່ງບັນຫາທີ່ສັບສົນຫຼາຍທີ່ກ່ຽວຂ້ອງກັບຄວາມບໍ່ສົມບູນຂອງບັນຊີ Alice dApp.

ແຫຼ່ງຂໍ້ມູນ: www.habr.com