ចូលទៅផ្លាស់ទី - ភាសាសរសេរកម្មវិធី Libra blockchain របស់ Facebook

បន្ទាប់យើងនឹងពិចារណាលម្អិតអំពីលក្ខណៈសំខាន់ៗនៃភាសាម៉ូវនិងអ្វីដែលជាភាពខុសគ្នាសំខាន់របស់វាជាមួយភាសាដែលមានប្រជាប្រិយរួចហើយសម្រាប់កិច្ចសន្យាឆ្លាត - ភាពរឹង (នៅលើវេទិកា Ethereum) សម្ភារៈនេះត្រូវបានផ្អែកលើការសិក្សាលើសៀវភៅស ២៦ ទំព័រដែលមាននៅលើអ៊ីនធឺណិត។

សេចក្តីណែនាំ

Move គឺជាភាសា bytecode ដែលអាចប្រតិបត្តិបាន ដែលត្រូវបានប្រើដើម្បីប្រតិបត្តិប្រតិបត្តិការអ្នកប្រើប្រាស់ និងកិច្ចសន្យាឆ្លាតវៃ។ សូមកត់សម្គាល់ពីរចំណុច៖

1. ខណៈពេលដែលម៉ូវគឺជាភាសាបៃកូដដែលអាចត្រូវបានប្រតិបត្តិដោយផ្ទាល់នៅលើម៉ាស៊ីននិម្មិតម៉ូវសូលីស្យូម (ភាសាកិច្ចសន្យាឆ្លាតរបស់ Ethereum) គឺជាភាសាកម្រិតខ្ពស់ដែលត្រូវបានចងក្រងជាលើកដំបូងទៅបៃកូដមុនពេលត្រូវបានប្រតិបត្តិលើអេមេអេម (ម៉ាស៊ីននិម្មិត Ethereum) ។
2. ការផ្លាស់ប្តូរអាចត្រូវបានប្រើមិនត្រឹមតែដើម្បីអនុវត្តកិច្ចសន្យាឆ្លាតប៉ុណ្ណោះទេប៉ុន្តែក៏សម្រាប់ប្រតិបត្តិការផ្ទាល់ខ្លួនផងដែរ (ច្រើនទៀតនៅពេលក្រោយ) ខណៈពេលដែលភាពរឹងប៉ឹងគឺជាភាសាតែមួយគត់នៃកិច្ចសន្យាឆ្លាត។

ការបកប្រែត្រូវបានអនុវត្តដោយក្រុមគម្រោងពិធីការ INDEX ។ យើងបានបកប្រែរួចហើយ សម្ភារៈដ៏ធំដែលពិពណ៌នាអំពីគម្រោង Libraឥឡូវនេះ វាដល់ពេលហើយដើម្បីមើលភាសា Move ឱ្យកាន់តែលម្អិតបន្តិច។ ការបកប្រែត្រូវបានអនុវត្តរួមគ្នាជាមួយ Habrauser ត្រជាក់ស៊ីយូ

មុខងារសំខាន់មួយរបស់ Move គឺសមត្ថភាពក្នុងការកំណត់ប្រភេទធនធានផ្ទាល់ខ្លួនជាមួយនឹងន័យធៀបដោយផ្អែកលើតក្កវិជ្ជាលីនេអ៊ែរ៖ ធនធានមិនអាចចម្លង ឬលុបដោយប្រយោលបានឡើយ មានតែផ្លាស់ទីប៉ុណ្ណោះ។ មុខងារនេះគឺស្រដៀងទៅនឹងសមត្ថភាពនៃភាសា Rust ។ តម្លៃនៅក្នុង Rust អាចត្រូវបានកំណត់ទៅឈ្មោះមួយក្នុងពេលតែមួយ។ ការកំណត់តម្លៃទៅឈ្មោះផ្សេងធ្វើឱ្យវាមិនអាចប្រើបានក្រោមឈ្មោះមុន។

ឧទាហរណ៍អត្ថបទកូដខាងក្រោមនេះនឹងធ្វើឱ្យមានកំហុស៖ ការប្រើប្រាស់តម្លៃដែលបានផ្លាស់ប្តូរ 'x' នេះក៏ព្រោះតែគ្មានការប្រមូលសំរាមនៅ Rust ។ នៅពេលអថេរចេញទៅក្រៅវិសាលភាពការចងចាំដែលពួកគេសំដៅទៅលើក៏ត្រូវបានដោះលែងផងដែរ។ និយាយឱ្យសាមញ្ញទៅអាចមាន“ ម្ចាស់” តែមួយនៃទិន្នន័យ។ ក្នុងឧទាហរណ៍នេះ x គឺជាម្ចាស់ដើមហើយបន្ទាប់មក y ក្លាយជាម្ចាស់ថ្មី។ សូមអានបន្ថែមអំពីឥរិយាបថនេះនៅទីនេះ.

