ປ່ຽນ FunC ເຂົ້າໄປໃນ FunCtional ກັບ Haskell: ວິທີການ Serokell ຊະນະການແຂ່ງຂັນ Telegram Blockchain

ເຈົ້າອາດຈະໄດ້ຍິນວ່າ Telegram ກໍາລັງຈະເປີດຕົວແພລະຕະຟອມ Ton blockchain. ແຕ່ທ່ານອາດຈະໄດ້ພາດຂ່າວວ່າບໍ່ດົນກ່ອນຫນ້ານີ້ Telegram ປະກາດການແຂ່ງຂັນ ສໍາລັບການປະຕິບັດສັນຍາສະຫມາດຫນຶ່ງຫຼືຫຼາຍສໍາລັບເວທີນີ້.

ທີມງານ Serokell, ມີປະສົບການຢ່າງກວ້າງຂວາງໃນການພັດທະນາໂຄງການ blockchain ຂະຫນາດໃຫຍ່, ບໍ່ສາມາດຢືນຢູ່ຂ້າງຫນ້າ. ພວກ​ເຮົາ​ໄດ້​ມອບ​ໝາຍ​ໃຫ້​ພະ​ນັກ​ງານ​ຫ້າ​ຄົນ​ເຂົ້າ​ຮ່ວມ​ການ​ແຂ່ງ​ຂັນ, ແລະ​ສອງ​ອາ​ທິດ​ຕໍ່​ມາ​ພວກ​ເຂົາ​ເຈົ້າ​ໄດ້​ຮັບ​ອັນ​ດັບ​ໜຶ່ງ​ໃນ​ນັ້ນ​ພາຍ​ໃຕ້​ຊື່​ຫຼິ້ນ​ແບບ​ສຸ່ມ​ແບບ​ສຸ່ມ​ເລັກໆ​ນ້ອຍໆ Sexy Chameleon. ໃນບົດຄວາມນີ້ຂ້ອຍຈະເວົ້າກ່ຽວກັບວິທີທີ່ພວກເຂົາເຮັດມັນ. ພວກເຮົາຫວັງວ່າໃນສິບນາທີຂ້າງຫນ້າຢ່າງຫນ້ອຍເຈົ້າຈະອ່ານເລື່ອງທີ່ຫນ້າສົນໃຈ, ແລະໃນທີ່ສຸດເຈົ້າຈະພົບເຫັນບາງສິ່ງບາງຢ່າງທີ່ເປັນປະໂຫຍດໃນມັນທີ່ທ່ານສາມາດນໍາໄປໃຊ້ໃນວຽກງານຂອງເຈົ້າ.

ແຕ່ໃຫ້ເລີ່ມຕົ້ນດ້ວຍສະພາບການເລັກນ້ອຍ.

ການແຂ່ງຂັນແລະເງື່ອນໄຂຂອງມັນ

ດັ່ງນັ້ນ, ວຽກງານຕົ້ນຕໍຂອງຜູ້ເຂົ້າຮ່ວມແມ່ນການປະຕິບັດຫນຶ່ງຫຼືຫຼາຍສັນຍາສະຫມາດທີ່ສະເຫນີ, ເຊັ່ນດຽວກັນກັບການເຮັດໃຫ້ຂໍ້ສະເຫນີເພື່ອປັບປຸງລະບົບນິເວດ TON. ການ​ແຂ່ງຂັນ​ໄດ້​ດຳ​ເນີນ​ໄປ​ແຕ່​ວັນ​ທີ 24 ກັນຍາ​ຫາ​ວັນ​ທີ 15 ຕຸລາ​ນີ້, ​ແລະ​ຜົນ​ການ​ແຂ່ງຂັນ​ໄດ້​ປະກາດ​ໃນ​ວັນ​ທີ 15 ພະຈິກ​ເທົ່າ​ນັ້ນ. ຂ້ອນຂ້າງຍາວ, ພິຈາລະນາວ່າໃນໄລຍະເວລານີ້ Telegram ຈັດການແລະປະກາດຜົນການແຂ່ງຂັນກ່ຽວກັບການອອກແບບແລະການພັດທະນາຄໍາຮ້ອງສະຫມັກໃນ C ++ ສໍາລັບການທົດສອບແລະການປະເມີນຄຸນນະພາບຂອງການໂທ VoIP ໃນ Telegram.

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

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

