ពិធីការឯកភាពរបស់ Stellar ត្រូវបានពិពណ៌នាជាលើកដំបូងនៅក្នុង David Mazier ក្នុងឆ្នាំ 2015 ។ នេះគឺជា "ប្រព័ន្ធកិច្ចព្រមព្រៀងសហព័ន្ធ Byzantine" ដែលអនុញ្ញាតឱ្យបណ្តាញគណនាវិមជ្ឈការ និងគ្មានអ្នកដឹកនាំ ឈានដល់ការឯកភាពគ្នាយ៉ាងមានប្រសិទ្ធភាពលើការសម្រេចចិត្តមួយ។ បណ្តាញទូទាត់ Stellar ប្រើប្រាស់ Stellar Consensus Protocol (SCP) ដើម្បីរក្សាប្រវត្តិប្រតិបត្តិការជាប់លាប់ដែលអាចមើលឃើញដោយអ្នកចូលរួមទាំងអស់។
ពិធីការឯកភាពត្រូវបានចាត់ទុកថាពិបាកយល់។ SCP គឺសាមញ្ញជាងពួកគេភាគច្រើន ប៉ុន្តែនៅតែចែករំលែកកេរ្តិ៍ឈ្មោះនេះ - មួយផ្នែកដោយសារតែគំនិតខុសថា "ការបោះឆ្នោតសហព័ន្ធ" ដែលជាប្រធានបទនៃពាក់កណ្តាលដំបូងនៃអត្ថបទវិទ្យាសាស្ត្រគឺ SCP ។ ប៉ុន្តែវាមិនពិតទេ! នេះគ្រាន់តែជាប្លុកអគារដ៏សំខាន់ដែលពាក់កណ្តាលទីពីរនៃអត្ថបទប្រើដើម្បីបង្កើត ពិត ពិធីការឯកភាពផ្កាយ។
នៅក្នុងអត្ថបទនេះ យើងនឹងពន្យល់យ៉ាងខ្លីថា "ប្រព័ន្ធនៃកិច្ចព្រមព្រៀង" គឺជាអ្វី អ្វីដែលអាចធ្វើឱ្យវា "Byzantine" និងហេតុអ្វីបានជាធ្វើឱ្យប្រព័ន្ធ Byzantine "សហព័ន្ធ" ។ បន្ទាប់មកយើងនឹងពន្យល់ពីនីតិវិធីបោះឆ្នោតសហព័ន្ធដែលបានពិពណ៌នានៅក្នុងអត្ថបទ SCP ហើយចុងក្រោយយើងនឹងពន្យល់អំពីពិធីការ SCP ដោយខ្លួនឯង។
ប្រព័ន្ធកិច្ចព្រមព្រៀង
ប្រព័ន្ធនៃកិច្ចព្រមព្រៀងអនុញ្ញាតឱ្យអ្នកចូលរួមមួយក្រុមឈានដល់ការឯកភាពគ្នាលើប្រធានបទមួយ ដូចជាអ្វីដែលត្រូវបញ្ជាទិញសម្រាប់អាហារថ្ងៃត្រង់។
នៅ Interstellar យើងបានអនុវត្តប្រព័ន្ធកិច្ចព្រមព្រៀងអាហារពេលល្ងាចផ្ទាល់ខ្លួនរបស់យើង៖ យើងបញ្ជាតាមអ្វីដែលអ្នកគ្រប់គ្រងប្រតិបត្តិការរបស់យើង លោក John និយាយ។ នេះគឺជាប្រព័ន្ធកិច្ចព្រមព្រៀងដ៏សាមញ្ញ និងមានប្រសិទ្ធភាព។ យើងទាំងអស់គ្នាជឿជាក់លើ John ហើយជឿថាគាត់នឹងរកឃើញអ្វីដែលគួរឱ្យចាប់អារម្មណ៍និងមានជីវជាតិជារៀងរាល់ថ្ងៃ។
ប៉ុន្តែ ចុះបើយ៉ូហានបំពានលើការទុកចិត្តរបស់យើង? គាត់អាចសម្រេចចិត្តតែម្ខាងថាយើងទាំងអស់គ្នាគួរតែក្លាយជាអ្នកបួស។ ក្នុងមួយឬពីរសប្ដាហ៍ យើងប្រហែលជានឹងផ្ដួលរំលំគាត់ ហើយប្រគល់អំណាចទៅអេលីសាបិត។ ប៉ុន្តែភ្លាមៗនោះនាងចូលចិត្តផ្លែបឺរជាមួយអាន់ឆូវី ហើយគិតថាគ្រប់គ្នាគួរតែដូចនោះ។ អំណាចខូច។ ដូច្នេះ វាជាការប្រសើរក្នុងការស្វែងរកវិធីសាស្ត្រប្រជាធិបតេយ្យបន្ថែមទៀត៖ វិធីខ្លះដើម្បីធ្វើឱ្យប្រាកដថា ចំណូលចិត្តផ្សេងៗគ្នាត្រូវបានយកមកពិចារណា ខណៈពេលដែលធានាបាននូវលទ្ធផលទាន់ពេលវេលា និងមិនច្បាស់លាស់ ដើម្បីកុំឱ្យនរណាម្នាក់បញ្ចប់ការបញ្ជាទិញអាហារថ្ងៃត្រង់ ឬមនុស្សប្រាំនាក់ដាក់បញ្ជាខុសៗគ្នា ឬការពិភាក្សា។ អូសទៅពេលល្ងាច។
វាហាក់ដូចជាថាដំណោះស្រាយគឺសាមញ្ញ៖ បោះឆ្នោត! ប៉ុន្តែនេះគឺជាការយល់ច្រឡំ។ តើអ្នកណានឹងប្រមូលសន្លឹកឆ្នោត ហើយរាយការណ៍លទ្ធផល? ហើយហេតុអ្វីបានជាអ្នកដទៃគួរជឿនូវអ្វីដែលគាត់និយាយ? ប្រហែលជាយើងអាចធ្វើបាន ដំបូង។ បោះឆ្នោតឱ្យមេដឹកនាំដែលយើងទុកចិត្តដើម្បីដឹកនាំការបោះឆ្នោត - ប៉ុន្តែអ្នកណានឹងដឹកនាំវា។ ដំបូង ដោយការបោះឆ្នោត? ចុះបើយើងមិនអាចយល់ស្របលើអ្នកដឹកនាំ? ឬចុះយ៉ាងណាបើយើងឈានដល់កិច្ចព្រមព្រៀង ប៉ុន្តែអ្នកដឹកនាំនេះជាប់គាំងក្នុងការប្រជុំ ឬឈប់សម្រាកឈឺ?
បញ្ហាស្រដៀងគ្នានេះកើតឡើងនៅក្នុងបណ្តាញកុំព្យូទ័រដែលបានចែកចាយ។ អ្នកចូលរួម ឬថ្នាំងទាំងអស់ត្រូវតែយល់ព្រមលើការសម្រេចចិត្តមួយចំនួន ដូចជាវេនរបស់អ្នកដើម្បីធ្វើបច្ចុប្បន្នភាពឯកសារដែលបានចែករំលែក ឬលុបកិច្ចការចេញពីជួរដំណើរការ។ នៅក្នុងបណ្តាញ cryptocurrency ថ្នាំងម្តងហើយម្តងទៀតត្រូវជ្រើសរើសនូវអ្វីដែលសាច់រឿងពេញលេញមើលទៅដូចពីកំណែដែលអាចធ្វើបានជាច្រើន ដែលជួនកាលមានជម្លោះ។ កិច្ចព្រមព្រៀងបណ្តាញនេះផ្តល់ការធានាដល់អ្នកទទួលថាកាក់គឺ (ក) មានសុពលភាព (មិនក្លែងក្លាយ) និង (ខ) មិនទាន់បានចំណាយនៅកន្លែងផ្សេងនៅឡើយ។ នេះក៏ធានាផងដែរថាគាត់នឹងអាចចំណាយកាក់នាពេលអនាគតពីព្រោះអ្នកទទួលថ្មីនឹងមានការធានាដូចគ្នាសម្រាប់ហេតុផលដូចគ្នា។
ប្រព័ន្ធការយល់ស្របណាមួយនៅក្នុងបណ្តាញកុំព្យូទ័រដែលបានចែកចាយត្រូវតែមានការអត់ឱនចំពោះកំហុស៖ វាត្រូវតែបង្កើតលទ្ធផលជាប់លាប់ ទោះបីជាមានកំហុសដូចជាតំណភ្ជាប់យឺត ថ្នាំងមិនឆ្លើយតប និងការបញ្ជាទិញសារមិនត្រឹមត្រូវក៏ដោយ។ ប៊ីហ្សីនទីន ប្រព័ន្ធកិច្ចព្រមព្រៀងមានភាពធន់នឹងកំហុស "Byzantine" បន្ថែមទៀត៖ ថ្នាំងដែលផ្តល់ព័ត៌មានមិនពិត ទោះបីជាដោយសារកំហុស ឬក្នុងចេតនាប៉ុនប៉ងធ្វើឱ្យខូចប្រព័ន្ធ ឬទទួលបានអត្ថប្រយោជន៍ខ្លះក៏ដោយ។ ការអត់ឱនចំពោះកំហុស "Byzantine" - សមត្ថភាពក្នុងការជឿទុកចិត្តលើការសម្រេចចិត្តរបស់ក្រុមទោះបីជាសមាជិកក្រុមខ្លះអាចកុហកឬមិនអនុវត្តតាមច្បាប់នៃការសម្រេចចិត្ត - ត្រូវបានគេហៅថា ដែលព្យាយាមសម្របសម្រួលការវាយប្រហារ។ — នៅ Anthony Stevens។
សូមពិចារណាអំពីម្ចាស់កាក់គ្រីបតូឈ្មោះ Alice ដែលត្រូវតែជ្រើសរើសរវាងការទិញការ៉េមឆ្ងាញ់ពីលោក Bob និងការសងបំណុលរបស់ Carol ។ ប្រហែលជា Alice ចង់បង់ប្រាក់ឱ្យពួកគេទាំងពីរក្នុងពេលតែមួយដោយក្លែងបន្លំចំណាយកាក់ដូចគ្នា។ ដើម្បីធ្វើដូច្នេះ នាងត្រូវតែបញ្ចុះបញ្ចូលកុំព្យូទ័ររបស់ Bob ថាកាក់មិនដែលត្រូវបានបង់ទៅឱ្យ Carol ហើយបញ្ចុះបញ្ចូលកុំព្យូទ័ររបស់ Carol ថាកាក់មិនត្រូវបានបង់ឱ្យ Bob ឡើយ។ ប្រព័ន្ធនៃកិច្ចព្រមព្រៀង Byzantine ធ្វើឱ្យរឿងនេះស្ទើរតែមិនអាចទៅរួចទេ ដោយប្រើទម្រង់នៃច្បាប់ភាគច្រើនហៅថា កូរ៉ុម. ថ្នាំងនៅក្នុងបណ្តាញបែបនេះបដិសេធមិនផ្លាស់ទីទៅកំណែជាក់លាក់នៃប្រវត្តិរហូតដល់វាឃើញថាចំនួនមិត្តភ័ក្តិគ្រប់គ្រាន់ - កូរ៉ុម - យល់ព្រមចំពោះការផ្លាស់ប្តូរបែបនេះ។ នៅពេលដែលវាកើតឡើង ពួកគេនឹងបង្កើតប្លុកបោះឆ្នោតដ៏ធំមួយ ដើម្បីបង្ខំឱ្យក្រុមបណ្តាញដែលនៅសល់យល់ព្រមជាមួយការសម្រេចចិត្តរបស់ពួកគេ។ អាលីសអាចបង្ខំថ្នាំងមួយចំនួនឱ្យកុហកជំនួសនាង ប៉ុន្តែប្រសិនបើបណ្តាញមានទំហំធំគ្រប់គ្រាន់ ការប៉ុនប៉ងរបស់នាងនឹងត្រូវបានគ្របដណ្ដប់ដោយការបោះឆ្នោតពីថ្នាំងស្មោះត្រង់។
តើត្រូវការថ្នាំងប៉ុន្មានសម្រាប់កូរ៉ុម? យ៉ាងហោចណាស់ ភាគច្រើន ឬផ្ទុយទៅវិញ ភាគច្រើនមានលក្ខណៈសម្បត្តិគ្រប់គ្រាន់ ដើម្បីប្រយុទ្ធប្រឆាំងនឹងកំហុស និងការក្លែងបន្លំ។ ប៉ុន្តែដើម្បីរាប់ចំនួនភាគច្រើន អ្នកត្រូវដឹងពីចំនួនអ្នកចូលរួមសរុប។ នៅការិយាល័យ Interstellar ឬនៅការបោះឆ្នោតស្រុក លេខទាំងនេះងាយស្រួលរក។ ប៉ុន្តែប្រសិនបើក្រុមរបស់អ្នកគឺជាបណ្តាញដែលបានកំណត់យ៉ាងធូររលុង ដែលថ្នាំងអាចចូល និងចាកចេញតាមឆន្ទៈដោយគ្មានការយល់ព្រមពីមជ្ឈមណ្ឌលនោះ អ្នកត្រូវការ សហព័ន្ធ ប្រព័ន្ធកិច្ចព្រមព្រៀង Byzantine ដែលមានសមត្ថភាពកំណត់កូរ៉ុមមិនមែនមកពីបញ្ជីថ្នាំងដែលបានកំណត់ទុកជាមុនទេ ប៉ុន្តែជាលក្ខណៈថាមវន្ត ពីរូបថតដែលផ្លាស់ប្តូរជានិច្ច និងជៀសមិនរួចនៃថ្នាំងនៅចំណុចដែលបានកំណត់ក្នុងពេលវេលា។
វាហាក់ដូចជាមិនអាចទៅរួចទេក្នុងការបង្កើតកូរ៉ុមពីទស្សនៈនៃថ្នាំងតែមួយនៅក្នុងបណ្តាញដ៏ធំប៉ុន្តែវាអាចទៅរួច។ កូរ៉ុមបែបនេះអាចធានាលទ្ធផលនៃការបោះឆ្នោតវិមជ្ឈការ។ ក្រដាសស SCP បង្ហាញពីរបៀបធ្វើវាដោយប្រើនីតិវិធីហៅថា ដោយការបោះឆ្នោតសហព័ន្ធ.
សម្រាប់អ្នកមិនចេះអត់ធ្មត់
អត្ថបទដែលនៅសល់ពិពណ៌នាអំពីការបោះឆ្នោតសហព័ន្ធ និងពិធីការឯកភាពរបស់ Stellar យ៉ាងលម្អិតបន្ថែមទៀត។ ប្រសិនបើអ្នកមិនចាប់អារម្មណ៍លើព័ត៌មានលម្អិតទេ នេះជាទិដ្ឋភាពទូទៅនៃដំណើរការនេះ។
- ថ្នាំងធ្វើការជុំនៃការបោះឆ្នោតសហព័ន្ធលើ "អ្នកតែងតាំង" ។ ជុំបោះឆ្នោតសហព័ន្ធមានន័យថា៖
- ថ្នាំងបោះឆ្នោតសម្រាប់សេចក្តីថ្លែងការណ៍មួយចំនួន ឧទាហរណ៍ “ខ្ញុំស្នើតម្លៃ V”;
- ថ្នាំងស្តាប់សំលេងរបស់មិត្តភក្ដិរហូតដល់វារកឃើញមួយដែលអាច "ទទួល";
- ថ្នាំងស្វែងរក "កូរ៉ុម" សម្រាប់ការអះអាងនេះ។ កូរ៉ុមមួយ “បញ្ជាក់” អ្នកដែលត្រូវបានតែងតាំង។
- នៅពេលដែលថ្នាំងមួយអាចបញ្ជាក់ពីអ្នកតែងតាំងមួយ ឬច្រើននោះ វាព្យាយាម "រៀបចំ" "សន្លឹកឆ្នោត" តាមរយៈការបោះឆ្នោតសហព័ន្ធជាច្រើនជុំ។
- នៅពេលដែលថ្នាំងអាចផ្ទៀងផ្ទាត់សន្លឹកឆ្នោតរួចរាល់ វាព្យាយាមធ្វើវាតាមរយៈការបោះឆ្នោតសហព័ន្ធកាន់តែច្រើន។
- នៅពេលដែលថ្នាំងអាចបញ្ជាក់ការប្តេជ្ញាចិត្តនៃសន្លឹកឆ្នោត វាអាច "ខាងក្រៅ" តម្លៃនៃសន្លឹកឆ្នោតនោះដោយប្រើវាជាលទ្ធផលរួមមួយ។
ជំហានទាំងនេះពាក់ព័ន្ធនឹងការបោះឆ្នោតសហព័ន្ធជាច្រើនជុំ ដែលប្រមូលផ្តុំគ្នាជាជុំ SCP ។ ចូរយើងពិនិត្យមើលឱ្យបានដិតដល់នូវអ្វីដែលកើតឡើងនៅជំហាននីមួយៗ។
ការបោះឆ្នោតសហព័ន្ធ
ការបោះឆ្នោតសហព័ន្ធគឺជានីតិវិធីសម្រាប់កំណត់ថាតើបណ្តាញនេះអាចយល់ព្រមលើសំណើរមួយឬយ៉ាងណា។ នៅក្នុងការបោះឆ្នោត ថ្នាំងនីមួយៗត្រូវតែជ្រើសរើសតម្លៃមួយក្នុងចំណោមតម្លៃដែលអាចធ្វើទៅបានច្រើន។ វាមិនអាចធ្វើដូចនេះបានទេ លុះត្រាតែវាមានទំនុកចិត្តថាថ្នាំងផ្សេងទៀតនៅក្នុងបណ្តាញនឹងមិនជ្រើសរើសលទ្ធផលផ្សេង។ ដើម្បីប្រាកដពីចំណុចនេះ ថ្នាំងប្តូរសារទៅវិញទៅមកដើម្បីឱ្យអ្នករាល់គ្នា។ បានបញ្ជាក់ថា, នោះ កូរ៉ុម នាឡិកា ទទួលយក ដូចគ្នា ការសម្រេចចិត្ត. នៅសល់នៃផ្នែកនេះពន្យល់ពីពាក្យនៅក្នុងប្រយោគនេះ និងរបៀបដែលដំណើរការទាំងមូលកើតឡើង។
កូរ៉ុម និងកំណាត់កូរ៉ុម
ចូរចាប់ផ្តើមដោយកំណត់កូរ៉ុមមួយ។ ដូចដែលយើងបានពិភាក្សាខាងលើ នៅក្នុងបណ្តាញវិមជ្ឈការដែលមានសមាជិកភាពថាមវន្ត វាមិនអាចទៅរួចទេក្នុងការដឹងជាមុនអំពីចំនួនថ្នាំង ហើយដូច្នេះចំនួនដែលត្រូវការសម្រាប់ភាគច្រើន។ ការបោះឆ្នោតសហព័ន្ធដោះស្រាយបញ្ហានេះដោយការណែនាំគំនិតថ្មី។ កាត់កូរ៉ុម (បន្ទះកូរ៉ុម)៖ សំណុំតូចមួយនៃមិត្តភក្ដិដែលថ្នាំងទុកចិត្តក្នុងការទំនាក់ទំនងព័ត៌មានស្ថានភាពបោះឆ្នោតទៅកាន់បណ្តាញដែលនៅសល់។ ថ្នាំងនីមួយៗកំណត់ផ្នែកកូរ៉ុមផ្ទាល់ខ្លួនរបស់វា (ដែលវាក្លាយជាសមាជិកជាក់ស្តែង)។
ការបង្កើតកូរ៉ុមចាប់ផ្តើមដោយការកាត់កូរ៉ុម។ សម្រាប់ថ្នាំងនីមួយៗ ថ្នាំងកាត់របស់វាត្រូវបានបន្ថែម។ បន្ទាប់មកលក្ខខណ្ឌនៃចំណិតត្រូវបានបន្ថែម ថ្នាំងទាំងនេះ លល។ នៅពេលអ្នកបន្ត មានថ្នាំងកាន់តែច្រើនដែលអ្នកមិនអាចបន្ថែមបានព្រោះពួកវាត្រូវបានរួមបញ្ចូលក្នុងចំណែករួចហើយ។ នៅពេលដែលមិនមានថ្នាំងថ្មីបន្ថែមទេ ដំណើរការនឹងឈប់៖ យើងបានបង្កើតកូរ៉ុមដោយ "ការបិទបណ្តោះអាសន្ន" នៃបន្ទះកូរ៉ុមនៃថ្នាំងដំបូង។
ដើម្បីស្វែងរកកូរ៉ុមពីថ្នាំងដែលបានផ្តល់...
... បន្ថែមសមាជិកនៃចំណែករបស់វា...
...បន្ទាប់មកយើងបន្ថែមសមាជិកផ្នែកនៃថ្នាំងទាំងនេះ។
យើងបន្តរហូតដល់គ្មានថ្នាំងដែលនៅសល់ដើម្បីបន្ថែម។
មិនមានថ្នាំងនៅសល់ដើម្បីបន្ថែមទេ។ នេះគឺជាកូរ៉ុម។
តាមពិតថ្នាំងនីមួយៗអាចលេចឡើងក្នុងផ្នែកច្រើនជាងមួយ។ ដើម្បីបង្កើតកូរ៉ុម សូមជ្រើសរើសតែផ្នែកមួយប៉ុណ្ណោះក្នុងចំណោមចំណិត ហើយបន្ថែមសមាជិក។ បន្ទាប់មកជ្រើសរើសផ្នែកណាមួយសម្រាប់សមាជិកនីមួយៗ ហើយបន្ថែមសមាជិក វា កាត់ជាដើម។ នេះមានន័យថាថ្នាំងនីមួយៗគឺជាសមាជិកនៃកូរ៉ុមដែលអាចធ្វើទៅបាន។
ជ្រើសរើសតែបន្ទះកូរ៉ុមមួយនៅជំហាននីមួយៗ។
កូរ៉ុមមួយដែលអាចធ្វើទៅបាន។ ឬជម្រើសមួយ ...
...ជ្រើសរើសផ្នែកផ្សេងទៀត...
... (នៅពេលដែលអាចធ្វើទៅបាន) ...
... បង្កើតកូរ៉ុមមួយទៀត។
តើ node ដឹងដោយរបៀបណា ថាតើថ្នាំងណាខ្លះនៅក្នុងនោះ? តាមរបៀបដូចគ្នានឹងព័ត៌មានផ្សេងទៀតអំពីថ្នាំងផ្សេងទៀត៖ ពីការបញ្ជូនដែលថ្នាំងនីមួយៗផ្សាយទៅបណ្តាញនៅពេលដែលស្ថានភាពបោះឆ្នោតរបស់វាផ្លាស់ប្តូរ។ ការផ្សាយនីមួយៗរួមបញ្ចូលព័ត៌មានអំពីចំណិតនៃថ្នាំងបញ្ជូន។ ក្រដាសស SCP មិនបញ្ជាក់ពីយន្តការទំនាក់ទំនងទេ។ ការអនុវត្តជាធម្មតាប្រើ សម្រាប់ការធានាការផ្សាយសារនៅទូទាំងបណ្តាញ។
សូមចាំថានៅក្នុងប្រព័ន្ធកិច្ចព្រមព្រៀងមិនមែនសហព័ន្ធ Byzantine កូរ៉ុមមួយត្រូវបានកំណត់ថាជាភាគច្រើននៃថ្នាំងទាំងអស់។ ប្រព័ន្ធកិច្ចព្រមព្រៀង Byzantine ត្រូវបានរចនាឡើងតាមទស្សនៈនៃសំណួរ៖ តើប្រព័ន្ធមិនស្មោះត្រង់ប៉ុន្មានអាចទ្រាំទ្របាន? នៅក្នុងប្រព័ន្ធនៃ N nodes ដែលត្រូវបានរចនាឡើងដើម្បីរស់រានមានជីវិតពីការបរាជ័យ ថ្នាំងគួរតែអាចដំណើរការបានដោយទទួលបានមតិកែលម្អពី N-f peers ចាប់តាំងពី f នៃពួកវាអាចធ្លាក់ចុះ។ ប៉ុន្តែដោយបានទទួលការឆ្លើយតបពី N-f peers យើងអាចសន្មត់ថា f peers ទាំងអស់ (ដែល node មិនបានទទួលការឆ្លើយតប) ពិតជាស្មោះត្រង់។ ដូច្នេះ f ក្នុងចំណោម N-f peers (ដែលការឆ្លើយតបត្រូវបានទទួល) គឺព្យាបាទ។ សម្រាប់ថ្នាំងដើម្បីឈានដល់ការឯកភាពគ្នា ភាគច្រើននៃថ្នាំងដែលនៅសល់ត្រូវតែស្មោះត្រង់ ពោលគឺយើងត្រូវការ N−f ធំជាង 2f ឬ N> 3f ។ ដូច្នេះជាធម្មតាប្រព័ន្ធដែលត្រូវបានរចនាឡើងដើម្បីរស់រានមានជីវិតពីការបរាជ័យនឹងមានថ្នាំង N=3f+1 សរុប និងទំហំកូរ៉ុម 2f+1 ។ នៅពេលដែលសំណើមួយឆ្លងកាត់កម្រិតកូរ៉ុម បណ្តាញដែលនៅសល់ត្រូវបានជឿជាក់ថាសំណើប្រកួតប្រជែងណាមួយនឹងបរាជ័យ។ នេះជារបៀបដែលបណ្តាញបង្រួបបង្រួមទៅនឹងលទ្ធផល។
ប៉ុន្តែនៅក្នុងប្រព័ន្ធកិច្ចព្រមព្រៀងសហព័ន្ធ Byzantine មិនត្រឹមតែមិនអាចមានភាគច្រើនទេ (ដោយសារតែគ្មាននរណាម្នាក់ដឹងពីទំហំសរុបនៃបណ្តាញ) ប៉ុន្តែគំនិតនៃភាគច្រើនគឺគ្មានប្រយោជន៍ទាំងស្រុង! ប្រសិនបើសមាជិកភាពនៅក្នុងប្រព័ន្ធបើកចំហ នោះនរណាម្នាក់អាចទទួលបានភាគច្រើនដោយគ្រាន់តែធ្វើការវាយប្រហារ Sybil៖ ចូលរួមបណ្តាញម្តងហើយម្តងទៀតនៅលើថ្នាំងច្រើន។ ដូច្នេះហេតុអ្វីបានជាការបិទចំណិតបណ្តោះអាសន្នអាចត្រូវបានគេហៅថា កូរ៉ុមហើយតើវាអាចទប់ស្កាត់សំណើប្រកួតប្រជែងដោយរបៀបណា?
តាមបច្ចេកទេសគ្មានផ្លូវទេ! ស្រមៃមើលបណ្តាញនៃថ្នាំងប្រាំមួយ ដែលបីដងពីរត្រូវបានញែកដាច់ពីគ្នានៅក្នុងបន្ទះកូរ៉ុមរបស់គ្នាទៅវិញទៅមក។ ក្រុមរងទីមួយអាចធ្វើការសម្រេចចិត្តដែលក្រុមទីពីរនឹងមិនឮអំពី ហើយផ្ទុយទៅវិញ។ មិនមានផ្លូវសម្រាប់បណ្តាញនេះដើម្បីឈានដល់ការឯកភាពគ្នាទេ (លើកលែងតែដោយចៃដន្យ)។
ដូច្នេះ SCP ទាមទារថាសម្រាប់ការបោះឆ្នោតសហព័ន្ធ (និងសម្រាប់ទ្រឹស្តីបទសំខាន់ៗនៃក្រដាសដើម្បីអនុវត្ត) បណ្តាញត្រូវតែមានទ្រព្យសម្បត្តិហៅថា ចំណុចប្រសព្វនៃកូរ៉ុម. នៅក្នុងបណ្តាញដែលមានលក្ខណសម្បត្តិនេះ កូរ៉ុមពីរណាដែលអាចត្រូវបានសាងសង់តែងតែត្រួតលើគ្នាក្នុងយ៉ាងហោចណាស់មួយថ្នាំង។ សម្រាប់ការកំណត់អារម្មណ៍ទូទៅនៃបណ្តាញនេះគឺល្អដូចជាមានភាគច្រើនដែរ។ ដោយវិចារណញាណ នេះមានន័យថា ប្រសិនបើកូរ៉ុមណាមួយយល់ព្រមចំពោះសេចក្តីថ្លែងការណ៍ X នោះគ្មានកូរ៉ុមផ្សេងទៀតអាចយល់ព្រមលើអ្វីផ្សេងទៀតបានទេ ព្រោះវាចាំបាច់នឹងរួមបញ្ចូលថ្នាំងមួយចំនួនពីកូរ៉ុមដំបូងដែលបានបោះឆ្នោតរួចហើយសម្រាប់ X ។
ប្រសិនបើមានការប្រសព្វនៃកូរ៉ុមនៅក្នុងបណ្តាញ ...
...បន្ទាប់មកកូរ៉ុមពីរណាមួយដែលអ្នកអាចបង្កើត...
... នឹងប្រសព្វគ្នាជានិច្ច។
(ជាការពិតណាស់ ថ្នាំងត្រួតគ្នាអាចនឹងក្លាយទៅជាការកុហក Byzantine ឬអាក្រក់ផ្សេងទៀត។ នៅក្នុងករណីនេះ ការប្រសព្វកូរ៉ុមមិនបានជួយបណ្តាញយល់ស្របទាល់តែសោះ។ សម្រាប់ហេតុផលនេះ លទ្ធផលជាច្រើនក្នុងក្រដាសស SCP គឺផ្អែកលើ ការសន្មត់ច្បាស់លាស់ ដូចជាអ្វីដែលនៅសេសសល់ក្នុងការឆ្លងកាត់កូរ៉ុមបណ្តាញ សូម្បីតែបន្ទាប់ពីដកថ្នាំងអាក្រក់ចេញ. សម្រាប់ភាពសាមញ្ញ ចូរយើងទុកការសន្មត់ទាំងនេះ បង្កប់ន័យ នៅក្នុងអត្ថបទដែលនៅសល់) ។
វាហាក់ដូចជាមិនសមហេតុផលក្នុងការរំពឹងថាការឆ្លងកាត់កូរ៉ុមដែលអាចទុកចិត្តបានគឺអាចធ្វើទៅបាននៅក្នុងបណ្តាញនៃថ្នាំងឯករាជ្យ។ ប៉ុន្តែមានហេតុផលពីរយ៉ាងដែលធ្វើដូច្នេះ។
ហេតុផលដំបូងគឺអត្ថិភាពនៃអ៊ីនធឺណិតខ្លួនឯង។ អ៊ីនធឺណិតគឺជាឧទាហរណ៍ដ៏ល្អឥតខ្ចោះនៃបណ្តាញថ្នាំងឯករាជ្យដែលមានកូរ៉ុមប្រសព្វគ្នា។ ថ្នាំងភាគច្រើននៅលើអ៊ីនធឺណិតភ្ជាប់ទៅថ្នាំងក្នុងស្រុកមួយចំនួនផ្សេងទៀត ប៉ុន្តែសំណុំតូចៗទាំងនេះត្រួតលើគ្នាគ្រប់គ្រាន់ដែលគ្រប់ថ្នាំងទាំងអស់អាចទៅដល់ពីគ្រប់ថ្នាំងផ្សេងទៀតតាមផ្លូវមួយចំនួន។
ហេតុផលទីពីរគឺជាក់លាក់ចំពោះបណ្តាញទូទាត់ Stellar (ការប្រើប្រាស់ទូទៅបំផុតនៃ SCP) ។ រាល់ទ្រព្យសកម្មនៅលើបណ្តាញ Stellar មានអ្នកចេញ ហើយគោលការណ៍ណែនាំរបស់ Stellar តម្រូវឱ្យអ្នកចេញប័ណ្ណនីមួយៗកំណត់ថ្នាំងមួយ ឬច្រើននៅលើបណ្តាញ ដើម្បីដំណើរការសំណើសុំលោះ។ វាគឺជាផលប្រយោជន៍ដ៏ល្អបំផុតរបស់អ្នកក្នុងការរួមបញ្ចូលថ្នាំងទាំងនេះដោយផ្ទាល់ ឬដោយប្រយោលនៅក្នុងបំណែកកូរ៉ុមសម្រាប់ទ្រព្យសកម្មនីមួយៗដែលអ្នកចាប់អារម្មណ៍។ កូរ៉ុមសម្រាប់ថ្នាំងទាំងអស់ដែលចាប់អារម្មណ៍លើទ្រព្យសកម្មដែលបានផ្តល់ឲ្យនឹងត្រួតលើគ្នាយ៉ាងហោចណាស់នៅថ្នាំងលោះទាំងនោះ។ ថ្នាំងដែលចាប់អារម្មណ៍លើទ្រព្យសកម្មជាច្រើននឹងរួមបញ្ចូលថ្នាំងការប្រោសលោះទាំងអស់របស់អ្នកចេញរៀងៗខ្លួននៅក្នុងផ្នែកនៃកូរ៉ុមរបស់ពួកគេ ហើយពួកគេនឹងស្វែងរកការប្រមូលផ្តុំទ្រព្យសម្បត្តិទាំងអស់ជាមួយគ្នា។ លើសពីនេះ ទ្រព្យសម្បត្តិទាំងឡាយណាដែលមិនត្រូវបានភ្ជាប់តាមរបៀបនេះទៅអ្នកផ្សេងទៀតនៅលើបណ្តាញ និង មិនគួរត្រូវបានភ្ជាប់ - វាត្រូវបានរចនាឡើងដើម្បីកុំឱ្យមានការត្រួតស៊ីគ្នានៃកូរ៉ុមសម្រាប់បណ្តាញនេះ (ឧទាហរណ៍ ធនាគារមកពីតំបន់ប្រាក់ដុល្លារ ពេលខ្លះចង់ធ្វើពាណិជ្ជកម្មជាមួយធនាគារមកពីតំបន់អឺរ៉ូ និងធនាគារពីតំបន់ប្រាក់ប៉េសូ ដូច្នេះពួកគេស្ថិតនៅលើបណ្តាញតែមួយ ប៉ុន្តែគ្មាន ពួកគេយកចិត្តទុកដាក់ចំពោះបណ្តាញដាច់ដោយឡែកនៃកុមារដែលលក់កាតបេស្បល)។
ជាការពិតណាស់, រង់ចាំ ការឆ្លងកូរ៉ុមមិនមែនទេ។ ការធានា. ប្រព័ន្ធកិច្ចព្រមព្រៀង Byzantine ផ្សេងទៀតជំពាក់ភាពស្មុគស្មាញជាច្រើនរបស់ពួកគេចំពោះការធានានៃកូរ៉ុម។ ការច្នៃប្រឌិតដ៏សំខាន់មួយរបស់ SCP គឺថាវាដកការទទួលខុសត្រូវសម្រាប់ការបង្កើតកូរ៉ុមចេញពីក្បួនដោះស្រាយការយល់ស្របដោយខ្លួនឯង ហើយនាំវាទៅកម្រិតកម្មវិធី។ ដូច្នេះ ទោះបីជាការបោះឆ្នោតសហព័ន្ធមានលក្ខណៈទូទៅគ្រប់គ្រាន់ដើម្បីបោះឆ្នោតលើបញ្ហាណាមួយក៏ដោយ ភាពជឿជាក់របស់វាពិតជាអាស្រ័យយ៉ាងសំខាន់ទៅលើអត្ថន័យដ៏ទូលំទូលាយនៃអត្ថន័យទាំងនេះ។ ការប្រើសម្មតិកម្មខ្លះប្រហែលមិនអំណោយផលក្នុងការបង្កើតបណ្តាញដែលមានការតភ្ជាប់ល្អដូចអ្នកដទៃទេ។
ការបោះឆ្នោត ការទទួលយក និងការបញ្ជាក់
នៅក្នុងជុំបោះឆ្នោតសហព័ន្ធ ថ្នាំងមួយចាប់ផ្តើមបោះឆ្នោតសម្រាប់តម្លៃមួយចំនួន V. នេះមានន័យថាការផ្សាយសារទៅកាន់បណ្តាញ៖ "ខ្ញុំជាថ្នាំង N បន្ទះកូរ៉ុមរបស់ខ្ញុំគឺ Q ហើយខ្ញុំកំពុងបោះឆ្នោតឱ្យ V" ។ នៅពេលដែលថ្នាំងបោះឆ្នោតតាមវិធីនេះ វាសន្យាថាវាមិនដែលបានបោះឆ្នោតប្រឆាំងនឹង V ហើយនឹងមិនដែលធ្វើ។
នៅក្នុងការផ្សាយពីគ្នាទៅវិញទៅមក ថ្នាំងនីមួយៗមើលឃើញពីរបៀបដែលអ្នកដទៃបោះឆ្នោត។ នៅពេលដែលថ្នាំងបានប្រមូលសារទាំងនេះបានគ្រប់គ្រាន់ វាអាចតាមដានបំណែកកូរ៉ុម ហើយព្យាយាមស្វែងរកកូរ៉ុម។ ប្រសិនបើគាត់ឃើញកូរ៉ុមនៃមិត្តភ័ក្តិដែលបោះឆ្នោតឱ្យ V គាត់អាចបន្តទៅ កូនចិញ្ចឹម V ហើយផ្សាយសារថ្មីនេះទៅបណ្តាញ៖ “ខ្ញុំជាថ្នាំង N បន្ទះកូរ៉ុមរបស់ខ្ញុំគឺ Q ហើយខ្ញុំទទួលយក V”។ ការទទួលយកផ្តល់នូវការធានាខ្លាំងជាងការបោះឆ្នោតសាមញ្ញ។ នៅពេលដែលថ្នាំងបោះឆ្នោតឱ្យ V វាមិនអាចបោះឆ្នោតសម្រាប់ជម្រើសផ្សេងទៀតបានទេ។ ប៉ុន្តែប្រសិនបើថ្នាំងទទួលយក V នោះគ្មានថ្នាំងណាមួយនៅលើបណ្តាញនឹងទទួលយកជម្រើសផ្សេងទៀតទេ (ទ្រឹស្តីបទទី 8 នៅក្នុងសៀវភៅស SCP បញ្ជាក់អំពីបញ្ហានេះ)។
ជាការពិតណាស់ មានប្រូបាប៊ីលីតេខ្ពស់ដែលនឹងមិនមានកូរ៉ុមនៃថ្នាំងភ្លាមៗដែលយល់ស្របជាមួយ V. ថ្នាំងផ្សេងទៀតអាចនឹងបោះឆ្នោតឱ្យតម្លៃផ្សេងទៀត។ ប៉ុន្តែមានវិធីមួយផ្សេងទៀតសម្រាប់ថ្នាំងដើម្បីផ្លាស់ទីពីការបោះឆ្នោតសាមញ្ញទៅការទទួលយក។ N អាចទទួលយកតម្លៃខុសគ្នាសម្រាប់ W ទោះបីជាគាត់មិនបានបោះឆ្នោតឱ្យវាក៏ដោយ ហើយទោះបីជាគាត់មិនឃើញកូរ៉ុមសម្រាប់វាក៏ដោយ។ ដើម្បីសម្រេចចិត្តផ្លាស់ប្តូរការបោះឆ្នោតរបស់អ្នក គ្រាន់តែមើល សំណុំទប់ស្កាត់ ថ្នាំងដែលបានទទួលយក W. សំណុំទប់ស្កាត់គឺជាថ្នាំងមួយពីផ្នែកនីមួយៗនៃកូរ៉ុម N. ដូចដែលឈ្មោះបានបង្ហាញ វាអាច ប្លុក អត្ថន័យផ្សេងទៀត។ ប្រសិនបើថ្នាំងទាំងអស់នៅក្នុងសំណុំបែបនេះទទួលយក W នោះ (តាមទ្រឹស្តីបទទី 8) វានឹងមិនអាចបង្កើតកូរ៉ុមដែលយកតម្លៃផ្សេងបានទេ ដូច្នេះវាក៏មានសុវត្ថិភាពសម្រាប់ N ដើម្បីទទួលយក W ។
ថ្នាំង N ដែលមានបន្ទះកូរ៉ុមបី។
BDF គឺជាសំណុំទប់ស្កាត់សម្រាប់ N: វារួមបញ្ចូលថ្នាំងមួយពីផ្នែកនីមួយៗនៃ N ។
BE ក៏ជាសំណុំទប់ស្កាត់សម្រាប់ N ព្រោះ E បង្ហាញក្នុងពីរចំណិតនៃ N ។
ប៉ុន្តែសំណុំទប់ស្កាត់មិនមែនជាកូរ៉ុមទេ។ វានឹងងាយស្រួលពេកក្នុងការបញ្ឆោតថ្នាំង N ឱ្យទទួលយកតម្លៃដែលចង់បាន ប្រសិនបើវាគ្រប់គ្រាន់ក្នុងការ hack គ្រាន់តែថ្នាំងមួយនៅក្នុងផ្នែកនីមួយៗនៃ N ។ ដូច្នេះ ការទទួលយកតម្លៃមិនមែនជាការបញ្ចប់នៃការបោះឆ្នោតនោះទេ។ ជំនួសមកវិញ N ត្រូវតែបញ្ជាក់តម្លៃ ពោលគឺមើលកូរ៉ុមនៃថ្នាំងដែលទទួលយកវា។ ប្រសិនបើវាទទួលបានឆ្ងាយនោះ ដូចដែលក្រដាសស SCP បង្ហាញ (នៅក្នុងទ្រឹស្តីបទទី 11) បណ្តាញដែលនៅសល់ក៏នឹងបញ្ជាក់ពីតម្លៃដូចគ្នាដែរ ដូច្នេះ N នឹងបញ្ចប់ការបោះឆ្នោតសហព័ន្ធជាមួយនឹងតម្លៃជាក់លាក់ជាលទ្ធផល។
ការបោះឆ្នោតសហព័ន្ធ។
ដំណើរការនៃការបោះឆ្នោត ការទទួលយក និងការបញ្ជាក់ បង្កើតបានមួយជុំពេញនៃការបោះឆ្នោតសហព័ន្ធ។ ពិធីការឯកភាពរបស់ Stellar រួមបញ្ចូលគ្នានូវជុំទាំងនេះជាច្រើនដើម្បីបង្កើតប្រព័ន្ធឯកភាពពេញលេញមួយ។
ពិធីសារឯកភាពរបស់តារា
លក្ខណៈសម្បត្តិសំខាន់បំផុតពីរនៃប្រព័ន្ធមូលមតិគឺ − សុវត្ថិភាព и ភាពរស់រានមានជីវិត. ក្បួនដោះស្រាយការយល់ស្របគឺ "មានសុវត្ថិភាព" ប្រសិនបើវាមិនអាចបង្កើតលទ្ធផលផ្សេងគ្នាសម្រាប់អ្នកចូលរួមផ្សេងៗគ្នា (ច្បាប់ចម្លងប្រវត្តិសាស្រ្តរបស់ Bob នឹងមិនដែលផ្ទុយពី Carol) ។ “ភាពរស់រវើក” មានន័យថា ក្បួនដោះស្រាយនឹងបង្កើតលទ្ធផលជានិច្ច ពោលគឺវាមិនជាប់គាំងឡើយ។
បានពិពណ៌នាអំពីនីតិវិធីបោះឆ្នោតសហព័ន្ធ សុវត្ថិភាព ក្នុងន័យថាប្រសិនបើ node បញ្ជាក់ពីតម្លៃរបស់ V នោះគ្មាន node ណាមួយនឹងបញ្ជាក់ពីតម្លៃផ្សេងទៀតនោះទេ។ ប៉ុន្តែ "នឹងមិនបញ្ជាក់អត្ថន័យផ្សេងទៀត" មិនមែនមានន័យថាវានឹងចាំបាច់បញ្ជាក់អ្វីមួយនោះទេ។ អ្នកចូលរួមអាចបោះឆ្នោតលើតម្លៃផ្សេងៗគ្នាជាច្រើន ដែលគ្មានអ្វីនឹងឈានដល់កម្រិតនៃការទទួលយកនោះទេ។ នេះមានន័យថានៅក្នុងការបោះឆ្នោតសហព័ន្ធមិនមានទេ។ ភាពរស់រានមានជីវិត.
ពិធីសារឯកភាព Stellar ប្រើការបោះឆ្នោតសហព័ន្ធក្នុងវិធីមួយដែលធានាទាំងសុវត្ថិភាព និងលទ្ធភាពរស់រានមានជីវិត។ (ការធានាសុវត្ថិភាព និងលទ្ធភាពរស់រានមានជីវិតរបស់ SCP មានដែនកំណត់តាមទ្រឹស្តី។ ការរចនាជ្រើសរើសការធានាសុវត្ថិភាពខ្លាំង ដោយលះបង់ការបន្ធូរបន្ថយលទ្ធភាពរស់រានមានជីវិតតិចតួច ប៉ុន្តែបានផ្តល់ពេលវេលាគ្រប់គ្រាន់ ការយល់ស្របទំនងជាអាចសម្រេចបាន)។ សរុបមក គំនិតនេះគឺដើម្បីឱ្យមានការបោះឆ្នោតសហព័ន្ធច្រើនលើតម្លៃជាច្រើន រហូតទាល់តែមួយក្នុងចំណោមពួកគេធ្វើឱ្យវាឆ្លងកាត់ដំណាក់កាលបោះឆ្នោត SCP ទាំងអស់ដែលបានពិពណ៌នាខាងក្រោម។
តម្លៃដែល SCP ស្វែងរកការឯកភាពអាចជាប្រវត្តិប្រតិបត្តិការ ឬការបញ្ជាទិញអាហារថ្ងៃត្រង់ ឬអ្វីផ្សេងទៀត ប៉ុន្តែវាជាការសំខាន់ក្នុងការកត់សម្គាល់ថាទាំងនេះមិនមែនជាតម្លៃដែលត្រូវបានទទួលយក ឬបញ្ជាក់នោះទេ។ ជំនួសមកវិញ ការបោះឆ្នោតសហព័ន្ធកើតឡើងដោយយោងតាម សេចក្តីថ្លែងការណ៍អំពីតម្លៃទាំងនេះ.
ជុំទីមួយនៃការបោះឆ្នោតសហព័ន្ធប្រព្រឹត្តទៅ ដំណាក់កាលនៃការតែងតាំង (ដំណាក់កាលតែងតាំង) នៅលើសំណុំនៃសេចក្តីថ្លែងការណ៍ដូចជា "ខ្ញុំតែងតាំង V" ប្រហែលជាសម្រាប់តម្លៃផ្សេងគ្នាជាច្រើននៃ V. គោលបំណងនៃការតែងតាំងគឺដើម្បីស្វែងរកសេចក្តីថ្លែងការណ៍មួយ ឬច្រើនដែលឆ្លងកាត់ការទទួលយក និងការបញ្ជាក់។
បន្ទាប់ពីស្វែងរកបេក្ខជនដែលអាចផ្ទៀងផ្ទាត់បាន SCP បន្តទៅដំណាក់កាលបោះឆ្នោត ដែលគោលដៅគឺស្វែងរកជាក់លាក់។ ព្រឹត្តិប័ត្រ (នោះគឺធុងសម្រាប់តម្លៃដែលបានស្នើឡើង) និងកូរ៉ុមដែលអាចប្រកាស ប្តេជ្ញាចិត្ត សម្រាប់វា (ប្តេជ្ញា) ។ ប្រសិនបើកូរ៉ុមធ្វើការបោះឆ្នោត តម្លៃរបស់វាត្រូវបានទទួលយកជាការយល់ស្រប។ ប៉ុន្តែមុននឹងក្រុមមួយអាចបោះឆ្នោតលើការបោះឆ្នោតបាននោះ វាត្រូវតែបញ្ជាក់ជាមុនសិន ការលុបចោល សន្លឹកឆ្នោតទាំងអស់ដែលមានតម្លៃរាប់ទាបជាង។ ជំហានទាំងនេះ—ការលុបចោលសន្លឹកឆ្នោតដើម្បីស្វែងរកសន្លឹកឆ្នោតដែលអាចប្តេជ្ញាចិត្តបាន—ពាក់ព័ន្ធនឹងការបោះឆ្នោតសហព័ន្ធជាច្រើនជុំលើការទាមទារសន្លឹកឆ្នោតជាច្រើន។
ផ្នែកខាងក្រោមពណ៌នាអំពីការតែងតាំង និងការបោះឆ្នោតយ៉ាងលម្អិត។
ការតែងតាំង
នៅដើមដំណាក់កាលនៃការតែងតាំង ថ្នាំងនីមួយៗអាចជ្រើសរើសតម្លៃសម្រាប់ V ដោយឯកឯង ហើយបោះឆ្នោតឱ្យសេចក្តីថ្លែងការណ៍ "ខ្ញុំតែងតាំង V" ។ គោលដៅនៅដំណាក់កាលនេះគឺដើម្បីបញ្ជាក់ពីការតែងតាំងតម្លៃមួយចំនួនតាមរយៈការបោះឆ្នោតសហព័ន្ធ។
ប្រហែលជាថ្នាំងគ្រប់គ្រាន់បោះឆ្នោតលើសំណើផ្សេងគ្នាគ្រប់គ្រាន់ដែលថាគ្មានការតែងតាំងណាមួយអាចឈានដល់កម្រិតទទួលយកបានទេ។ ដូច្នេះ បន្ថែមពីលើការផ្សព្វផ្សាយការបោះឆ្នោតជ្រើសរើសរបស់ពួកគេ ថ្នាំង "ឆ្លុះបញ្ចាំង" ការតែងតាំងរបស់មិត្តភក្ដិរបស់ពួកគេ។ អេកូមានន័យថាប្រសិនបើថ្នាំងបោះឆ្នោតសម្រាប់ការតែងតាំង V ប៉ុន្តែឃើញសារពីអ្នកជិតខាងបោះឆ្នោតសម្រាប់ការតែងតាំង W នោះឥឡូវនេះវានឹងបោះឆ្នោតឱ្យទាំង V និង W ។ អ្នកតែងតាំងផ្សេងគ្នា។ SCP រួមបញ្ចូលយន្តការមួយដើម្បីគ្រប់គ្រងការបោះឆ្នោតទាំងនេះ។ និយាយឱ្យខ្លី មានរូបមន្តសម្រាប់កំណត់ "អាទិភាព" នៃអ្នករាប់អានតាមទស្សនៈរបស់ថ្នាំងមួយ ហើយមានតែការបោះឆ្នោតនៃថ្នាំងដែលមានអាទិភាពខ្ពស់ប៉ុណ្ណោះដែលត្រូវបានឆ្លុះបញ្ចាំង។ ការតែងតាំងកាន់តែយូរ។ ទទួលយក កម្រិតកំណត់កាន់តែទាប ដូច្នេះថ្នាំងពង្រីកសំណុំនៃដៃគូរដែលការបោះឆ្នោតដែលវានឹងឆ្លុះបញ្ចាំង។ រូបមន្តអាទិភាពរួមមានលេខរន្ធដោតជាធាតុបញ្ចូលរបស់វា ដូច្នេះ លេខរៀងអាទិភាពខ្ពស់សម្រាប់រន្ធដោតមួយអាចជាជម្រើសដែលមានអាទិភាពទាបសម្រាប់ មួយទៀត និងច្រាសមកវិញ)។
តាមគំនិត ការតែងតាំងគឺស្របគ្នា ទាំង V និង W គឺជាការបោះឆ្នោតសហព័ន្ធដាច់ដោយឡែក ដែលបុគ្គលម្នាក់ៗមានលទ្ធភាពសម្រេចបាននូវការទទួលយក ឬការបញ្ជាក់។ នៅក្នុងការអនុវត្ត សារពិធីការ SCP កញ្ចប់សន្លឹកឆ្នោតបុគ្គលទាំងនេះរួមគ្នា។
ទោះបីជាការបោះឆ្នោតសម្រាប់ការតែងតាំងរបស់ V គឺជាការសន្យាថានឹងមិនបោះឆ្នោតប្រឆាំងនឹងការតែងតាំងរបស់ V ក៏ដោយ វាគឺនៅកម្រិតនៃកម្មវិធី - ក្នុងករណីនេះ SCP - ដែលវាត្រូវបានកំណត់ថា "ប្រឆាំងនឹង" មានន័យដូចម្តេច។ SCP មិនឃើញសេចក្តីថ្លែងការណ៍ដែលផ្ទុយនឹងការបោះឆ្នោត "ខ្ញុំតែងតាំង X" ទេ ពោលគឺមិនមានសារ "ខ្ញុំប្រឆាំងនឹងការតែងតាំង X" ដូច្នេះថ្នាំងអាចបោះឆ្នោតដើម្បីតែងតាំងតម្លៃណាមួយ។ ការតែងតាំងទាំងនេះជាច្រើននឹងមិនទៅណាទេ ប៉ុន្តែនៅទីបំផុតថ្នាំងនឹងអាចទទួលយក ឬបញ្ជាក់តម្លៃមួយ ឬច្រើន។ នៅពេលដែលបេក្ខជនត្រូវបានបញ្ជាក់ គាត់នឹងក្លាយជា បេក្ខជន.
ការតែងតាំង SCP ដោយប្រើការបោះឆ្នោតសហព័ន្ធ។ វាអាចមានតម្លៃ "B" ជាច្រើនដែលដាក់ដោយមិត្តភ័ក្តិ និង "ឆ្លុះបញ្ចាំង" ដោយថ្នាំង។
ការតែងតាំងអាចបណ្តាលឱ្យមានបេក្ខជនដែលបានបញ្ជាក់ច្រើន។ ដូច្នេះ SCP ទាមទារស្រទាប់កម្មវិធីដើម្បីផ្តល់នូវវិធីសាស្រ្តមួយចំនួនក្នុងការរួមបញ្ចូលបេក្ខជនទៅជាមួយ។ សមាសធាតុ (សមាសធាតុ) ។ វិធីសាស្រ្តចូលរួមអាចជាអ្វីទាំងអស់។ រឿងចំបងគឺថាប្រសិនបើវិធីសាស្ត្រនេះត្រូវបានកំណត់នោះថ្នាំងនីមួយៗនឹងបញ្ចូលគ្នានូវបេក្ខជនដូចគ្នា។ នៅក្នុងប្រព័ន្ធបោះឆ្នោតអាហារថ្ងៃត្រង់ "ការបង្រួបបង្រួម" អាចមានន័យថាបដិសេធបេក្ខជនម្នាក់ក្នុងចំណោមបេក្ខជនពីរនាក់។ (ប៉ុន្តែតាមវិធីកំណត់៖ ថ្នាំងនីមួយៗត្រូវតែជ្រើសរើសតម្លៃដូចគ្នាដើម្បីកំណត់ឡើងវិញ។ ឧទាហរណ៍ ការជ្រើសរើសមុនតាមលំដាប់អក្ខរក្រម)។ នៅក្នុងបណ្តាញទូទាត់ Stellar ដែលជាកន្លែងប្រវត្តិសាស្រ្តនៃប្រតិបត្តិការត្រូវបានបោះឆ្នោត ការរួមបញ្ចូលគ្នារវាងអ្នកដែលត្រូវបានស្នើឡើងចំនួនពីរពាក់ព័ន្ធនឹងការបញ្ចូលគ្នានូវប្រតិបត្តិការដែលពួកគេមាន និងត្រាចុងក្រោយបំផុតនៃពេលវេលាទាំងពីររបស់ពួកគេ។
ក្រដាសស SCP បង្ហាញឱ្យឃើញ (ទ្រឹស្តីបទទី 12) ថានៅចុងបញ្ចប់នៃដំណាក់កាលបន្ថែម បណ្តាញនឹងបង្រួបបង្រួមជាសមាសធាតុតែមួយ។ ប៉ុន្តែមានបញ្ហាមួយ៖ ការបោះឆ្នោតសហព័ន្ធគឺជាពិធីការអសមកាល (ដូចជា SCP)។ ម៉្យាងទៀតថ្នាំងមិនត្រូវបានសំរបសំរួលតាមពេលវេលាទេ ប៉ុន្តែបានតែតាមរយៈសារដែលពួកគេផ្ញើប៉ុណ្ណោះ។ តាមទស្សនៈរបស់ថ្នាំងវាមិនច្បាស់ទេថានៅពេលណា បានបញ្ចប់ ដំណាក់កាលពង្រីក។ ហើយទោះបីជាថ្នាំងទាំងអស់នៅទីបំផុតនឹងមកដល់សមាសធាតុដូចគ្នាក៏ដោយ ពួកគេអាចដើរតាមផ្លូវផ្សេងគ្នានៅតាមផ្លូវ បង្កើតបេក្ខជនសមាសធាតុផ្សេងគ្នានៅតាមផ្លូវ ហើយមិនអាចប្រាប់បានទេថាមួយណាជាចុងក្រោយ។
ប៉ុន្តែវាជារឿងធម្មតា។ ការតែងតាំងគ្រាន់តែជាការរៀបចំប៉ុណ្ណោះ។ រឿងចំបងគឺកំណត់ចំនួនបេក្ខជនដើម្បីសម្រេចបានការឯកភាពគ្នាដែលកើតឡើងនៅក្នុងដំណើរការ កំពុងរត់សម្រាប់ការិយាល័យ (ការបោះឆ្នោត) ។
កំពុងរត់
ព្រឹត្តិបត្រគឺជាប្តីប្រពន្ធ ដែលជាកន្លែងដែល counter គឺជាចំនួនគត់ដែលចាប់ផ្តើមនៅ 1 ហើយតម្លៃគឺជាបេក្ខជនពីដំណាក់កាលតែងតាំង។ នេះអាចជាបេក្ខជនផ្ទាល់ខ្លួនរបស់ថ្នាំង ឬបេក្ខជនរបស់ថ្នាំងជិតខាងដែលទទួលយកដោយថ្នាំងនោះ។ និយាយដោយប្រយោល សន្លឹកឆ្នោតពាក់ព័ន្ធនឹងការព្យាយាមម្តងហើយម្តងទៀតដើម្បីបង្ខំបណ្តាញឱ្យឈានដល់ការឯកភាពគ្នាលើបេក្ខជនមួយចំនួននៅលើសន្លឹកឆ្នោតមួយចំនួនដោយរក្សាការបោះឆ្នោតសហព័ន្ធជាច្រើនដែលមានសក្តានុពលលើរបាយការណ៍សន្លឹកឆ្នោត។ បញ្ជរនៅលើសន្លឹកឆ្នោតរក្សាដាននៃការប៉ុនប៉ងដែលបានធ្វើ ហើយសន្លឹកឆ្នោតដែលមានចំនួនច្រើនមានអាទិភាពជាងសន្លឹកឆ្នោតដែលមានចំនួនតិចជាង។ ប្រសិនបើព្រឹត្តិបត្រ ជាប់គាំង ការបោះឆ្នោតថ្មីចាប់ផ្តើម ឥឡូវនេះនៅលើសន្លឹកឆ្នោត .
វាមានសារៈសំខាន់ណាស់ក្នុងការបែងចែក តម្លៃ (ឧទាហរណ៍ អាហារថ្ងៃត្រង់គួរជាអ្វី៖ ភីហ្សា ឬសាឡាដ) ព្រឹត្តិបត្រ (គូតម្លៃប្រឆាំង) និង សេចក្តីថ្លែងការណ៍ អំពីសន្លឹកឆ្នោត។ ជុំ SCP រួមមានជុំជាច្រើននៃការបោះឆ្នោតសហព័ន្ធ ជាពិសេសលើសេចក្តីថ្លែងការណ៍ខាងក្រោម៖
- “ខ្ញុំត្រៀមខ្លួនជាស្រេចក្នុងការបោះឆ្នោត B”
- "ខ្ញុំប្រកាសពីការប្តេជ្ញាចិត្តនៃសន្លឹកឆ្នោត B"
តាមទស្សនៈរបស់ថ្នាំងដែលបានផ្តល់ឱ្យ ការឯកភាពត្រូវបានឈានដល់នៅពេលដែលវារកឃើញសន្លឹកឆ្នោត B ដែលវាអាចបញ្ជាក់ (នោះគឺស្វែងរកកូរ៉ុមដែលទទួលយក) សេចក្តីថ្លែងការណ៍ "ខ្ញុំធ្វើការបោះឆ្នោត B" ។ ចាប់ពីចំណុចនេះតទៅ វាមានសុវត្ថិភាពក្នុងការធ្វើសកម្មភាពលើតម្លៃដែលបានបញ្ជាក់នៅក្នុង B - ឧទាហរណ៍ ការដាក់ការបញ្ជាទិញនេះសម្រាប់អាហារថ្ងៃត្រង់។ វាហៅថា ភាវូបនីយកម្មខាងក្រៅ អត្ថន័យ។ នៅពេលដែលការទទួលយកសន្លឹកឆ្នោតត្រូវបានបញ្ជាក់ នោះថ្នាំងអាចប្រាកដថាថ្នាំងណាមួយផ្សេងទៀតបានកំណត់តម្លៃដូចគ្នាពីខាងក្រៅ ឬនឹងធ្វើដូច្នេះនៅពេលអនាគត។
ទោះបីជាការបោះឆ្នោតសហព័ន្ធជាច្រើនត្រូវបានធ្វើឡើងដោយគំនិតលើការទាមទារសម្រាប់សន្លឹកឆ្នោតផ្សេងៗគ្នាក៏ដោយ ក៏ពួកគេមិនផ្លាស់ប្តូរសារច្រើនដែរ ដោយសារសារនីមួយៗមានសន្លឹកឆ្នោតមួយចំនួន។ សារមួយដូច្នេះលើកកម្ពស់ស្ថានភាពនៃការបោះឆ្នោតសហព័ន្ធជាច្រើនក្នុងពេលតែមួយ ឧទាហរណ៍៖ “ខ្ញុំទទួលយកសន្លឹកឆ្នោតដែលមានចាប់ពី ពីមុន "
តើពាក្យ "រៀបចំ" និង "ប្តេជ្ញា" មានន័យដូចម្តេច?
ថ្នាំងបោះឆ្នោតដើម្បីបោះឆ្នោតនៅពេលដែលវាមានទំនុកចិត្តថាថ្នាំងផ្សេងទៀតនឹងមិនបោះឆ្នោតដែលមានតម្លៃខុសគ្នា។ ការបញ្ចុះបញ្ចូលនេះគឺជាគោលបំណងនៃការរៀបចំកម្មវិធី។ ការបោះឆ្នោតដែលនិយាយថា "ខ្ញុំត្រៀមខ្លួនរួចរាល់ដើម្បីបោះឆ្នោត B" គឺជាការសន្យាថានឹងមិនធ្វើសន្លឹកឆ្នោតតូចជាង B ពោលគឺជាមួយនឹងការរាប់តូចជាង (SCP តម្រូវឱ្យតម្លៃនៅក្នុងសន្លឹកឆ្នោតស្ថិតក្នុងលំដាប់ជាក់លាក់មួយ។ ដូច្នេះ ព្រឹត្តិបត្រព័ត៌មាន តិច ប្រសិនបើ N1
ហេតុអ្វីបានជា "ខ្ញុំត្រៀមខ្លួនរួចរាល់ដើម្បីបោះឆ្នោត B" មានន័យថា "ខ្ញុំសន្យាថានឹងមិនធ្វើសន្លឹកឆ្នោតតូចជាង B"? ដោយសារតែ SCP កំណត់ការរំលូតកូនថាផ្ទុយពីការប្តេជ្ញាចិត្ត។ ការបោះឆ្នោតដើម្បីរៀបចំសន្លឹកឆ្នោតក៏ពាក់ព័ន្ធនឹងការបោះឆ្នោតដើម្បីដកសន្លឹកឆ្នោតមួយចំនួនទៀតដែរ ហើយដូចដែលយើងបានពិភាក្សាមុននេះ ការបោះឆ្នោតសម្រាប់រឿងមួយគឺជាការសន្យាថានឹងមិនបោះឆ្នោតប្រឆាំងនឹងវា។
មុននឹងផ្សព្វផ្សាយការប្តេជ្ញាចិត្ត ថ្នាំងត្រូវតែស្វែងរកព្រឹត្តិបត្រដែលវាអាចបញ្ជាក់បានថាបានរៀបចំ។ ម្យ៉ាងវិញទៀត វាធ្វើការបោះឆ្នោតសហព័ន្ធលើ "ខ្ញុំត្រៀមខ្លួនជាស្រេចដើម្បីបោះឆ្នោត B" ដែលអាចនៅលើសន្លឹកឆ្នោតផ្សេងគ្នាជាច្រើន រហូតដល់វារកឃើញអ្នកដែលទទួលយកកូរ៉ុមមួយ។
តើសន្លឹកឆ្នោតបានមកពីណា ដើម្បីរៀបចំការបោះឆ្នោត? ទីមួយ ថ្នាំងផ្សព្វផ្សាយការត្រៀមបោះឆ្នោតសម្រាប់ <1,C> ដែល C គឺជាបេក្ខជនដែលបង្កើតនៅដំណាក់កាលតែងតាំង។ ទោះជាយ៉ាងណាក៏ដោយ សូម្បីតែបន្ទាប់ពីការរៀបចំសម្រាប់ការបោះឆ្នោតចាប់ផ្តើមក៏ដោយ ការតែងតាំងអាចបណ្តាលឱ្យបេក្ខជនបន្ថែមលេចឡើងដើម្បីក្លាយជាសន្លឹកឆ្នោតថ្មី។ ទន្ទឹមនឹងនេះ មិត្តភ័ក្តិអាចមានបេក្ខជនផ្សេងៗគ្នា ហើយពួកគេអាចបង្កើតសំណុំរារាំងដែលទទួលយក "ខ្ញុំត្រៀមខ្លួនជាស្រេចដើម្បីបោះឆ្នោត B2" ដែលនឹងបញ្ចុះបញ្ចូលថ្នាំងឱ្យទទួលយកវាផងដែរ។ ជាចុងក្រោយ មានយន្តការអស់ពេលដែលបង្កើតជុំថ្មីនៃការបោះឆ្នោតសហព័ន្ធលើសន្លឹកឆ្នោតថ្មីដែលមានចំនួនខ្ពស់ជាង ប្រសិនបើសន្លឹកឆ្នោតបច្ចុប្បន្នជាប់គាំង។
ដរាបណាថ្នាំងរកឃើញសន្លឹកឆ្នោត B ដែលវាអាចបញ្ជាក់បានថាបានរៀបចំ វាផ្សាយសារថ្មីមួយ "Commit ballot B"។ ការបោះឆ្នោតនេះប្រាប់មិត្តភក្តិថាថ្នាំងនឹងមិនបោះបង់ B. តាមពិតទៅប្រសិនបើ B ជាសន្លឹកឆ្នោត បន្ទាប់មក “ធ្វើការបោះឆ្នោត មានន័យថា ការយល់ព្រមដោយគ្មានលក្ខខណ្ឌក្នុងការបោះឆ្នោតសម្រាប់ការត្រៀមខ្លួននៃសន្លឹកឆ្នោតនីមួយៗពី ទៅ <∞, s> ។ តម្លៃបន្ថែមនេះជួយឱ្យមិត្តភ័ក្តិផ្សេងទៀតចាប់បានជាមួយ commit peer ប្រសិនបើពួកគេនៅតែស្ថិតក្នុងដំណាក់កាលមុននៃពិធីការ។
នៅដំណាក់កាលនេះ វាមានតម្លៃសង្កត់ធ្ងន់ម្តងទៀតថា ទាំងនេះគឺជាពិធីការអសមកាល។ ដោយសារតែថ្នាំងមួយផ្ញើសំឡេងគាំទ្រសម្រាប់ការប្រព្រឹត្តមិនមែនមានន័យថាមិត្តភ័ក្ដិរបស់វាក៏ធ្វើដែរ។ ពួកគេខ្លះប្រហែលជានៅតែបោះឆ្នោតលើសេចក្តីថ្លែងការណ៍ក្នុងការរៀបចំការបោះឆ្នោត ហើយអ្នកផ្សេងទៀតប្រហែលជាបានបំប្លែងអត្ថន័យរួចហើយ។ SCP ពន្យល់ពីរបៀបដែលថ្នាំងគួរដំណើរការប្រភេទនៃសារមិត្តភ័ក្តិនីមួយៗដោយមិនគិតពីដំណាក់កាលរបស់វា។
ប្រសិនបើសារ "ខ្ញុំបានប្រកាសពីការប្តេជ្ញាចិត្ត » មិនអាចទទួល ឬបញ្ជាក់បានទេ ពោលគឺប្រូបាប៊ីលីតេនៃសារដែលត្រូវបានទទួលយក ឬបញ្ជាក់ ឬ - ឬក្នុងករណីណាក៏ដោយ សន្លឹកឆ្នោតណាក៏ដោយដែលមានតម្លៃ C ហើយមិនមែនជាសន្លឹកឆ្នោតផ្សេងទៀតទេ ដោយសារថ្នាំងបានសន្យារួចហើយថានឹងមិនលុបចោលឡើយ។ . នៅពេលដែលថ្នាំងចាក់ផ្សាយការបោះឆ្នោតសម្រាប់ការប្តេជ្ញាចិត្ត វានឹងជា C ឬគ្មានអ្វីអាស្រ័យលើការយល់ស្របទៅឆ្ងាយ។ ទោះជាយ៉ាងណាក៏ដោយ វាមិនទាន់គ្រប់គ្រាន់សម្រាប់ថ្នាំងដើម្បីបញ្ចេញ C. មិត្តភក្ដិ Byzantine មួយចំនួន (ដែលបង្កើតតិចជាងកូរ៉ុម ដោយផ្អែកលើការសន្មត់សុវត្ថិភាពរបស់យើង) អាចកុហកថ្នាំង។ ការទទួលយកហើយបន្ទាប់មកការបញ្ជាក់សន្លឹកឆ្នោតមួយចំនួន (ឬជួរនៃសន្លឹកឆ្នោត) គឺជាអ្វីដែលផ្តល់ឱ្យក្រុមនូវទំនុកចិត្តក្នុងការដាក់ចេញ C.
ការបោះឆ្នោត SCP តាមរយៈការបោះឆ្នោតសហព័ន្ធ។ មិនបានបង្ហាញ៖ កម្មវិធីកំណត់ម៉ោងអាចបិទនៅពេលណាក៏បាន ដោយបង្កើនចំនួនសន្លឹកឆ្នោត (និងអាចបង្កើតសមាសភាពថ្មីនៃបេក្ខជនដែលត្រូវបានតែងតាំងបន្ថែម)។
ហើយវាទាំងអស់! នៅពេលដែលបណ្តាញឈានដល់ការឯកភាពគ្នា វាត្រៀមរួចរាល់ដើម្បីធ្វើវាម្តងហើយម្តងទៀត។ នៅលើបណ្តាញទូទាត់ Stellar វាកើតឡើងប្រហែលម្តងរៀងរាល់ 5 វិនាទី៖ មុខងារដែលទាមទារទាំងសុវត្ថិភាព និងការរស់រានមានជីវិតដែលធានាដោយ SCP ។
SCP អាចសម្រេចបានវាដោយពឹងផ្អែកលើការបោះឆ្នោតសហព័ន្ធជាច្រើនជុំ។ ការបោះឆ្នោតសហព័ន្ធគឺអាចធ្វើទៅបានដោយគំនិតនៃបំណែកកូរ៉ុម៖ សំណុំនៃមិត្តភក្ដិដែលថ្នាំងនីមួយៗបានសម្រេចចិត្តជឿជាក់ជាផ្នែកនៃកូរ៉ុម (ប្រធានបទ) របស់វា។ ការកំណត់រចនាសម្ព័ន្ធនេះមានន័យថាការឯកភាពអាចឈានដល់សូម្បីតែនៅក្នុងបណ្តាញដែលមានសមាជិកភាពបើកចំហ និងការបោកប្រាស់ Byzantine ។
ការអានបន្ថែម
- ក្រដាសស SCP ដើមអាចរកបាន និង សេចក្តីព្រាងលក្ខណៈជាក់លាក់សម្រាប់ការអនុវត្តរបស់វា។
- អ្នកនិពន្ធដើមនៃពិធីការ SCP លោក David Mazier ពន្យល់វាតាមរបៀបសាមញ្ញ (ប៉ុន្តែនៅតែមានលក្ខណៈបច្ចេកទេស)។ .
- អ្នកប្រហែលជាភ្ញាក់ផ្អើលដែលមិនបានរកឃើញពាក្យ "ការជីកយករ៉ែ" ឬ "ភស្តុតាងនៃការងារ" នៅក្នុងអត្ថបទនេះ។ SCP មិនប្រើវិធីសាស្រ្តទាំងនេះទេ ប៉ុន្តែក្បួនដោះស្រាយការយល់ស្របមួយចំនួនផ្សេងទៀតធ្វើ។ Zane Witherspoon បានសរសេរថាអាចចូលដំណើរការបាន។ .
- បណ្តាញសាមញ្ញដែលឈានដល់ការឯកភាពគ្នានៅក្នុងជុំពេញលេញនៃ SCP ។
- សម្រាប់អ្នកអានចាប់អារម្មណ៍លើការអនុវត្ត SCP៖ សូមមើល ប្រើដោយបណ្តាញទូទាត់ Stellar ឬ ដែលខ្ញុំបានសរសេរសម្រាប់ការយល់ដឹងកាន់តែច្បាស់អំពី SCP ។
ប្រភព: www.habr.com