स्टेलर कॉन्सेन्सस प्रोटोकॉलचे प्रथम वर्णन करण्यात आले होते वैज्ञानिक लेख डेव्हिड मॅझियर 2015 मध्ये. ही एक "फेडरल बायझँटाईन करार प्रणाली" आहे जी विकेंद्रित, लीडरलेस कंप्युटिंग नेटवर्क्सना निर्णयावर सक्षमपणे सहमती मिळवू देते. स्टेलर पेमेंट नेटवर्क सर्व सहभागींना दृश्यमान असलेला व्यवहाराचा इतिहास कायम ठेवण्यासाठी तार्यांचा एकमत प्रोटोकॉल (SCP) वापरते.

एकमत प्रोटोकॉल समजणे कठीण मानले जाते. SCP त्यांच्यापैकी बहुतेकांपेक्षा सोपे आहे, परंतु तरीही ही प्रतिष्ठा सामायिक करते - अंशतः चुकीच्या कल्पनेमुळे "संघीय मतदान", जो वैज्ञानिक लेखाच्या पहिल्या सहामाहीचा विषय आहे, SCP आहे. पण ते खरे नाही! हा फक्त एक महत्त्वाचा बिल्डिंग ब्लॉक आहे जो लेखाचा दुसरा भाग तयार करण्यासाठी वापरतो वास्तविक तार्यांचा एकमत प्रोटोकॉल.

या लेखात आम्ही थोडक्यात सांगू की "करारांची प्रणाली" म्हणजे काय, ते "बायझेंटाईन" काय बनवू शकते आणि बायझँटाईन प्रणाली "संघीय" का बनवते. त्यानंतर आम्ही SCP लेखात वर्णन केलेल्या फेडरेटेड मतदान प्रक्रियेचे स्पष्टीकरण देऊ, आणि शेवटी आम्ही SCP प्रोटोकॉलचेच स्पष्टीकरण देऊ.

करार प्रणाली

करारांची एक प्रणाली सहभागींच्या गटाला दुपारच्या जेवणासाठी काय ऑर्डर करायची यासारख्या विषयावर एकमत होण्यास अनुमती देते.

इंटरस्टेलरमध्ये, आम्ही आमची स्वतःची जेवणाची करार प्रणाली लागू केली आहे: आमचे ऑपरेशन मॅनेजर, जॉन काय म्हणतात ते आम्ही ऑर्डर करतो. ही एक सोपी आणि प्रभावी करार प्रणाली आहे. आम्ही सर्वजण जॉनवर विश्वास ठेवतो आणि विश्वास ठेवतो की त्याला दररोज काहीतरी मनोरंजक आणि पौष्टिक सापडेल.

पण जॉनने आपल्या भरवशाचा गैरवापर केला तर? तो एकट्याने ठरवू शकतो की आपण सर्वांनी शाकाहारी बनले पाहिजे. एक किंवा दोन आठवड्यांत, आम्ही कदाचित त्याला उलथून टाकू आणि एलिझाबेथकडे सत्ता सोपवू. पण अचानक तिला anchovies सह avocados आवडतात आणि प्रत्येकजण असे असावे असे तिला वाटते. सत्ता भ्रष्ट करते. त्यामुळे आणखी काही लोकशाही पद्धती शोधणे अधिक चांगले आहे: वेळेवर आणि अस्पष्ट निकालाची खात्री करताना, भिन्न प्राधान्ये विचारात घेतली जातील याची खात्री करण्याचा काही मार्ग, जेणेकरून कोणीही दुपारच्या जेवणाची ऑर्डर देऊ नये, किंवा पाच लोक भिन्न ऑर्डर देतात, किंवा चर्चा संध्याकाळ पर्यंत ड्रॅग.

असे दिसते की उपाय सोपा आहे: मत द्या! पण ही दिशाभूल करणारी छाप आहे. मतपत्रिका कोण गोळा करेल आणि निकालाचा अहवाल कोण देईल? आणि त्याच्या म्हणण्यावर इतरांनी विश्वास का ठेवावा? कदाचित आपण करू शकतो प्रथम मतदानाचे नेतृत्व करण्यासाठी ज्या नेत्यावर आमचा विश्वास आहे अशा नेत्याला मत द्या - परंतु त्याचे नेतृत्व कोण करेल प्रथम मतदान करून? जर आपण एखाद्या नेत्याशी सहमत होऊ शकत नाही तर काय? किंवा आम्ही करारावर पोहोचलो, परंतु हा नेता बैठकीत अडकला किंवा आजारी रजेवर गेला तर?