ເປັນຫຍັງພວກເຮົາຈຶ່ງຕັດສິນໃຈເຂົ້າຮ່ວມ?

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

ວຽກງານທີ່ຫນ້າສົນໃຈຂອງການແຂ່ງຂັນແລະການມີສ່ວນຮ່ວມໃນໂຄງການ Telegram ທີ່ຮັກແພງຂອງພວກເຮົາແມ່ນຢູ່ໃນຕົວຂອງມັນເອງເປັນແຮງຈູງໃຈທີ່ດີເລີດ, ແຕ່ກອງທຶນລາງວັນໄດ້ກາຍເປັນແຮງຈູງໃຈເພີ່ມເຕີມ. 🙂

TON ການຄົ້ນຄວ້າ blockchain

ພວກເຮົາຕິດຕາມການພັດທະນາໃຫມ່ໃນ blockchain, ປັນຍາປະດິດແລະການຮຽນຮູ້ເຄື່ອງຈັກຢ່າງໃກ້ຊິດແລະພະຍາຍາມທີ່ຈະບໍ່ພາດການປ່ອຍທີ່ສໍາຄັນໃນແຕ່ລະຂົງເຂດທີ່ພວກເຮົາເຮັດວຽກ. ເພາະສະນັ້ນ, ເມື່ອການແຂ່ງຂັນເລີ່ມຕົ້ນ, ທີມງານຂອງພວກເຮົາໄດ້ຄຸ້ນເຄີຍກັບແນວຄວາມຄິດຈາກ ເຈ້ຍສີຂາວ TON. ຢ່າງໃດກໍ່ຕາມ, ກ່ອນທີ່ຈະເລີ່ມເຮັດວຽກກັບ TON, ພວກເຮົາບໍ່ໄດ້ວິເຄາະເອກະສານດ້ານວິຊາການແລະລະຫັດແຫຼ່ງຕົວຈິງຂອງເວທີ, ດັ່ງນັ້ນຂັ້ນຕອນທໍາອິດແມ່ນຂ້ອນຂ້າງຊັດເຈນ - ການສຶກສາຢ່າງລະອຽດກ່ຽວກັບເອກະສານທາງການ. site ແລະໃນ repositories ໂຄງ​ການ​.

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

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

ມັນຈະງ່າຍຂຶ້ນຖ້າຂໍ້ກໍາຫນົດບໍ່ໄດ້ລວມເອົາລາຍລະອຽດຂອງການປະຕິບັດທັງຫມົດ. ຂໍ້ມູນກ່ຽວກັບວ່າເຄື່ອງ virtual ເປັນຕົວແທນຂອງ stack ຂອງມັນມີແນວໂນ້ມທີ່ຈະລົບກວນນັກພັດທະນາໃນການສ້າງສັນຍາສະຫມາດສໍາລັບເວທີ TON ຫຼາຍກວ່າທີ່ຈະຊ່ວຍພວກເຂົາ.

Nix: ການວາງໂຄງການຮ່ວມກັນ

ທີ່ Serokell ພວກເຮົາເປັນແຟນໃຫຍ່ ນິກ. ພວກເຮົາເກັບກໍາໂຄງການຂອງພວກເຮົາກັບມັນແລະນໍາໃຊ້ໃຫ້ເຂົາເຈົ້ານໍາໃຊ້ NixOps, ແລະຕິດຕັ້ງຢູ່ໃນເຄື່ອງແມ່ຂ່າຍຂອງພວກເຮົາທັງຫມົດ Nix OS. ຂໍຂອບໃຈກັບສິ່ງດັ່ງກ່າວ, ການກໍ່ສ້າງທັງຫມົດຂອງພວກເຮົາແມ່ນສາມາດຜະລິດຄືນໃຫມ່ໄດ້ແລະເຮັດວຽກຢູ່ໃນລະບົບປະຕິບັດການໃດໆທີ່ Nix ສາມາດຕິດຕັ້ງໄດ້.

