तारकीय सहमति प्रोटोकल पहिलो पटक मा वर्णन गरिएको थियो वैज्ञानिक लेख डेभिड माजियर 2015 मा। यो एक "संघीय बाइजान्टिन सम्झौता प्रणाली" हो जसले विकेन्द्रीकृत, नेतृत्वविहीन कम्प्युटिङ नेटवर्कहरूलाई प्रभावकारी रूपमा निर्णयमा सहमतिमा पुग्न अनुमति दिन्छ। तारकीय भुक्तानी नेटवर्कले सबै सहभागीहरूले देख्न सक्ने सुसंगत लेनदेन इतिहास कायम राख्न स्टेलर कन्सेन्सस प्रोटोकल (SCP) प्रयोग गर्दछ।

सहमति प्रोटोकल बुझ्न गाह्रो मानिन्छ। SCP तिनीहरूमध्ये धेरै भन्दा सरल छ, तर अझै पनि यो प्रतिष्ठा साझा गर्दछ - आंशिक रूपमा गलत विचारको कारणले गर्दा "संघीय मतदान", जुन वैज्ञानिक लेखको पहिलो भागको विषय हो, SCP हो। तर त्यो सत्य होइन! यो केवल एक महत्त्वपूर्ण निर्माण ब्लक हो जुन लेखको दोस्रो भाग सिर्जना गर्न प्रयोग गर्दछ वास्तविक तारकीय सहमति प्रोटोकल।

यस लेखमा हामी संक्षिप्त रूपमा व्याख्या गर्नेछौं कि "सम्झौताहरूको प्रणाली" के हो, यसले "बाइजान्टिन" बनाउन सक्छ र किन बाइजान्टिन प्रणालीलाई "संघीय" बनाउँछ। त्यसपछि हामी SCP लेखमा वर्णन गरिएको संघीय मतदान प्रक्रियाको व्याख्या गर्नेछौं, र अन्तमा हामी SCP प्रोटोकललाई व्याख्या गर्नेछौं।

सम्झौता प्रणालीहरू

सम्झौताहरूको प्रणालीले सहभागीहरूको समूहलाई खाजाको लागि के अर्डर गर्ने जस्ता विषयमा सहमतिमा पुग्न अनुमति दिन्छ।

Interstellar मा, हामीले हाम्रो आफ्नै भोजन सम्झौता प्रणाली लागू गरेका छौं: हामी हाम्रो अपरेसन प्रबन्धक, जोन, के भन्छौं आदेश दिन्छौं। यो एक सरल र प्रभावकारी सम्झौता प्रणाली हो। हामी सबै जोनलाई विश्वास गर्छौं र विश्वास गर्छौं कि उसले हरेक दिन केहि रोचक र पौष्टिक पाउनुहुनेछ।

तर यूहन्नाले हाम्रो भरोसाको दुरुपयोग गरे भने के हुन्छ? उसले एक्लै निर्णय गर्न सक्छ कि हामी सबै शाकाहारी बन्नु पर्छ। एक वा दुई हप्तामा, हामी सम्भवतः उसलाई पराजित गर्नेछौं र एलिजाबेथलाई सत्ता हस्तान्तरण गर्नेछौं। तर अचानक उनी एभोकाडोलाई एन्कोभिजसँग माया गर्छिन् र सबैजना यस्तै हुनुपर्छ भन्ने सोच्छन्। शक्तिले भ्रष्ट बनाउँछ । त्यसैले यो केहि थप लोकतान्त्रिक विधि खोज्नु राम्रो छ: समयमै र अस्पष्ट नतिजा सुनिश्चित गर्दै, विभिन्न प्राथमिकताहरू खातामा लिइएको छ भनेर सुनिश्चित गर्ने केही तरिका, ताकि कसैले पनि खाजा अर्डर गर्न नपरोस्, वा पाँच व्यक्तिले फरक अर्डरहरू, वा छलफल साँझमा तान्छन्।

यो समाधान सरल छ जस्तो देखिन्छ: एक मतदान होल्ड! तर यो भ्रामक छाप हो। कसले मतपत्र सङ्कलन गर्ने र नतिजा रिपोर्ट गर्ने? अनि उसले भनेको कुरा अरूले किन पत्याउने? सायद हामी सक्छौं सुरुमा एक नेतालाई भोट दिनुहोस् जसलाई हामीले मतदानको नेतृत्व गर्न विश्वास गर्छौं - तर यसको नेतृत्व कसले गर्नेछ первым भोट गरेर? यदि हामी नेतामा सहमत हुन सक्दैनौं भने के हुन्छ? वा के हुन्छ यदि हामी सहमतिमा पुग्छौं, तर यो नेता बैठकमा अड्किन्छ वा बिरामी बिदामा जान्छ?

समान समस्याहरू वितरित कम्प्युटर नेटवर्कहरूमा देखा पर्दछ। सबै सहभागीहरू वा नोडहरू केही निर्णयमा सहमत हुनैपर्छ, जस्तै जसको पालो साझा फाइल अद्यावधिक गर्ने वा प्रशोधन लाइनबाट कार्य हटाउने हो। क्रिप्टोकरेन्सी नेटवर्कमा, नोडहरूले बारम्बार धेरै सम्भावित संस्करणहरूबाट पूर्ण कथा कस्तो देखिन्छ भनेर रोज्नु पर्छ, जुन कहिलेकाहीं विवादित हुन्छ। यो सञ्जाल सम्झौताले प्राप्तकर्तालाई सिक्का (a) मान्य (नक्कली होइन) र (b) अझै अन्यत्र खर्च नगरेको कुराको आश्वासन दिन्छ। यसले यो पनि सुनिश्चित गर्दछ कि उसले भविष्यमा सिक्का खर्च गर्न सक्षम हुनेछ किनभने नयाँ प्राप्तकर्तासँग समान कारणहरूको लागि समान ग्यारेन्टीहरू हुनेछन्।

वितरित कम्प्युटिङ नेटवर्कमा कुनै पनि सहमति प्रणाली गल्ती-सहिष्णु हुनुपर्छ: यसले ढिलो लिङ्कहरू, अनुत्तरदायी नोडहरू, र गलत सन्देश क्रम जस्ता त्रुटिहरूको बावजुद लगातार परिणामहरू उत्पादन गर्नुपर्छ। बाइजान्टिन सम्झौता प्रणाली "बाइजान्टिन" त्रुटिहरूको लागि पनि प्रतिरोधी छ: नोडहरू जसले गलत जानकारी दिन्छ, त्रुटिको कारण वा प्रणालीलाई कमजोर पार्न वा केही फाइदा उठाउने जानाजानी प्रयासमा। "बाइजान्टिन" गल्ती सहिष्णुता - समूहका केही सदस्यहरूले झूटो वा अन्यथा निर्णय गर्ने नियमहरू पालना नगर्दा पनि समूहको निर्णयमा विश्वास गर्ने क्षमता - भनिन्छ। बाइजान्टिन साम्राज्यका सेनापतिहरूको बारेमा दृष्टान्तजसले आक्रमणलाई समन्वय गर्ने प्रयास गरेको थियो। राम्रो विवरण Anthony Stevens मा।