वितरीत संगणक नेटवर्कमध्ये समान समस्या उद्भवतात. सर्व सहभागी किंवा नोड्स काही निर्णयावर सहमत असणे आवश्यक आहे, जसे की सामायिक केलेली फाईल अपडेट करण्याची किंवा प्रक्रिया रांगेतून कार्य काढून टाकण्याची पाळी कोणाची आहे. क्रिप्टोकरन्सी नेटवर्कमध्ये, नोड्सला अनेक संभाव्य आवृत्त्यांमधून पूर्ण कथा कशी दिसते हे वारंवार निवडावे लागते, जे कधीकधी संघर्ष करतात. हा नेटवर्क करार नाणे (अ) वैध (नकली नाही) आणि (ब) अद्याप इतरत्र खर्च केलेले नाही याची खात्री प्राप्तकर्त्याला देतो. हे देखील सुनिश्चित करते की तो भविष्यात नाणी खर्च करण्यास सक्षम असेल कारण नवीन प्राप्तकर्त्याकडे समान कारणांसाठी समान हमी असेल.

वितरित संगणन नेटवर्कमधील कोणतीही एकमत प्रणाली दोष-सहिष्णु असणे आवश्यक आहे: धीमे दुवे, प्रतिसाद न देणारे नोड्स आणि चुकीचे संदेश क्रम यासारख्या त्रुटी असूनही ते सातत्यपूर्ण परिणाम प्रदान करणे आवश्यक आहे. बायझँटाईन करार प्रणाली "बायझेंटाईन" त्रुटींसाठी अतिरिक्त प्रतिरोधक आहे: नोड्स जे चुकीची माहिती देतात, त्रुटीमुळे किंवा सिस्टमला कमजोर करण्याचा किंवा काही फायदा मिळवण्याचा हेतुपुरस्सर प्रयत्न असो. "बायझेंटाईन" दोष सहिष्णुता - गटातील काही सदस्य खोटे बोलतात किंवा अन्यथा निर्णय घेण्याच्या नियमांचे पालन करत नसतानाही गट निर्णयावर विश्वास ठेवण्याची क्षमता - म्हणतात. बायझँटाईन साम्राज्याच्या सेनापतींबद्दल बोधकथाज्यांनी हल्ल्यात समन्वय साधण्याचा प्रयत्न केला. छान वर्णन अँथनी स्टीव्हन्स येथे.

क्रिप्टो कॉईन मालक अॅलिसचा विचार करा, ज्याने बॉबकडून स्वादिष्ट आइस्क्रीम खरेदी करणे आणि कॅरोलचे कर्ज फेडणे यापैकी निवड करणे आवश्यक आहे. कदाचित एकच नाणे फसवणूक करून अॅलिसला दोघांनाही एकाच वेळी पैसे द्यायचे असतील. हे करण्यासाठी, तिने बॉबच्या कॉम्प्युटरला पटवून दिले पाहिजे की नाणे कॅरोलला कधीही दिले गेले नाही आणि कॅरोलच्या कॉम्प्यूटरला हे पटवून दिले पाहिजे की नाणे बॉबला कधीही दिले गेले नाही. बहुसंख्य नियमांचा वापर करून, कराराची बीजान्टिन प्रणाली हे अक्षरशः अशक्य करते. कोरम. अशा नेटवर्कमधील एक नोड इतिहासाच्या विशिष्ट आवृत्तीकडे जाण्यास नकार देतो जोपर्यंत ते पाहत नाही की समवयस्कांची पुरेशी संख्या - एक कोरम - अशा संक्रमणास सहमत आहे. एकदा असे झाले की, ते उर्वरित नेटवर्क नोड्सना त्यांच्या निर्णयाशी सहमत होण्यास भाग पाडण्यासाठी इतका मोठा मतदान गट तयार करतील. अॅलिस काही नोड्सला तिच्या वतीने खोटे बोलण्यास भाग पाडू शकते, परंतु नेटवर्क पुरेसे मोठे असल्यास, प्रामाणिक नोड्सच्या मतांमुळे तिचा प्रयत्न भारावून जाईल.