ດັ່ງນັ້ນພວກເຮົາໄດ້ເລີ່ມຕົ້ນໂດຍການສ້າງ Nix ຊ້ອນທັບກັບການສະແດງຜົນສໍາລັບການປະກອບ TON. ດ້ວຍການຊ່ວຍເຫຼືອຂອງມັນ, ການລວບລວມ TON ແມ່ນງ່າຍດາຍທີ່ສຸດເທົ່າທີ່ເປັນໄປໄດ້:

$ cd ~/.config/nixpkgs/overlays && git clone https://github.com/serokell/ton.nix
$ cd /path/to/ton/repo && nix-shell
[nix-shell]$ cmakeConfigurePhase && make

ໃຫ້ສັງເກດວ່າທ່ານບໍ່ຈໍາເປັນຕ້ອງຕິດຕັ້ງການເພິ່ງພາອາໄສໃດໆ. Nix ຈະເຮັດທຸກຢ່າງໃຫ້ທ່ານຢ່າງມະຫັດສະຈັນ, ບໍ່ວ່າທ່ານຈະໃຊ້ NixOS, Ubuntu, ຫຼື macOS.

ການຂຽນໂປລແກລມສໍາລັບ TON

ລະຫັດສັນຍາອັດສະລິຍະໃນເຄືອຂ່າຍ TON ເຮັດວຽກຢູ່ໃນ TON Virtual Machine (TVM). TVM ມີຄວາມຊັບຊ້ອນຫຼາຍກ່ວາເຄື່ອງ virtual ອື່ນໆ, ແລະມີຫນ້າທີ່ຫນ້າສົນໃຈຫຼາຍ, ຕົວຢ່າງ, ມັນສາມາດເຮັດວຽກຮ່ວມກັບ ສືບຕໍ່ и ການ​ເຊື່ອມ​ຕໍ່​ກັບ​ຂໍ້​ມູນ​.

ຍິ່ງໄປກວ່ານັ້ນ, guys ຈາກ TON ໄດ້ສ້າງສາມພາສາການຂຽນໂປລແກລມໃຫມ່:

ຫ້າ ເປັນພາສາການຂຽນໂປລແກລມ stack ທົ່ວໄປທີ່ຄ້າຍຄືກັບ ໄລຍະ. ຄວາມສາມາດພິເສດຂອງລາວແມ່ນຄວາມສາມາດໃນການພົວພັນກັບ TVM.

FunC ເປັນພາສາການຂຽນໂປລແກລມສັນຍາສະຫມາດທີ່ຄ້າຍຄືກັບ C ແລະຖືກລວບລວມເປັນພາສາອື່ນ - Fift Assembler.

ກອງ​ປະ​ຊຸມ​ທີ​ຫ້າ​ — ຫ້າຫ້ອງສະຫມຸດສໍາລັບການສ້າງລະຫັດ binary executable ສໍາລັບ TVM. Fifth Assembler ບໍ່ມີ compiler. ນີ້ ພາສາສະເພາະຂອງໂດເມນທີ່ຝັງຢູ່ (eDSL).

ການແຂ່ງຂັນຂອງພວກເຮົາເຮັດວຽກ

ສຸດທ້າຍ, ມັນແມ່ນເວລາທີ່ຈະເບິ່ງຜົນໄດ້ຮັບຂອງຄວາມພະຍາຍາມຂອງພວກເຮົາ.

ຊ່ອງ​ທາງ​ການ​ຊໍາ​ລະ asynchronous​

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

ພວກ​ເຮົາ​ພົບ​ເຫັນ​ວິ​ທີ​ແກ້​ໄຂ​ງ່າຍ​ດາຍ​ພົບ​ກັບ​ບັນ​ຫາ​. ສອງ​ຝ່າຍ​ສາມາດ​ແລກປ່ຽນ​ຂໍ້​ຄວາມ​ທີ່​ລົງ​ນາມ, ​ແຕ່​ລະ​ມີ​ສອງ​ຕົວ​ເລກ—ຈຳນວນ​ເຕັມ​ທີ່​ແຕ່ລະ​ຝ່າຍ​ຈ່າຍ​ໃຫ້. ສອງຕົວເລກນີ້ເຮັດວຽກຄືກັບ ໂມງ vector ໃນລະບົບການແຈກຢາຍແບບດັ້ງເດີມແລະກໍານົດຄໍາສັ່ງ "ເກີດຂຶ້ນກ່ອນ" ກ່ຽວກັບການເຮັດທຸລະກໍາ. ການນໍາໃຊ້ຂໍ້ມູນນີ້, ສັນຍາຈະສາມາດແກ້ໄຂຂໍ້ຂັດແຍ່ງທີ່ເປັນໄປໄດ້.

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

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