តំណាងនៃទ្រព្យសម្បត្តិឌីជីថលនៅក្នុងប្រព័ន្ធបើកចំហ

មានលក្ខណសម្បត្តិពីរនៃទ្រព្យសម្បត្តិរាងកាយដែលពិបាកតំណាងឱ្យឌីជីថល៖

• កម្រមាន (ខ្វះខាតដើមឡើយខ្វះខាត) ចំនួនទ្រព្យសម្បត្តិ (ការបញ្ចេញ) នៅក្នុងប្រព័ន្ធត្រូវតែគ្រប់គ្រង។ ការបង្កើតទ្រព្យសម្បត្តិដែលមានស្រាប់ត្រូវតែហាមឃាត់ហើយការបង្កើតថ្មីគឺជាប្រតិបត្តិការដែលមានឯកសិទ្ធិ។
• ការត្រួតពិនិត្យការចូលប្រើ... អ្នកចូលរួមក្នុងប្រព័ន្ធត្រូវតែមានលទ្ធភាពការពារទ្រព្យសម្បត្តិដោយប្រើគោលនយោបាយគ្រប់គ្រងការចូលដំណើរការ។

លក្ខណៈទាំងពីរនេះដែលជាធម្មជាតិសម្រាប់ទ្រព្យសម្បត្តិរាងកាយត្រូវតែអនុវត្តចំពោះវត្ថុឌីជីថលប្រសិនបើយើងចង់ចាត់ទុកវាជាទ្រព្យ។ ឧទាហរណ៍លោហៈកម្រ - មានភាពខ្វះខាតធម្មជាតិហើយមានតែអ្នកប៉ុណ្ណោះដែលអាចចូលប្រើវា (ឧទាហរណ៍កាន់វានៅក្នុងដៃរបស់អ្នក) ហើយអ្នកអាចលក់ឬចំណាយវាបាន។

ដើម្បីបង្ហាញពីរបៀបដែលយើងទៅដល់ទ្រព្យសម្បត្តិទាំងពីរនេះសូមចាប់ផ្តើមជាមួយប្រយោគខាងក្រោម៖

សំណូមពរទី ១៖ វិធានសាមញ្ញបំផុតដោយគ្មានការខ្វះខាតនិងការគ្រប់គ្រងការចូលប្រើ

• G [K]: = n បង្ហាញពីការធ្វើបច្ចុប្បន្នភាពទៅលេខដែលអាចចូលដំណើរការបានដោយកូនសោ К នៅក្នុងស្ថានភាពសកលនៃ blockchain ជាមួយនឹងអត្ថន័យថ្មី n.
• ប្រតិបត្តិការ l អាលីស ១០០ មានន័យថាកំណត់សមតុល្យគណនីរបស់អាលីសដល់ ១០០ ។

ដំណោះស្រាយខាងលើមានបញ្ហាធំ ៗ ជាច្រើន៖

• អាលីសអាចទទួលបានកាក់គ្មានដែនកំណត់ដោយគ្រាន់តែផ្ញើ ប្រតិបត្តិការ l អាលីស ១០០
• កាក់ដែលអាលីសផ្ញើទៅបូគឺគ្មានប្រយោជន៍ទេព្រោះបូអាចផ្ញើកាក់ចំនួនគ្មានកំណត់ដោយប្រើបច្ចេកទេសដូចគ្នា។

អនុសាសន៍ទី ២៖ គិតគូរពីឱនភាព

ឥឡូវនេះយើងកំពុងតាមដានស្ថានការណ៍ដូច្នេះចំនួនកាក់ Ka យ៉ាងហោចណាស់ស្មើគ្នា n មុនពេលប្រតិបត្តិការផ្ទេរ។ ទោះយ៉ាងណាក៏ដោយខណៈពេលដែលដោះស្រាយបញ្ហាខ្វះខាតមិនមានព័ត៌មានអំពីអ្នកណាអាចផ្ញើកាក់របស់អាលីសបានទេ (សម្រាប់ពេលនេះអ្នកណាក៏អាចធ្វើបានដែររឿងសំខាន់គឺមិនត្រូវរំលោភលើច្បាប់កំណត់ចំនួនទឹកប្រាក់) ។

សំណើទី ៣៖ ការរួមបញ្ចូលគ្នានូវភាពខ្វះខាតនិងការគ្រប់គ្រងការចូលដំណើរការ

យើងដោះស្រាយបញ្ហានេះដោយយន្តការចុះហត្ថលេខាឌីជីថល ផ្ទៀងផ្ទាត់ _sig មុនពេលពិនិត្យមើលសមតុល្យដែលមានន័យថាអាលីសប្រើកូនសោឯកជនរបស់នាងដើម្បីចុះហត្ថលេខាលើប្រតិបត្តិការហើយបញ្ជាក់ថានាងគឺជាម្ចាស់កាក់របស់នាង។

