Waves smart ຊັບ​ສິນ​: ບັນ​ຊີ​ລາຍ​ການ​ສີ​ດໍາ​ແລະ​ສີ​ຂາວ​, ການ​ຊື້​ຂາຍ​ໄລ​ຍະ​ຫ່າງ​

ໃນສອງບົດຄວາມທີ່ຜ່ານມາພວກເຮົາໄດ້ສົນທະນາກ່ຽວກັບບັນຊີ smart ແລະວິທີການທີ່ເຂົາເຈົ້າສາມາດຖືກນໍາໃຊ້ ສໍາລັບການຖືການປະມູນແລະການສ້າງໂຄງການຄວາມສັດຊື່ແລະຍັງຊ່ວຍ ຮັບປະກັນຄວາມໂປ່ງໃສຂອງເຄື່ອງມືທາງດ້ານການເງິນ.

ຕອນນີ້ພວກເຮົາຈະເບິ່ງຊັບສິນອັດສະລິຍະແລະຫຼາຍໆກໍລະນີຂອງການນໍາໃຊ້ຂອງພວກເຂົາ, ລວມທັງການແຊ່ແຂງຊັບສິນແລະການສ້າງຂໍ້ຈໍາກັດກ່ຽວກັບການເຮັດທຸລະກໍາຢູ່ໃນທີ່ຢູ່ທີ່ກໍານົດໄວ້.

Waves Smart Assets ອະນຸຍາດໃຫ້ຜູ້ໃຊ້ສາມາດວາງທັບສະຄຣິບເທິງຊັບສິນ, ປະຕິບັດຕາມກົນໄກດຽວກັນກັບບັນຊີອັດສະລິຍະ. ແຕ່ລະທຸລະກໍາໃຫມ່ທີ່ສ້າງຂຶ້ນໂດຍໃຊ້ຊັບສິນອັດສະລິຍະຈະຖືກຢືນຢັນກ່ອນໂດຍສະຄິບ, ແລະພຽງແຕ່ຫຼັງຈາກນັ້ນໂດຍ blockchain.

ມັນເປັນມູນຄ່າທີ່ສັງເກດວ່າຄວາມແຕກຕ່າງຕໍ່ໄປນີ້ລະຫວ່າງຊັບສິນ smart ແລະບັນຊີ smart:

1. ໃນລະຫັດຂອງຊັບສິນທີ່ສະຫຼາດ, ມັນເປັນໄປບໍ່ໄດ້ທີ່ຈະກວດສອບຫຼັກຖານ (ພວກເຮົາໄດ້ເວົ້າກ່ຽວກັບພວກມັນ ໃນບົດຄວາມທໍາອິດ).
2. ໃນລະຫັດບັນຊີອັດສະລິຍະ, ທ່ານສາມາດກວດສອບ ExchangeTransaction ພຽງແຕ່ວ່າບັນຊີຂອງທ່ານເປັນບັນຊີທີ່ກົງກັນ. ຖ້າບໍ່ດັ່ງນັ້ນ, ພຽງແຕ່ຄໍາສັ່ງຖືກກວດສອບ. ໃນລະຫັດຊັບສິນອັດສະລິຍະ, ທ່ານບໍ່ສາມາດກວດສອບການສັ່ງຊື້ໂດຍກົງໄດ້; ທ່ານສາມາດກວດສອບ ExchangeTransaction, ແລະຖ້າຈໍາເປັນ, ສະກັດຄໍາສັ່ງຈາກມັນ.
3. ຊັບສິນອັດສະລິຍະ, ບໍ່ຄືກັບບັນຊີອັດສະລິຍະ, ບໍ່ມີສະຖານະ, ແຕ່ພວກເຮົາຍັງສາມາດເຂົ້າເຖິງສະຖານະບັນຊີຈາກສະຄຣິບໄດ້.

ຊັບສິນອັດສະລິຍະເຮັດໃຫ້ການຂຽນສັນຍາງ່າຍຂຶ້ນຫຼາຍ, ເຮັດໃຫ້ການຈັດຕັ້ງປະຕິບັດຫຼາຍກໍລະນີມີຄວາມຊັດເຈນ ແລະສະຫງ່າງາມ.

ຊັບສິນຖືກຢຸດ

ເພື່ອ freeze ຊັບສິນໃຫ້ຄວາມສູງຂອງຕັນທີ່ແນ່ນອນ ຄວາມສູງເປົ້າໝາຍ, ທ່ານພຽງແຕ່ສາມາດກໍານົດຄ່ານີ້ຢູ່ໃນສະຄິບຂອງຊັບສິນ smart ດັ່ງຕໍ່ໄປນີ້:

let targetHeight = 1500000
height >= targetHeight
 
height - функция языка, возращающая текущую высоту.

ເງື່ອນໄຂສະເພາະຂອງ Matcher

