Stellar consensus protocol တွင် ပထမဆုံး ဖော်ပြခဲ့သည်။ သိပ္ပံဆောင်းပါး 2015 ခုနှစ်တွင် David Mazier ။ ၎င်းသည် ဗဟိုချုပ်ကိုင်မှုကင်းသော၊ ခေါင်းဆောင်မရှိသော ကွန်ပြူတာကွန်ရက်များကို ဆုံးဖြတ်ချက်တစ်ခုအပေါ် သဘောတူညီမှုကို ထိထိရောက်ရောက်ရောက်ရှိစေရန် ခွင့်ပြုသည့် "ဖက်ဒရယ် Byzantine သဘောတူညီချက်စနစ်" ဖြစ်သည်။ Stellar ငွေပေးချေမှုကွန်ရက်သည် ပါဝင်သူအားလုံးမြင်နိုင်သည့် တသမတ်တည်း ငွေပေးချေမှုမှတ်တမ်းကို ထိန်းသိမ်းထားရန် Stellar Consensus Protocol (SCP) ကို အသုံးပြုပါသည်။

အများသဘောတူသော ပရိုတိုကောများကို နားလည်ရန် ခက်ခဲသည်ဟု ယူဆပါသည်။ SCP သည် ၎င်းတို့အများစုထက် ပိုမိုရိုးရှင်းသော်လည်း၊ တစ်စိတ်တစ်ပိုင်းအားဖြင့် သိပ္ပံနည်းကျဆောင်းပါး၏ ပထမနှစ်ဝက်တွင်ဖြစ်သော SCP သည် "ဖက်ဒရယ်မဲပေးခြင်း" ဟူသော မှားယွင်းသောအယူအဆကြောင့် ဤဂုဏ်သတင်းကို မျှဝေနေဆဲဖြစ်သည်။ ဒါပေမယ့် အဲဒါ မမှန်ဘူး! ၎င်းသည် ဆောင်းပါး၏ ဒုတိယနှစ်ဝက်တွင် ဖန်တီးရန် အသုံးပြုသည့် အရေးကြီးသော အဆောက်အအုံတစ်ခုဖြစ်သည်။ အမှန်တကယ် Stellar consensus protocol

ဤဆောင်းပါးတွင် “သဘောတူညီချက်များစနစ်” ဟူသည် အဘယ်နည်း၊ ၎င်းကို “ဘိုင်ဇန်တိုင်း” ဖြစ်စေနိုင်သနည်း၊ အဘယ်ကြောင့် ဘိုင်ဇန်တိုင်းစနစ်ကို “ဖက်ဒရယ်” ဖြစ်စေကြောင်း အကျဉ်းချုပ်ရှင်းပြပါမည်။ ထို့နောက် SCP ဆောင်းပါးတွင်ဖော်ပြထားသော ပြည်ထောင်စုမဲပေးခြင်းလုပ်ငန်းစဉ်ကို ကျွန်ုပ်တို့ရှင်းပြမည်ဖြစ်ပြီး နောက်ဆုံးတွင် SCP ပရိုတိုကောကိုယ်တိုင်ရှင်းပြပါမည်။

သဘောတူညီချက်စနစ်များ

သဘောတူညီချက်များစနစ်သည် ပါဝင်သူအုပ်စုအား နေ့လယ်စာအတွက် ဘာအမိန့်ပေးရမည်ကဲ့သို့သော ခေါင်းစဉ်တစ်ခုအပေါ် သဘောတူညီမှုရရှိရန် ခွင့်ပြုသည်။

Interstellar တွင် ကျွန်ုပ်တို့သည် ကျွန်ုပ်တို့၏ကိုယ်ပိုင် ထမင်းစားခန်းသဘောတူညီချက်စနစ်ကို အကောင်အထည်ဖော်ခဲ့ပြီး၊ ကျွန်ုပ်တို့၏လုပ်ငန်းဆောင်ရွက်မှုမန်နေဂျာ ဂျွန်ပြောသည့်အတိုင်း အမိန့်ပေးပါသည်။ ဤသည်မှာ ရိုးရှင်းပြီး ထိရောက်သော သဘောတူညီချက်စနစ်ဖြစ်သည်။ ကျွန်ုပ်တို့အားလုံး John ကိုယုံကြည်ပြီး သူသည် နေ့တိုင်း စိတ်ဝင်တစားနှင့် အာဟာရပြည့်ဝသော အရာတစ်ခုကို တွေ့ရှိလိမ့်မည်ဟု ယုံကြည်ပါသည်။

ဒါပေမဲ့ ယောဟန်က ငါတို့ရဲ့ယုံကြည်မှုကို အလွဲသုံးစားလုပ်ရင်ကော။ ကျွန်ုပ်တို့အားလုံး vegan ဖြစ်သင့်သည်ဟု သူတစ်ကိုယ်တည်း ဆုံးဖြတ်နိုင်သည်။ တစ်ပတ် နှစ်ပတ်လောက်ကြာရင် သူ့ကို ဖြုတ်ချပြီး အဲလိဇဘက်ဆီ အာဏာလွှဲပေးလိမ့်မယ်။ ဒါပေမယ့် ရုတ်တရက် သူမဟာ anchovies ပါတဲ့ ထောပတ်သီးကို နှစ်သက်ပြီး လူတိုင်းက ဒီလိုမျိုး ဖြစ်သင့်တယ်လို့ ထင်ပါတယ်။ ပါဝါ ဖောက်ပြန်တယ်။ ဒါကြောင့် ဒီမိုကရက်တစ်နည်းကို ရှာရတာ ပိုကောင်းပါတယ်- အချိန်မီပြီး တိကျသေချာမှုမရှိတဲ့ ရလဒ်ကို သေချာစေစဉ်မှာ မတူကွဲပြားတဲ့ စိတ်ကြိုက်ရွေးချယ်မှုတွေကို ထည့်သွင်းစဉ်းစားဖို့ နည်းလမ်းအချို့ကို ဘယ်သူကမှ နေ့လယ်စာ မှာတာမကုန်စေဘဲ ဒါမှမဟုတ် လူငါးယောက်ကို မတူညီတဲ့ အမှာစာတွေချတာ ဒါမှမဟုတ် ဆွေးနွေးမှုပြုလုပ်ဖို့ သေချာစေမယ့် နည်းလမ်းတစ်ခုပါ။ ညနေဘက်သို့ ဆွဲခေါ်သွားသည်။

ဖြေရှင်းနည်းက ရိုးရှင်းတယ်လို့ ထင်ရပါလိမ့်မယ်- မဲပေးပါ။ ဒါပေမယ့် ဒါက လွဲမှားတဲ့အမြင်တစ်ခုပါ။ ဘယ်သူက မဲတွေ ကောက်ယူပြီး ရလဒ်တွေကို အစီရင်ခံမလဲ။ ပြီးတော့ သူပြောတာကို တခြားသူတွေက ဘာကြောင့် ယုံကြည်သင့်သလဲ။ ဖြစ်နိုင်တယ်။ ပဌမ ဆန္ဒမဲပေးရာတွင် ဦးဆောင်ရန် ကျွန်ုပ်တို့ယုံကြည်ရသော ခေါင်းဆောင်ကို မဲပေးပါ - သို့သော် မည်သူက ဦးဆောင်မည်နည်း။ ပဌမ မဲပေးခြင်းအားဖြင့်? ခေါင်းဆောင်တစ်ဦးကို သဘောမတူရင် ဘာဖြစ်မလဲ။ ဒါမှမဟုတ် သဘောတူညီချက်တစ်ခုရထားပေမယ့် ဒီခေါင်းဆောင်က အစည်းအဝေးမှာ ပိတ်မိနေရင် ဒါမှမဟုတ် ဖျားနာခွင့်နဲ့ သွားနေရင် ဘာဖြစ်မလဲ။

ဖြန့်ဝေထားသော ကွန်ပျူတာကွန်ရက်များတွင် အလားတူပြဿနာများ ပေါ်ပေါက်သည်။ ပါဝင်သူအားလုံး သို့မဟုတ် ဆုံမှတ်များအားလုံးသည် မျှဝေထားသောဖိုင်ကို အပ်ဒိတ်လုပ်ရန် သို့မဟုတ် လုပ်ဆောင်နေသည့် တန်းစီမှ အလုပ်တစ်ခုကို ဖယ်ရှားခြင်းကဲ့သို့သော ဆုံးဖြတ်ချက်အချို့အပေါ် သဘောတူရပါမည်။ cryptocurrency ကွန်ရက်တစ်ခုတွင်၊ node များသည် တစ်ခါတစ်ရံတွင် ကွဲလွဲနိုင်သည့် ဖြစ်နိုင်ခြေရှိသော ဗားရှင်းများစွာမှ ဇာတ်လမ်းအပြည့်အစုံကို မည်ကဲ့သို့မြင်ရသည်ကို ထပ်ခါတလဲလဲ ရွေးချယ်ရမည်ဖြစ်သည်။ ဤကွန်ရက်သဘောတူညီချက်သည် အကြွေစေ့သည် (က) တရားဝင် (အတုမဟုတ်) နှင့် (ခ) အခြားနေရာတွင် မသုံးစွဲရသေးကြောင်း လက်ခံသူအား အာမခံချက်ပေးပါသည်။ လက်ခံသူအသစ်သည် တူညီသောအကြောင်းပြချက်များအတွက် တူညီသောအာမခံချက်ရှိမည်ဖြစ်သောကြောင့် ၎င်းသည် ဒင်္ဂါးပြားများကို အနာဂတ်တွင် သုံးစွဲနိုင်စေရန်လည်း သေချာစေပါသည်။

ဖြန့်ဝေထားသော ကွန်ပြူတာကွန်ရက်ရှိ သဘောတူညီမှုစနစ်တိုင်းသည် အမှားအယွင်းများကို ခံနိုင်ရည်ရှိရပါမည်- ၎င်းသည် နှေးကွေးသောလင့်ခ်များ၊ တုံ့ပြန်မှုမရှိသော node များနှင့် မှားယွင်းသော မက်ဆေ့ချ်မှာယူခြင်းကဲ့သို့သော အမှားအယွင်းများရှိနေသော်လည်း တသမတ်တည်းရလဒ်များကို ထုတ်ပေးရပါမည်။ ဘိုင်ဇန်တိုင်း သဘောတူညီချက်စနစ်သည် "Byzantine" အမှားများကို ခံနိုင်ရည်ရှိပါသည်- အမှားတစ်ခုကြောင့်ဖြစ်စေ သို့မဟုတ် စနစ်အား ပျက်စီးစေရန် တမင်ကြိုးစားမှု သို့မဟုတ် အားသာချက်အချို့ကို ရရှိစေသည့် မှားယွင်းသောအချက်အလက်များကို ပေးဆောင်သည့် ဆုံမှတ်များ။ "Byzantine" အမှားခံနိုင်မှု- အုပ်စုအဖွဲ့ဝင်အချို့သည် လိမ်လည်ခြင်း သို့မဟုတ် အခြားနည်းဖြင့် ဆုံးဖြတ်ချက်ချမှတ်ခြင်းဆိုင်ရာ စည်းမျဉ်းများကို မလိုက်နာသည့်တိုင် အဖွဲ့၏ဆုံးဖြတ်ချက်ကို ယုံကြည်နိုင်မှုစွမ်းရည်- ဟုခေါ်သည် Byzantine အင်ပါယာ၏ဗိုလ်ချုပ်များအကြောင်း ဥပမာတိုက်ခိုက်မှုကို ညှိနှိုင်းဖို့ ကြိုးစားခဲ့သူ။ ကောင်းသောဖော်ပြချက် Anthony Stevens မှာ။