ភាសាសរសេរកម្មវិធី Blockchain

ភាសា blockchain ដែលមានស្រាប់ប្រឈមមុខនឹងបញ្ហាដូចខាងក្រោម (ពួកគេទាំងអស់ត្រូវបានដោះស្រាយនៅក្នុង Move (ចំណាំ៖ ជាអកុសលអ្នកនិពន្ធអត្ថបទគ្រាន់តែអំពាវនាវដល់ Ethereum ក្នុងការប្រៀបធៀបរបស់គាត់ដូច្នេះវាសមនឹងទទួលយកតែនៅក្នុងបរិបទនេះប៉ុណ្ណោះ។ ឧទាហរណ៍ភាគច្រើនខាងក្រោមនេះក៏ត្រូវបានដោះស្រាយនៅក្នុង EOS ផងដែរ។))៖

តំណាងដោយប្រយោលនៃទ្រព្យសម្បត្តិ. ទ្រព្យសកម្មត្រូវបានអ៊ិនកូដដោយប្រើចំនួនគត់ ប៉ុន្តែចំនួនគត់មិនដូចគ្នាទៅនឹងទ្រព្យសកម្មនោះទេ។ តាមពិតមិនមានប្រភេទ ឬតម្លៃតំណាងឱ្យ Bitcoin/Ether/<Any Coin> ទេ! វាធ្វើឱ្យការសរសេរកម្មវិធីដែលប្រើទ្រព្យសកម្មពិបាក និងងាយមានកំហុស។ លំនាំដូចជាការផ្ទេរទ្រព្យសម្បត្តិទៅ/ពីនីតិវិធី ឬការរក្សាទុកទ្រព្យសកម្មនៅក្នុងរចនាសម្ព័ន្ធ ទាមទារការគាំទ្រពិសេសពីភាសា។

ឱនភាពមិនអាចពង្រីកបានទេ... ភាសាតំណាងឱ្យទ្រព្យសម្បត្តិដែលខ្វះខាតតែមួយគត់។ លើសពីនេះមធ្យោបាយដោះស្រាយភាពខ្វះខាតត្រូវបានភ្ជាប់ដោយផ្ទាល់ទៅក្នុងន័យនៃភាសាខ្លួនឯង។ អ្នកអភិវឌ្,ន៍ប្រសិនបើគាត់ចង់បង្កើតទ្រព្យសម្បត្តិផ្ទាល់ខ្លួនត្រូវតែត្រួតពិនិត្យដោយប្រុងប្រយ័ត្នគ្រប់ទិដ្ឋភាពទាំងអស់នៃធនធានខ្លួនឯង។ ទាំងនេះពិតជាបញ្ហានៃកិច្ចសន្យាឆ្លាតវៃ Ethereum ។

អ្នកប្រើប្រាស់ចេញនូវទ្រព្យសម្បត្តិរបស់ពួកគេថូខឹន ERC-20 ដោយប្រើចំនួនគត់ដើម្បីកំណត់ទាំងតម្លៃនិងការផ្គត់ផ្គង់សរុប។ នៅពេលណាដែលថូខឹនថ្មីត្រូវបានបង្កើតលេខកូដកិច្ចសន្យាឆ្លាតវៃត្រូវតែផ្ទៀងផ្ទាត់ដោយឯករាជ្យនូវការអនុលោមតាមច្បាប់នៃការបញ្ចេញ។ លើសពីនេះទៀតការបង្ហាញដោយប្រយោលនៃទ្រព្យសម្បត្តិនាំឱ្យមានករណីធ្ងន់ធ្ងរ - កំហុសស្ទួនការចំណាយទ្វេដងឬសូម្បីតែការបាត់បង់ទ្រព្យសម្បត្តិទាំងស្រុង។

កង្វះការគ្រប់គ្រងការចូលដំណើរការដែលអាចបត់បែនបាន... គោលនយោបាយគ្រប់គ្រងការចូលប្រើតែមួយគត់ដែលមានសុពលភាពនៅថ្ងៃនេះគឺជាគ្រោងការណ៍ហត្ថលេខាដោយប្រើការអ៊ិនគ្រីបមិនស្មើគ្នា។ ដូចជាការការពារការខ្វះខាតផងដែរគោលនយោបាយគ្រប់គ្រងការចូលប្រើត្រូវបានដាក់បញ្ចូលយ៉ាងជ្រៅទៅក្នុងអត្ថន័យនៃភាសា។ ប៉ុន្តែរបៀបពង្រីកភាសាដើម្បីអនុញ្ញាតឱ្យអ្នកសរសេរកម្មវិធីកំណត់គោលនយោបាយគ្រប់គ្រងការចូលដំណើរការរបស់ពួកគេផ្ទាល់ជាញឹកញាប់គឺជាកិច្ចការពិបាកបំផុត។