ເພື່ອຕັ້ງຕົວຈັບຄູ່ສະເພາະເປັນທີ່ຕ້ອງການ, ທ່ານສາມາດຕັ້ງທີ່ຢູ່ຂອງມັນເປັນຜູ້ສົ່ງໃນສະຄຣິບຊັບສິນອັດສະລິຍະທີ່ມີລັກສະນະດັ່ງນີ້:

match tx {
    case t : ExchangeTransaction =>
        t.sender == addressFromString("3PJaDyprvekvPXPuAtxrapacuDJopgJRaU3")
    case _ => true
}

"ບັນຊີລາຍຊື່ສີຂາວ" ຂອງຜູ້ຮັບ

ເພື່ອອະນຸຍາດໃຫ້ tokens ຖືກສົ່ງໄປຫາບັນຊີທີ່ແນ່ນອນ - ເພື່ອສ້າງ "ບັນຊີລາຍຊື່ສີຂາວ" ຂອງຜູ້ຮັບ - ທ່ານສາມາດນໍາໃຊ້ຊັບສິນທີ່ສະຫລາດທີ່ມີໂຄງການຕໍ່ໄປນີ້ທີ່ກວດສອບການລວມຢູ່ໃນບັນຊີລາຍຊື່:

match tx {
  case t : TransferTransaction =>
    let trustedRecipient1 = addressFromString("3P6ms9EotRX8JwSrebeTXYVnzpsGCrKWLv4")
    let trustedRecipient2 = addressFromString("3PLZcCJyYQnfWfzhKXRA4rteCQC9J1ewf5K")
    let trustedRecipient3 = addressFromString("3PHrS6VNPRtUD8MHkfkmELavL8JnGtSq5sx")
    t.recipient == trustedRecipient1 || t.recipient == trustedRecipient2 || t.recipient == trustedRecipient3
  case _ => false
}

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

"ບັນຊີລາຍຊື່ສີດໍາ" ຂອງຜູ້ຮັບ

ເຊັ່ນດຽວກັນ, ເພື່ອຫ້າມການສົ່ງ tokens ໄປຫາບັນຊີທີ່ແນ່ນອນ, ທ່ານສາມາດສ້າງ "ບັນຊີລາຍຊື່ສີດໍາ". ໃນ​ກໍ​ລະ​ນີ​ນີ້, ແທ້ຈິງຊັບສົມບັດ smart ດຽວກັນຖືກນໍາໃຊ້, ແຕ່ມີທີ່ຢູ່ກວດສອບເພື່ອຮັບປະກັນວ່າມັນບໍ່ໄດ້ຢູ່ໃນບັນຊີດໍາ:

match tx {
  case t : TransferTransaction =>
    let bannedRecipient1 = addressFromString("3P6ms9EotRX8JwSrebeTXYVnzpsGCrKWLv4")
    let bannedRecipient2 = addressFromString("3PLZcCJyYQnfWfzhKXRA4rteCQC9J1ewf5K")
    let bannedRecipient3 = addressFromString("3PHrS6VNPRtUD8MHkfkmELavL8JnGtSq5sx")
    t.recipient != bannedRecipient1 && t.recipient != bannedRecipient2 && t.recipient != bannedRecipient3
  case _ => false
}

ການ​ສົ່ງ​ໂດຍ​ການ​ອະ​ນຸ​ຍາດ​ຂອງ​ຜູ້​ອອກ​

ການນໍາໃຊ້ຊັບສິນອັດສະລິຍະ, ທ່ານຍັງສາມາດກໍານົດທາງເລືອກທີ່ຈະສົ່ງຊັບສິນອັດສະລິຍະພຽງແຕ່ໄດ້ຮັບການອະນຸຍາດຈາກຜູ້ອອກ (ປ້າຍສັນຍາ/ໜີ້ສິນ). ຜູ້ອອກບັດສະແດງຄວາມຍິນຍອມໂດຍການວາງ ID ທຸລະກໍາຢູ່ໃນສະຖານະຂອງບັນຊີຂອງຕົນ:

match tx {
  case t : TransferTransaction =>
    let issuer = extract(addressFromString("3P6ms9EotRX8JwSrebeTXYVnzpsGCrKWLv4"))
    #убеждаемся, что в стейте эмитента содержится ID текущей транзакции
    isDefined(getInteger(issuer, toBase58String(t.id)))
  case _ => false
}

ແລກປ່ຽນພຽງແຕ່ສໍາລັບຫຼຽນທີ່ແນ່ນອນ

ຊັບສິນອັດສະລິຍະອະນຸຍາດໃຫ້ແລກປ່ຽນມັນສະເພາະກັບຫຼຽນສະເພາະເທົ່ານັ້ນ. ສໍາລັບຕົວຢ່າງ, ພຽງແຕ່ອະນຸຍາດໃຫ້ແລກປ່ຽນສໍາລັບ Bitcoins, ທ່ານສາມາດນໍາໃຊ້ລະຫັດດັ່ງຕໍ່ໄປນີ້:

let BTCId = base58'8LQW8f7P5d5PZM7GtZEBgaqRPGSzS3DfPuiXrURJ4AJS'
match tx {
  case t : ExchangeTransaction =>
    t.sellOrder.assetPair.priceAsset == BTCId ||
     t.sellOrder.assetPair.amountAsset == BTCId
  case _ => true
}