क्रिप्टो सिक्का मालिक एलिसलाई विचार गर्नुहोस्, जसले बबबाट स्वादिष्ट आइसक्रिम किन्ने र क्यारोलको ऋण चुक्ता गर्ने बीच छनौट गर्नुपर्छ। सायद एलिसले एउटै सिक्का खर्च गरेर जालसाजी गरेर दुवैलाई एकैपटक तिर्न चाहन्छिन्। यो गर्नको लागि, उनले बबको कम्प्युटरलाई यो सिक्का क्यारोललाई कहिल्यै भुक्तान गरिएको थिएन भनेर र क्यारोलको कम्प्युटरलाई यो सिक्का बबलाई कहिल्यै भुक्तान गरिएको थिएन भनेर विश्वस्त गराउनु पर्छ। सम्झौताको बाइजान्टिन प्रणालीले यसलाई लगभग असम्भव बनाउँछ, जसलाई बहुमत नियम भनिन्छ। कोरम। यस्तो सञ्जालमा रहेको नोडले पर्याप्त संख्यामा साथीहरू - कोरम - यस्तो संक्रमणमा सहमत नभएसम्म इतिहासको विशेष संस्करणमा जान अस्वीकार गर्छ। एकचोटि यो हुन्छ, उनीहरूले बाँकी नेटवर्क नोडहरूलाई उनीहरूको निर्णयमा सहमत हुन बाध्य पार्न पर्याप्त भोटिङ ब्लक बनाउनेछन्। एलिसले केही नोडहरूलाई आफ्नो तर्फबाट झूट बोल्न बाध्य पार्न सक्छ, तर यदि नेटवर्क पर्याप्त ठूलो छ भने, उनको प्रयास इमानदार नोडहरूको भोटले अभिभूत हुनेछ।

कोरमका लागि कतिवटा नोडहरू चाहिन्छ? कम्तिमा, बहुमत, वा बरु, त्रुटि र धोखाधडी विरुद्ध लड्न योग्य बहुमत। तर बहुमत गणना गर्न, तपाइँ सहभागीहरूको कुल संख्या जान्न आवश्यक छ। इन्टरस्टेलर अफिस वा जिल्ला चुनावमा, यी नम्बरहरू सजिलै पत्ता लगाउन सकिन्छ। तर यदि तपाइँको समूह एक ढिलो परिभाषित नेटवर्क हो जसमा नोडहरू केन्द्रबाट स्वीकृति बिना आफ्नो इच्छामा प्रवेश गर्न र छोड्न सक्छन्, त्यसपछि तपाइँलाई आवश्यक छ संघीय एक बाइजान्टिन सम्झौता प्रणाली नोडहरूको पूर्वनिर्धारित सूचीबाट कोरमहरू निर्धारण गर्न सक्षम छैन, तर गतिशील रूपमा, समयको एक निश्चित बिन्दुमा नोडहरूको सधैं परिवर्तनशील र अनिवार्य रूपमा अपूर्ण स्न्यापसटबाट।

विशाल नेटवर्कमा एकल नोडको परिप्रेक्ष्यबाट कोरम सिर्जना गर्न असम्भव लाग्न सक्छ, तर यो सम्भव छ। यस्तो कोरमले विकेन्द्रीकृत मतदानको नतिजाको पनि ग्यारेन्टी गर्न सक्छ। SCP श्वेतपत्रले यसलाई कसरी गर्ने भन्ने प्रक्रिया प्रयोग गरेर देखाउँछ संघीय भोट द्वारा.

अधीरका लागि

लेखको बाँकी भागले संघीय मतदान र तारकीय सहमति प्रोटोकललाई थप विवरणमा वर्णन गर्दछ। यदि तपाइँ विवरणहरूमा रुचि राख्नुहुन्न भने, यहाँ प्रक्रियाको सामान्य सिंहावलोकन छ।

1. नोडहरूले "उम्मेदवारहरू" मा संघीय मतदानको राउन्ड सञ्चालन गर्दछ। एक संघीय मतदान राउन्ड अर्थ:
   • नोडले केही कथनका लागि मतदान गर्छ, उदाहरणका लागि, "म V को मान प्रस्ताव गर्छु";
   • नोडले साथीहरूको आवाज सुन्छ जबसम्म यसले "प्राप्त" गर्न सक्ने एक फेला पार्दैन;
   • नोडले यो दावीको लागि "कोरम" खोज्छ। कोरमले उम्मेदवारलाई "पुष्टि" गर्छ।
2. एक पटक एक नोडले एक वा बढी उम्मेदवारहरू पुष्टि गर्न सक्छ, यसले संघीय मतदानका धेरै राउन्डहरू मार्फत "मतपत्र" "तयार" गर्ने प्रयास गर्दछ।
3. एक नोडले मतपत्र तयार छ भनी प्रमाणित गर्न सक्षम भएपछि, यसले संघीय मतदानको अझ धेरै राउन्डहरू मार्फत कमिट गर्ने प्रयास गर्दछ।
4. एक पटक एक नोडले मतपत्रको प्रतिबद्धता पुष्टि गर्न सक्छ, यसले सहमतिको परिणामको रूपमा प्रयोग गरेर त्यो मतपत्रको मूल्यलाई "बाह्यीकरण" गर्न सक्छ।

यी चरणहरूमा संघीय मतदानका धेरै चरणहरू समावेश हुन्छन्, जसले सामूहिक रूपमा एउटा SCP राउन्ड बनाउँछ। प्रत्येक चरणमा के हुन्छ भनेर नजिकबाट हेरौं।

संघीय मतदान

संघीय मतदान भनेको नेटवर्कले प्रस्तावमा सहमत हुन सक्छ वा छैन भनी निर्धारण गर्ने प्रक्रिया हो। भोटिङ राउन्डमा, प्रत्येक नोडले सम्भावित धेरै सम्भावित मानहरू मध्ये एउटा छनौट गर्नुपर्छ। नेटवर्कमा अन्य नोडहरूले फरक नतिजा रोज्ने छैनन् भन्ने विश्वस्त नभएसम्म यसले यो गर्न सक्दैन। यो सुनिश्चित गर्नको लागि, नोडहरूले सन्देशहरूको ब्यारेजलाई अगाडि र पछाडि साटासाट गर्दछ ताकि सबैलाई पुष्टि, त्यो कोरम समुद्री डाकू स्वीकार्छ एक र त्यहि समाधान। यस खण्डको बाँकी भागले यस वाक्यमा सर्तहरू र कसरी सम्पूर्ण प्रक्रिया हुन्छ भनेर व्याख्या गर्दछ।