នេះក៏ជាការពិតនៅលើ Ethereum ដែលកិច្ចសន្យាឆ្លាតវៃមិនមានការគាំទ្រការគ្រីបដើមសម្រាប់ការគ្រប់គ្រងការចូលប្រើ។ អ្នកអភិវឌ្ឍន៍ត្រូវតែកំណត់ការគ្រប់គ្រងការចូលប្រើដោយដៃ ជាឧទាហរណ៍ ដោយប្រើកម្មវិធីកែប្រែម្ចាស់តែមួយគត់។

ទោះបីជាខ្ញុំជាអ្នកគាំទ្រដ៏ធំរបស់ Ethereum ក៏ដោយ ក៏ខ្ញុំជឿថា ទ្រព្យសម្បត្តិគួរតែត្រូវបានគាំទ្រដោយភាសាដើមសម្រាប់គោលបំណងសុវត្ថិភាព។ ជាពិសេស ការផ្ទេរ Ether ទៅកាន់កិច្ចសន្យាឆ្លាតវៃពាក់ព័ន្ធនឹងការបញ្ជូនថាមវន្ត ដែលបានណែនាំប្រភេទកំហុសថ្មីដែលគេស្គាល់ថាជាភាពងាយរងគ្រោះនៃការចូលឡើងវិញ។ ការបញ្ជូនថាមវន្តនៅទីនេះមានន័យថាតក្កវិជ្ជាប្រតិបត្តិនៃកូដនឹងត្រូវបានកំណត់នៅពេលដំណើរការ (ថាមវន្ត) ជាជាងពេលចងក្រង (ឋិតិវន្ត)។

ដូច្នេះនៅក្នុង Solidity នៅពេលដែលកិច្ចសន្យា A ហៅមុខងារនៅក្នុងកិច្ចសន្យា B កិច្ចសន្យា B អាចដំណើរការកូដដែលមិនត្រូវបានបម្រុងទុកដោយអ្នកបង្កើតកិច្ចសន្យា A ដែលអាចបណ្តាលឱ្យមាន ភាពងាយរងគ្រោះនៃការបញ្ចូលឡើងវិញ (កិច្ចសន្យា A ដោយចៃដន្យដើរតួជាកិច្ចសន្យា B ដើម្បីដកប្រាក់មុនពេលសមតុល្យគណនីត្រូវបានកាត់ពិតប្រាកដ) ។

ផ្លាស់ទីមូលដ្ឋានគ្រឹះនៃការរចនាភាសា

ធនធានលំដាប់ដំបូង

