វិកលចរិត ស្ថាបត្យកម្ម Facebook Libra

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

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

В Times បានហិរញ្ញវត្ថុ и កាសែត New York Times អត្ថបទសមហេតុសមផលជាច្រើនអំពីការសន្មត់រូបិយវត្ថុ និងសេដ្ឋកិច្ចដែលមិនសមហេតុផលនៅពីក្រោយប្រព័ន្ធហិរញ្ញវត្ថុដែលបានស្នើឡើង។ ប៉ុន្តែមិនមានអ្នកឯកទេសគ្រប់គ្រាន់ដែលមានសមត្ថភាពវិភាគតាមទស្សនៈបច្ចេកទេសនោះទេ។ មានមនុស្សមិនច្រើនទេដែលធ្វើការលើហេដ្ឋារចនាសម្ព័ន្ធហិរញ្ញវត្ថុ ហើយនិយាយជាសាធារណៈអំពីការងាររបស់ពួកគេ ដូច្នេះគម្រោងនេះមិនទទួលបានការគ្របដណ្តប់ច្រើននៅក្នុងប្រព័ន្ធផ្សព្វផ្សាយបច្ចេកវិទ្យាទេ ទោះបីជាផ្នែកខាងក្នុងរបស់វាបើកចំហសម្រាប់ពិភពលោកក៏ដោយ។ ខ្ញុំមានន័យថាប្រភពបើកចំហនៅក្នុងឃ្លាំង Libra и អង្គការ Calibra.

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

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

ខ្ញុំ​នឹង​មិន​ធ្វើ​ពុត​ជា​មាន​គោល​បំណង​គំនិត​អំពី Facebook ជា​ក្រុមហ៊ុន​ទេ។ មានមនុស្សតិចណាស់ក្នុងវិស័យ IT មើលមកនាងដោយក្តីអាណិត។ ប៉ុន្តែការប្រៀបធៀបនៃសេចក្តីថ្លែងការណ៍របស់ខ្លួន និងកូដដែលបានបោះពុម្ពផ្សាយបង្ហាញយ៉ាងច្បាស់ថាគោលបំណងដែលបានចែងគឺជាការបោកប្រាស់ជាមូលដ្ឋាន។ សរុបមក គម្រោងនេះមិនផ្តល់អំណាចដល់នរណាម្នាក់ឡើយ។ គាត់នឹងស្ថិតក្រោមការគ្រប់គ្រងទាំងស្រុងរបស់ក្រុមហ៊ុនដែលអាជីវកម្មផ្សាយពាណិជ្ជកម្មជាប់គាំងក្នុងរឿងអាស្រូវ និងអំពើពុករលួយ ដែលវាគ្មានជម្រើសក្រៅពីព្យាយាមធ្វើពិពិធកម្មការទូទាត់ និងការផ្តល់ពិន្ទុឥណទានដើម្បីរស់រានមានជីវិត។ គោលដៅរយៈពេលវែងច្បាស់លាស់គឺដើម្បីដើរតួជាឈ្មួញកណ្តាលទិន្នន័យ និងអន្តរការីក្នុងការទទួលបានឥណទានរបស់អ្នកប្រើប្រាស់ដោយផ្អែកលើទិន្នន័យប្រព័ន្ធផ្សព្វផ្សាយសង្គមផ្ទាល់ខ្លួនរបស់ពួកគេ។ នេះ​ជា​រឿង​ដ៏​រន្ធត់ និង​ងងឹត​ដែល​មិន​សម​នឹង​ទទួល​បាន​ការ​ចាប់​អារម្មណ៍។

ព្រះគុណតែមួយគត់នៃរឿងនេះគឺថាវត្ថុបុរាណដែលពួកគេបានបង្កើតគឺគួរឱ្យអស់សំណើចណាស់ដែលមិនសមនឹងកិច្ចការដែលមាននៅក្នុងដៃដែលវាអាចត្រូវបានគេមើលឃើញថាជាទង្វើនៃមនុស្សអាក្រក់។ មានកំហុសស្ថាបត្យកម្មធំៗជាច្រើននៅក្នុងគម្រោងនេះ៖