कोरम र कोरम स्लाइसहरू

कोरम परिभाषित गरेर सुरु गरौं। हामीले माथि छलफल गरेझैं, गतिशील सदस्यताको साथ एक विकेन्द्रीकृत नेटवर्कमा, नोडहरूको संख्या अग्रिम थाहा पाउन असम्भव छ र त्यसैले बहुमतको लागि कति आवश्यक छ। संघीय मतदानले नयाँ विचार प्रस्तुत गरेर यो समस्या समाधान गर्छ कोरम कटौती (कोरम स्लाइस): साथीहरूको सानो सेट जुन नोडले बाँकी नेटवर्कमा मतदान स्थिति जानकारी सञ्चार गर्न विश्वास गर्दछ। प्रत्येक नोडले आफ्नै कोरम टुक्रा परिभाषित गर्दछ (जसको यो वास्तविक सदस्य हुन्छ)।

कोरम गठन कोरम कटौती संग सुरु हुन्छ। प्रत्येक नोडको लागि, यसको कट नोडहरू थपिएका छन्। त्यसपछि टुक्रा सर्तहरू थपिएका छन् यी नोडहरू र यस्तै। तपाईंले जारी राख्दा, त्यहाँ थप र थप नोडहरू छन् जुन तपाईंले थप्न सक्नुहुन्न किनभने तिनीहरू पहिले नै स्लाइसमा समावेश छन्। जब त्यहाँ थप्नको लागि कुनै नयाँ नोडहरू छैनन्, प्रक्रिया रोकिन्छ: हामीले प्रारम्भिक नोडको कोरम स्लाइसको "संक्रामक बन्द" द्वारा कोरम गठन गरेका छौं।

दिइएको नोडबाट कोरम पत्ता लगाउन...

... यसको टुक्राका सदस्यहरू थप्नुहोस्...

... त्यसपछि हामी यी नोडहरूको टुक्रा सदस्यहरू थप्छौं।

थप्नका लागि कुनै नोडहरू बाँकी नभएसम्म हामी जारी राख्छौं।

थप्नका लागि कुनै नोडहरू बाँकी छैनन्। यो कोरम छ।

वास्तवमा, प्रत्येक नोड एक भन्दा बढी टुक्रामा देखा पर्न सक्छ। कोरम गठन गर्न, टुक्राहरू मध्ये एउटा मात्र चयन गर्नुहोस् र सदस्यहरू थप्नुहोस्; त्यसपछि प्रत्येक सदस्यको लागि कुनै टुक्रा चयन गर्नुहोस् र सदस्यहरू थप्नुहोस् यसलाई काट्नुहोस् र यस्तै। यसको मतलब प्रत्येक नोड धेरै सम्भावित कोरमहरूको सदस्य हो।

प्रत्येक चरणमा एउटा मात्र कोरम स्लाइस चयन गर्नुहोस्।

एक सम्भावित कोरम। वा वैकल्पिक ...

...अन्य स्लाइसहरू चयन गर्नुहोस्...

... (जब यो सम्भव छ) ...

... अर्को कोरम सिर्जना गर्दछ।

अन्य नोडहरू कुन स्लाइसहरूमा छन् भनेर नोडलाई कसरी थाहा हुन्छ? अन्य नोडहरूको बारेमा अन्य जानकारी जस्तै: प्रत्येक नोडले नेटवर्कमा प्रसारण गरेको प्रसारणबाट जब यसको मतदान अवस्था परिवर्तन हुन्छ। प्रत्येक प्रसारणले पठाउने नोडको स्लाइसहरूको बारेमा जानकारी समावेश गर्दछ। SCP श्वेतपत्रले सञ्चार संयन्त्र निर्दिष्ट गर्दैन। कार्यान्वयन सामान्यतया प्रयोग गरिन्छ गपशप प्रोटोकल नेटवर्क भरि सन्देशहरूको ग्यारेन्टी प्रसारणको लागि।

सम्झनुहोस् कि गैर-संघीय बाइजान्टिन प्रणाली सम्झौताहरूमा, कोरम सबै नोडहरूको बहुमतको रूपमा परिभाषित गरिएको छ। बाइजान्टिन सम्झौता प्रणाली प्रश्नको दृष्टिकोणबाट डिजाइन गरिएको छ: प्रणालीले कति बेइमान नोडहरू सहन सक्छ? F असफलताहरू बाँच्नको लागि डिजाइन गरिएको N नोडहरूको प्रणालीमा, एक नोडले N−f साथीहरूबाट प्रतिक्रिया प्राप्त गरेर प्रगति गर्न सक्षम हुनुपर्दछ किनभने तिनीहरू मध्ये f कम हुन सक्छ। तर N−f साथीहरूबाट प्रतिक्रिया प्राप्त गरिसकेपछि, हामी सबै f साथीहरू (जसबाट नोडले प्रतिक्रिया प्राप्त गरेनन्) वास्तवमा इमानदार छन् भनी मान्न सक्छौं। यसैले, N−f साथीहरू मध्ये f (जसबाट प्रतिक्रिया प्राप्त भएको थियो) दुर्भावनापूर्ण छन्। नोडहरू समान सहमतिमा आउनको लागि, बाँकी नोडहरूको बहुमत इमानदार हुनुपर्छ, त्यो हो, हामीलाई N−f 2f वा N > 3f भन्दा ठूलो हुन आवश्यक छ। त्यसैले सामान्यतया f असफलताहरू बाँच्नको लागि डिजाइन गरिएको प्रणालीमा कुल N=3f+1 नोडहरू र 2f+1 को कोरम आकार हुनेछ। एक पटक प्रस्तावले कोरम थ्रेसहोल्ड पार गरेपछि, नेटवर्कको बाँकी भागहरू विश्वस्त छन् कि कुनै पनि प्रतिस्पर्धी प्रस्तावहरू असफल हुनेछन्। यसरी नेटवर्क परिणाममा रूपान्तरण हुन्छ।

तर संघीय बाइजान्टिन सम्झौता प्रणालीमा, त्यहाँ बहुमत हुन सक्दैन (किनभने नेटवर्कको कुल आकार कसैलाई थाहा छैन), तर बहुमतको अवधारणा पूर्णतया बेकार छ! यदि प्रणालीमा सदस्यता खुला छ भने, तब कसैले एक तथाकथित सिबिल आक्रमण गरेर बहुमत प्राप्त गर्न सक्छ: बारम्बार धेरै नोडहरू मार्फत नेटवर्कमा सामेल भई। त्यसोभए किन ट्रान्जिटिभ स्लाइस क्लोजर भनिन्छ कोरम, र यसले कसरी प्रतिस्पर्धी प्रस्तावहरूलाई दबाउन सक्षम छ?