Bob ထံမှအရသာရှိသောရေခဲမုန့်ဝယ်ခြင်းနှင့် Carol ၏အကြွေးကိုဆပ်ကြားရွေးချယ်ရမည့် crypto အကြွေစေ့ပိုင်ရှင် Alice ကိုစဉ်းစားပါ။ အဲလစ်သည် တူညီသောဒင်္ဂါးပြားကို လိမ်လည်လှည့်စားခြင်းဖြင့် ၎င်းတို့နှစ်ဦးလုံးကို တစ်ပြိုင်နက် ပေးချေလိုခြင်း ဖြစ်နိုင်သည်။ ထိုသို့လုပ်ဆောင်ရန်၊ သူမသည် Bob ၏ကွန်ပြူတာအား ကာရိုလ်ထံပေးဆောင်ခြင်းမရှိကြောင်းနှင့် အကြွေစေ့ကို Bob အား တစ်ခါမျှမပေးကြောင်း Carol ၏ကွန်ပြူတာအား စည်းရုံးသိမ်းသွင်းရမည်ဖြစ်သည်။ Byzantine သဘောတူညီချက်များ၏ စနစ်သည် အများစုဟုခေါ်သော စည်းမျဉ်းပုံစံကို အသုံးပြု၍ ယင်းကို မဖြစ်နိုင်သလောက်ဖြစ်စေသည်။ အထမြောက်သည်။. လုံလောက်သော သက်တူရွယ်တူ အရေအတွက် - quorum - ထိုသို့သော အကူးအပြောင်းကို သဘောတူကြောင်း မတွေ့မချင်း ထိုကဲ့သို့သော ကွန်ရက်ရှိ ဆုံမှတ်တစ်ခုသည် သမိုင်း၏ သီးခြားဗားရှင်းသို့ ရွှေ့ရန် ငြင်းဆိုပါသည်။ ထိုသို့ဖြစ်လာသည်နှင့်တပြိုင်နက်၊ ကျန်ရှိသောကွန်ရက်ဆုံမှတ်များကို ၎င်းတို့၏ဆုံးဖြတ်ချက်ကို သဘောတူရန် လုံလောက်သောမဲပေးသည့်အစုအဖွဲ့ကို ဖွဲ့စည်းမည်ဖြစ်သည်။ Alice သည် သူမ၏ကိုယ်စား လိမ်ညာရန် အချို့သော node များကို တွန်းအားပေးနိုင်သော်လည်း ကွန်ရက်သည် အလုံအလောက်ကြီးမားပါက၊ သူမ၏ကြိုးစားမှုသည် ရိုးသားသော node များ၏မဲများဖြင့် လွှမ်းမိုးသွားမည်ဖြစ်သည်။

quorum အတွက် node မည်မျှလိုအပ်သနည်း။ အနည်းဆုံး၊ အများစု သို့မဟုတ် အမှားအယွင်းများနှင့် လိမ်လည်မှုများကို တိုက်ဖျက်ရန် အရည်အချင်းပြည့်မီသော အများစုဖြစ်သည်။ သို့သော် အများစုကို ရေတွက်ရန်၊ ပါဝင်သူ စုစုပေါင်း အရေအတွက်ကို သိရန် လိုအပ်သည်။ Interstellar ရုံး သို့မဟုတ် ခရိုင်ရွေးကောက်ပွဲများတွင် ဤနံပါတ်များကို ရှာဖွေရန် လွယ်ကူပါသည်။ သို့သော် သင့်အဖွဲ့သည် ဗဟိုမှခွင့်ပြုချက်မရရှိဘဲ node များအလိုအလျောက်ဝင်ရောက်နိုင်ပြီး ထွက်သွားနိုင်သည့် လျော့ရဲရဲသတ်မှတ်ထားသောကွန်ရက်တစ်ခုဖြစ်လျှင် သင်လိုအပ်ပါသည်။ ဖက်ဒရယ် Byzantine သဘောတူညီချက်စနစ်သည် သတ်မှတ်ထားသောနေရာတစ်ခုတွင် သတ်မှတ်ထားသော အမှတ်အသားများ၏စာရင်းမှမဟုတ်သော ကော်ရမ်များကို သတ်မှတ်ပေးနိုင်စွမ်းသော Byzantine သဘောတူညီချက်စနစ်၊ သို့သော် အချိန်နှင့်တစ်ပြေးညီ ပြောင်းလဲနေပြီး မလွဲမသွေမပြည့်စုံသော node များ၏လျှပ်တစ်ပြက်ရိုက်ချက်မှ dynamically၊

ကျယ်ပြောလှသော ကွန်ရက်တစ်ခုရှိ node တစ်ခု၏ရှုထောင့်မှ quorum တစ်ခုကို ဖန်တီးရန် မဖြစ်နိုင်ဟု ထင်ရသော်လည်း ဖြစ်နိုင်သည်။ ထိုသို့သော အထမြောက်ခြင်းသည် ဗဟိုချုပ်ကိုင်မှု လျှော့ချထားသော မဲပေးခြင်း၏ ရလဒ်များကိုပင် အာမခံနိုင်သည်။ SCP စက္ကူဖြူစာတမ်းတွင် ၎င်းကို ခေါ်ဆိုသည့် လုပ်ထုံးလုပ်နည်းကို အသုံးပြု၍ မည်သို့လုပ်ဆောင်ရမည်ကို ပြသထားသည်။ ဖက်ဒရယ်မဲဖြင့်.

စိတ်မရှည်သူများအတွက်

ကျန်ဆောင်းပါးတွင် ပြည်ထောင်စုမဲပေးခြင်းနှင့် Stellar သဘောတူညီမှု ပရိုတိုကောကို ပိုမိုအသေးစိတ်ဖော်ပြထားသည်။ အသေးစိတ်အချက်အလက်များကို သင်စိတ်မဝင်စားပါက ဤလုပ်ငန်းစဉ်၏ ယေဘုယျခြုံငုံသုံးသပ်ချက်ဖြစ်သည်။

1. ဆုံမှတ်များသည် "အမည်စာရင်းတင်သွင်းသူများ" အတွက် ဖက်ဒရယ်မဲပေးပွဲများ ပြုလုပ်သည်။ ဖက်ဒရယ်မဲပေးပွဲ ဆိုသည်မှာ-
   • node သည် ကြေငြာချက်အချို့အတွက်မဲပေးသည်၊ ဥပမာ၊ "ကျွန်တော် V ၏တန်ဖိုးကိုတင်ပြသည်"၊
   • Node သည် "လက်ခံနိုင်သည်" ကိုရှာမတွေ့မချင်း ရွယ်တူများ၏အသံကို နားထောင်သည်။
   • ဤပြောဆိုချက်အတွက် node သည် "quorum" ကိုရှာဖွေသည်။ အမည်စာရင်းတင်သွင်းသူကို အထမြောက်သည် “အတည်ပြု” သည်။
2. node တစ်ခုမှ တစ်ခု သို့မဟုတ် တစ်ခုထက်ပိုသော အမည်စာရင်းများကို အတည်ပြုနိုင်သည်နှင့်တစ်ပြိုင်နက်၊ ၎င်းသည် ပြည်ထောင်စုမဲပေးမှုအကြိမ်များစွာဖြင့် "မဲ" ကို "ပြင်ဆင်" ရန် ကြိုးစားသည်။
3. node တစ်ခုသည် ဆန္ဒမဲများ အဆင်သင့်ဖြစ်ပြီဟု အတည်ပြုနိုင်သည်နှင့်တစ်ပြိုင်နက် ၎င်းကို ပြည်ထောင်စုမဲပေးသည့်အကြိမ်များတွင် ပို၍ပင် ကတိကဝတ်ပြုရန် ကြိုးပမ်းသည်။
4. node တစ်ခုသည် ဆန္ဒမဲတစ်ခု၏ ကတိကဝတ်တစ်ခုကို အတည်ပြုနိုင်သည်နှင့်တစ်ပြိုင်နက် ၎င်းသည် အများဆန္ဒရလဒ်အဖြစ် ၎င်းကိုအသုံးပြုခြင်းဖြင့် ၎င်းမဲ၏တန်ဖိုးကို "ပြင်ပသို့ထုတ်ခြင်း" လုပ်နိုင်မည်ဖြစ်သည်။

ဤအဆင့်များသည် SCP အဝိုင်းတစ်ခုဖြင့် စုပေါင်းဖွဲ့စည်းထားသည့် ပြည်ထောင်စုမဲပေးခြင်း အကြိမ်များစွာ ပါဝင်ပါသည်။ အဆင့်တစ်ဆင့်ချင်းစီမှာ ဘာတွေဖြစ်မလဲဆိုတာကို အနီးကပ်လေ့လာကြည့်ရအောင်။

ပြည်ထောင်စုမဲပေးခြင်း

ဖက်ဒရယ်မဲပေးခြင်းသည် ကွန်ရက်မှ အဆိုပြုချက်တစ်ခုအပေါ် သဘောတူနိုင်မလား။ မဲပေးမှုအဝိုင်းတွင်၊ node တစ်ခုစီသည် ဖြစ်နိုင်ချေများသောတန်ဖိုးများထဲမှ တစ်ခုကို ရွေးချယ်ရမည်ဖြစ်သည်။ ကွန်ရက်ရှိ အခြား node များမှ မတူညီသော ရလဒ်ကို ရွေးချယ်မည်မဟုတ်ကြောင်း ယုံကြည်ခြင်းမရှိပါက ၎င်းသည် ၎င်းကို လုပ်ဆောင်နိုင်မည်မဟုတ်ပေ။ ၎င်းကိုသေချာစေရန် node များသည် လူတိုင်းအတွက် မက်ဆေ့ချ်များကို အပြန်ပြန်အလှန်လှန်လဲလှယ်ကြသည်။ အတည်ပြုထို အထမြောက်သည်။ မိုင် ကြာ အတူတူ ဆုံးဖြတ်ချက်. ဤအပိုင်း၏ ကျန်အပိုင်းသည် ဤဝါကျရှိ ဝေါဟာရများနှင့် လုပ်ထုံးလုပ်နည်းတစ်ခုလုံး ဖြစ်ပေါ်ပုံကို ရှင်းပြထားသည်။