कोरमसाठी किती नोड्स आवश्यक आहेत? कमीतकमी, बहुसंख्य, किंवा त्याऐवजी, त्रुटी आणि फसवणुकीचा सामना करण्यासाठी पात्र बहुमत. परंतु बहुसंख्य मोजण्यासाठी, तुम्हाला एकूण सहभागींची संख्या माहित असणे आवश्यक आहे. इंटरस्टेलर कार्यालयात किंवा जिल्हा निवडणुकीत हे आकडे शोधणे सोपे आहे. परंतु जर तुमचा गट एक सैलपणे परिभाषित नेटवर्क असेल ज्यामध्ये केंद्राच्या मंजुरीशिवाय नोड्स प्रवेश करू शकतात आणि सोडू शकतात, तर तुम्हाला आवश्यक आहे फेडरल नोड्सच्या पूर्वनिर्धारित सूचीमधून कोरम निर्धारित करण्यास सक्षम असलेली बायझेंटाईन करार प्रणाली, परंतु वेळेत दिलेल्या बिंदूवर नोड्सच्या सतत बदलणार्‍या आणि अपरिहार्यपणे अपूर्ण स्नॅपशॉटमधून गतिशीलपणे.

विशाल नेटवर्कमध्ये एकाच नोडच्या दृष्टीकोनातून कोरम तयार करणे अशक्य वाटू शकते, परंतु ते शक्य आहे. असा कोरम विकेंद्रित मतदानाच्या निकालाची हमी देखील देऊ शकतो. नावाची प्रक्रिया वापरून हे कसे करायचे ते 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 स्वीकारत असेल तर नेटवर्कवरील कोणताही नोड कधीही दुसरा पर्याय स्वीकारणार नाही (एससीपी श्वेतपत्रिकेतील प्रमेय 8 हे सिद्ध करते).

अर्थात, V शी सहमत नोड्सचा कोरम लगेच नसण्याची उच्च शक्यता आहे. इतर नोड्स इतर मूल्यांसाठी मत देऊ शकतात. परंतु नोडसाठी साध्या मतदानापासून स्वीकृतीकडे जाण्याचा आणखी एक मार्ग आहे. N तो W साठी वेगळे मूल्य स्वीकारू शकतो, जरी त्याने त्याला मत दिले नसले तरीही, आणि त्याला कोरम दिसत नसला तरीही. तुमचे मत बदलण्याचा निर्णय घेण्यासाठी, फक्त पहा ब्लॉकिंग सेट नोड्स ज्यांनी W स्वीकारले आहे. ब्लॉकिंग सेट प्रत्येक कोरम स्लाइस N मधील एक नोड आहे. नावाप्रमाणे, ते करू शकते ब्लॉक इतर कोणताही अर्थ. जर अशा संचातील सर्व नोड्स W स्वीकारतात, तर (प्रमेय 8 नुसार) भिन्न मूल्य घेणारा कोरम तयार करणे कधीही शक्य होणार नाही आणि म्हणून N साठी W स्वीकारणे देखील सुरक्षित आहे.

तीन कोरम स्लाइससह नोड N.

BDF हा N साठी ब्लॉकिंग सेट आहे: त्यात N च्या प्रत्येक स्लाइसमधून एक नोड समाविष्ट आहे.

BE हा N साठी ब्लॉकिंग सेट देखील आहे कारण E N च्या दोन स्लाइसमध्ये दिसतो.

पण ब्लॉकिंग सेट कोरम नाही. N च्या प्रत्येक स्लाइसमध्ये फक्त एक नोड हॅक करणे पुरेसे असल्यास इच्छित मूल्य स्वीकारण्यासाठी नोड N ला फसवणे खूप सोपे आहे. म्हणून, मूल्य स्वीकारणे हे मतदानाचा शेवट नाही. त्याऐवजी, N ने मूल्याची पुष्टी करणे आवश्यक आहे, म्हणजेच ते स्वीकारत असलेल्या नोड्सचा कोरम पहा. जर ते इतके दूर गेले, तर, SCP श्वेतपत्रिकेने सिद्ध केल्याप्रमाणे (प्रमेय 11 मध्ये), उर्वरित नेटवर्क देखील शेवटी त्याच मूल्याची पुष्टी करेल, त्यामुळे N परिणाम म्हणून एका विशिष्ट मूल्यासह फेडरेटेड मत समाप्त करेल.