1. ລາຍ​ລະ​ອຽດ ວິທີການທີ່ຄ້າຍຄືກັນ, ພຽງແຕ່ສໍາລັບກໍລະນີຂອງຊ່ອງທາງ unidirectional.
2. ການສອນ, ເຊິ່ງອະທິບາຍແນວຄວາມຄິດດຽວກັນກັບພວກເຮົາ, ແຕ່ໂດຍບໍ່ມີການອະທິບາຍລາຍລະອຽດທີ່ສໍາຄັນຈໍານວນຫຼາຍ, ເຊັ່ນ: ການແກ້ໄຂທົ່ວໄປແລະຂັ້ນຕອນການແກ້ໄຂຂໍ້ຂັດແຍ່ງ.

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

ພວກເຮົາໄດ້ປະຕິບັດສັນຍາໃນ FunC, ແລະພວກເຮົາໄດ້ຂຽນ utility line ຄໍາສັ່ງສໍາລັບການພົວພັນກັບສັນຍາຂອງພວກເຮົາທັງຫມົດໃນ Fift, ຕາມການແນະນໍາຂອງອົງການຈັດຕັ້ງ. ພວກ​ເຮົາ​ສາ​ມາດ​ເລືອກ​ພາ​ສາ​ອື່ນ​ໃດ​ຫນຶ່ງ​ສໍາ​ລັບ CLI ຂອງ​ພວກ​ເຮົາ, ແຕ່​ພວກ​ເຮົາ​ມີ​ຄວາມ​ສົນ​ໃຈ​ໃນ​ການ​ພະ​ຍາ​ຍາມ Fit ເພື່ອ​ເບິ່ງ​ວ່າ​ມັນ​ປະ​ຕິ​ບັດ​ໃນ​ການ​ປະ​ຕິ​ບັດ.

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

ດັ່ງນັ້ນ, ໃນຄວາມຄິດເຫັນຂອງພວກເຮົາ, ເຫດຜົນພຽງແຕ່ສໍາລັບການມີຢູ່ຂອງ Fift ແມ່ນບົດບາດຂອງຕົນເປັນພາສາເຈົ້າພາບສໍາລັບ Fift Assembler. ແຕ່ມັນດີກວ່າທີ່ຈະຝັງຕົວປະກອບ TVM ເຂົ້າໄປໃນບາງພາສາທີ່ມີຢູ່ແລ້ວ, ແທນທີ່ຈະປະດິດໃຫມ່ສໍາລັບຈຸດປະສົງດຽວທີ່ສໍາຄັນນີ້ບໍ?

TVM Haskell eDSL

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

ເຊັ່ນດຽວກັນກັບ Fift Assembler, ພາສາໃຫມ່ຂອງພວກເຮົາຖືກຝັງໄວ້, ແຕ່ພວກເຮົາເລືອກ Haskell ເປັນເຈົ້າພາບແທນທີ່ຈະເປັນ Fift, ໃຫ້ພວກເຮົາໃຊ້ປະໂຫຍດຢ່າງເຕັມທີ່ຈາກລະບົບປະເພດຂັ້ນສູງຂອງມັນ. ເມື່ອເຮັດວຽກກັບສັນຍາສະຫມາດ, ບ່ອນທີ່ຄ່າໃຊ້ຈ່າຍເຖິງແມ່ນວ່າຄວາມຜິດພາດຂະຫນາດນ້ອຍສາມາດສູງຫຼາຍ, ການພິມແບບຄົງທີ່, ໃນຄວາມຄິດເຫັນຂອງພວກເຮົາ, ແມ່ນປະໂຫຍດອັນໃຫຍ່ຫຼວງ.