ကော်ရမ်များနှင့် အထမြောက်ချပ်များ

အထမြောက်ခြင်းကို သတ်မှတ်ခြင်းဖြင့် စတင်ကြပါစို့။ အထက်တွင် ဆွေးနွေးခဲ့သည့်အတိုင်း၊ တက်ကြွသောအသင်းဝင်မှုရှိသော ဗဟိုချုပ်ကိုင်မှုလျှော့ချထားသော ကွန်ရက်တွင် node အရေအတွက်ကို ကြိုတင်သိရန် မဖြစ်နိုင်သောကြောင့် အများစုအတွက် မည်မျှလိုအပ်ပါသည်။ ဖက်ဒရယ်မဲပေးခြင်းသည် အိုင်ဒီယာအသစ်တစ်ခုကို မိတ်ဆက်ခြင်းဖြင့် ဤပြဿနာကို ဖြေရှင်းပေးသည်။ အထမြောက်သည်။ (quorum အချပ်)- မဲပေးမှုအခြေအနေ အချက်အလက်ကို အခြားကွန်ရက်သို့ ဆက်သွယ်ရန် node တစ်ခုမှ ယုံကြည်သော ရွယ်တူအုပ်စုငယ်တစ်စု။ node တစ်ခုစီသည် ၎င်း၏ကိုယ်ပိုင် quorum အချပ် (၎င်းသည် de facto အဖွဲ့ဝင်ဖြစ်လာသည်) ကို သတ်မှတ်သည်။

အထမြောက်ခြင်း ဖြတ်တောက်ခြင်း ဖြင့် စတင်သည် ။ node တစ်ခုစီအတွက်၊ ၎င်း၏ဖြတ်တောက်ထားသော node များကို ပေါင်းထည့်သည်။ ထို့နောက် အချပ်အခေါ်အဝေါ်များကို ပေါင်းထည့်သည်။ ဤဆုံမှတ်များ နောက် ... ပြီးတော့။ သင်ဆက်သွားသည်နှင့်အမျှ၊ ၎င်းတို့ကို အချပ်တွင် ထည့်သွင်းထားပြီးဖြစ်သောကြောင့် သင်ထည့်၍မရသော node များ ပိုများလာပါသည်။ ပေါင်းထည့်ရန် node အသစ်များမရှိတော့သောအခါ၊ လုပ်ငန်းစဉ်ရပ်သွားသည်- ကျွန်ုပ်တို့သည် ကနဦး node ၏ quorum အချပ်၏ "အကူးအပြောင်းပိတ်ခြင်း" ဖြင့် အစီရမ်တစ်ခုကို ဖွဲ့စည်းထားပါသည်။

ပေးထားသော node တစ်ခုမှ quorum ကိုရှာရန်...

...မြန်မာစာလှီးထည့်ပါ...။

...ထို့နောက် ကျွန်ုပ်တို့သည် ဤ node များ၏ အစိပ်အပိုင်းများကို ပေါင်းထည့်ပါသည်။

ထည့်ရန် node များမကျန်မချင်း ကျွန်ုပ်တို့ ဆက်လက်လုပ်ဆောင်ပါသည်။

ထည့်ရန် node မရှိပါ။ ဒါက အထမြောက်ပါတယ်။

အမှန်မှာ၊ node တစ်ခုစီသည် အချပ်တစ်ခုထက်ပို၍ ပေါ်လာနိုင်သည်။ အထမြောက်ဖွဲ့စည်းရန်အတွက် အချပ်များထဲမှ တစ်ခုကိုသာ ရွေးချယ်ပြီး အဖွဲ့ဝင်များကို ထည့်ပါ။ ထို့နောက် အဖွဲ့ဝင်တစ်ဦးစီအတွက် မည်သည့်အပိုင်းကိုမဆို ရွေးချယ်ပြီး အဖွဲ့ဝင်များကို ပေါင်းထည့်ပါ။ က cut ဖြစ်သွားပြီ။ ဆိုလိုသည်မှာ node တစ်ခုစီသည် ဖြစ်နိုင်သော quorum အများအပြား၏ အဖွဲ့ဝင်ဖြစ်သည်။

အဆင့်တစ်ခုစီတွင် အစီရမ်အချပ်တစ်ခုသာ ရွေးပါ။

ဖြစ်နိုင်ခြေရှိသော အထမြောက်သည်။ ဒါမှမဟုတ် အခြားရွေးချယ်စရာ...

...အခြားအချပ်များကို ရွေးပါ...

…(ဖြစ်နိုင်ရင်)…

... နောက်ထပ် အထမြောက်မှုကို ဖန်တီးသည်။

Node တစ်ခုသည် မည်သည့် slices တွင်ရှိသနည်း အခြား node များအကြောင်း အခြားအချက်အလက်များကဲ့သို့ပင်- node တစ်ခုစီမှ ထုတ်လွှင့်သော ထုတ်လွှင့်မှုများမှ ၎င်း၏မဲပေးမှုအခြေအနေ ပြောင်းလဲသည့်အခါ ကွန်ရက်သို့ ထုတ်လွှင့်သည်။ ထုတ်လွှင့်မှုတစ်ခုစီတွင် ပေးပို့ခြင်း node ၏ အချပ်များအကြောင်း အချက်အလက်များ ပါဝင်သည်။ SCP စက္ကူဖြူသည် ဆက်သွယ်ရေးယန္တရားတစ်ခုဟု မသတ်မှတ်ထားပေ။ အကောင်အထည်ဖော်မှုများကို ပုံမှန်အားဖြင့် အသုံးပြုသည်။ အတင်းအဖျင်းပရိုတိုကော ကွန်ရက်တစ်လျှောက် မက်ဆေ့ချ်များ ထုတ်လွှင့်ခြင်းအတွက် အာမခံချက်။

ဖက်ဒရယ်မဟုတ်သော Byzantine သဘောတူညီချက်များ၏ စနစ်တွင် အထမြောက်ခြင်းကို node အားလုံး၏အများစုအဖြစ် သတ်မှတ်ကြောင်း သတိရပါ။ Byzantine သဘောတူညီချက်စနစ်အား မေးခွန်း၏ရှုထောင့်မှ ဒီဇိုင်းထုတ်ထားသည်- မရိုးသားသော nodes မည်မျှခံနိုင်ရည်ရှိမည်နည်း။ f ပျက်ကွက်မှုများကို ရှင်သန်နိုင်ရန် ဒီဇိုင်းထုတ်ထားသည့် N node များ၏ စနစ်တွင်၊ f သည် ကျဆင်းနေသောကြောင့် N-f ရွယ်တူများထံမှ တုံ့ပြန်ချက်လက်ခံခြင်းဖြင့် node သည် တိုးတက်မှုကို ပြုလုပ်နိုင်မည်ဖြစ်သည်။ သို့သော် N-f ရွယ်တူများထံမှ တုံ့ပြန်မှုကို လက်ခံရရှိပြီးနောက်၊ f သက်တူရွယ်တူများ (node ​​မှ တုံ့ပြန်မှုမရရှိခဲ့သော) အားလုံးသည် အမှန်တကယ် ရိုးသားသည်ဟု ကျွန်ုပ်တို့ ယူဆနိုင်သည်။ ထို့ကြောင့် N-f မှ ရွယ်တူများ (တုံ့ပြန်မှုရရှိခဲ့သော) သည် အန္တရာယ်ရှိသည်။ တူညီသောသဘောဆန္ဒကိုရရှိရန်အတွက် node အများစုသည် ရိုးသားရမည်ဖြစ်ပြီး၊ ဆိုလိုသည်မှာ၊ ကျွန်ုပ်တို့သည် N−f ထက် 2f သို့မဟုတ် N > 3f လိုအပ်သည်။ ထို့ကြောင့် ပုံမှန်အားဖြင့် f မအောင်မြင်မှုများကို ရှင်သန်နိုင်ရန် ဒီဇိုင်းထုတ်ထားသော စနစ်တစ်ခုတွင် စုစုပေါင်း N=3f+1 nodes နှင့် quorum အရွယ်အစား 2f+1 ရှိသည်။ အဆိုပြုချက်တစ်ခုသည် အထမြောက်သည့်အဆင့်ကို ကျော်သွားသည်နှင့်၊ ယှဉ်ပြိုင်သည့်အဆိုပြုချက်များသည် ကျရှုံးမည်မဟုတ်ကြောင်း ကွန်ရက်၏ကျန်သောကွန်ရက်က ယုံကြည်ပါသည်။ ဤသည်မှာ ကွန်ရက်သည် ရလဒ်အဖြစ် ပေါင်းစည်းပုံဖြစ်သည်။

သို့သော် ဖက်ဒရယ် Byzantine သဘောတူညီချက်စနစ်တွင် အများစုရှိရုံသာမက (ကွန်ရက်၏စုစုပေါင်းအရွယ်အစားကို မည်သူမျှမသိသောကြောင့်) အများစု၏အယူအဆသည် လုံးဝအသုံးမဝင်ပါ။ စနစ်တွင် အဖွဲ့ဝင်ခြင်းကို ဖွင့်ထားလျှင် တစ်စုံတစ်ဦးသည် Sybil ဟုခေါ်သော တိုက်ခိုက်မှုကို လုပ်ဆောင်ခြင်းဖြင့် အများစုကို ရရှိနိုင်သည်- node များစွာရှိ ကွန်ရက်ကို ထပ်ခါတလဲလဲ ချိတ်ဆက်ခြင်း။ ဒါဆို transitive slice လို့ ခေါ်ရတာပေါ့။ အထမြောက်သည်။ပြိုင်ဖက်အဆိုပြုချက်များကို မည်ကဲ့သို့ နှိမ်နှင်းနိုင်သနည်း။