ការដោះស្រាយបញ្ហា Byzantine Generals នៅក្នុងបណ្តាញត្រួតពិនិត្យការចូលប្រើគឺជាការរចនាមិនស៊ីសង្វាក់គ្នា។

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

ភាពស្មុគស្មាញនៃពេលវេលានៃរចនាសម្ព័ន្ធបន្ថែមនេះអាស្រ័យលើក្បួនដោះស្រាយ។ មានអក្សរសិល្ប៍ជាច្រើនអំពីវ៉ារ្យ៉ង់នៃពិធីការ Paxos និង Raft ដោះស្រាយបញ្ហាមេទ័ព Byzantine ប៉ុន្តែរចនាសម្ព័ន្ធទាំងអស់នេះណែនាំបន្ថែមពីលើការទំនាក់ទំនង។ ដើម្បីរក្សាកូរ៉ុម។ សម្រាប់ Libra ពួកគេបានជ្រើសរើសក្បួនដោះស្រាយមួយដែលមានតម្លៃទំនាក់ទំនងខ្ពស់បំផុត ក្នុងករណីបរាជ័យនៃភាពជាអ្នកដឹកនាំ។ ហើយ​វា​មាន​ប្រាក់​បន្ថែម​ពី​ការ​បោះ​ឆ្នោត​ឡើង​វិញ​នៃ​អ្នក​ដឹក​នាំ​ដែល​មាន​សក្ដានុពល​នៅ​ទូទាំង​ប្រភេទ​នៃ​ព្រឹត្តិការណ៍​បរាជ័យ​បណ្ដាញ​ជា​ច្រើន។

សម្រាប់ប្រព័ន្ធដែលដំណើរការនៅក្នុងសម្ព័ន្ធសាជីវកម្មពហុជាតិគ្រប់គ្រងខ្ពស់ ដែលអ្នកប្រើប្រាស់ទាំងអស់មានកូដចុះហត្ថលេខាដោយ Facebook ហើយការចូលប្រើបណ្តាញត្រូវបានគ្រប់គ្រងដោយ Facebook វាមិនសមហេតុផលទេក្នុងការពិចារណាអ្នកចូលរួមព្យាបាទនៅកម្រិតនៃការយល់ស្រប។ វាមិនច្បាស់ទេថាហេតុអ្វីបានជាប្រព័ន្ធនេះថែមទាំងអាចដោះស្រាយបញ្ហារបស់ឧត្តមសេនីយ៍ Byzantine ជាជាងគ្រាន់តែរក្សាដាននៃសវនកម្មជាប់លាប់ដើម្បីពិនិត្យមើលការអនុលោមតាមច្បាប់។ លទ្ធភាពនៃថ្នាំង Libra ដំណើរការដោយ Mastercard ឬ Andressen Horrowitz ស្រាប់តែចាប់ផ្តើមដំណើរការកូដព្យាបាទ គឺជាសេណារីយ៉ូដ៏ចម្លែកមួយក្នុងការរៀបចំផែនការ និងត្រូវបានដោះស្រាយបានប្រសើរជាងមុន ដោយគ្រាន់តែធានានូវភាពត្រឹមត្រូវនៃពិធីការ និងមធ្យោបាយមិនមែនបច្ចេកទេស (មានន័យថាផ្លូវច្បាប់)។

សក្ខីកម្មទៅកាន់សភាបានចេញវិក្កយបត្រផលិតផលនេះថាជាដៃគូប្រកួតប្រជែងជាមួយពិធីការបង់ប្រាក់អន្តរជាតិថ្មីដូចជា WeChat, Alipay និង M-Pesa ។ ទោះយ៉ាងណាក៏ដោយ គ្មានប្រព័ន្ធណាមួយក្នុងចំណោមប្រព័ន្ធទាំងនេះត្រូវបានបង្កើតឡើងដើម្បីដំណើរការលើ validator pools ដើម្បីដោះស្រាយបញ្ហាមេទ័ព Byzantine នោះទេ។ ពួកវាត្រូវបានរចនាឡើងយ៉ាងសាមញ្ញនៅលើឡានក្រុងដែលមានកម្រិតបញ្ជូនខ្ពស់បែបប្រពៃណី ដែលធ្វើខ្សែភ្លើងដោយយោងទៅតាមច្បាប់កំណត់។ នេះគឺជាវិធីសាស្រ្តធម្មជាតិក្នុងការរចនាប្រព័ន្ធទូទាត់។ រចនាយ៉ាងល្អ ប្រព័ន្ធ​ទូទាត់​នឹង​មិន​ជួប​បញ្ហា​នៃ​ការ​ចំណាយ​ទ្វេ​ដង និង​ការ​សន្សំ​ប្រាក់​ឡើយ។