प्राविधिक रूपमा, कुनै तरिका! छ नोडहरूको सञ्जालको कल्पना गर्नुहोस्, जहाँ दुई तिहाइहरू एकअर्काको कोरम स्लाइसहरूमा अलग छन्। पहिलो उपसमूहले दोस्रोले कहिल्यै नसुन्ने निर्णय गर्न सक्छ, र यसको विपरीत। यस नेटवर्कको लागि सहमतिमा पुग्ने कुनै उपाय छैन (संयोग बाहेक)।

तसर्थ, SCP ले संघीय भोटिङका ​​लागि (र कागजको महत्त्वपूर्ण प्रमेयहरू लागू गर्नका लागि) आवश्यक छ, सञ्जालमा नामको सम्पत्ति हुनुपर्छ। कोरम को प्रतिच्छेदन। यो गुण भएको नेटवर्कमा, निर्माण गर्न सकिने कुनै पनि दुई कोरमहरू सधैँ कम्तिमा एउटा नोडमा ओभरल्याप हुन्छन्। नेटवर्कको प्रचलित भावना निर्धारण गर्नको लागि, यो बहुमत भएको जत्तिकै राम्रो छ। सहज रूपमा, यसको मतलब यो हो कि यदि कुनै कोरम कथन X मा सहमत छ भने, कुनै अन्य कोरमले अरू कुनै कुरामा कहिल्यै सहमत हुन सक्दैन, किनभने यसले X को लागि पहिले नै मतदान गरिसकेको पहिलो कोरमबाट केही नोडहरू समावेश गर्नेछ।

यदि नेटवर्कमा गणपूरक संख्याको प्रतिच्छेदन छ भने ...

...त्यसो भए तपाईले निर्माण गर्न सक्ने कुनै पनि दुई कोरम...

... सधैं प्रतिच्छेदन हुनेछ।

(निस्सन्देह, ओभरल्यापिङ नोडहरू बाइजान्टिन-झूटो वा अन्यथा खराब हुन सक्छ। यस अवस्थामा, कोरम प्रतिच्छेदनले सञ्जाललाई सहमत गर्न मद्दत गर्दैन। यस कारणले गर्दा, SCP श्वेतपत्रमा धेरै परिणामहरू आधारित छन्। स्पष्ट अनुमानहरू, जस्तै नेटवर्क कोरम क्रसिङमा के बाँकी छ खराब नोडहरू हटाउन पछि पनि। सरलताको लागि, यी मान्यताहरूलाई छोडौं निहित लेखको बाँकी भागमा)।

स्वतन्त्र नोडहरूको सञ्जालमा भरपर्दो कोरम क्रसिङ सम्भव छ भन्ने अपेक्षा गर्नु अव्यावहारिक लाग्न सक्छ। तर यसो हुनुमा दुईवटा कारण छन्।

पहिलो कारण इन्टरनेटको अस्तित्व नै हो। इन्टरनेट अन्तर्क्रियात्मक कोरमहरूको साथ स्वतन्त्र नोडहरूको नेटवर्कको उत्कृष्ट उदाहरण हो। इन्टरनेटमा धेरै नोडहरू केवल केही अन्य स्थानीय नोडहरूमा जडान हुन्छन्, तर यी साना सेटहरू पर्याप्त ओभरल्याप हुन्छन् कि प्रत्येक नोडहरू प्रत्येक अन्य नोडबाट कुनै मार्गमा पुग्न सकिन्छ।

दोस्रो कारण तारकीय भुक्तानी नेटवर्क (SCP को सबैभन्दा सामान्य प्रयोग) को लागी विशिष्ट छ। स्टेलर नेटवर्कमा प्रत्येक सम्पत्तिमा जारीकर्ता हुन्छ, र स्टेलरका दिशानिर्देशहरूले प्रत्येक जारीकर्तालाई रिडेम्पसन अनुरोधहरू प्रशोधन गर्न नेटवर्कमा एक वा बढी नोडहरू निर्दिष्ट गर्न आवश्यक हुन्छ। यी नोडहरू प्रत्यक्ष वा अप्रत्यक्ष रूपमा तपाइँले रुचि राख्नुभएको प्रत्येक सम्पत्तिको लागि कोरम स्लाइसहरूमा समावेश गर्नु तपाइँको सर्वोत्तम हितमा छ। दिइएको सम्पत्तिमा रुचि राख्ने सबै नोडहरूका लागि कोरमहरू कम्तीमा ती रिडेम्पसन नोडहरूमा ओभरल्याप हुनेछन्। धेरै सम्पत्तिहरूमा रुचि राख्ने नोडहरूले सम्बन्धित जारीकर्ताहरूको सबै रिडेम्पसन नोडहरू तिनीहरूको कोरम स्लाइसहरूमा समावेश गर्दछ, र तिनीहरूले सबै सम्पत्तिहरू सँगै पूल गर्न खोज्नेछन्। थप रूपमा, कुनै पनि सम्पत्तिहरू जुन यस तरिकाले नेटवर्कमा अरूसँग लिङ्क गरिएको छैन, र जडान हुनु हुँदैन - यो डिजाइन गरिएको छ कि यस नेटवर्कको लागि कुनै कोरम ओभरल्याप छैन (उदाहरणका लागि, डलर क्षेत्रका बैंकहरू कहिलेकाहीँ यूरो क्षेत्रका बैंकहरू र पेसो क्षेत्रका बैंकहरूसँग व्यापार गर्न चाहन्छन्, त्यसैले तिनीहरू एउटै नेटवर्कमा छन्, तर कुनै पनि छैन। तिनीहरूमध्ये बेसबल कार्डहरू बेच्ने बच्चाहरूको छुट्टै नेटवर्कको ख्याल राख्छन्)।

निस्सन्देह, आशा कोरम क्रसिङ छैन ग्यारेन्टी। अन्य बाइजान्टिन सम्झौता प्रणालीहरूले कोरमहरूको ग्यारेन्टीमा उनीहरूको जटिलताको धेरै ऋणी छन्। SCP को एउटा महत्त्वपूर्ण नवीनता यो हो कि यसले सहमति एल्गोरिथ्मबाट कोरमहरू सिर्जना गर्ने जिम्मेवारी हटाउँछ र यसलाई अनुप्रयोग स्तरमा ल्याउँछ। यसरी, यद्यपि संघीय मतदान कुनै पनि मुद्दामा मतदान गर्न पर्याप्त सामान्य छ, यसको विश्वसनीयता वास्तवमा यी अर्थहरूको व्यापक अर्थमा आलोचनात्मक रूपमा निर्भर गर्दछ। केही काल्पनिक प्रयोगहरू अरूहरू जस्तै राम्रोसँग जडान गरिएका नेटवर्कहरू सिर्जना गर्न अनुकूल नहुन सक्छन्।

मतदान, स्वीकृति र पुष्टि