ການຊື້ຂາຍໂດຍລາຄາຈາກ oracle

ໃນສະຄິບຊັບສິນທີ່ສະຫຼາດ, ທ່ານສາມາດກໍານົດການອະນຸຍາດໃຫ້ຊື້ຂາຍໃນລາຄາທີ່ຄົງທີ່ຢູ່ໃນສະຖານະຂອງ oracle ທີ່ເຊື່ອຖືໄດ້ເທົ່ານັ້ນ. ນີ້ແມ່ນຕົວຢ່າງຂອງ script ດັ່ງກ່າວ:

let oracle = Address(base58'3PLNmokt22NrSiNvCLvwMUP84LCMJqbXwAD')
let assetId = toBase58String(base58'oWgJN6YGZFtZrV8BWQ1PGktZikgg7jzGmtm16Ktyvjd')
 
match tx {
  #запрещаем передачу ассета
  case t: TransferTransaction | MassTransferTransaction => false
  case e: ExchangeTransaction =>
    #убеждаемся, что торговля происходит по цене, заданной в стейте оракла для этого ассета
    let correctPrice = e.price == extract(getInteger(oracle, assetId))
    #убеждаемся, что торговля происходит в обмен на WAVES
    let correctPriceAsset = !isDefined(e.sellOrder.assetPair.priceAsset) 
correctPrice && correctPriceAsset
  case _ => true
}

ໃນທີ່ນີ້ພວກເຮົາກໍາລັງປະເຊີນກັບຈຸດທີ່ບໍ່ຊັດເຈນໃນເວລາທີ່ການກວດສອບ ID ຂອງຊັບສິນທີ່ມີການຊື້ຂາຍທີ່ດໍາເນີນ. ຈຸດແມ່ນວ່າຖ້າ ID ຊັບສິນບໍ່ໄດ້ຖືກກໍານົດ, ຫຼັງຈາກນັ້ນພວກເຮົາກໍາລັງເວົ້າກ່ຽວກັບ WAVES. ໃນສະຄິບ, ພວກເຮົາໃຫ້ແນ່ໃຈວ່າການຊື້ຂາຍແມ່ນດໍາເນີນໄປພ້ອມໆກັບ WAVES, ໃນທາງນີ້ແທ້ໆ.

ການເພີ່ມຂຶ້ນຂອງລາຄາຄົງທີ່

ທ່ານ​ສາ​ມາດ​ກໍາ​ນົດ​ລາ​ຄາ​ຄົງ​ທີ່​ສໍາ​ລັບ​ຊັບ​ສິນ smart ໄດ້​, ເຊິ່ງ​ຈະ​ເພີ່ມ​ຂຶ້ນ​ຂັ້ນ​ຕອນ​ທີ​ໃນ​ອັດ​ຕາ​ສ່ວນ​ທີ່​ໄດ້​ຮັບ​. ນີ້ແມ່ນຕົວຢ່າງຂອງ script ຊັບສິນທີ່ລາຄາຈະເພີ່ມຂຶ້ນ 5% ທຸກໆ 1000 ຕັນ:

let startPrice = 10
let startHeight = 1000
let interval = 1000
#на сколько процентов цена увеличивается за один шаг
let raise = 5
 
match tx {
  case t: TransferTransaction | MassTransferTransaction => false
  case e: ExchangeTransaction =>
    e.price == startPrice + ((height - startHeight) / interval) * (100 + raise) / 100
    && !isDefined(e.sellOrder.assetPair.priceAsset)
  case _ => true
}

ການຊື້ຂາຍໄລຍະຫ່າງ

ນອກຈາກນັ້ນ, ຂໍຂອບໃຈກັບສະຄິບ, ການຊື້ຂາຍຊັບສິນທີ່ສະຫຼາດສາມາດຖືກຈໍາກັດໃນໄລຍະເວລາທີ່ກໍານົດໄວ້ກ່ອນ. ນີ້ແມ່ນຕົວຢ່າງຂອງ script ດັ່ງກ່າວ:

let startHeight = 10000
let interval = 44000
let limit = 1500
 
match tx {
  case t: TransferTransaction | MassTransferTransaction | ExchangeTransaction =>
    (height - startHeight) % interval < limit
  case _ => true
}

ໃນສະຄິບທີ່ພວກເຮົາໃຫ້ແນ່ໃຈວ່າຈາກການເລີ່ມຕົ້ນຂອງການຊື້ຂາຍ ຄວາມສູງເລີ່ມຕົ້ນ ບໍ່ເກີນ ກໍານົດຂອບເຂດ ໄລຍະຫ່າງ. ຄວາມຍາວຂອງໄລຍະຫ່າງແມ່ນເທົ່າກັບຈໍານວນຂອງຕັນທີ່ລະບຸໄວ້ໃນພາກສະຫນາມ ໄລຍະຫ່າງ.

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