តម្លៃលើសនៃក្បួនដោះស្រាយការយល់ស្របមិនដោះស្រាយបញ្ហាណាមួយឡើយ ហើយគ្រាន់តែកំណត់ការបញ្ជូននៃប្រព័ន្ធដោយគ្មានហេតុផលក្រៅពីការគោរពទំនិញនៃ blockchain សាធារណៈ ដែលមិនត្រូវបានបម្រុងទុកសម្រាប់ករណីប្រើប្រាស់នេះទេ។

Libra មិនមានភាពឯកជនប្រតិបត្តិការទេ។

យោងតាមឯកសារប្រព័ន្ធនេះត្រូវបានរចនាឡើងដោយគិតគូរ ឈ្មោះក្លែងក្លាយពោលគឺអាសយដ្ឋានដែលប្រើក្នុងពិធីការគឺទទួលបានពីសោសាធារណៈនៅលើខ្សែកោងរាងអេលីប ហើយមិនមានទិន្នន័យមេតាអំពីគណនីទេ។ ទោះជាយ៉ាងណាក៏ដោយ គ្មានកន្លែងណានៅក្នុងការពិពណ៌នាអំពីរចនាសម្ព័ន្ធអភិបាលកិច្ចសម្រាប់អង្គការ ឬនៅក្នុងពិធីការខ្លួនវាទេ ដែលវាបង្ហាញពីរបៀបដែលទិន្នន័យសេដ្ឋកិច្ចដែលពាក់ព័ន្ធនឹងប្រតិបត្តិការនឹងត្រូវបានលាក់ពីអ្នកផ្តល់សុពលភាព។ ប្រព័ន្ធនេះត្រូវបានរចនាឡើងដើម្បីចម្លងប្រតិបត្តិការក្នុងទ្រង់ទ្រាយធំទៅកាន់ភាគីខាងក្រៅជាច្រើន ដែលនៅក្រោមច្បាប់សម្ងាត់របស់ធនាគារអឺរ៉ុប និងសហរដ្ឋអាមេរិកដែលមានស្រាប់ មិនគួរជាឯកជនចំពោះព័ត៌មានលម្អិតសេដ្ឋកិច្ចនោះទេ។

គោលនយោបាយទិន្នន័យនៅទូទាំងប្រទេសមានភាពលំបាកក្នុងការសម្របសម្រួល ជាពិសេសច្បាប់ និងបទប្បញ្ញត្តិដែលមិនស្មើគ្នានៅក្នុងយុត្តាធិការផ្សេងៗគ្នា ជាមួយនឹងទស្សនៈវប្បធម៌ផ្សេងៗគ្នាលើការការពារទិន្នន័យ និងភាពឯកជន។ ពិធីការខ្លួនវាផ្ទាល់គឺតាមលំនាំដើមបើកចំហទាំងស្រុងចំពោះសមាជិកសម្ព័ន្ធ ដែលជាការខ្វះខាតបច្ចេកទេសច្បាស់លាស់ ដែលមិនបំពេញតាមតម្រូវការដែលវាត្រូវបានរចនាឡើង។

Libra HotStuff BFT មិនអាចសម្រេចបាននូវលំហូរដែលត្រូវការសម្រាប់ប្រព័ន្ធទូទាត់