संघीय भोटिंग राउन्डमा, नोडले वैकल्पिक रूपमा केही मान V को लागि भोट गर्न थाल्छ। यसको मतलब नेटवर्कमा सन्देश प्रसारण गर्नु हो: "म नोड N हुँ, मेरो कोरम स्लाइसहरू Q छन्, र म V को लागि मतदान गर्दैछु।" जब नोडले यसरी भोट गर्छ, यसले वाचा गर्छ कि यसले V को विरुद्धमा कहिल्यै मतदान गरेको छैन र कहिल्यै गर्नेछैन।

पियर-टु-पियर प्रसारणहरूमा, प्रत्येक नोडले अरूले कसरी मतदान गर्छ भनेर देख्छ। एकपटक नोडले यी सन्देशहरूको पर्याप्त सङ्कलन गरेपछि, यसले कोरम स्लाइसहरू ट्र्याक गर्न र कोरमहरू फेला पार्न प्रयास गर्न सक्छ। यदि उसले V लाई मतदान गर्ने साथीहरूको कोरम देख्यो भने, उसले अगाडि बढ्न सक्छ ग्रहण V र नेटवर्कमा यो नयाँ सन्देश प्रसारण गर्नुहोस्: "म नोड N हुँ, मेरो कोरम स्लाइसहरू Q छन्, र म V स्वीकार गर्दछु।" स्वीकृतिले साधारण मतदान भन्दा बलियो ग्यारेन्टी प्रदान गर्दछ। जब नोडले V को लागि भोट गर्छ, यसले अन्य विकल्पहरूको लागि कहिल्यै मतदान गर्न सक्दैन। तर यदि नोडले V स्वीकार गर्छ भने, नेटवर्कमा कुनै नोडले अर्को विकल्पलाई कहिल्यै स्वीकार गर्दैन (SCP व्हाइटपेपरमा प्रमेय 8 ले यो प्रमाणित गर्दछ)।

निस्सन्देह, त्यहाँ V सँग सहमत नोडहरूको कोरम तुरुन्तै नहुने उच्च सम्भावना छ। अन्य नोडहरूले अन्य मानहरूको लागि मतदान गर्न सक्छन्। तर नोडको लागि साधारण मतदानबाट स्वीकृतिमा सार्नको लागि अर्को तरिका छ। N ले W को लागि फरक मान स्वीकार गर्न सक्छ, यदि उसले यसको लागि मतदान नगरेको भए पनि, र उसले यसको लागि गणपूरक संख्या नदेखे तापनि। आफ्नो मत परिवर्तन गर्ने निर्णय गर्न, हेर्नुहोस् अवरुद्ध सेट नोडहरू जसले W स्वीकार गरेका छन्। अवरुद्ध सेट प्रत्येक कोरम स्लाइस N बाट एक नोड हो। नामले सुझाव दिन्छ, यसले गर्न सक्छ। ब्लक कुनै अन्य अर्थ। यदि त्यस्ता सेटका सबै नोडहरूले W स्वीकार्छन् भने, तब (प्रमेय 8 द्वारा) फरक मान लिने कोरम बनाउन कहिल्यै सम्भव हुँदैन, र त्यसैले W स्वीकार गर्न N को लागि पनि सुरक्षित हुन्छ।

तीन कोरम स्लाइसहरू भएको नोड N।

BDF N को लागि ब्लकिङ सेट हो: यसले N को प्रत्येक स्लाइसबाट एउटा नोड समावेश गर्दछ।

BE N को लागि ब्लकिङ सेट पनि हो किनभने E N को दुई स्लाइसहरूमा देखिन्छ।

तर अवरुद्ध सेट कोरम छैन। N को प्रत्येक स्लाइसमा एउटा मात्र नोड ह्याक गर्न पर्याप्त भएमा नोड N लाई वांछित मान स्वीकार गर्न चलाउन धेरै सजिलो हुनेछ। त्यसैले, मान स्वीकार गर्नु भोटिङको अन्त्य होइन। यसको सट्टा, N ले मान पुष्टि गर्नुपर्छ, अर्थात्, यसलाई स्वीकार गर्ने नोडहरूको कोरम हेर्नुहोस्। यदि यो यति टाढा पुग्यो भने, SCP श्वेतपत्रले प्रमाणित गरे जस्तै (प्रमेय 11 मा), बाँकी नेटवर्कले पनि अन्ततः उही मान पुष्टि गर्नेछ, त्यसैले N ले परिणामको रूपमा निश्चित मूल्यको साथ संघीय भोट समाप्त गर्नेछ।

संघीय मतदान।

मतदान, स्वीकृति र पुष्टिको प्रक्रियाले संघीय मतदानको पूर्ण चरण बनाउँछ। स्टेलर कन्सेन्सस प्रोटोकलले पूर्ण सहमति प्रणाली सिर्जना गर्न यी धेरै राउन्डहरूलाई संयोजन गर्दछ।

तारकीय सहमति प्रोटोकल

सहमति प्रणालीका दुई सबैभन्दा महत्त्वपूर्ण गुणहरू हुन् - सुरक्षा и बाँच्ने क्षमता। एक सहमति एल्गोरिथ्म "सुरक्षित" हो यदि यसले विभिन्न सहभागीहरूलाई फरक परिणाम दिन सक्दैन (इतिहासको बबको प्रतिलिपि क्यारोललाई कहिल्यै विरोध गर्दैन)। "लाइभेबिलिटी" भनेको एल्गोरिथ्मले सधैं नतिजा निकाल्छ, त्यो हो, यो अड्किने छैन।

संघीय मतदान प्रक्रिया वर्णन सुरक्षित यस अर्थमा कि यदि नोडले V को मान पुष्टि गर्छ भने, कुनै अन्य नोडले अर्को मान पुष्टि गर्दैन। तर "अर्को अर्थ पुष्टि गर्दैन" यसको मतलब यो होइन कि यसले केहि निश्चित रूपमा पुष्टि गर्नेछ। सहभागीहरूले यति धेरै फरक मानहरूमा मतदान गर्न सक्छन् कि केहि पनि स्वीकृति थ्रेसहोल्डमा पुग्न सक्दैन। यसको मतलब संघीय मतदानमा त्यहाँ छैन बाँच्ने क्षमता.

स्टेलर कन्सेन्सस प्रोटोकलले संघीय मतदानलाई सुरक्षा र बाँच्नको लागि सुनिश्चित गर्ने तरिकामा प्रयोग गर्दछ। (SCP को सुरक्षा र बाँच्नको ग्यारेन्टीहरूको सैद्धान्तिक सीमा हुन्छ। डिजाइनले धेरै बलियो सुरक्षा ग्यारेन्टी छनोट गर्छ, सानो बाँच्ने क्षमताको बलिदान दिन्छ, तर पर्याप्त समय दिएमा, सहमतिमा पुग्ने सम्भावना धेरै हुन्छ।) संक्षेपमा, विचार भनेको धेरै मानहरूमा बहु संघीय भोटहरू राख्नु हो जबसम्म ती मध्ये एकले यसलाई तल वर्णन गरिएका सबै SCP मतदान चरणहरू मार्फत बनाउँदैन।