နည်းပညာအရ၊ နည်းလမ်းမရှိပါ။ တစ်ခုနှင့်တစ်ခု၏ quorum အချပ်များတွင် triplet နှစ်ခုကို သီးခြားခွဲထားသည့် node ခြောက်ခုရှိသော ကွန်ရက်တစ်ခုကို မြင်ယောင်ကြည့်ပါ။ ပထမအုပ်စုခွဲသည် ဒုတိယအုပ်စုသည် မည်သည့်အခါမျှ ကြားမည်မဟုတ်ကြောင်းနှင့် အပြန်အလှန်အားဖြင့် ဆုံးဖြတ်ချက်ချနိုင်သည်။ ဤကွန်ရက်သည် အများသဘောတူလက်ခံနိုင်စေရန် နည်းလမ်းမရှိပါ (မတော်တဆမှလွဲ၍)။

ထို့ကြောင့်၊ SCP သည် ပြည်ထောင်စုမဲပေးခြင်းအတွက် (နှင့် စာတမ်း၏ အရေးကြီးသော သီအိုရီများအတွက်) ကွန်ရက်ဟုခေါ်သော ပိုင်ဆိုင်မှုတစ်ခုရှိရမည်၊ အထမြောက်ခြင်း လမ်းဆုံ. ဤပိုင်ဆိုင်မှုရှိသော ကွန်ရက်တစ်ခုတွင်၊ တည်ဆောက်နိုင်သည့် quorum နှစ်ခုသည် အနည်းဆုံး node တစ်ခုတွင် အမြဲထပ်နေပါသည်။ ကွန်ရက်၏ လွှမ်းမိုးနေသော သဘောထားကို ဆုံးဖြတ်ရန်အတွက်၊ ၎င်းသည် အများစုရှိခြင်းနှင့် တူသည်။ အလိုလိုသဘောအရ၊ ဆိုလိုသည်မှာ၊ မည်သည့် quorum မဆို X ကို သဘောတူပါက၊ X အတွက် မဲပေးပြီးသော ပထမ quorum မှ node အချို့ပါဝင်မည်ဖြစ်သောကြောင့် အခြား quorum သည် အခြားမည်သည့်အရာကိုမျှ သဘောတူနိုင်မည်မဟုတ်ကြောင်း ဆိုလိုသည်။

ကွန်ရက်တွင် အထမြောက်ခြင်း လမ်းဆုံတစ်ခုရှိလျှင်...

...ဒါဆို မင်း ဘယ်အထွတ်အစည်းနှစ်ခုကိုမဆို တည်ဆောက်နိုင်တယ်...

...အမြဲတမ်း ဖြတ်သွားမယ်။

(ဟုတ်ပါတယ်၊ ထပ်နေသည့် ဆုံမှတ်များသည် Byzantine-lying သို့မဟုတ် မဟုတ်ရင် ဆိုးရွားသွားနိုင်သည်။ ဤအခြေအနေတွင်၊ ကော်ရမ်လမ်းဆုံသည် ကွန်ရက်ကို လုံးဝသဘောတူရန် အထောက်အကူမပြုပါ။ ထို့ကြောင့်၊ SCP စာရွက်ဖြူတွင် ရလဒ်များစွာကို အခြေခံထားသည်။ ကွန်ရက်အထွတ်အထိပ်ဖြတ်ကျော်ခြင်းတွင် ကျန်ရှိနေသောအရာများကဲ့သို့သော ပြတ်သားသောယူဆချက်များ မကောင်းတဲ့ node တွေကို ဖယ်ရှားပြီးရင်တောင်. ရိုးရိုးရှင်းရှင်းပြောရရင် ဒီယူဆချက်တွေကို ချန်ထားလိုက်ကြရအောင် သွယ်ဝိုက်သော ကျန်ဆောင်းပါးများတွင်)။

လွတ်လပ်သော node ကွန်ရက်တစ်ခုတွင် ယုံကြည်စိတ်ချရသော အထမြောက်ဖြတ်ကျော်မှု ဖြစ်နိုင်သည်ဟု မျှော်လင့်ရန် ယုတ္တိမရှိပုံရသည်။ ဒါပေမယ့် ဒီလိုဖြစ်ရတဲ့ အကြောင်းရင်းနှစ်ခုရှိပါတယ်။

ပထမဆုံး အကြောင်းအရင်းကတော့ အင်တာနက် သူ့အလိုလို တည်ရှိနေခြင်းပါပဲ။ အင်တာနက်သည် ကွန်ထရမ်များကို ဖြတ်တောက်ထားသော လွတ်လပ်သော node များကွန်ရက်တစ်ခု၏ ပြီးပြည့်စုံသော ဥပမာတစ်ခုဖြစ်သည်။ အင်တာနက်ပေါ်ရှိ node အများစုသည် အခြားသော local node အနည်းငယ်နှင့်သာ ချိတ်ဆက်ထားသော်လည်း၊ အချို့သော လမ်းကြောင်းတစ်လျှောက်တွင် node တစ်ခုစီမှ node တစ်ခုစီသို့ ရောက်ရှိနိုင်လောက်အောင် ဤသေးငယ်သော set များသည် ထပ်နေပါသည်။

ဒုတိယအကြောင်းရင်းမှာ Stellar ငွေပေးချေမှုကွန်ရက် (SCP ၏ အသုံးအများဆုံးအသုံးပြုမှု) နှင့် သီးခြားဖြစ်သည်။ Stellar ကွန်ရက်ရှိ ပိုင်ဆိုင်မှုတိုင်းတွင် ထုတ်ပေးသူရှိပြီး၊ Stellar ၏လမ်းညွှန်ချက်များသည် ထုတ်ပေးသူတိုင်းသည် ရွေးနုတ်ခြင်းတောင်းဆိုမှုများကို လုပ်ဆောင်ရန်အတွက် ကွန်ရက်ပေါ်ရှိ node တစ်ခု သို့မဟုတ် တစ်ခုထက်ပိုသော node များကို သတ်မှတ်ပေးရန်လိုအပ်ပါသည်။ သင်စိတ်ဝင်စားသော ပိုင်ဆိုင်မှုတစ်ခုစီအတွက် ဤဆုံမှတ်များကို အစီရမ်အချပ်များအတွင်း တိုက်ရိုက် သို့မဟုတ် သွယ်ဝိုက်စွာ ထည့်သွင်းရန်မှာ သင့်အတွက် အကောင်းဆုံးဖြစ်သည်။ ပေးထားသည့် ပိုင်ဆိုင်မှုကို စိတ်ဝင်စားသည့် ဆုံမှတ်အားလုံးအတွက် Quorums များသည် ထို့နောက် အနည်းဆုံး ထိုရွေးနှုတ်မှု ဆုံမှတ်များတွင် ထပ်နေပါမည်။ ပိုင်ဆိုင်မှုများစွာကို စိတ်ဝင်စားသော နိုဒိတ်များသည် သက်ဆိုင်ရာ ထုတ်ပေးသူများ၏ ကော်ရမ်အချပ်များထဲတွင် ရွေးနုတ်နုတ်ဆက်ခြင်းများအားလုံး ပါဝင်မည်ဖြစ်ပြီး ၎င်းတို့သည် ပိုင်ဆိုင်မှုအားလုံးကို ပေါင်းစည်းရန် ရှာဖွေမည်ဖြစ်သည်။ ထို့အပြင်၊ ဤနည်းဖြင့် ကွန်ရက်ပေါ်ရှိ အခြားသူများနှင့် ချိတ်ဆက်မထားသော ပိုင်ဆိုင်မှုမှန်သမျှ၊ မချိတ်ဆက်သင့်ပါ။ - ဤကွန်ရက်အတွက် အထမြောက်ထပ်မဖြစ်စေရန် ဒီဇိုင်းထုတ်ထားခြင်းဖြစ်သည် (ဥပမာ၊ ဒေါ်လာဇုန်မှဘဏ်များသည် တစ်ခါတစ်ရံတွင် ယူရိုဇုန်မှဘဏ်များနှင့် ပီဆိုဇုန်မှဘဏ်များနှင့် ကုန်သွယ်မှုပြုလုပ်လိုသောကြောင့် ၎င်းတို့သည် တူညီသောကွန်ရက်တွင်ရှိသော်လည်း မည်သည့်အရာမှမရှိပါ။ ၎င်းတို့အနက်မှ ဘေ့စ်ဘောကတ်များရောင်းသည့် ကလေးများ၏ သီးခြားကွန်ရက်ကို ဂရုစိုက်သည်။)

သင်တန်း၏, စောင့်နေတယ် quorum ဖြတ်ကျော်ခြင်း မဟုတ်ပါ။ အာမခံချက်. အခြား Byzantine သဘောတူညီချက်စနစ်များသည် အထမြောက်ခြင်းအာမခံချက်အတွက် ၎င်းတို့၏ရှုပ်ထွေးမှုများစွာကို ပေးဆောင်ပါသည်။ SCP ၏ အရေးကြီးသော ဆန်းသစ်တီထွင်မှုတစ်ခုမှာ ၎င်းသည် အများသဘောတူသော အယ်လဂိုရီသမ်မှ ကော်ရမ်များဖန်တီးခြင်းအတွက် တာဝန်ကို ဖယ်ရှားပြီး လျှောက်လွှာအဆင့်သို့ ယူဆောင်လာခြင်းဖြစ်သည်။ ထို့ကြောင့် ပြည်ထောင်စုမဲပေးခြင်းသည် မည်သည့်ပြဿနာကိုမဆို မဲပေးရန် ယေဘူယျအားဖြင့် လုံလောက်သော်လည်း ၎င်း၏ ယုံကြည်စိတ်ချရမှုသည် ဤအဓိပ္ပါယ်များ၏ ကျယ်ပြန့်သော အဓိပ္ပါယ်ပေါ်တွင် အလေးအနက်မူတည်ပါသည်။ အချို့သော ယူဆချက်အသုံးပြုမှုများသည် အခြားသူများကဲ့သို့ ကောင်းမွန်စွာချိတ်ဆက်ထားသော ကွန်ရက်များကို ဖန်တီးရန်အတွက် အဆင်မပြေနိုင်ပါ။

မဲပေးခြင်း၊ လက်ခံခြင်းနှင့် အတည်ပြုခြင်း။

ပြည်ထောင်စုမဲပေးခြင်းအဝိုင်းတွင်၊ node တစ်ခုသည် တန်ဖိုးအချို့အတွက် V ကိုရွေးချယ်နိုင်သည် စတင်မဲပေးခြင်းကိုဆိုလိုသည်။ ဆိုလိုသည်မှာ ကွန်ရက်သို့ မက်ဆေ့ချ်တစ်ခုထုတ်လွှင့်ခြင်းကိုဆိုလိုသည်- "ကျွန်ုပ်သည် node N ဖြစ်ပါသည်၊ ကျွန်ုပ်၏ quorum အချပ်များသည် Q ဖြစ်ပြီး၊ ကျွန်ုပ်သည် V ကိုမဲပေးပါသည်။" ဤနည်းဖြင့် node ကိုမဲပေးသောအခါ၊ ၎င်းသည် V ကိုဘယ်တော့မှမဲမပေးဘဲ ဘယ်တော့မှလုပ်မည်မဟုတ်ကြောင်း ကတိပြုပါသည်။