ເພື່ອສະແດງໃຫ້ເຫັນສິ່ງທີ່ຕົວປະກອບ TVM ເບິ່ງຄືວ່າຖືກຝັງຢູ່ໃນ Haskell, ພວກເຮົາໄດ້ປະຕິບັດກະເປົາເງິນມາດຕະຖານໃສ່ມັນ. ນີ້ແມ່ນບາງສິ່ງທີ່ຄວນເອົາໃຈໃສ່:

• ສັນຍານີ້ປະກອບດ້ວຍຫນຶ່ງຫນ້າທີ່, ແຕ່ທ່ານສາມາດນໍາໃຊ້ຫຼາຍເທົ່າທີ່ທ່ານຕ້ອງການ. ເມື່ອທ່ານກໍານົດຟັງຊັນໃຫມ່ໃນພາສາເຈົ້າພາບ (i.e. Haskell), eDSL ຂອງພວກເຮົາອະນຸຍາດໃຫ້ທ່ານເລືອກວ່າທ່ານຕ້ອງການໃຫ້ມັນກາຍເປັນປົກກະຕິແຍກຕ່າງຫາກໃນ TVM ຫຼືພຽງແຕ່ inlined ຢູ່ຈຸດຂອງການໂທ.
• ເຊັ່ນດຽວກັນກັບ Haskell, ຫນ້າທີ່ມີປະເພດທີ່ຖືກກວດສອບໃນເວລາລວບລວມ. ໃນ eDSL ຂອງພວກເຮົາ, ປະເພດການປ້ອນຂໍ້ມູນຂອງຟັງຊັນແມ່ນປະເພດຂອງ stack ທີ່ຟັງຊັນຄາດຫວັງ, ແລະປະເພດຜົນໄດ້ຮັບແມ່ນປະເພດຂອງ stack ທີ່ຈະຜະລິດຫຼັງຈາກການໂທ.
• ມີຄໍາບັນຍາຍໃນລະຫັດ stacktype, ອະທິບາຍປະເພດ stack ຄາດວ່າຈະຢູ່ໃນຈຸດໂທ. ໃນສັນຍາ wallet ຕົ້ນສະບັບເຫຼົ່ານີ້ແມ່ນພຽງແຕ່ຄໍາເຫັນ, ແຕ່ໃນ eDSL ຂອງພວກເຮົາຕົວຈິງແລ້ວພວກເຂົາເປັນສ່ວນຫນຶ່ງຂອງລະຫັດແລະຖືກກວດສອບໃນເວລາລວບລວມ. ພວກເຂົາສາມາດຮັບໃຊ້ເປັນເອກະສານຫຼືຄໍາຖະແຫຼງທີ່ຊ່ວຍໃຫ້ຜູ້ພັດທະນາຊອກຫາບັນຫາຖ້າລະຫັດປ່ຽນແປງແລະປະເພດ stack ປ່ຽນແປງ. ແນ່ນອນ, ຄໍາບັນຍາຍດັ່ງກ່າວບໍ່ມີຜົນກະທົບຕໍ່ການປະຕິບັດເວລາແລ່ນ, ເພາະວ່າບໍ່ມີລະຫັດ TVM ຖືກສ້າງຂຶ້ນສໍາລັບພວກມັນ.
• ນີ້ຍັງເປັນຕົວແບບທີ່ຂຽນໄວ້ໃນສອງອາທິດ, ດັ່ງນັ້ນຍັງມີຫຼາຍວຽກທີ່ຕ້ອງເຮັດໃນໂຄງການ. ຕົວຢ່າງ, ທຸກໆຕົວຢ່າງຂອງຊັ້ນຮຽນທີ່ທ່ານເຫັນໃນລະຫັດຂ້າງລຸ່ມນີ້ຄວນຈະຖືກສ້າງຂື້ນໂດຍອັດຕະໂນມັດ.

ນີ້ແມ່ນສິ່ງທີ່ການປະຕິບັດຂອງ multisig wallet ເບິ່ງຄືວ່າຢູ່ໃນ eDSL ຂອງພວກເຮົາ:

main :: IO ()
main = putText $ pretty $ declProgram procedures methods
  where
    procedures =
      [ ("recv_external", decl recvExternal)
      , ("recv_internal", decl recvInternal)
      ]
    methods =
      [ ("seqno", declMethod getSeqno)
      ]