SCP ले सहमति खोज्ने मानहरू लेनदेन इतिहास वा खाजाको अर्डर वा अरू केहि हुन सक्छ, तर यो ध्यान दिनु महत्त्वपूर्ण छ कि यी स्वीकार वा पुष्टि भएका मानहरू होइनन्। बरु, संघीय मतदान अनुसार हुन्छ यी मानहरूको बारेमा कथनहरू.

संघीय निर्वाचनको पहिलो चरणको मतदान २८ गते हुँदैछ नामांकन चरण (नामांकन चरण), "म V को मनोनित गर्दछु," जस्ता कथनहरूको सेटमा, सायद V को धेरै फरक मानहरूको लागि। नामांकनको उद्देश्य एक वा बढी कथनहरू फेला पार्नु हो जुन स्वीकृति र पुष्टिबाट जान्छ।

प्रमाणित उम्मेदवारहरू फेला पारेपछि, SCP मतदान चरणमा जान्छ, जहाँ लक्ष्य निश्चित फेला पार्नु हो। बुलेटिन (अर्थात, प्रस्तावित मानको लागि कन्टेनर) र घोषणा गर्न सक्ने कोरम प्रतिबद्ध यसको लागि (प्रतिबद्धता)। यदि गणपूरक संख्यामा मतपत्र छ भने, त्यसको मूल्यलाई सहमतिको रूपमा स्वीकार गरिन्छ। तर नोडले मतपत्र कमिटमा मतदान गर्न सक्नु अघि, यसले पहिले पुष्टि गर्नुपर्छ रद्द कम काउन्टर मूल्य भएका सबै मतपत्रहरू। यी चरणहरू - प्रतिबद्ध हुन सक्ने एउटा फेला पार्न मतपत्रहरू रद्द गर्ने - बहु मतपत्र दावीहरूमा संघीय मतदानका धेरै चरणहरू समावेश गर्दछ।

निम्न खण्डहरूले थप विवरणमा मनोनयन र मतदानको वर्णन गर्दछ।

नामांकन

नामांकन चरणको सुरुमा, प्रत्येक नोडले सहज रूपमा V को लागि मान रोज्न सक्छ र "म V को नामांकन गर्छु" भनाइलाई मतदान गर्न सक्छ। यस चरणमा लक्ष्य संघीय भोट मार्फत केहि मूल्यको नामांकन पुष्टि गर्नु हो।

सायद पर्याप्त नोडहरूले पर्याप्त फरक प्रस्तावहरूमा मतदान गर्छन् कि कुनै पनि नामांकन स्वीकृति थ्रेसहोल्डमा पुग्न सक्दैन। त्यसकारण, तिनीहरूको आफ्नै नामांकन मतहरू प्रसारण गर्नुको अतिरिक्त, नोडहरूले तिनीहरूका साथीहरूको नामांकनलाई "प्रतिबिम्बित" गर्दछ। इकोको अर्थ हो कि यदि नोडले मनोनयन V को लागि भोट गर्छ, तर छिमेकीबाट मनोनयन W को लागि भोट गर्ने सन्देश देख्छ भने, यसले अब V र W दुवैलाई भोट दिनेछ। विभिन्न उम्मेदवारहरू। SCP ले यी भोटहरू विनियमित गर्ने संयन्त्र समावेश गर्दछ। छोटकरीमा, नोडको दृष्टिकोणबाट साथीको "प्राथमिकता" निर्धारण गर्ने सूत्र छ, र उच्च प्राथमिकता नोडहरूको मतहरू मात्र प्रतिबिम्बित हुन्छन्। नामांकन जति लामो हुन्छ लिन्छ, कम थ्रेसहोल्ड, त्यसैले नोडले साथीहरूको सेट विस्तार गर्दछ जसको भोट यसले प्रतिबिम्बित गर्नेछ। प्राथमिकता सूत्रले यसको इनपुटहरू मध्ये एकको रूपमा स्लट नम्बर समावेश गर्दछ, त्यसैले एक स्लटको लागि उच्च-प्राथमिकता पियर निम्न-प्राथमिकता पियर हुन सक्छ। अर्को, र उल्टो)।

वैचारिक रूपमा, नामांकन समानान्तर छ, V र W दुबै अलग-अलग संघीय मतहरू हुन्, प्रत्येक व्यक्तिगत रूपमा स्वीकृति वा पुष्टि प्राप्त गर्न सक्षम छन्। अभ्यासमा, SCP प्रोटोकल सन्देशहरूले यी व्यक्तिगत मतहरूलाई एकसाथ प्याकेज गर्दछ।

यद्यपि V को नामांकनको लागि मतदान गर्नु भनेको V को नामांकनको विरुद्धमा कहिल्यै मतदान नगर्ने वाचा हो, यो आवेदन स्तरमा छ - यस अवस्थामा SCP - यो "विपरीत" भनेको के हो भनेर निर्धारण गरिन्छ। SCP ले "I nominate X" भोटको विरोधाभास गर्ने कथन देख्दैन, त्यो हो, त्यहाँ कुनै "म नामांकन गर्ने X" सन्देशको विरुद्धमा छैन, त्यसैले नोडले कुनै पनि मानहरू मनोनयन गर्न मतदान गर्न सक्छ। यी धेरै नामांकनहरू कतै जाने छैनन्, तर अन्ततः नोडले एक वा बढी मानहरू स्वीकार गर्न वा पुष्टि गर्न सक्षम हुनेछ। एक पटक उम्मेदवार पुष्टि भएपछि, उहाँ बन्नुहुन्छ उम्मेदवार.

संघीय मतदान प्रयोग गरेर SCP मनोनयन। त्यहाँ धेरै "B" मानहरू साथीहरू द्वारा अगाडि राखिएको र नोडद्वारा "प्रतिबिम्बित" हुन सक्छ।

नामांकनले धेरै पुष्टि भएका उम्मेदवारहरूको परिणाम हुन सक्छ। त्यसकारण, SCP लाई उम्मेदवारहरूलाई एकमा संयोजन गर्ने केही विधि प्रदान गर्न आवेदन तह आवश्यक छ समग्र (कम्पोजिट)। जोड्ने विधि कुनै पनि हुन सक्छ। मुख्य कुरा यो हो कि यदि यो विधि निर्धारणात्मक छ भने, प्रत्येक नोडले उही उम्मेद्वारहरू संयोजन गर्नेछ। लंच भोटिङ प्रणालीमा, "एकीकरण" को अर्थ दुई उम्मेदवारहरू मध्ये एकलाई अस्वीकार गर्नु हो। (तर एक निश्चित तरिकामा: प्रत्येक नोडले रिसेट गर्न समान मान चयन गर्नुपर्छ। उदाहरण को लागी, वर्णमाला क्रम मा अघिल्लो चयन)। स्टेलर भुक्तानी नेटवर्कमा, जहाँ लेनदेनको इतिहासमा मतदान गरिन्छ, दुई प्रस्तावित उम्मेदवारहरूलाई मर्ज गर्दा तिनीहरूमा समावेश गरिएका लेनदेनहरू र तिनीहरूको दुई टाइमस्ट्याम्पहरू मर्ज समावेश हुन्छन्।