peer-to-peer ထုတ်လွှင့်မှုများတွင်၊ node တစ်ခုစီသည် အခြားသူများ မဲပေးပုံကို မြင်သည်။ node တစ်ခုသည် ဤစာများကို လုံလောက်စွာစုဆောင်းပြီးသည်နှင့်၊ ၎င်းသည် quorum အချပ်များကို ခြေရာခံပြီး quorum များကိုရှာဖွေရန် ကြိုးစားနိုင်သည်။ V ကို မဲပေးသည့် ရွယ်တူ အစုအဝေးကို မြင်လျှင် သူ ဆက်သွားနိုင်သည်။ မွေးစားခြင်း။ V နှင့် ဤမက်ဆေ့ဂျ်အသစ်ကို ကွန်ရက်သို့ ထုတ်လွှင့်သည်- "ငါသည် node N ဖြစ်သည်၊ ကျွန်ုပ်၏ quorum အချပ်များသည် Q ဖြစ်ပြီး၊ ကျွန်ုပ်သည် V ကို လက်ခံပါသည်။" လက်ခံခြင်းသည် ရိုးရှင်းသောမဲပေးခြင်းထက် ပိုမိုခိုင်မာသောအာမခံချက်ပေးပါသည်။ node က V ကိုမဲပေးတဲ့အခါ၊ တခြားရွေးချယ်စရာတွေကို ဘယ်တော့မှ မဲမပေးပါဘူး။ သို့သော် node သည် V ကိုလက်ခံပါက၊ Network ပေါ်ရှိ node သည်အခြားရွေးချယ်စရာကိုဘယ်တော့မှလက်ခံမည်မဟုတ်ပါ (SCP whitepaper တွင် Theorem 8 က၎င်းကိုသက်သေပြသည်)။

ဟုတ်ပါတယ်၊ V နှင့်သဘောတူသော node များ quorum များချက်ခြင်းရှိလာမည်မဟုတ်ကြောင်း မြင့်မားသောဖြစ်နိုင်ခြေရှိပါသည်။ အခြား nodes များသည် အခြားသောတန်ဖိုးများကိုမဲပေးနိုင်ပါသည်။ သို့သော် ရိုးရှင်းသောမဲပေးခြင်းမှ လက်ခံခြင်းသို့ ရွှေ့ရန် node အတွက် အခြားနည်းလမ်းတစ်ခုရှိသည်။ N သည် ၎င်းကိုမဲမပေးပါက၊ W အတွက်ကွဲပြားခြားနားသောတန်ဖိုးကိုလက်ခံနိုင်သည်၊ ၎င်းအတွက်အထမြောက်သည်ကိုမတွေ့လျှင်ပင်။ သင်၏မဲကိုပြောင်းလဲရန်ဆုံးဖြတ်ရန်၊ ကြည့်ပါ။ ပိတ်ဆို့ခြင်းသတ်မှတ် W. A blocking set ကို လက်ခံထားသော node များသည် quotum slices N တစ်ခုစီမှ node တစ်ခုဖြစ်သည်။ အမည်တွင် အကြံပြုထားသည့်အတိုင်း၊ ဘလောက် အခြားအဓိပ္ပာယ်တစ်ခုခု။ ထိုသို့သော set တစ်ခုရှိ node များအားလုံး W ကိုလက်ခံပါက (သီအိုရီ 8 အရ) ၎င်းသည် မတူညီသောတန်ဖိုးတစ်ခုယူသော quorum ကိုဖွဲ့စည်းရန်မဖြစ်နိုင်ပါ၊ ထို့ကြောင့် N သည် W ကိုလက်ခံရန်လည်းဘေးကင်းပါသည်။

အစီရမ်အချပ်သုံးခုပါသည့် Node N။

BDF သည် N အတွက် ပိတ်ဆို့ခြင်း အစုံအလင်ဖြစ်သည်၊ ၎င်းတွင် N အချပ်တစ်ခုစီမှ node တစ်ခု ပါဝင်သည်။

BE သည် N ၏ အချပ်နှစ်ချပ်တွင် E ပေါ်လာသောကြောင့် N အတွက် ပိတ်ဆို့သတ်မှတ်ထားခြင်းဖြစ်သည်။

သို့သော် ပိတ်ဆို့ထားမှုမှာ အထမြောက်ခြင်းမဟုတ်ပါ။ N အချပ်တစ်ခုစီရှိ node တစ်ခုစီကို hack ရန် လုံလောက်ပါက လိုချင်သောတန်ဖိုးကို လက်ခံရန် node N ကိုလှည့်စားရန်မှာ လွယ်ကူလွန်းပါသည်။ ထို့ကြောင့်၊ တန်ဖိုးကို လက်ခံခြင်းသည် မဲပေးခြင်း၏အဆုံးမဟုတ်ပါ။ ယင်းအစား N သည် ၎င်းကိုလက်ခံသည့် quorum of node တစ်ခုကို ကြည့်ပါ၊ ဆိုလိုသည်မှာ တန်ဖိုးကို အတည်ပြုရပါမည်။ အကယ်၍ ၎င်းသည် ယခုအချိန်အထိ SCP whitepaper မှ (သီအိုရီ 11 တွင်) သက်သေပြထားသည့်အတိုင်း၊ ကျန်ကွန်ရက်များသည် တူညီသောတန်ဖိုးကို နောက်ဆုံးတွင် အတည်ပြုလိမ့်မည်၊ ထို့ကြောင့် N သည် ရလဒ်အဖြစ် ဖက်ဒရယ်မဲများကို သတ်မှတ်တန်ဖိုးတစ်ခုဖြင့် အဆုံးသတ်မည်ဖြစ်သည်။

ပြည်ထောင်စုမဲပေးခြင်း။

မဲပေးခြင်း၊ လက်ခံခြင်းနှင့် အတည်ပြုခြင်းလုပ်ငန်းစဉ်သည် ပြည်ထောင်စုရွေးကောက်ပွဲကော်မရှင်၏ ဆန္ဒမဲပေးမှု အပြည့်အ၀ဖြစ်သည်။ Stellar consensus protocol သည် ပြီးပြည့်စုံသော သဘောတူညီမှုစနစ်ကို ဖန်တီးရန် ဤအဝိုင်းများစွာကို ပေါင်းစပ်ထားသည်။

Stellar Consensus Protocol

အများသဘောတူစနစ်၏ အရေးကြီးဆုံး ဂုဏ်သတ္တိနှစ်ခုမှာ - လုံခွုံမှု и ရှင်သန်နိုင်မှု. မတူညီသောပါဝင်သူများအား မတူညီသောရလဒ်များကို မည်သည့်အခါမျှ မပေးနိုင်ပါက (Bob ၏သမိုင်းမိတ္တူသည် Carol ကို ဘယ်သောအခါမှ ဆန့်ကျင်မည်မဟုတ်ပါ) အများသဘောတူသော အယ်လဂိုရီသမ်တစ်ခုသည် "ဘေးကင်းသည်"။ "Livability" ဆိုသည်မှာ algorithm သည် အမြဲတမ်း ရလဒ်ကို ထုတ်ပေးလိမ့်မည်၊ ဆိုလိုသည်မှာ ၎င်းသည် တွယ်ကပ်နေမည်မဟုတ်ပေ။

ဖက်ဒရယ်မဲပေးခြင်းဆိုင်ရာ လုပ်ငန်းစဉ်များကို ဖော်ပြထားပါသည်။ ဘေးကင်းသည်။ Node တစ်ခုသည် V ၏တန်ဖိုးကိုအတည်ပြုပါကအခြား node မှအခြားတန်ဖိုးကိုအတည်ပြုမည်မဟုတ်ပါ။ သို့သော် “အခြားအဓိပ္ပာယ်ကို အတည်ပြုမည်မဟုတ်” ဆိုသည်မှာ တစ်ခုခုကို သေချာပေါက် အတည်ပြုမည်ဟု မဆိုလိုပါ။ ပါဝင်သူများသည် လက်ခံမှုအဆင့်သို့ မည်သည့်အရာမှ မရောက်ရှိစေဘဲ မတူညီသော တန်ဖိုးများစွာကို မဲပေးနိုင်ပါသည်။ ဆိုလိုသည်မှာ ဖက်ဒရယ်မဲပေးခြင်း မရှိပါ။ ရှင်သန်နိုင်မှု.

Stellar consensus protocol သည် လုံခြုံရေးနှင့် ရှင်သန်နိုင်မှုကို အာမခံသည့်နည်းလမ်းဖြင့် ပြည်ထောင်စုမဲပေးခြင်းကို အသုံးပြုသည်။ (SCP လုံခြုံရေးနှင့် ရှင်သန်နိုင်မှု အာမခံချက်များတွင် သီအိုရီအရ ကန့်သတ်ချက်ရှိသည်။ ဒီဇိုင်းသည် အလွန်ခိုင်မာသော လုံခြုံရေးအာမခံချက်ကို ရွေးချယ်ထားပြီး အသက်ရှင်နိုင်မှု လျော့ပါးစေရန် အနည်းငယ်သာ စွန့်လွတ်သော်လည်း အချိန်လုံလောက်ပါက သဘောတူညီမှုရရှိရန် အလားအလာများပါသည်။) အတိုချုပ်ပြောရလျှင်၊ ၎င်းတို့ထဲမှတစ်ခုသည် အောက်တွင်ဖော်ပြထားသော SCP မဲပေးမှုအဆင့်များအားလုံးကို မဖြတ်သန်းမချင်း တန်ဖိုးများစွာတွင် ဖက်ဒရယ်မဲများစွာရှိရန် စိတ်ကူးဖြစ်သည်။

SCP ၏ သဘောတူညီမှု ရယူထားသော တန်ဖိုးများသည် အရောင်းအ၀ယ်မှတ်တမ်း သို့မဟုတ် နေ့လယ်စာ မှာယူမှု သို့မဟုတ် အခြားအရာများ ဖြစ်နိုင်သော်လည်း ၎င်းတို့သည် လက်ခံ သို့မဟုတ် အတည်ပြုထားသော တန်ဖိုးများမဟုတ်ကြောင်း သတိပြုရန် အရေးကြီးပါသည်။ ယင်းအစား ဖက်ဒရယ်မဲပေးခြင်းသည် အဆိုအရ ဖြစ်ပေါ်သည်။ ဤတန်ဖိုးများနှင့် ပတ်သက်၍ ထုတ်ပြန်ချက်.