នៅចក្រភពអង់គ្លេស ប្រព័ន្ធបោសសម្អាតដូចជា BAC មានសមត្ថភាពគ្រប់គ្រងប្រតិបត្តិការប្រហែល 580 ក្នុងមួយខែ។ ក្នុងពេលជាមួយគ្នានេះ ប្រព័ន្ធដែលធ្វើឱ្យប្រសើរឡើងខ្ពស់ដូចជា Visa អាចដំណើរការប្រតិបត្តិការ 000 ក្នុងមួយថ្ងៃ។ ដំណើរការប្រែប្រួលអាស្រ័យលើទំហំប្រតិបត្តិការ ការកំណត់បណ្តាញ ការផ្ទុកប្រព័ន្ធ និង ការត្រួតពិនិត្យ AML (ប្រឆាំងការលាងលុយកខ្វក់ គម្រោងការលាងលុយកខ្វក់)។

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

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

សម្រាប់អ្នកប្រើប្រាស់ វាគ្មានហេតុផលដែលប្រតិបត្តិការរបស់ចក្រភពអង់គ្លេសនឹងមិនច្បាស់លាស់ក្នុងរយៈពេលតែប៉ុន្មានវិនាទីនោះទេ។ ប្រតិបត្តិការលក់រាយនៅក្នុងសហភាពអឺរ៉ុបពិតជាមានការយឺតយ៉ាវ ពិនិត្យ KYC (ស្គាល់អតិថិជនរបស់អ្នក) និងការរឹតបន្តឹង AML ដែលដាក់ដោយរដ្ឋាភិបាល និងនិយតករ ដែលអនុវត្តស្មើៗគ្នាចំពោះការបង់ប្រាក់ Libra ។ បើទោះបីជា Facebook ត្រូវជម្នះឧបសគ្គក្នុងការផ្ទេរទិន្នន័យឆ្លងដែន និងការផ្ទេរទិន្នន័យឯកជនក៏ដោយ គំរូដែលបានស្នើឡើងគឺរាប់រយឆ្នាំពីមនុស្សម្នាក់ទៅមួយឆ្នាំពីដំណើរការប្រតិបត្តិការសកល ហើយទំនងជានឹងត្រូវរៀបចំឡើងវិញតាំងពីដំបូង។

ភាសា Libra Move មិនត្រឹមត្រូវទេ។

ក្រដាសស ធ្វើការអះអាងយ៉ាងក្លាហានអំពីភាសាថ្មី ដែលមិនអាចសាកល្បងបានហៅថា ផ្លាស់ទី។ សេចក្តីថ្លែងការណ៍ទាំងនេះគឺគួរឱ្យសង្ស័យណាស់ពីទស្សនៈនៃទ្រឹស្តីភាសាសរសេរកម្មវិធី (PLT) ។

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

មុខងារសំខាន់មួយរបស់ Move គឺសមត្ថភាពក្នុងការកំណត់ប្រភេទធនធានតាមអំពើចិត្ត ជាមួយនឹងអត្ថន័យដែលបំផុសគំនិតដោយតក្កវិជ្ជាលីនេអ៊ែរ។

នៅក្នុង blockchains សាធារណៈ កិច្ចសន្យាឆ្លាតវៃប្រឈមមុខនឹងតក្កវិជ្ជានៃបណ្តាញសាធារណៈជាមួយនឹងគណនី escrow ការលាងលុយកខ្វក់ ការចេញសញ្ញាសម្ងាត់ OTC និងការលេងល្បែងស៊ីសង។ ទាំងអស់នេះត្រូវបានធ្វើនៅក្នុងភាសាដែលបានរចនាយ៉ាងអន់ដែលហៅថា Solidity ដែលតាមទស្សនៈសិក្សាធ្វើឱ្យអ្នកនិពន្ធ PHP មើលទៅដូចជាមនុស្សពូកែ។ ចម្លែកគ្រប់គ្រាន់ហើយ ភាសាថ្មីពី Facebook ហាក់ដូចជាមិនមានជាប់ទាក់ទងនឹងបច្ចេកវិទ្យាទាំងនេះទេ ព្រោះតាមពិតវាគឺជាភាសាស្គ្រីបដែលមានបំណងសម្រាប់គោលបំណងសហគ្រាសដែលមិនច្បាស់លាស់។

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