फेडरेशन मतदान.

मतदान, स्वीकृती आणि पुष्टीकरणाची प्रक्रिया फेडरेटेड मतदानाची एक पूर्ण फेरी बनवते. तार्यांचा एकमत प्रोटोकॉल संपूर्ण सहमती प्रणाली तयार करण्यासाठी यापैकी अनेक फेऱ्या एकत्र करतो.

तार्यांचा एकमत प्रोटोकॉल

एकमत प्रणालीचे दोन सर्वात महत्वाचे गुणधर्म आहेत - सुरक्षा и चैतन्य. एकमत अल्गोरिदम "सुरक्षित" आहे जर ते वेगवेगळ्या सहभागींना कधीही भिन्न परिणाम देऊ शकत नाही (बॉबची इतिहासाची प्रत कॅरोलला कधीही विरोध करणार नाही). "लिव्हेबिलिटी" म्हणजे अल्गोरिदम नेहमी परिणाम देईल, म्हणजेच ते अडकणार नाही.

फेडरल मतदान प्रक्रियेचे वर्णन केले सुरक्षित या अर्थाने की जर नोडने V च्या मूल्याची पुष्टी केली, तर दुसरा कोणताही नोड इतर मूल्याची पुष्टी करणार नाही. परंतु "दुसऱ्या अर्थाची पुष्टी करणार नाही" याचा अर्थ असा नाही की ते एखाद्या गोष्टीची पुष्टी करेल. सहभागी इतक्या भिन्न मूल्यांवर मत देऊ शकतात की स्वीकृती थ्रेशोल्डपर्यंत काहीही पोहोचणार नाही. याचा अर्थ फेडरल मतदानात नाही चैतन्य.

स्टेलर कॉन्सेन्सस प्रोटोकॉल फेडरेटेड व्होटिंग अशा प्रकारे वापरतो ज्यामुळे सुरक्षा आणि टिकून राहण्याची क्षमता दोन्हीची खात्री होते. (एससीपी सुरक्षा आणि जगण्याची हमी यांची सैद्धांतिक मर्यादा आहे. डिझाइन अतिशय मजबूत सुरक्षिततेची हमी निवडते, एक लहान टिकून राहण्याची क्षमता कमी करते, परंतु पुरेसा वेळ दिल्यास, एकमत होण्याची दाट शक्यता असते.) थोडक्यात, खाली वर्णन केलेल्या सर्व SCP मतदानाच्या टप्प्यांतून एक ते पूर्ण करेपर्यंत अनेक मूल्यांवर एकापेक्षा जास्त संघबद्ध मते असणे ही कल्पना आहे.

ज्या मूल्यांवर SCP सहमती शोधते ती व्यवहार इतिहास किंवा लंच ऑर्डर किंवा इतर काही असू शकते, परंतु हे लक्षात घेणे महत्त्वाचे आहे की ही स्वीकारलेली किंवा पुष्टी केलेली मूल्ये नाहीत. त्याऐवजी, त्यानुसार फेडरल मतदान होते या मूल्यांबद्दल विधाने.

फेडरल मतदानाच्या पहिल्या फेऱ्या येथे होतात नामांकन टप्पा (नामांकन टप्पा), "मी V नामांकित करतो" सारख्या विधानांच्या संचावर, कदाचित V च्या अनेक भिन्न मूल्यांसाठी. नामांकनाचा उद्देश एक किंवा अधिक विधाने शोधणे आहे जी स्वीकृती आणि पुष्टीकरणातून जातात.

पडताळणीयोग्य उमेदवार शोधल्यानंतर, एससीपी मतदानाच्या टप्प्यात पुढे सरकते, जेथे विशिष्ट शोधण्याचे ध्येय असते. बुलेटिन (म्हणजे, प्रस्तावित मूल्यासाठी एक कंटेनर) आणि एक कोरम जो घोषित करू शकतो वचनबद्ध त्यासाठी (कमिट). कोरमने मतपत्रिका तयार केल्यास, त्याचे मूल्य एकमत म्हणून स्वीकारले जाते. परंतु नोडने मतपत्रिकेवर मत देण्यापूर्वी, त्यास प्रथम पुष्टी करणे आवश्यक आहे रद्द करणे कमी काउंटर मूल्य असलेल्या सर्व मतपत्रिका. या चरणांमध्ये-प्रतिबद्ध होऊ शकणारे एक शोधण्यासाठी मतपत्रिका रद्द करणे-एकाहून अधिक मतपत्रिकांच्या दाव्यांवर फेडरेशन मतदानाच्या अनेक फेऱ्यांचा समावेश होतो.