ပထမအကြိမ် ဖက်ဒရယ်မဲပေးပွဲများ ကျင်းပမည်ဖြစ်သည်။ အမည်စာရင်းတင်သွင်းခြင်းအဆင့် (nomination phase) "I nominate V" ကဲ့သို့သော ကြေငြာချက်အစုတစ်ခုတွင် V ၏ မတူညီသောတန်ဖိုးများစွာအတွက် ဖြစ်ကောင်းဖြစ်နိုင်သည်။ အဆိုပြုခြင်း၏ရည်ရွယ်ချက်မှာ လက်ခံခြင်းနှင့် အတည်ပြုခြင်းမှတဆင့် လုပ်ဆောင်သော ကြေငြာချက်တစ်ခု သို့မဟုတ် တစ်ခုထက်ပိုသော ထုတ်ပြန်ချက်များကို ရှာဖွေရန်ဖြစ်သည်။

စိစစ်နိုင်သော ကိုယ်စားလှယ်လောင်းများကို ရှာဖွေပြီးနောက်၊ SCP သည် အချို့သော ပန်းတိုင်ကို ရှာဖွေရန် ပန်းတိုင်ဖြစ်သည့် မဲပေးခြင်းအဆင့်သို့ ဆက်လက်ရွေ့လျားသည်။ စာစောင် (ဆိုလိုသည်မှာ၊ အဆိုပြုထားသောတန်ဖိုးအတွက် ကွန်တိန်နာ) နှင့် ကြေညာနိုင်သော အထမြောက်သည်။ ကျူးလွန် အဲဒါအတွက် (ကတိကဝတ်)။ အထမြောက်သည် ဆန္ဒမဲတစ်ခုပေးလျှင် ၎င်း၏တန်ဖိုးကို သဘောတူညီမှုအဖြစ် လက်ခံသည်။ သို့သော် မဲရုံတစ်ခုတွင် မဲခွဲဆုံးဖြတ်ခြင်းမပြုမီ၊ ၎င်းကို ဦးစွာအတည်ပြုရမည်ဖြစ်သည်။ ပယ်ဖျက်ခြင်း။ ကောင်တာတန်ဖိုးနိမ့်သော မဲများအားလုံး။ ဤအဆင့်များ—ကတိကဝတ်ပြုနိုင်သော မဲများကိုရှာဖွေရန်-မဲများကိုပယ်ဖျက်ခြင်း—ဆန္ဒမဲများတောင်းဆိုမှုအများအပြားတွင် ပြည်ထောင်စုမဲပေးသည့်အကြိမ်များစွာပါဝင်ပါသည်။

အောက်ဖော်ပြပါ ကဏ္ဍများသည် အမည်စာရင်းတင်သွင်းခြင်းနှင့် မဲပေးခြင်းကို ပိုမိုအသေးစိတ်ဖော်ပြသည်။

အမည်စာရင်းတင်သွင်းခြင်း။

အမည်စာရင်းတင်သွင်းခြင်းအဆင့်အစတွင်၊ node တစ်ခုစီသည် V အတွက်တန်ဖိုးကိုအလိုလိုရွေးချယ်နိုင်ပြီး “I nominate V” ဟူသောကြေငြာချက်ကိုမဲပေးနိုင်သည်။ ဤအဆင့်တွင် ရည်ရွယ်ချက်မှာ ပြည်ထောင်စုမဲဆန္ဒဖြင့် တန်ဖိုးအချို့၏ အမည်စာရင်းတင်သွင်းခြင်းကို အတည်ပြုရန်ဖြစ်သည်။

Node များသည် လက်ခံမှုအဆင့်သို့ မရောက်နိုင်သော လုံလောက်သော မတူညီသော အဆိုပြုချက်များကို မဲပေးရွေးချယ်ခြင်း ဖြစ်နိုင်သည်။ ထို့ကြောင့်၊ ၎င်းတို့၏ကိုယ်ပိုင်အမည်စာရင်းတင်သွင်းခြင်းမဲများကိုထုတ်လွှင့်ခြင်းအပြင်၊ nodes များသည် ၎င်းတို့၏ရွယ်တူရွယ်တူများ၏အမည်စာရင်းတင်သွင်းခြင်းကိုထင်ဟပ်စေသည်။ ပဲ့တင်သံ ဆိုသည်မှာ node တစ်ခုမှ V ကို မဲပေးသော်လည်း W အတွက် အမည်စာရင်းတင်သွင်းသည့် အိမ်နီးချင်းတစ်ဦးမှ မဲပေးသည့် မက်ဆေ့ချ်ကို မြင်ပါက၊ ယခု V နှင့် W နှစ်ခုစလုံးကို မဲပေးမည် ဖြစ်သည်။ (အဆိုပြုစဉ်အတွင်း ရွယ်တူမဲများအားလုံးကို ပဲ့တင်ထပ်ခြင်းမဟုတ်ပါ ကွဲပြားသော အမည်စာရင်းတင်သွင်းသူများ၊ SCP တွင် ဤမဲများကို ထိန်းညှိပေးသည့် ယန္တရားတစ်ခု ပါဝင်သည်။ အတိုချုပ်ပြောရလျှင်၊ node တစ်ခု၏ရှုထောင့်မှ မျိုးတူတစ်ဦး၏ "ဦးစားပေး" ကို ဆုံးဖြတ်ရန် ဖော်မြူလာတစ်ခု ရှိပြီး ဦးစားပေး ဆုံမှတ်များ၏ မဲများကိုသာ ထင်ဟပ်စေပါသည်။ အမည်စာရင်းတင်သွင်းမှု ပိုကြာလေဖြစ်သည်။ သတ်မှတ်ချက်ထက် နိမ့်လေ၊ ထို့ကြောင့် node သည် ၎င်း၏မဲများကို ထင်ဟပ်စေမည့် သက်တူရွယ်တူအစုအဝေးကို ချဲ့ထွင်သည်။ ဦးစားပေးဖော်မြူလာတွင် ၎င်း၏ထည့်သွင်းမှုတစ်ခုအနေဖြင့် slot နံပါတ်ပါဝင်သည်၊ ထို့ကြောင့် slot တစ်ခုအတွက် ဦးစားပေးအဆင့်မြင့်သောရွယ်တူများသည် ဦးစားပေးအဆင့်တူမျိုးတူများအတွက် ဖြစ်နိုင်သည် အခြား၊ အပြန်အလှန်အားဖြင့်)။

သဘောတရားအရ၊ အဆိုပြုခြင်းမှာ အပြိုင်ဖြစ်ပြီး၊ V နှင့် W နှစ်ခုစလုံးသည် သီးခြားဖက်ဒရယ်မဲများဖြစ်ပြီး တစ်ဦးချင်းစီက လက်ခံမှု သို့မဟုတ် အတည်ပြုခြင်းတို့ကို ဆောင်ရွက်နိုင်မည်ဖြစ်သည်။ လက်တွေ့တွင်၊ SCP ပရိုတိုကော မက်ဆေ့ချ်များသည် ဤတစ်ဦးချင်းမဲများကို အတူတကွ ထုပ်ပိုးထားသည်။

V ၏အမည်စာရင်းတင်သွင်းခြင်းကိုမဲပေးခြင်းသည် V ၏အမည်စာရင်းတင်သွင်းခြင်းကိုဘယ်တော့မှမဲမပေးရန် ကတိပြုထားသော်လည်း၊ ဤကိစ္စတွင် SCP သည် လျှောက်လွှာအဆင့်တွင်ရှိသည် - ၎င်းသည် "ဆန့်ကျင်ဘက်" ဟူသောအဓိပ္ပါယ်ကိုဆုံးဖြတ်သည်။ SCP သည် "I nominate X" vote ကို ဆန့်ကျင်သော ကြေငြာချက်ကို မတွေ့ရပါ၊ ဆိုလိုသည်မှာ "I am nominateing X" မက်ဆေ့ချ် မပါရှိသောကြောင့် node သည် မည်သည့်တန်ဖိုးများကိုမဆို အမည်စာရင်းတင်ရန် မဲပေးနိုင်ပါသည်။ ဤအမည်စာရင်းတင်သွင်းခြင်းအများစုသည် မည်သည့်နေရာသို့မှ မသွားဘဲ နောက်ဆုံးတွင် node သည် တစ်ခု သို့မဟုတ် တစ်ခုထက်ပိုသောတန်ဖိုးများကို လက်ခံနိုင် သို့မဟုတ် အတည်ပြုနိုင်မည်ဖြစ်သည်။ ဆန်ခါတင် အတည်ပြုပြီးတာနဲ့ သူဖြစ်လာမှာပါ။ ကိုယ်စားလှယ်လောင်း.

ပြည်ထောင်စုမဲပေးခြင်းကို အသုံးပြု၍ SCP အမည်စာရင်းတင်သွင်းခြင်း။ သက်တူရွယ်တူများက တင်ပြကြပြီး node မှ “ရောင်ပြန်ဟပ်” သော “B” တန်ဖိုးများစွာ ရှိနိုင်သည်။

အမည်စာရင်းတင်သွင်းခြင်းများသည် အတည်ပြုထားသော ကိုယ်စားလှယ်လောင်းအများအပြားကို ဖြစ်ပေါ်စေနိုင်သည်။ ထို့ကြောင့်၊ SCP သည် ကိုယ်စားလှယ်လောင်းများကို တစ်ခုတည်းအဖြစ် ပေါင်းစပ်ရန် နည်းလမ်းအချို့ကို ပံ့ပိုးပေးရန် လျှောက်လွှာအလွှာကို လိုအပ်သည်။ ပေါင်းစပ် (ပေါင်းစပ်)။ ပေါင်းစည်းနည်းက ဘာမဆိုဖြစ်နိုင်တယ်။ အဓိကအချက်မှာ ဤနည်းလမ်းသည် အဆုံးအဖြတ်ဖြစ်ပါက၊ node တစ်ခုစီသည် တူညီသော ကိုယ်စားလှယ်လောင်းများကို ပေါင်းစပ်မည်ဖြစ်သည်။ နေ့လယ်စာမဲပေးစနစ်တွင် "ပေါင်းစည်းခြင်း" သည် ကိုယ်စားလှယ်လောင်းနှစ်ဦးထဲမှ တစ်ဦးကို ငြင်းပယ်ခြင်းဟု ရိုးရှင်းစွာဆိုလိုနိုင်သည်။ (သို့သော် အဆုံးအဖြတ်နည်းဖြင့်- node တစ်ခုစီသည် ပြန်လည်သတ်မှတ်ရန် တူညီသောတန်ဖိုးကို ရွေးချယ်ရမည်ဖြစ်သည်။ ဥပမာအားဖြင့်၊ အက္ခရာစဉ်အလိုက် အစောပိုင်းရွေးချယ်မှု)။ ငွေပေးငွေယူမှတ်တမ်းကို မဲပေးရွေးချယ်သည့် Stellar ငွေပေးချေမှုကွန်ရက်တွင်၊ အဆိုပြုထားသောအမည်စာရင်းတင်သွင်းသူနှစ်ဦးကို ပေါင်းစည်းခြင်းတွင် ၎င်းတို့ပါရှိသော ငွေပေးငွေယူများနှင့် ၎င်းတို့၏ နောက်ဆုံးအကြိမ်တံဆိပ်နှစ်ခုကို ပေါင်းစည်းခြင်းပါဝင်သည်။