SCP श्वेतपत्रले प्रमाणित गर्दछ (प्रमेय 12) कि विस्तार चरणको अन्त्यमा, नेटवर्क अन्ततः एकल कम्पोजिटमा रूपान्तरण हुन्छ। तर त्यहाँ एउटा समस्या छ: संघीय मतदान एक एसिन्क्रोनस प्रोटोकल हो (जस्तै SCP)। अर्को शब्दमा, नोडहरू समयद्वारा समन्वयित हुँदैनन्, तर तिनीहरूले पठाउने सन्देशहरूद्वारा मात्र। नोडको दृष्टिकोणबाट, यो कहिले स्पष्ट छैन समाप्त भयो विस्तार चरण। र यद्यपि सबै नोडहरू अन्ततः एउटै कम्पोजिटमा आइपुग्छन्, तिनीहरूले बाटोमा विभिन्न मार्गहरू लिन सक्छन्, बाटोमा विभिन्न मिश्रित उम्मेद्वारहरू सिर्जना गर्न सक्छन्, र कुन अन्तिम हो भनेर कहिल्यै बताउन सक्दैनन्।

तर यो सामान्य छ। मनोनयन तयारी मात्रै हो । मुख्य कुरा सहमति प्राप्त गर्न उम्मेदवारहरूको संख्या सीमित गर्नु हो, जुन प्रक्रियामा हुन्छ कार्यालयको लागि दौडिरहेको छ (मतदान)।

दौडिरहेको

बुलेटिन एक जोडी हो , जहाँ काउन्टर १ मा सुरु हुने पूर्णांक हो र मान नामांकन चरणबाट उम्मेदवार हो। यो नोडको आफ्नै उम्मेद्वार वा त्यो नोडद्वारा स्वीकार गरिएको छिमेकी नोडको उम्मेद्वार हुन सक्छ। सामान्य रूपमा भन्नुपर्दा, मतपत्रले मतपत्र बयानहरूमा सम्भावित धेरै संघीय भोटहरू राखेर केही मतपत्रमा केही उम्मेद्वारहरूमा सहमतिमा पुग्न नेटवर्कलाई दबाब दिन बारम्बार प्रयासहरू समावेश गर्दछ। मतपत्रमा रहेका काउन्टरहरूले गरिएका प्रयासहरूको ट्रयाक राख्छन्, र उच्च गणना भएका मतपत्रहरूले कम गणना भएका मतपत्रहरूलाई प्राथमिकता दिन्छन्। यदि न्यूजलेटर अड्किन्छ, नयाँ भोट सुरु हुन्छ, अब मतपत्रमा ।

छुट्याउन जरुरी छ मानहरू (उदाहरणका लागि, खाजाको अर्डर कस्तो हुनुपर्छ: पिज्जा वा सलाद), समाचारपत्रहरू (काउन्टर-मान जोडी) र भनाइ मतपत्रको बारेमा। SCP राउन्डले संघीय मतदानका धेरै चरणहरू समावेश गर्दछ, विशेष गरी निम्न कथनहरूमा:

• "म मतपत्र ख गर्न तयार छु" र
• "म मतपत्र बी को प्रतिबद्धता घोषणा गर्दछु"

दिइएको नोडको परिप्रेक्ष्यबाट, सहमति प्राप्त हुन्छ जब यसले एक मतपत्र B फेला पार्छ जसको लागि यसले पुष्टि गर्न सक्छ (अर्थात, स्वीकार गर्ने कोरम फेला पार्छ) भनाइ "म मतदान B कमाउँछु।" यस बिन्दुबाट, B मा निर्दिष्ट मानमा कार्य गर्न सुरक्षित छ - उदाहरणका लागि, खाजाको लागि यो अर्डर राख्दै। भनिन्छ बाह्यकरण अर्थहरू। एक पटक मतपत्रको स्वीकृति पुष्टि भएपछि, नोडले निश्चित हुन सक्छ कि अन्य कुनै नोडले उही मानलाई बाह्यकरण गरेको छ वा भविष्यमा त्यसो गर्नेछ।

यद्यपि धेरै संघीय मतहरू अवधारणागत रूपमा धेरै फरक मतपत्रहरूको लागि दावीमा सञ्चालन गरिन्छ, तिनीहरूले धेरै सन्देशहरू आदानप्रदान गर्दैनन् किनभने प्रत्येक सन्देशले धेरै मतपत्रहरू समावेश गर्दछ। एउटा सन्देशले यसरी एकैचोटि धेरै संघीय भोटहरूको अवस्थालाई बढावा दिन्छ, उदाहरणका लागि: “म कमिट मतपत्रहरू स्वीकार गर्छु पहिले "

"तयार" र "कमिट" शब्दहरूको अर्थ के हो?