បន្ទាប់ពីធ្វើការទាមទារអំពីសុវត្ថិភាពរបស់វា យើងត្រូវពិនិត្យមើលអត្ថន័យនៃភាសា។ ភាពត្រឹមត្រូវនៃទ្រឹស្តីភាសាសរសេរកម្មវិធីជាធម្មតាមានភស្តុតាងពីរផ្សេងគ្នា៖ "វឌ្ឍនភាព" និង "ការអភិរក្ស" ដែលកំណត់ភាពស៊ីសង្វាក់គ្នានៃចន្លោះទាំងមូលនៃច្បាប់វាយតម្លៃសម្រាប់ភាសា។ ពិសេសជាងនេះទៅទៀត នៅក្នុងទ្រឹស្ដីប្រភេទ មុខងារមួយគឺ "លីនេអ៊ែរ" ប្រសិនបើវាប្រើអាគុយម៉ង់របស់វាភ្លាមៗ ហើយ "affine" ប្រសិនបើវាប្រើវាច្រើនដង។ ប្រព័ន្ធប្រភេទលីនេអ៊ែរផ្តល់នូវការធានាឋិតិវន្តថាមុខងារលីនេអ៊ែរដែលបានប្រកាសគឺពិតជាលីនេអ៊ែរដោយកំណត់ប្រភេទទៅកន្សោមមុខងារទាំងអស់ និងតាមដានកន្លែងដែលការហៅទូរសព្ទត្រូវបានធ្វើឡើង។ នេះ​ជា​ទ្រព្យសម្បត្តិ​ដ៏​តូច​មួយ​ដើម្បី​បញ្ជាក់ ហើយ​មិន​ងាយ​ស្រួល​ក្នុង​ការ​អនុវត្ត​សម្រាប់​កម្មវិធី​ទាំងមូល​ទេ។ ការវាយអក្សរលីនេអ៊ែរនៅតែជាវិស័យសិក្សាដ៏ខ្លាំងមួយ ដែលត្រូវបានជះឥទ្ធិពលដោយការអនុវត្តភាពឯកោនៃប្រភេទនៅក្នុង Clean and type ownership in Rust។ មានសំណើបឋមមួយចំនួនសម្រាប់ការបន្ថែមប្រភេទលីនេអ៊ែរទៅកម្មវិធីចងក្រង Glasgow Haskell ។

សេចក្តីថ្លែងការណ៍របស់ Move អំពីការប្រើប្រភេទលីនេអ៊ែរហាក់ដូចជាការជ្រមុជទឹកដែលមិនមានការធានាទៅក្នុងកម្មវិធីចងក្រង ព្រោះនៅទីនោះ មិនមានតក្កវិជ្ជាត្រួតពិនិត្យប្រភេទបែបនេះទេ។. តាម​ដែល​គេ​អាច​ប្រាប់​បាន ក្រដាស​ស​បាន​លើក​ឡើង​ពី​អក្សរសិល្ប៍ Canonical ពី Girard និង Peirce ហើយ​មិន​មាន​អ្វី​ស្រដៀង​គ្នា​នៅ​ក្នុង​ការ​អនុវត្ត​ជាក់ស្តែង​នោះ​ទេ។

លើសពីនេះ អត្ថន័យផ្លូវការនៃភាសាដែលសន្មត់ថាមានសុវត្ថិភាពមិនលេចឡើងនៅកន្លែងណាទាំងក្នុងការអនុវត្ត ឬឯកសារនោះទេ។ ភាសាគឺតូចល្មមដើម្បីស្វែងរកភស្តុតាងពេញលេញនៃអត្ថន័យត្រឹមត្រូវនៅក្នុង Coq ឬ Isabelle ។ តាមពិតទៅ កម្មវិធីចងក្រងការបំប្លែងពេញលេញពីចុងដល់ចុងជាមួយនឹងការផ្ទេរភស្តុតាងទៅលេខកូដបៃគឺពិតជាអាចធ្វើទៅបានដើម្បីអនុវត្តជាមួយនឹងឧបករណ៍ទំនើបដែលត្រូវបានបង្កើតក្នុងទសវត្សរ៍ចុងក្រោយនេះ។ យើងដឹងពីរបៀបធ្វើវាដោយចាប់ផ្តើម ធ្វើការដោយ George Necula និង Peter Lee ត្រឡប់មកវិញក្នុងឆ្នាំ 1996 ។

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

ការសរសេរកូដ Libra មានកំហុស

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