တိုးချဲ့မှုအဆင့်၏အဆုံးတွင်၊ ကွန်ရက်သည် နောက်ဆုံးတွင် ပေါင်းစပ်တစ်ခုတည်းအဖြစ်သို့ ပေါင်းစည်းသွားကြောင်း SCP စာရွက်ဖြူက သက်သေပြပါသည်။ သို့သော် ပြဿနာတစ်ခုရှိနေသည်- ပြည်ထောင်စုမဲပေးခြင်းသည် အဆက်မပြတ်ဖြစ်စေသော ပရိုတိုကော (SCP) ကဲ့သို့ဖြစ်သည်။ တစ်နည်းဆိုရသော်၊ node များသည် အချိန်အားဖြင့် ညှိနှိုင်းခြင်းမဟုတ်သော်လည်း ၎င်းတို့ပေးပို့သော မက်ဆေ့ချ်များဖြင့်သာ လုပ်ဆောင်ခြင်းဖြစ်သည်။ Node ၏အမြင်အရ၊ မည်သည့်အချိန်တွင်ဖြစ်သည်ကို မရှင်းလင်းပါ။ ပြီးသွားတယ်။ တိုးချဲ့မှုအဆင့်။ ဆုံမှတ်အားလုံးသည် နောက်ဆုံးတွင် တူညီသောပေါင်းစပ်မှုသို့ ရောက်ရှိမည်ဖြစ်သော်လည်း၊ ၎င်းတို့သည် လမ်းကြောင်းတစ်လျှောက် မတူညီသောလမ်းကြောင်းများကို ဖြတ်သန်းနိုင်ပြီး လမ်းတစ်လျှောက်တွင် မတူညီသောပေါင်းစပ် ကိုယ်စားလှယ်လောင်းများကို ဖန်တီးကာ နောက်ဆုံးတစ်ခုသည် မည်သည့်အရာဖြစ်သည်ကို မည်သည့်အခါမျှ မပြောနိုင်ပေ။

ဒါပေမယ့် ပုံမှန်ပါပဲ။ Nomination သည် ပြင်ဆင်မှုသာဖြစ်သည်။ အဓိကအချက်မှာ လုပ်ငန်းစဉ်တွင် ဖြစ်ပေါ်လာသည့် သဘောတူညီမှုရရှိရန် ကိုယ်စားလှယ်လောင်းအရေအတွက်ကို ကန့်သတ်ရန်ဖြစ်သည်။ ရုံးတက်ပြေးသည်။ (မဲပေးခြင်း)။

ပြေးသည်။

စာစောင်က စုံတွဲတစ်တွဲ ကောင်တာသည် 1 မှစတင်သည့် ကိန်းပြည့်ဖြစ်ပြီး တန်ဖိုးသည် အမည်စာရင်းတင်သွင်းသည့်အဆင့်မှ ကိုယ်စားလှယ်လောင်းတစ်ဦးဖြစ်သည်။ ၎င်းသည် node ၏ကိုယ်ပိုင်ကိုယ်စားလှယ်ဖြစ်နိုင်သည် သို့မဟုတ် ထို node မှလက်ခံထားသော အိမ်နီးချင်း node ၏ကိုယ်စားလှယ်ဖြစ်နိုင်သည်။ အကြမ်းဖျင်းအားဖြင့်ပြောရလျှင် မဲပြားတစ်ခုတွင် မဲစာရင်းရှင်းတမ်းများတွင် ပြည်ထောင်စုမဲအရေအတွက်များစွာကို ကိုင်ဆောင်ထားခြင်းဖြင့် အချို့သောမဲများပေါ်တွင် ကိုယ်စားလှယ်လောင်းအချို့၏ သဘောတူညီမှုရရှိရန် ကွန်ရက်ကို ထပ်ခါတလဲလဲ ကြိုးပမ်းမှုများ ပါဝင်ပါသည်။ မဲများပေါ်ရှိ ကောင်တာများသည် ကြိုးပမ်းမှုများအား ခြေရာခံပြီး အရေအတွက်များသော မဲများသည် အရေတွက်နည်းသော မဲများထက် ဦးစားပေးပါသည်။ သတင်းလွှာရှိရင် ပိတ်မိသွားသည်၊ ယခုမဲအသစ်တစ်ခုစတင်နေပြီဖြစ်သည်။ .

ခွဲခြားသိဖို့ အရေးကြီးတယ်။ အဓိပ်ပါယျ (ဥပမာ၊ နေ့လယ်စာမှာ ပီဇာ (သို့) အသုပ်)၊ သတင်းလွှာများ (counter-value pair) နှင့် ထုတ်ပြန်ချက်များ မဲများအကြောင်း။ SCP ဝိုင်းတွင် အထူးသဖြင့် အောက်ပါထုတ်ပြန်ချက်များအပေါ် ဖက်ဒရယ်မဲပေးသည့်အကြိမ်များစွာ ပါဝင်သည်-

• "မဲ B ပေးဖို့အတွက် အဆင်သင့်ဖြစ်နေပါပြီ"
• "မဲ B ကတိကဝတ်ကိုကြေငြာလိုက်တာ"

ပေးထားသော node ၏ရှုထောင့်မှကြည့်လျှင် ၎င်းသည် အတည်ပြုနိုင်သည့်မဲ B ကိုတွေ့ရှိသောအခါ (ဆိုလိုသည်မှာ လက်ခံခြင်းအထွတ်အထိပ်ကိုရှာပါ) "I commit vote B" ဟူသောကြေငြာချက်ကိုတွေ့သောအခါ သဘောတူညီမှုရရှိမည်ဖြစ်သည်။ ဤအချိန်မှစ၍ B တွင်သတ်မှတ်ထားသောတန်ဖိုးအတိုင်းလုပ်ဆောင်ရန်အန္တရာယ်ကင်းသည် - ဥပမာအားဖြင့်၊ ဤအမှာစာအတွက်၊ အဲ့ဒါကိုခေါ်တယ် ပြင်ပပြုလုပ်ခြင်း အဓိပ္ပါယ်များ မဲပြားကို လက်ခံအတည်ပြုပြီးသည်နှင့်၊ အခြား node တစ်ခုသည် တူညီသောတန်ဖိုးကို ပြင်ပသို့ ထုတ်ပေးခဲ့သည် သို့မဟုတ် နောင်တွင် ထိုသို့လုပ်ဆောင်မည်ကို သေချာစေနိုင်ပါသည်။

ကွဲပြားသောမဲများစွာအတွက် တောင်းဆိုမှုများအပေါ် ပြည်ထောင်စုရွေးကောက်ပွဲကော်မရှင်က အယူအဆအရ ပြုလုပ်ထားသော်လည်း၊ မက်ဆေ့ချ်တစ်ခုစီတွင် မဲအရေအတွက်များစွာကို ဖုံးအုပ်ထားသောကြောင့် မက်ဆေ့ချ်များစွာကို လဲလှယ်ခြင်းမရှိပါ။ ထို့ကြောင့် မက်ဆေ့ချ်တစ်ခုသည် ပြည်ထောင်စုမဲများစွာ၏အခြေအနေကို တစ်ပြိုင်နက်တည်း အားပေးအားမြှောက်ပြုသည်၊ ဥပမာ- “ကျွန်ုပ်သည် မဲစဥ်မဲများကို လက်ခံပါသည်။ မီ “

"ပြင်ဆင်သည်" နှင့် "ကတိပြုခြင်း" ဟူသော ဝေါဟာရများသည် ဘာကိုဆိုလိုသနည်း။