खालील विभाग नामनिर्देशन आणि मतदानाचे अधिक तपशीलवार वर्णन करतात.

नामांकन

नामांकन टप्प्याच्या सुरुवातीला, प्रत्येक नोड उत्स्फूर्तपणे V साठी मूल्य निवडू शकतो आणि "मी V नामांकित करतो" या विधानासाठी मत देऊ शकतो. फेडरेटेड मताद्वारे काही मूल्याच्या नामांकनाची पुष्टी करणे हे या टप्प्यावरचे ध्येय आहे.

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

वैचारिकदृष्ट्या, नामांकन समांतर आहे, V आणि W दोन्ही स्वतंत्र फेडरल मते आहेत, प्रत्येक वैयक्तिकरित्या स्वीकृती किंवा पुष्टीकरण प्राप्त करण्यास सक्षम आहे. व्यवहारात, SCP प्रोटोकॉल संदेश या वैयक्तिक मतांना एकत्रितपणे पॅकेज करतात.

V च्या नामांकनासाठी मतदान करणे हे V च्या नामांकनाच्या विरोधात कधीही मत न देण्याचे वचन असले तरी, ते अर्ज स्तरावर आहे - या प्रकरणात SCP - "विरुद्ध" म्हणजे काय हे निर्धारित केले जाते. SCP ला "मी नामांकन X" मताचा विरोध करणारे विधान दिसत नाही, म्हणजेच "मी X नामांकन करण्याच्या विरोधात आहे" असा कोणताही संदेश नाही, त्यामुळे नोड कोणत्याही मूल्यांना नामनिर्देशित करण्यासाठी मत देऊ शकतो. यापैकी बरेच नामांकन कुठेही जाणार नाहीत, परंतु अखेरीस नोड एक किंवा अधिक मूल्ये स्वीकारण्यास किंवा पुष्टी करण्यास सक्षम असेल. एकदा नॉमिनी कन्फर्म झाल्यावर तो होतो उमेदवार.

संघबद्ध मतदानाचा वापर करून SCP नामांकन. अनेक "B" मूल्ये समवयस्कांद्वारे पुढे ठेवली जाऊ शकतात आणि नोडद्वारे "प्रतिबिंबित" केली जाऊ शकतात.

नामांकनांमुळे अनेक पुष्टी झालेले उमेदवार मिळू शकतात. म्हणून, उमेदवारांना एकत्र करण्याची काही पद्धत प्रदान करण्यासाठी SCP ला अर्ज स्तर आवश्यक आहे संमिश्र (संमिश्र). सामील होण्याची पद्धत काहीही असू शकते. मुख्य गोष्ट अशी आहे की जर ही पद्धत निर्धारक असेल तर प्रत्येक नोड समान उमेदवारांना एकत्र करेल. दुपारच्या जेवणाच्या मतदान प्रणालीमध्ये, "एकीकरण" चा अर्थ दोनपैकी एक उमेदवार नाकारणे असा असू शकतो. (परंतु निर्धारात्मक पद्धतीने: प्रत्येक नोडने रीसेट करण्यासाठी समान मूल्य निवडले पाहिजे. उदाहरणार्थ, वर्णमाला क्रमाने पूर्वीची निवड). स्टेलर पेमेंट नेटवर्कमध्ये, जिथे व्यवहाराच्या इतिहासावर मतदान केले जाते, दोन प्रस्तावित नामनिर्देशित व्यक्तींना विलीन करणे म्हणजे त्यांच्यामध्ये असलेले व्यवहार आणि त्यांच्या दोन टाइमस्टॅम्पमधील नवीनतम विलीन करणे.