अन्य नोडहरूले फरक मानहरू भएका मतपत्रहरू कमिट गर्दैनन् भन्ने विश्वस्त हुँदा एक नोडले मतपत्र कमिट गर्न मतदान गर्छ। यो कुरा बुझाउनु नै आवेदन तयार गर्नुको उद्देश्य हो। "म मतपत्र B कमिट गर्न तयार छु" भनी एउटा भोट भनेको B भन्दा सानो मतपत्रलाई कहिले पनि कमिट नगर्ने वाचा हो, अर्थात् सानो गणनाको साथ (SCP ले मतपत्रहरूमा मानहरू निश्चित क्रममा हुन आवश्यक छ। यसैले, न्यूजलेटर थोरै , यदि N1

किन "म मतपत्र B लाई कमिट गर्न तयार छु" को अर्थ "म B भन्दा सानो मतपत्र कहिले पनि नदिने प्रतिज्ञा गर्छु" भन्ने हो? किनभने SCP ले कमिटको विपरितको रूपमा गर्भपातलाई परिभाषित गर्दछ। मतपत्र तयार गर्नको लागि भोटमा केही अन्य मतपत्रहरूलाई अयोग्य ठहराउनको लागि भोट पनि समावेश हुन्छ, र हामीले पहिले छलफल गरेझैं, एउटा कुराको लागि मतदान गर्नु भनेको यसको विरुद्धमा मतदान नगर्ने वाचा हो।

कमिट प्रसारण गर्नु अघि, नोडले पहिले एउटा बुलेटिन फेला पार्नु पर्छ जुन यो तयार भएको पुष्टि गर्न सक्छ। अर्को शब्दमा, यसले "म मतपत्र B गर्न तयार छु" भन्ने विषयमा संघीय भोट गर्छ, सम्भवतः धेरै फरक मतपत्रहरूमा, जबसम्म यसले गणपूरक संख्यालाई स्वीकार गर्दैन।

भोटको तयारीका लागि मतपत्र कहाँबाट आउँछ ? पहिले, नोडले <1,C> को लागि मतदान गर्ने तयारीहरू प्रसारण गर्दछ, जहाँ C नामांकन चरणमा उत्पादन गरिएको समग्र उम्मेद्वार हो। तर, भोटिङको तयारी सुरु भइसकेपछि पनि उम्मेदवारको मनोनयनले थप उम्मेदवारहरू नयाँ मतपत्र बन्न सक्ने देखिन्छ। यस बीचमा, साथीहरूसँग फरक उम्मेद्वारहरू हुन सक्छन्, र उनीहरूले "म B2 मतपत्र कमिट गर्न तयार छु" स्वीकार गर्ने ब्लकिङ सेट बनाउन सक्छन्, जसले नोडलाई पनि स्वीकार गर्न मनाउन सक्छ। अन्तमा, त्यहाँ एक टाइमआउट संयन्त्र छ जसले नयाँ मतपत्रहरूमा संघीय मतदानको नयाँ चरणहरू उत्पन्न गर्दछ यदि वर्तमान मतपत्रहरू अड्किएमा उच्च गणनाहरू छन्।

नोडले मतपत्र B फेला पार्ने बित्तिकै यसले तयार भएको पुष्टि गर्न सक्छ, यसले नयाँ सन्देश "कमिट मतपत्र B" प्रसारण गर्दछ। यो भोटले साथीहरूलाई बताउँछ कि नोडले B कहिल्यै छोड्दैन। वास्तवमा, यदि B मतपत्र हो , त्यसपछि "मतदान गर्नुहोस् "को अर्थ प्रत्येक मतपत्रको तयारीको लागि मतदान गर्नको लागि बिना शर्त सहमति हो प्रति <∞, s>। यो अतिरिक्त मानले अन्य साथीहरूलाई कमिट पियरसँग समात्न मद्दत गर्छ यदि तिनीहरू अझै प्रोटोकलको प्रारम्भिक चरणहरूमा छन्।

यस चरणमा, यो एक पटक फेरि जोड दिन लायक छ कि यी एसिन्क्रोनस प्रोटोकलहरू हुन्। केवल किनभने एउटा नोडले कमिटको लागि अपभोटहरू पठाउँदछ यसको मतलब यसको साथीहरूले पनि गर्छन् भन्ने होइन। तिनीहरूमध्ये केहीले अझै पनि मतदानको तयारीमा कथनहरूमा मतदान गरिरहेका हुन सक्छन्, अरूले पहिले नै अर्थ बाहिरी गरिसकेका हुन सक्छन्। SCP ले बताउँछ कि कसरी नोडले प्रत्येक प्रकारको पियर सन्देशलाई यसको चरणको पर्वाह नगरी प्रक्रिया गर्नुपर्छ।

यदि सन्देश "मैले प्रतिबद्धता घोषणा गरेको छु » प्राप्त वा पुष्टि गर्न सकिँदैन, अर्थात्, सन्देश स्वीकार वा पुष्टि हुने सम्भावना वा - वा, कुनै पनि अवस्थामा, मान C भएको कुनै पनि मतपत्र, र कुनै अन्य होइन, किनकि नोडले कहिल्यै रद्द नगर्ने वाचा गरेको छ। । जब सम्म एक नोडले कमिटको लागि भोट प्रसारण गर्दछ, यो C वा केहि हुनेछैन, सहमति कति टाढा जान्छ भन्ने आधारमा। जे होस्, यो नोडको लागि सी बाहिरीकरण गर्न पर्याप्त छैन। केही बाइजान्टिन साथीहरू (जसले हाम्रो सुरक्षा अनुमानमा आधारित कोरम भन्दा कम गठन गर्दछ) नोडमा झुटो हुन सक्छ। केही मतपत्र (वा मतपत्रको दायरा) लाई स्वीकार गरी पुष्टि गर्नुले नोडलाई अन्ततः C लाई बाह्यकरण गर्ने आत्मविश्वास दिन्छ।

संघीय मतदान मार्फत SCP मतदान। देखाइएको छैन: टाइमर कुनै पनि समयमा बन्द हुन सक्छ, मतपत्रमा गणना बढ्दै (र सम्भवतः थप मनोनित उम्मेद्वारहरूको नयाँ संयोजन उत्पादन गर्दै)।

र यो सबै हो! एकपटक सञ्जाल सहमतिमा पुगेपछि, यो बारम्बार गर्न तयार छ। तारकीय भुक्तानी सञ्जालमा, यो लगभग हरेक ५ सेकेन्डमा एक पटक हुन्छ: SCP द्वारा ग्यारेन्टी गरिएको सुरक्षा र बाँच्नेता दुवै आवश्यक पर्ने उपलब्धि।

एससीपीले संघीय मतदानका धेरै चरणहरूमा भर परेर यो हासिल गर्न सक्छ। सङ्घीय मतदान कोरम स्लाइसहरूको अवधारणाद्वारा सम्भव भएको छ: प्रत्येक नोडले आफ्नो (व्यक्तिगत) कोरमको भागको रूपमा विश्वास गर्ने निर्णय गरेको साथीहरूको सेट। यो कन्फिगरेसनको अर्थ खुला सदस्यता र बाइजान्टिन धोखाहरू भएको नेटवर्कमा पनि सहमतिमा पुग्न सकिन्छ।

थप पठन

• मूल SCP श्वेत पत्र फेला पार्न सकिन्छ यहाँर यहाँ यसको कार्यान्वयनको लागि मस्यौदा विनिर्देशहरू।
• एससीपी प्रोटोकलको मूल लेखक, डेभिड मेजियरले यसलाई सरलीकृत (तर अझै प्राविधिक) तरिकामा व्याख्या गर्छन्। यहाँ.
• यस लेखमा "खनन" वा "कामको प्रमाण" शब्दहरू नभेट्दा तपाईलाई छक्क परेको हुन सक्छ। SCP ले यी विधिहरू प्रयोग गर्दैन, तर केही अन्य सहमति एल्गोरिदमहरू गर्छन्। जेन विदरस्पूनले पहुँचयोग्य लेखे सहमति एल्गोरिदम को सिंहावलोकन.
• चरण वर्णन बाट चरण SCP को एक पूर्ण राउन्डमा सहमतिमा पुग्ने सरल नेटवर्क।
• SCP कार्यान्वयनमा रुचि राख्ने पाठकहरूको लागि: हेर्नुहोस् C++ कोड, तारकीय भुक्तानी नेटवर्क द्वारा प्रयोग गरिएको, वा कोड जानुहोस्, जुन मैले SCP को राम्रो बुझ्नको लागि लेखेको छु।

स्रोत: www.habr.com