គម្រោង libra អាស្រ័យ ពីបណ្ណាល័យថ្មីៗជាច្រើនសម្រាប់បង្កើតប្រព័ន្ធគ្រីបតូពិសោធន៍ដែលទើបតែបានបង្ហាញខ្លួនក្នុងរយៈពេលប៉ុន្មានឆ្នាំចុងក្រោយនេះ។ វាមិនអាចទៅរួចទេក្នុងការនិយាយថាតើភាពអាស្រ័យនៅលើឧបករណ៍ខាងក្រោមមានសុវត្ថិភាពឬអត់ ដោយសារមិនមានបណ្ណាល័យណាមួយត្រូវបានធ្វើសវនកម្ម និងមិនមានគោលការណ៍បង្ហាញស្តង់ដារ។ ជាពិសេស សម្រាប់បណ្ណាល័យស្នូលមួយចំនួន វាមិនមានភាពប្រាកដប្រជាទាក់ទងនឹងការការពារប្រឆាំងនឹងការវាយប្រហារតាមឆានែលចំហៀង និងការវាយប្រហារតាមពេលវេលានោះទេ។

1. ed25519-dalek
2. ខ្សែកោង 25519-dalek

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

វាគួរតែត្រូវបានសន្មត់ថាជង់គ្រីបគ្រីបទាំងមូលនេះ ងាយរងការវាយប្រហារផ្សេងៗ រហូតដល់មានការបញ្ជាក់ផ្សេងពីនេះ។ គំរូ 'Move Fast and Break Things' ដ៏ល្បីល្បាញរបស់ Facebook មិនអាចត្រូវបានអនុវត្តចំពោះឧបករណ៍គ្រីបគ្រីបដែលដំណើរការទិន្នន័យហិរញ្ញវត្ថុរបស់អតិថិជននោះទេ។

Libra បរាជ័យក្នុងការអនុវត្តយន្តការការពារអ្នកប្រើប្រាស់

លក្ខណៈពិសេសប្លែកនៃប្រព័ន្ធទូទាត់គឺសមត្ថភាពក្នុងការបង្វិលប្រតិបត្តិការឡើងវិញ ប្រសិនបើការទូទាត់ត្រូវបានលុបចោលដោយការប្តឹង ឬនាំទៅរកការបរាជ័យដោយចៃដន្យ ឬប្រព័ន្ធ។ ប្រព័ន្ធ Libra ត្រូវបានរចនាឡើងដើម្បី "ពេញលេញ" និងមិនរួមបញ្ចូលប្រភេទប្រតិបត្តិការសម្រាប់ការលុបចោលការទូទាត់។ នៅចក្រភពអង់គ្លេស រាល់ការទូទាត់រវាង £100 និង £30,000 គឺស្ថិតនៅក្រោមច្បាប់ឥណទានអ្នកប្រើប្រាស់។ នេះមានន័យថាប្រព័ន្ធទូទាត់ចែករំលែកការទទួលខុសត្រូវជាមួយអ្នកលក់ក្នុងករណីមានបញ្ហាជាមួយផលិតផលដែលបានទិញ ឬប្រសិនបើអ្នកទទួលការទូទាត់មិនផ្តល់សេវាកម្ម។ ច្បាប់ស្រដៀងគ្នានេះអនុវត្តនៅក្នុងសហភាពអឺរ៉ុប អាស៊ី និងអាមេរិកខាងជើង។

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

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

ខ្ញុំមើលមិនឃើញហេតុផលដើម្បីជឿថា Facebook បានធ្វើការងារចាំបាច់ក្នុងការរចនារបស់ខ្លួន ដើម្បីជម្នះបញ្ហាបច្ចេកទេសទាំងនេះ ឬថាវាមានគុណសម្បត្តិបច្ចេកទេសណាមួយលើហេដ្ឋារចនាសម្ព័ន្ធបច្ចុប្បន្ន។ ការនិយាយថាក្រុមហ៊ុនមួយត្រូវការភាពបត់បែនតាមបទប្បញ្ញត្តិដើម្បីស្វែងរកការច្នៃប្រឌិតមិនមែនជាលេសសម្រាប់ការមិនធ្វើវាជាមុននោះទេ។

ប្រភព: www.habr.com