एससीपी व्हाईटपेपर (प्रमेय 12) हे सिद्ध करते की एक्स्टेंशन टप्प्याच्या शेवटी, नेटवर्क अखेरीस एका संमिश्रतेमध्ये एकत्रित होते. पण एक समस्या आहे: फेडरेटेड मतदान हा एक अतुल्यकालिक प्रोटोकॉल आहे (जसे SCP). दुसऱ्या शब्दांत, नोड्स वेळेनुसार समन्वित केले जात नाहीत, परंतु केवळ त्यांनी पाठवलेल्या संदेशांद्वारे. नोडच्या दृष्टिकोनातून, हे केव्हा अस्पष्ट आहे संपले विस्तार टप्पा. आणि जरी सर्व नोड्स शेवटी एकाच कंपोझिटवर पोहोचतील, तरीही ते वेगवेगळ्या मार्गाने जाऊ शकतात, वाटेत वेगवेगळे संमिश्र उमेदवार तयार करू शकतात आणि कोणता अंतिम आहे हे कधीही सांगू शकत नाही.

पण सामान्य. नामांकन म्हणजे फक्त तयारी. एकमत साध्य करण्यासाठी उमेदवारांची संख्या मर्यादित करणे ही मुख्य गोष्ट आहे, जी प्रक्रियेमध्ये होते कार्यालयासाठी धावणे (मतदान).

धावत आहे

बुलेटिन एक जोडपे आहे , जेथे काउंटर हा एक पूर्णांक आहे जो 1 पासून सुरू होतो आणि मूल्य हे नामांकन टप्प्यातील उमेदवार आहे. हा नोडचा स्वतःचा उमेदवार किंवा त्या नोडने स्वीकारलेला शेजारील नोडचा उमेदवार असू शकतो. ढोबळपणे सांगायचे तर, मतपत्रिकेमध्ये बॅलेट स्टेटमेंटवर संभाव्यतः अनेक फेडरेटेड मते धारण करून काही मतपत्रिकेवरील काही उमेदवारावर एकमत होण्यासाठी नेटवर्कला भाग पाडण्याचा वारंवार प्रयत्नांचा समावेश असतो. मतपत्रिकांवरील काउंटर केलेल्या प्रयत्नांचा मागोवा ठेवतात, आणि जास्त मतपत्रिका कमी मोजणी असलेल्या मतपत्रिकांवर प्राधान्य देतात. जर वृत्तपत्र अडकले, नवीन मत सुरू होते, आता मतपत्रिकेवर .

हे वेगळे करणे महत्वाचे आहे मूल्ये (उदाहरणार्थ, दुपारच्या जेवणाची ऑर्डर काय असावी: पिझ्झा किंवा सॅलड्स), वृत्तपत्रे (काउंटर-व्हॅल्यू जोडी) आणि स्टेटमेन्ट मतपत्रिका बद्दल. SCP फेरीमध्ये फेडरल मतदानाच्या अनेक फेऱ्यांचा समावेश होतो, विशेषतः खालील विधानांवर:

• "मी बॅलेट बी कमिट करण्यास तयार आहे" आणि
• "मी मतपत्रिका B च्या वचनबद्धतेची घोषणा करतो"

दिलेल्या नोडच्या दृष्टीकोनातून, "मी मतपत्रिका B" या विधानाची पुष्टी करू शकेल (म्हणजे, स्वीकारणारा कोरम शोधू शकेल) मतपत्रिका B शोधल्यावर एकमत होते. या बिंदूपासून, बी मध्ये निर्दिष्ट केलेल्या मूल्यावर कार्य करणे सुरक्षित आहे - उदाहरणार्थ, लंचसाठी हा ऑर्डर देणे. असे म्हणतात बाह्यकरण अर्थ एकदा मतपत्रिकेची स्वीकृती निश्चित झाल्यानंतर, नोड खात्री करू शकतो की इतर कोणत्याही नोडने समान मूल्याचे बाह्यकरण केले आहे किंवा भविष्यात ते करेल.

जरी अनेक संघटित मते अनेक भिन्न मतपत्रिकांच्या दाव्यांवर संकल्पनात्मकरित्या आयोजित केली जातात, तरीही ते अनेक संदेशांची देवाणघेवाण करत नाहीत कारण प्रत्येक संदेश अनेक मतपत्रिकांना समाविष्ट करतो. एक संदेश अशा प्रकारे एकाच वेळी अनेक संघटित मतांच्या स्थितीचा प्रचार करतो, उदाहरणार्थ: “मी कमिट मतपत्रिका स्वीकारतो: आधी "