အခြား node များသည် မတူညီသောတန်ဖိုးများဖြင့် မဲများကို ပေးမည်မဟုတ်ကြောင်း ယုံကြည်သောအခါတွင် node တစ်ခုသည် မဲတစ်ခုပြုလုပ်ရန် မဲပေးပါသည်။ ဤသည်မှာ လျှောက်လွှာကို ပြင်ဆင်ရခြင်း၏ ရည်ရွယ်ချက်ဖြစ်သည်။ "မဲ B ကို ဆောင်ရွက်ရန် အဆင်သင့်ဖြစ်နေပါပြီ" ဟုပြောသော ဆန္ဒမဲသည် B ထက်ငယ်သောမဲကို မည်သည့်အခါမှ မကျူးလွန်ရန် ကတိပြုခြင်းဖြစ်သည် (SCP သည် တိကျသောအစီအစဥ်အတိုင်းဖြစ်ရန် မဲများလိုအပ်ပါသည်။ ထို့ကြောင့် သတင်းလွှာ၊ နည်းသော N1 ဖြစ်ရင်၊

“မဲ B ကတိကဝတ်ပြုဖို့အဆင်သင့်ဖြစ်နေပြီ” အဘယ်ကြောင့်ဆိုလိုသည်မှာ “B ထက်ငယ်သောမဲများကိုဘယ်တော့မှမကျူးလွန်ပါရန်ကတိပေးသည်” ဟုဆိုလိုသနည်း။ SCP သည် abort ကို commit ၏ ဆန့်ကျင်ဘက်အဖြစ် သတ်မှတ်သောကြောင့် ဖြစ်သည်။ မဲတစ်မဲကို ပြင်ဆင်ရန် ဆန္ဒမဲတစ်ခုတွင် အခြားမဲအချို့ကို အရည်အချင်းမပြည့်မီစေရန် မဲပေးခြင်းလည်း ပါ၀င်ပြီး စောစောက ဆွေးနွေးခဲ့သည့်အတိုင်း မဲပေးခြင်းသည် ၎င်းကို ဆန့်ကျင်မဲမပေးကြောင်း ကတိပြုပါသည်။

ကွန်မန့်တစ်ခုအား မထုတ်လွှင့်မီ၊ node တစ်ခုသည် ပြင်ဆင်ထားသည့်အတိုင်း အတည်ပြုနိုင်သည့် စာစောင်တစ်ခုကို ဦးစွာရှာဖွေရမည်ဖြစ်သည်။ တစ်နည်းဆိုရသော်၊ ၎င်းသည် အထမြောက်လက်ခံသည့်သူတစ်ဦးကို မတွေ့ရှိမီအထိ မတူညီသောမဲများစွာတွင် “မဲ B ကတိက၀တ်ပြုရန် အဆင်သင့်ဖြစ်ပြီ” ဟူသော ခေါင်းစဉ်အပေါ် ပြည်ထောင်စုမဲပေးမှုကို လုပ်ဆောင်သည်။

ဆန္ဒမဲများကို ပြင်ဆင်ရန် မဲများသည် မည်သည့်နေရာမှ လာသနည်း။ ပထမဦးစွာ၊ node သည် အဆိုပြုအဆင့်တွင် C သည် ပေါင်းစပ်ကိုယ်စားလှယ်လောင်းဖြစ်သည့် <1,C> အတွက် မဲပေးရန် ပြင်ဆင်မှုများကို ထုတ်လွှင့်သည်။ သို့သော်လည်း မဲပေးရန် ပြင်ဆင်မှုများ စတင်ပြီးနောက်တွင်ပင် အမည်စာရင်းတင်သွင်းသူများသည် နောက်ထပ်မဲအသစ်များ ဖြစ်လာနိုင်ဖွယ်ရှိသည်။ ဤအတောအတွင်း၊ ရွယ်တူများသည် မတူညီသော ကိုယ်စားလှယ်လောင်းများ ရှိနိုင်ပြီး ၎င်းတို့သည် "B2 မဲကို ကတိပြုရန် အဆင်သင့်ဖြစ်နေပါပြီ" ဟု လက်ခံသော ပိတ်ဆို့ခြင်းအစုံကို ဖွဲ့နိုင်သည် နောက်ဆုံးတွင်၊ လက်ရှိမဲများပိတ်နေပါက မဲအသစ်များတွင် ပြည်ထောင်စုမဲပေးမှုအသစ်များ ထုတ်ပေးမည့် အချိန်လွန်ယန္တရားတစ်ခုရှိသည်။

ပြင်ဆင်ထားသည့်အတိုင်း အတည်ပြုနိုင်သည့် မဲပြား B ကို တွေ့ရှိသည်နှင့် တပြိုင်နက် ၎င်းသည် "Commit ballot B" မက်ဆေ့ခ်ျအသစ်ကို ထုတ်လွှင့်သည်။ ဤမဲပေးမှုသည် အစုအဝေးသည် B ကို ဘယ်တော့မှ အရှုံးမပေးကြောင်း ရွယ်တူများကို ပြောပြသည်။ အမှန်မှာ B သည် မဲဖြစ်လျှင် ထို့နောက် “မဲပေးလိုက်ပါ။ “မဲတစ်ပြားစီ၏ အဆင်သင့်ဖြစ်မှုအတွက် ခြွင်းချက်မရှိ ဆန္ဒမဲပေးခွင့်ကို ဆိုလိုသည်။ <∞၊ s> သို့။ ဤအပိုတန်ဖိုးသည် ပရိုတိုကော၏ အစောပိုင်းအဆင့်များတွင် ရှိနေပါက အခြားလုပ်ဖော်ကိုင်ဖက်များကို commit peer နှင့် အမီလိုက်နိုင်ရန် ကူညီပေးသည်။

ဤအဆင့်တွင်၊ ၎င်းတို့သည် အညီအမျှ ပရိုတိုကောများဖြစ်ကြောင်း တစ်ဖန်အလေးအနက်ပြုသင့်သည်။ node တစ်ခုသည် commit တစ်ခုအတွက် upvote များပေးပို့သောကြောင့် ၎င်း၏ရွယ်တူများသည်လည်း လုပ်သည်ဟု မဆိုလိုပါ။ ၎င်းတို့ထဲမှ အချို့သည် ဆန္ဒမဲပေးခြင်းအတွက် ကြိုတင်ပြင်ဆင်ထားသည့် ထုတ်ပြန်ချက်များကို မဲပေးနေကြဆဲဖြစ်ပြီး အချို့မှာ အဓိပ္ပာယ်ကို ပြင်ပမှ ကျော်လွန်သွားခြင်းဖြစ်နိုင်သည်။ SCP သည် Node တစ်ခုသည် ၎င်း၏အဆင့်မခွဲခြားဘဲ မျိုးတူချင်းမက်ဆေ့ချ်အမျိုးအစားတစ်ခုစီကို မည်သို့လုပ်ဆောင်သင့်သည်ကို ရှင်းပြသည်။

“ကျုပ်က ကြေငြာစာထဲမှာ ပါရင်တော့ ကျူးလွန်တယ်။ » လက်ခံခြင်း သို့မဟုတ် အတည်ပြုခြင်းမပြုနိုင်ပါ၊ ဆိုလိုသည်မှာ မက်ဆေ့ချ်လက်ခံခြင်း သို့မဟုတ် အတည်ပြုခြင်း၏ ဖြစ်နိုင်ခြေများဖြစ်သည်။ သို့မဟုတ် - သို့မဟုတ်၊ မည်သည့်အခြေအနေတွင်မဆို၊ တန်ဖိုး C နှင့် အခြားမည်သည့်မဲကိုမဆို Node မှ ပယ်ဖျက်မည်မဟုတ်ကြောင်း ကတိပြုထားပြီးဖြစ်သောကြောင့်၊ . node တစ်ခုသည် commit တစ်ခုအတွက် မဲများကို ထုတ်လွှင့်သည့်အခါတွင်၊ ၎င်းသည် C သို့မဟုတ် ဘာမျှဖြစ်လိမ့်မည်၊ သို့သော်လည်း၊ ၎င်းသည် node ကို C ပြင်ပသို့ပြောင်းလဲရန်အတွက် မလုံလောက်သေးပါ။ အချို့သော Byzantine ရွယ်တူများ (ကျွန်ုပ်တို့၏လုံခြုံရေးယူဆချက်များအပေါ်အခြေခံ၍ quorum ထက်နည်းသော) သည် node သို့လိမ်လည်နိုင်သည်။ လက်ခံပြီးနောက် အချို့သောမဲများ (သို့မဟုတ် မဲအကွာအဝေး) ကိုအတည်ပြုခြင်းသည် နောက်ဆုံးတွင် C ကိုပြင်ပသို့ပြောင်းလဲရန် node ကိုယုံကြည်မှုပေးသည်။

ပြည်ထောင်စုမဲပေးခြင်းဖြင့် SCP မဲပေးခြင်း။ မပြပါ- အချိန်မရွေး အချိန်မရွေး ပိတ်သွားနိုင်ပြီး မဲအရေအတွက်ကို တိုးလာစေသည် (နှင့် နောက်ထပ် အမည်စာရင်း တင်သွင်းထားသော ကိုယ်စားလှယ်လောင်းများ၏ ပေါင်းစပ်အသစ်ကို ထုတ်လုပ်နိုင်သည်)။

ဒါပါပဲ! ကွန်ရက်သည် သဘောတူညီမှုတစ်ခုရရှိပြီးသည်နှင့် ၎င်းကို ထပ်ခါထပ်ခါလုပ်ဆောင်ရန် အသင့်ဖြစ်နေပါပြီ။ Stellar ငွေပေးချေမှုကွန်ရက်တွင်၊ ၎င်းသည် 5 စက္ကန့်တိုင်း တစ်ကြိမ်ခန့် ဖြစ်ပေါ်သည်- SCP မှ အာမခံထားသော လုံခြုံရေးနှင့် ရှင်သန်နိုင်မှု နှစ်ခုစလုံး လိုအပ်သည့် လုပ်ဆောင်မှုတစ်ခု။

SCP သည် ပြည်ထောင်စုမဲပေးမှု အကြိမ်များစွာကို အားကိုးခြင်းဖြင့် ၎င်းကို အောင်မြင်နိုင်သည်။ Federated voting ကို quorum slices ၏ အယူအဆဖြင့် ဖြစ်နိုင်သည်- node တစ်ခုစီမှ ၎င်း၏ (ဘာသာရပ်ဆိုင်ရာ) quorum ၏ တစ်စိတ်တစ်ပိုင်းအဖြစ် ယုံကြည်ရန် ဆုံးဖြတ်ထားသော ရွယ်တူအစုအဖွဲ့များ။ ဤဖွဲ့စည်းပုံသည် ပွင့်လင်းသောအသင်းဝင်မှုနှင့် Byzantine လှည့်စားမှုများရှိသည့် ကွန်ရက်တစ်ခုတွင်ပင် သဘောတူညီမှုကို ရရှိနိုင်သည်ဟု ဆိုလိုသည်။

နောက်ထပ်ဖတ်ရန်

• မူရင်း SCP စာရွက်ဖြူကို တွေ့နိုင်သည်။ ဒီမှာနှင့် ဒီမှာ ၎င်း၏ အကောင်အထည်ဖော်မှုအတွက် သတ်မှတ်ချက်မူကြမ်း။
• SCP protocol ၏မူရင်းရေးသားသူ David Mazier က ၎င်းကို ရိုးရှင်းသော (သို့သော် နည်းပညာပိုင်းဆိုင်ရာအရ) နည်းလမ်းဖြင့် ရှင်းပြထားသည်။ ဒီမှာ.
• ဤဆောင်းပါးတွင် "သတ္တုတူးဖော်ခြင်း" သို့မဟုတ် "အလုပ်သက်သေ" ဟူသော အသုံးအနှုန်းများကို ရှာမတွေ့သည့်အတွက် အံ့သြမိပေမည်။ SCP သည် ဤနည်းလမ်းများကို အသုံးမပြုသော်လည်း အချို့သော အများသဘောတူသော အယ်လဂိုရီသမ်များသည် လုပ်ဆောင်ပါသည်။ Zane Witherspoon က ဝင်ရောက်ရေးသားခဲ့ပါတယ်။ အများသဘောတူ algorithms ၏ ခြုံငုံသုံးသပ်ချက်.
• အဆင့်တစ်ဆင့်ဖော်ပြချက် SCP အပြည့်အ၀တွင် သဘောတူညီမှုရရှိသည့် ရိုးရှင်းသောကွန်ရက်တစ်ခု။
• SCP အကောင်အထည်ဖော်မှုများကို စိတ်ဝင်စားသောစာဖတ်သူများအတွက် ကြည့်ပါ။ C++ ကုဒ်Stellar ငွေပေးချေမှုကွန်ရက်မှ အသုံးပြုသော၊ သို့မဟုတ် သွားကုတ်SCP ကို ​​ပိုနားလည်အောင် ရေးခဲ့တာ။

source: www.habr.com