data Storage = Storage
  { sCnt :: Word32
  , sPubKey :: PublicKey
  }

instance DecodeSlice Storage where
  type DecodeSliceFields Storage = [PublicKey, Word32]
  decodeFromSliceImpl = do
    decodeFromSliceImpl @Word32
    decodeFromSliceImpl @PublicKey

instance EncodeBuilder Storage where
  encodeToBuilder = do
    encodeToBuilder @Word32
    encodeToBuilder @PublicKey

data WalletError
  = SeqNoMismatch
  | SignatureMismatch
  deriving (Eq, Ord, Show, Generic)

instance Exception WalletError

instance Enum WalletError where
  toEnum 33 = SeqNoMismatch
  toEnum 34 = SignatureMismatch
  toEnum _ = error "Uknown MultiSigError id"

  fromEnum SeqNoMismatch = 33
  fromEnum SignatureMismatch = 34

recvInternal :: '[Slice] :-> '[]
recvInternal = drop

recvExternal :: '[Slice] :-> '[]
recvExternal = do
  decodeFromSlice @Signature
  dup
  preloadFromSlice @Word32
  stacktype @[Word32, Slice, Signature]
  -- cnt cs sign

  pushRoot
  decodeFromCell @Storage
  stacktype @[PublicKey, Word32, Word32, Slice, Signature]
  -- pk cnt' cnt cs sign

  xcpu @1 @2
  stacktype @[Word32, Word32, PublicKey, Word32, Slice, Signature]
  -- cnt cnt' pk cnt cs sign

  equalInt >> throwIfNot SeqNoMismatch

  push @2
  sliceHash
  stacktype @[Hash Slice, PublicKey, Word32, Slice, Signature]
  -- hash pk cnt cs sign

  xc2pu @0 @4 @4
  stacktype @[PublicKey, Signature, Hash Slice, Word32, Slice, PublicKey]
  -- pubk sign hash cnt cs pubk

  chkSignU
  stacktype @[Bool, Word32, Slice, PublicKey]
  -- ? cnt cs pubk

  throwIfNot SignatureMismatch
  accept

  swap
  decodeFromSlice @Word32
  nip

  dup
  srefs @Word8

  pushInt 0
  if IsEq
  then ignore
  else do
    decodeFromSlice @Word8
    decodeFromSlice @(Cell MessageObject)
    stacktype @[Slice, Cell MessageObject, Word8, Word32, PublicKey]
    xchg @2
    sendRawMsg
    stacktype @[Slice, Word32, PublicKey]

  endS
  inc

  encodeToCell @Storage
  popRoot

getSeqno :: '[] :-> '[Word32]
getSeqno = do
  pushRoot
  cToS
  preloadFromSlice @Word32

ລະຫັດແຫຼ່ງເຕັມຂອງ eDSL ແລະສັນຍາ wallet ຫຼາຍລາຍເຊັນຂອງພວກເຮົາສາມາດພົບໄດ້ທີ່ repository ນີ້. ແລະອື່ນໆອີກ ບອກໃນລາຍລະອຽດ ກ່ຽວກັບພາສາທີ່ສ້າງຂຶ້ນ, ເພື່ອນຮ່ວມງານຂອງພວກເຮົາ Georgy Agapov.

ບົດສະຫຼຸບກ່ຽວກັບການແຂ່ງຂັນແລະ TON

ໃນຈໍານວນທັງຫມົດ, ວຽກງານຂອງພວກເຮົາໃຊ້ເວລາ 380 ຊົ່ວໂມງ (ລວມທັງການຄຸ້ນເຄີຍກັບເອກະສານ, ກອງປະຊຸມແລະການພັດທະນາຕົວຈິງ). ນັກພັດທະນາຫ້າຄົນໄດ້ເຂົ້າຮ່ວມໂຄງການແຂ່ງຂັນ: CTO, ຫົວຫນ້າທີມ, ຜູ້ຊ່ຽວຊານດ້ານເວທີ blockchain ແລະນັກພັດທະນາຊອບແວ Haskell.

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

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

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

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