"तयार" आणि "कमिट" या शब्दांचा अर्थ काय आहे?

इतर नोड्स भिन्न मूल्यांसह मतपत्रिका कमिट करणार नाहीत याची खात्री असताना नोड मतपत्रिकेसाठी मत देतो. हे पटवून देणे हा अर्ज तयार करण्याचा उद्देश आहे. "मी मतपत्रिका B कमिट करण्यास तयार आहे" असे म्हणणारे मत म्हणजे B पेक्षा लहान मतपत्रिका कधीही कमिट न करण्याचे वचन आहे, म्हणजे कमी संख्येसह (SCP ला मतपत्रिकांमधील मूल्ये एका विशिष्ट क्रमाने असणे आवश्यक आहे. अशा प्रकारे, वृत्तपत्र कमी , जर N1

“मी मतपत्रिका B साठी कमिट करण्यास तयार आहे” म्हणजे “मी B पेक्षा लहान मतपत्रिका कधीही कमिट करणार नाही” असा का होतो? कारण SCP कमिट च्या विरुद्ध म्हणून abort परिभाषित करते. मतपत्रिका तयार करण्याच्या मतामध्ये काही इतर मतपत्रिकांना अपात्र ठरवण्यासाठीचे मत देखील समाविष्ट असते आणि जसे आपण आधी चर्चा केली आहे, एका गोष्टीसाठी मतदान करणे हे त्याच्या विरोधात कधीही मतदान न करण्याचे वचन आहे.

कमिट प्रसारित करण्यापूर्वी, नोडला प्रथम बुलेटिन शोधणे आवश्यक आहे जे ते तयार केल्याप्रमाणे पुष्टी करू शकेल. दुस-या शब्दात सांगायचे तर, "मी मतपत्रिका B साठी तयार आहे," या विषयावर एक संघटित मत देते, शक्यतो अनेक भिन्न मतपत्रिकांवर, जोपर्यंत कोरम स्वीकारणारा एक सापडत नाही तोपर्यंत.

मतदानाची तयारी करण्यासाठी मतपत्रिका कुठून येतात? प्रथम, नोड <1,C> साठी मत देण्याची तयारी प्रसारित करतो, जेथे C हा नामांकन टप्प्यावर तयार केलेला संमिश्र उमेदवार आहे. तथापि, मतदानाची तयारी सुरू झाल्यानंतरही, नामनिर्देशनांमुळे अतिरिक्त उमेदवार नवीन मतपत्रिका बनताना दिसतील. दरम्यान, समवयस्कांकडे वेगवेगळे उमेदवार असू शकतात आणि ते एक ब्लॉकिंग सेट तयार करू शकतात ज्याने "मी B2 मतपत्रिका देण्यास तयार आहे" हे स्वीकारले आहे जे नोडला देखील ते स्वीकारण्यास राजी करेल. शेवटी, एक कालबाह्य यंत्रणा आहे जी सध्याच्या मतपत्रिका अडकल्यास नवीन मतपत्रिकांवर फेडरेटेड मतदानाच्या नवीन फेऱ्या निर्माण करतात.

नोडला मतपत्रिका B सापडताच तो तयार केल्याप्रमाणे पुष्टी करू शकतो, तो एक नवीन संदेश "कमिट मतपत्र B" प्रसारित करतो. हे मत समवयस्कांना सांगते की नोड कधीही B सोडणार नाही. खरं तर, जर B मतपत्रिका असेल , नंतर “मतदान करा " म्हणजे प्रत्येक मतपत्रिकेच्या तयारीसाठी मत देण्याची बिनशर्त संमती ते <∞, s>. हे अतिरिक्त मूल्य इतर समवयस्कांना कमिट पीअरसह पकडण्यात मदत करते जर ते अद्याप प्रोटोकॉलच्या सुरुवातीच्या टप्प्यात असतील.

या टप्प्यावर, पुन्हा एकदा जोर देण्यासारखे आहे की हे असिंक्रोनस प्रोटोकॉल आहेत. फक्त एक नोड एखाद्या कमिटसाठी अपव्होट्स पाठवतो याचा अर्थ त्याच्या समवयस्कांनाही असे होत नाही. त्यापैकी काही अजूनही मतदानाच्या तयारीसाठी विधानांवर मतदान करत असतील, इतरांनी आधीच अर्थ काढला असेल. SCP स्पष्ट करते की नोडने प्रत्येक प्रकारच्या पीअर मेसेजवर त्याच्या टप्प्याची पर्वा न करता प्रक्रिया कशी करावी.

जर संदेश "मी वचनबद्धतेची घोषणा केली आहे » प्राप्त किंवा पुष्टी केली जाऊ शकत नाही, म्हणजे, संदेश स्वीकारले जाण्याची किंवा पुष्टी होण्याची शक्यता किंवा - किंवा, कोणत्याही परिस्थितीत, C चे मूल्य असलेले कोणतेही मतपत्र, आणि इतर कोणतेही नाही, कारण नोडने कधीही रद्द न करण्याचे वचन दिले आहे . नोडने कमिटसाठी मत प्रसारित करेपर्यंत, सहमती किती दूर जाते यावर अवलंबून ते सी किंवा काहीही असेल. तथापि, नोडला C बाह्य करण्यासाठी हे अद्याप पुरेसे नाही. काही बायझंटाईन समवयस्क (जे आमच्या सुरक्षा गृहीतकांवर आधारित कोरमपेक्षा कमी आहेत) नोडला खोटे बोलू शकतात. काही मतपत्रिका (किंवा मतपत्रिकांची श्रेणी) स्वीकारणे आणि नंतर पुष्टी करणे हे नोडला शेवटी C चे बाह्यीकरण करण्याचा आत्मविश्वास देते.

संघबद्ध मतदानाद्वारे SCP मतदान. दर्शविले नाही: टाइमर कधीही बंद होऊ शकतो, मतपत्रिकेची संख्या वाढवते (आणि शक्यतो अतिरिक्त नामनिर्देशित उमेदवारांचे नवीन संमिश्र तयार करते).

आणि हे सर्व आहे! नेटवर्कमध्ये एकमत झाले की ते पुन्हा पुन्हा करायला तयार आहे. स्टेलर पेमेंट नेटवर्कवर, हे अंदाजे प्रत्येक 5 सेकंदात एकदा घडते: एक पराक्रम ज्यासाठी SCP द्वारे हमी दिलेली सुरक्षा आणि टिकून राहण्याची क्षमता दोन्ही आवश्यक आहे.

फेडरेशनच्या मतदानाच्या अनेक फेऱ्यांवर अवलंबून राहून SCP हे साध्य करू शकते. कोरम स्लाइसच्या संकल्पनेद्वारे फेडरेट केलेले मतदान शक्य झाले आहे: समवयस्कांचे संच ज्यावर प्रत्येक नोडने त्याच्या (व्यक्तिनिष्ठ) कोरमचा भाग म्हणून विश्वास ठेवण्याचे ठरवले आहे. या कॉन्फिगरेशनचा अर्थ असा आहे की खुली सदस्यत्व आणि बायझँटाइन फसवणूक असलेल्या नेटवर्कमध्येही एकमत होऊ शकते.

पुढील वाचन

• मूळ SCP श्वेतपत्रिका आढळू शकते येथेआणि येथे त्याच्या अंमलबजावणीसाठी मसुदा तपशील.
• एससीपी प्रोटोकॉलचे मूळ लेखक, डेव्हिड मॅझियर, हे सोप्या (परंतु अद्याप तांत्रिक) मार्गाने स्पष्ट करतात. येथे.
• या लेखात “खाणकाम” किंवा “कामाचा पुरावा” या संज्ञा न मिळाल्याने तुम्हाला आश्चर्य वाटले असेल. SCP या पद्धती वापरत नाहीत, परंतु काही इतर एकमत अल्गोरिदम वापरतात. झेन विदरस्पूनने प्रवेशयोग्य लिहिले एकमत अल्गोरिदमचे विहंगावलोकन.
• चरण-दर-चरण वर्णन एक साधे नेटवर्क जे SCP च्या एका पूर्ण फेरीत सहमती मिळवते.
• एससीपी अंमलबजावणीमध्ये स्वारस्य असलेल्या वाचकांसाठी: पहा C++ कोड, तारकीय पेमेंट नेटवर्कद्वारे वापरले जाते, किंवा जा कोड, जे मी SCP च्या चांगल्या प्रकारे समजून घेण्यासाठी लिहिले आहे.

स्त्रोत: www.habr.com