នៅកម្រិតខ្ពស់អន្តរកម្មរវាងម៉ូឌុល / ធនធាន / និតិវិធីនៅក្នុងភាសាម៉ូវគឺប្រហាក់ប្រហែលនឹងទំនាក់ទំនងរវាងថ្នាក់ / វត្ថុនិងវិធីសាស្ត្រនៅក្នុងភាសាអូអូភី
ម៉ូឌុលផ្លាស់ទីគឺស្រដៀងគ្នាទៅនឹងកិច្ចសន្យាឆ្លាតនៅក្នុងបណ្តាញប្លុកផ្សេងទៀត។ ម៉ូឌុលប្រកាសប្រភេទនិងនីតិវិធីធនធានដែលកំណត់ក្បួនសម្រាប់បង្កើតបំផ្លាញនិងធ្វើបច្ចុប្បន្នភាពធនធានដែលបានប្រកាស។ ប៉ុន្តែទាំងអស់នេះគ្រាន់តែជាអនុសញ្ញា (“វចនានុក្រម") នៅក្នុងចលនា។ យើងនឹងបង្ហាញចំណុចនេះបន្តិចក្រោយមក។

ភាពបត់បែន

ផ្លាស់ទីបន្ថែមភាពបត់បែនដល់ Libra តាមរយៈការសរសេរស្គ្រីប។ រាល់ប្រតិបត្តិការនៅក្នុង Libra រួមមានស្គ្រីប ដែលជាដំណើរការស្នូលនៃប្រតិបត្តិការ។ ស្គ្រីបអាចអនុវត្តសកម្មភាពណាមួយដែលបានបញ្ជាក់ ឧទាហរណ៍ ការទូទាត់ទៅបញ្ជីអ្នកទទួលដែលបានបញ្ជាក់ ឬប្រើធនធានផ្សេងទៀតឡើងវិញ - ឧទាហរណ៍ ដោយហៅនីតិវិធីដែលតក្កវិជ្ជាទូទៅត្រូវបានបញ្ជាក់។ នេះ​ជា​មូលហេតុ​ដែល​ Move transaction scripts ផ្តល់​ភាព​បត់បែន​កាន់​តែ​ខ្លាំង។ ស្គ្រីបអាចប្រើទាំងឥរិយាបថម្តង និងម្តងហើយម្តងទៀត ខណៈពេលដែល Ethereum អាចប្រតិបត្តិបានតែស្គ្រីបដែលអាចធ្វើម្តងទៀតបាន (ហៅវិធីសាស្ត្រមួយនៅលើវិធីកិច្ចសន្យាឆ្លាតវៃ)។ មូលហេតុដែលវាត្រូវបានគេហៅថា "អាចប្រើឡើងវិញបាន" គឺដោយសារតែមុខងារនៃកិច្ចសន្យាឆ្លាតវៃអាចត្រូវបានអនុវត្តច្រើនដង។ (ចំណាំ៖ ចំណុច​នៅ​ទី​នេះ​គឺ​មាន​ភាព​ងាយ​ស្រួល​ណាស់។ ម៉្យាងវិញទៀត ស្គ្រីបប្រតិបត្តិការក្នុងទម្រង់ pseudo-bytecode ក៏មាននៅក្នុង Bitcoin ផងដែរ។ ម៉្យាងទៀត ដូចដែលខ្ញុំយល់ហើយ Move ពង្រីកភាសានេះ ដល់កម្រិតនៃភាសាកិច្ចសន្យាឆ្លាតវៃពេញលេញ។).

សន្តិសុខ

ទម្រង់ដែលអាចប្រតិបត្តិបានផ្លាស់ទីគឺ bytecode ដែលជាភាសាកម្រិតខ្ពស់ជាងភាសាជួបប្រជុំ ប៉ុន្តែកម្រិតទាបជាងកូដប្រភព។ លេខកូដបៃត្រូវបានពិនិត្យនៅក្នុងពេលដំណើរការ (នៅលើខ្សែសង្វាក់) សម្រាប់ធនធាន ប្រភេទ និងសុវត្ថិភាពនៃអង្គចងចាំដោយប្រើឧបករណ៍ផ្ទៀងផ្ទាត់ bytecode ហើយបន្ទាប់មកប្រតិបត្តិដោយអ្នកបកប្រែ។ វិធីសាស្រ្តនេះអនុញ្ញាតឱ្យ Move ផ្តល់នូវសុវត្ថិភាពនៃកូដប្រភព ប៉ុន្តែដោយគ្មានដំណើរការចងក្រង និងតម្រូវការបន្ថែមកម្មវិធីចងក្រងទៅក្នុងប្រព័ន្ធ។ ការបង្កើត Move a bytecode language គឺជាដំណោះស្រាយដ៏ល្អ។ វាមិនចាំបាច់ត្រូវបានចងក្រងពីប្រភពដូចករណីរបស់ Solidity នោះទេ ហើយមិនចាំបាច់ព្រួយបារម្ភអំពីការបរាជ័យ ឬការវាយប្រហារដែលអាចកើតមានលើហេដ្ឋារចនាសម្ព័ន្ធចងក្រងនោះទេ។

ភាពអាចផ្ទៀងផ្ទាត់បាន

យើង​មាន​គោល​បំណង​ក្នុង​ការ​ធ្វើ​ការ​ពិនិត្យ​តាម​ដែល​ងាយ​ស្រួល​តាម​ដែល​អាច​ធ្វើ​ទៅ​បាន ព្រោះ​អ្វី​ទាំង​អស់​នេះ​ត្រូវ​បាន​ធ្វើ​តាម​ខ្សែ​សង្វាក់ (ចំណាំ៖ តាមអ៊ិនធរណេតកំឡុងពេលប្រតិបត្តិការនីមួយៗដូច្នេះការពន្យារពេលណាមួយនាំឱ្យមានការធ្លាក់ចុះនៃបណ្តាញទាំងមូល) ទោះយ៉ាងណាក៏ដោយ ជាដំបូង ការរចនាភាសាគឺត្រៀមខ្លួនជាស្រេចដើម្បីប្រើឧបករណ៍ផ្ទៀងផ្ទាត់ឋិតិវន្តបិទសង្វាក់។ ថ្វីត្បិតតែវាល្អជាង ប៉ុន្តែសម្រាប់ពេលនេះ ការអភិវឌ្ឍន៍ឧបករណ៍ផ្ទៀងផ្ទាត់ (ជាកញ្ចប់ឧបករណ៍ដាច់ដោយឡែក) ត្រូវបានពន្យារពេលសម្រាប់ពេលអនាគត ហើយឥឡូវនេះមានតែការផ្ទៀងផ្ទាត់ថាមវន្តក្នុងពេលដំណើរការ (នៅលើខ្សែសង្វាក់) ប៉ុណ្ណោះដែលត្រូវបានគាំទ្រ។

ម៉ូឌុល

ម៉ូឌុលផ្លាស់ទីផ្តល់នូវអរូបីទិន្នន័យនិងធ្វើមូលដ្ឋានីយកម្មប្រតិបត្តិការសំខាន់លើធនធាន។ ការរុំព័ទ្ធដែលផ្តល់ដោយម៉ូឌុលរួមជាមួយការការពារដែលផ្តល់ដោយប្រព័ន្ធប្រភេទផ្លាស់ទីធានាថាលក្ខណសម្បត្តិដែលបានកំណត់លើប្រភេទម៉ូឌុលមិនអាចត្រូវបានរំលោភបំពានដោយលេខកូដខាងក្រៅម៉ូឌុលទេ។ នេះគឺជាការរចនាអរូបីដែលគិតគូរបានល្អមានន័យថាទិន្នន័យនៅក្នុងកិច្ចសន្យាអាចផ្លាស់ប្តូរបានតែនៅក្នុងក្របខ័ណ្ឌនៃកិច្ចសន្យាប៉ុណ្ណោះប៉ុន្តែមិនមែនខាងក្រៅទេ។

ផ្លាស់ទីទិដ្ឋភាពទូទៅ

ឧទាហរណ៏នៃស្គ្រីបប្រតិបត្តិការបង្ហាញថាសកម្មភាពព្យាបាទឬការធ្វេសប្រហែសដោយអ្នកសរសេរកម្មវិធីនៅក្រៅម៉ូឌុលមិនអាចធ្វើឱ្យប៉ះពាល់ដល់សុវត្ថិភាពធនធានម៉ូឌុលឡើយ។ បន្ទាប់យើងនឹងមើលឧទាហរណ៍អំពីរបៀបដែលម៉ូឌុលធនធាននិងនីតិវិធីត្រូវបានប្រើដើម្បីរៀបចំកម្មវិធី Libra blockchain

ការទូទាត់ពី Peer-to-Peer

ចំនួនកាក់ដែលបានបញ្ជាក់ក្នុងចំនួនទឹកប្រាក់នឹងត្រូវបានផ្ទេរពីសមតុល្យរបស់អ្នកផ្ញើទៅអ្នកទទួល។
មានរឿងថ្មីៗមួយចំនួននៅទីនេះ (រំលេចជាពណ៌ក្រហម)៖

• 0x0៖ អាសយដ្ឋានរបស់គណនីដែលម៉ូឌុលត្រូវបានរក្សាទុក
• រូបិយប័ណ្ណ៖ ឈ្មោះម៉ូឌុល
• កាក់៖ ប្រភេទធនធាន
• តម្លៃកាក់ដែលបានប្រគល់មកវិញតាមនីតិវិធីគឺជាតម្លៃធនធានប្រភេទ 0x0.Currency.Coin
• ផ្លាស់ទី ()៖ តម្លៃមិនអាចប្រើឡើងវិញបានទេ
• ចម្លង ()៖ តម្លៃអាចត្រូវបានប្រើនៅពេលក្រោយ

ញែកកូដ៖ នៅជំហានដំបូងអ្នកផ្ញើហៅនីតិវិធីដែលមានឈ្មោះ ដក _ ពីអ្នកផ្ញើ ពីម៉ូឌុលដែលបានរក្សាទុក 0x0 ។ រូបិយប័ណ្ណ. នៅជំហានទីពីរ អ្នកផ្ញើផ្ទេរប្រាក់ទៅអ្នកទទួលដោយផ្លាស់ទីតម្លៃធនធានកាក់ទៅក្នុងនីតិវិធីដាក់ប្រាក់របស់ម៉ូឌុល 0x0 ។ រូបិយប័ណ្ណ.

នេះគឺជាឧទាហរណ៍បីនៃកំហុសនៅក្នុងកូដដែលនឹងត្រូវបានបដិសេធដោយការត្រួតពិនិត្យ:
មូលនិធិស្ទួនដោយការផ្លាស់ប្តូរការហៅ ផ្លាស់ទី (កាក់) នៅលើ ចម្លង (កាក់). ធនធានអាចត្រូវបានផ្លាស់ទីតែប៉ុណ្ណោះ។ ព្យាយាមចម្លងបរិមាណនៃធនធាន (ឧទាហរណ៍ ដោយការហៅទូរសព្ទ ចម្លង (កាក់) ក្នុងឧទាហរណ៍ខាងលើ) នឹងមានកំហុសកំឡុងពេលសុពលកូដបៃ

ប្រើមូលនិធិឡើងវិញដោយបញ្ជាក់ ផ្លាស់ទី (កាក់) ពីរដង . ការបន្ថែមបន្ទាត់ 0x0.Currency.deposit (ចម្លង (អ្នកទទួលប្រាក់ខ្លះ) ផ្លាស់ទី (កាក់)) ឧទាហរណ៍ ខាងលើនឹងអនុញ្ញាតឱ្យអ្នកផ្ញើ "ចំណាយ" កាក់ពីរដង - លើកទីមួយជាមួយអ្នកទទួលប្រាក់ និងលើកទីពីរជាមួយ some_other_payee. នេះគឺជាអាកប្បកិរិយាដែលមិនចង់បានដែលមិនអាចធ្វើទៅបានជាមួយនឹងទ្រព្យសម្បត្តិរាងកាយ។ សំណាងល្អ Move នឹងបដិសេធកម្មវិធីនេះ។

ការបាត់បង់មូលនិធិដោយសារតែការបដិសេធ ផ្លាស់ទី (កាក់). ប្រសិនបើអ្នកមិនផ្លាស់ទីធនធាន (ឧទាហរណ៍ដោយលុបបន្ទាត់ដែលមាន ផ្លាស់ទី (កាក់)) កំហុសផ្ទៀងផ្ទាត់ bytecode នឹងត្រូវបានបោះចោល។ វាការពារអ្នកសរសេរកម្មវិធី Move ពីការបាត់បង់មូលនិធិដោយចៃដន្យ ឬដោយចេតនា។

ម៉ូឌុលរូបិយប័ណ្ណ

គណនីនីមួយៗអាចមានម៉ូឌុល 0 ឬច្រើន (បង្ហាញជាចតុកោណកែង) និងតម្លៃធនធានមួយ ឬច្រើន (បង្ហាញជាស៊ីឡាំង)។ ឧទាហរណ៍គណនីនៅ 0x0 មានម៉ូឌុល 0x0 ។ រូបិយប័ណ្ណ និងតម្លៃនៃប្រភេទធនធាន 0x0.Currency.Coin. គណនីនៅអាសយដ្ឋាន 0x1 មានធនធានពីរ និងម៉ូឌុលមួយ; គណនីនៅអាសយដ្ឋាន 0x2 មានម៉ូឌុលពីរ និងតម្លៃធនធានមួយ។

ពេល Nekotory:

• ស្គ្រីបប្រតិបត្តិការគឺអាតូមិក - វាត្រូវបានប្រតិបត្តិទាំងស្រុងឬអត់ទាំងអស់។
• ម៉ូឌុលគឺជាបំណែកនៃកូដដែលមានអាយុកាលយូរ ដែលអាចចូលប្រើបានទូទាំងពិភពលោក។
• ស្ថានភាពសកលត្រូវបានរៀបចំជាតារាង hash ដែលសោគឺជាអាសយដ្ឋានគណនី
• គណនី​អាច​មាន​តម្លៃ​ធនធាន​មិន​លើស​ពី​មួយ​នៃ​ប្រភេទ​ដែល​បាន​ផ្ដល់​ឲ្យ​ និង​មិន​មាន​ច្រើន​ជាង​មួយ​ម៉ូឌុល​ដែល​មាន​ឈ្មោះ​ដែល​បាន​ផ្ដល់​ឲ្យ​ទេ (គណនី​នៅ 0x0 មិនអាចមានធនធានបន្ថែមទេ។ 0x0.Currency.Coin ឬម៉ូឌុលមួយផ្សេងទៀតដែលមានឈ្មោះ រូបិយប័ណ្ណ)
• អាសយដ្ឋាននៃម៉ូឌុលដែលបានប្រកាសគឺជាផ្នែកមួយនៃប្រភេទ (0x0.Currency.Coin и 0x1.Currency.Coin ជាប្រភេទដាច់ដោយឡែកដែលមិនអាចប្រើជំនួសបាន)
• អ្នកសរសេរកម្មវិធីអាចរក្សាទុកវត្ថុជាច្រើននៃប្រភេទនៃធនធាននេះនៅក្នុងគណនីមួយដោយកំណត់ធនធានផ្ទាល់ខ្លួនរបស់ពួកគេ - (ធនធាន TwoCoins {c1: 0x0.Currency.Coin, c2: 0x0.Currency.Coin})
• អ្នក​អាច​យោង​ទៅ​ធនធាន​មួយ​តាម​ឈ្មោះ​របស់​វា​ដោយ​មិន​មាន​ការ​ទាស់ទែងគ្នា ឧទាហរណ៍​អ្នក​អាច​យោង​ទៅ​ធនធាន​ពីរ​ដោយ​ប្រើ TwoCoins.c1 и TwoCoins.c2.

សេចក្តីប្រកាសអំពីធនធានកាក់

ម៉ូឌុលដែលមានឈ្មោះ រូបិយប័ណ្ណ និងប្រភេទធនធានដែលមានឈ្មោះ កាក់

ពេល Nekotory:

• កាក់ គឺជារចនាសម្ព័ន្ធមួយដែលមានវាលមួយប្រភេទ u64 (ចំនួនគត់ដែលមិនបានចុះហត្ថលេខា 64 ប៊ីត)
• ដំណើរការម៉ូឌុលតែប៉ុណ្ណោះ រូបិយប័ណ្ណ អាចបង្កើត ឬបំផ្លាញតម្លៃនៃប្រភេទ កាក់.
• ម៉ូឌុល និងស្គ្រីបផ្សេងទៀតអាចសរសេរ ឬយោងវាលតម្លៃតាមរយៈនីតិវិធីសាធារណៈដែលផ្តល់ដោយម៉ូឌុលប៉ុណ្ណោះ។

ការលក់ប្រាក់កក់

នីតិវិធីនេះទទួលយកធនធាន កាក់ ជាការបញ្ចូល និងបញ្ចូលវាជាមួយធនធាន កាក់រក្សាទុកក្នុងគណនីរបស់អ្នកទទួល៖

1. បំផ្លាញធនធានបញ្ចូល Coin និងកត់ត្រាតម្លៃរបស់វា។
2. ការទទួលតំណទៅកាន់ធនធាន Coin តែមួយគត់ដែលរក្សាទុកក្នុងគណនីរបស់អ្នកទទួល។
3. ការផ្លាស់ប្តូរតម្លៃនៃចំនួនកាក់ដោយតម្លៃដែលបានឆ្លងកាត់នៅក្នុងប៉ារ៉ាម៉ែត្រនៅពេលហៅនីតិវិធី។

ពេល Nekotory:

• ដោះកញ្ចប់, ខ្ចីសកល - នីតិវិធីដែលមានស្រាប់
• ដោះកញ្ចប់ នេះគឺជាវិធីតែមួយគត់ដើម្បីលុបធនធានប្រភេទ T។ នីតិវិធីយកធនធានជាធាតុបញ្ចូល បំផ្លាញវា ហើយត្រឡប់តម្លៃដែលទាក់ទងជាមួយវាលរបស់ធនធាន។
• ខ្ចីសកល យកអាស័យដ្ឋានជាការបញ្ចូល ហើយត្រឡប់សេចក្តីយោងទៅវត្ថុតែមួយគត់នៃ T ដែលបានបោះពុម្ពផ្សាយ (ជាកម្មសិទ្ធិ) ដោយអាសយដ្ឋាននោះ។
• &mut Coin នេះគឺជាតំណភ្ជាប់ទៅកាន់ធនធាន កាក់

ការអនុវត្តការដក_ពី_អ្នកផ្ញើ

នីតិវិធីនេះ៖

1. ទទួលបានតំណទៅកាន់ធនធានតែមួយគត់ កាក់ភ្ជាប់ទៅគណនីរបស់អ្នកផ្ញើ
2. បន្ថយតម្លៃនៃធនធាន កាក់ តាមរយៈតំណភ្ជាប់សម្រាប់ចំនួនទឹកប្រាក់ដែលបានបញ្ជាក់
3. បង្កើត និង​ត្រឡប់​ធនធាន​ថ្មី។ កាក់ ជាមួយនឹងសមតុល្យដែលបានធ្វើបច្ចុប្បន្នភាព។

ពេល Nekotory:

• ការដាក់ប្រាក់ អាចបណ្តាលមកពីនរណាម្នាក់ ប៉ុន្តែ ដក _ ពីអ្នកផ្ញើ មានសិទ្ធិចូលប្រើកាក់នៃគណនីហៅទូរសព្ទប៉ុណ្ណោះ។
• អាសយដ្ឋាន GetTxnSender ស្រដៀងទៅនឹង msg. sender នៅក្នុងភាពរឹងមាំ
• បដិសេធមិនព្រម ស្រដៀងទៅនឹង តម្រូវឱ្យមាន នៅក្នុងភាពរឹងមាំ។ ប្រសិនបើការត្រួតពិនិត្យនេះបរាជ័យ ប្រតិបត្តិការត្រូវបានបញ្ឈប់ ហើយការផ្លាស់ប្តូរទាំងអស់នឹងត្រលប់មកវិញ។
• ខ្ចប់ វាក៏ជាដំណើរការដែលភ្ជាប់មកជាមួយផងដែរ ដែលបង្កើតធនធានថ្មីនៃប្រភេទ T ។
• ក៏ដូចជា ដោះកញ្ចប់, ខ្ចប់ អាចត្រូវបានហៅតែនៅខាងក្នុងម៉ូឌុលដែលធនធានត្រូវបានពិពណ៌នា T

សេចក្តីសន្និដ្ឋាន

យើងបានពិនិត្យមើលលក្ខណៈសំខាន់នៃភាសា Move ដោយប្រៀបធៀបវាជាមួយ Ethereum ហើយបានស្គាល់វាក្យសម្ព័ន្ធមូលដ្ឋាននៃស្គ្រីបផងដែរ។ ជាចុងក្រោយ ខ្ញុំសូមផ្តល់អនុសាសន៍យ៉ាងខ្លាំងឱ្យពិនិត្យចេញ ក្រដាសសដើម. វារួមបញ្ចូលព័ត៌មានលម្អិតជាច្រើនទាក់ទងនឹងគោលការណ៍រចនាភាសាកម្មវិធី ក៏ដូចជាតំណភ្ជាប់មានប្រយោជន៍ជាច្រើន។

ប្រភព: www.habr.com