તારાઓની સર્વસંમતિ પ્રોટોકોલનું સૌપ્રથમ વર્ણન કરવામાં આવ્યું હતું વૈજ્ઞાનિક લેખ 2015 માં ડેવિડ મેઝિયર. આ એક "ફેડરલ બાયઝેન્ટાઇન એગ્રીમેન્ટ સિસ્ટમ" છે જે વિકેન્દ્રિત, લીડરલેસ કમ્પ્યુટિંગ નેટવર્ક્સને નિર્ણય પર અસરકારક રીતે સર્વસંમતિ સુધી પહોંચવા માટે પરવાનગી આપે છે. સ્ટેલર પેમેન્ટ નેટવર્ક સાતત્યપૂર્ણ વ્યવહાર ઇતિહાસ જાળવવા માટે સ્ટેલર કન્સેન્સસ પ્રોટોકોલ (એસસીપી) નો ઉપયોગ કરે છે જે તમામ સહભાગીઓને દેખાય છે.

સર્વસંમતિ પ્રોટોકોલ સમજવા માટે મુશ્કેલ માનવામાં આવે છે. SCP તેમાંના મોટા ભાગના કરતા સરળ છે, પરંતુ હજુ પણ આ પ્રતિષ્ઠા વહેંચે છે - અંશતઃ ભૂલભરેલા વિચારને કારણે કે "ફેડરેટેડ વોટિંગ", જે વૈજ્ઞાનિક લેખના પહેલા ભાગનો વિષય છે, તે SCP છે. પરંતુ તે સાચું નથી! આ ફક્ત એક મહત્વપૂર્ણ બિલ્ડિંગ બ્લોક છે જેનો લેખનો બીજો ભાગ બનાવવા માટે ઉપયોગ કરે છે વાસ્તવિક તારાઓની સર્વસંમતિ પ્રોટોકોલ.

આ લેખમાં આપણે સંક્ષિપ્તમાં સમજાવીશું કે "કરારની સિસ્ટમ" શું છે, તેને "બાયઝેન્ટાઇન" શું બનાવી શકે છે અને શા માટે બાયઝેન્ટાઇન સિસ્ટમ "ફેડરલ" બનાવી શકે છે. અમે પછી SCP લેખમાં વર્ણવેલ ફેડરેટેડ મતદાન પ્રક્રિયાને સમજાવીશું, અને અંતે અમે SCP પ્રોટોકોલને જ સમજાવીશું.

કરાર સિસ્ટમો

કરારોની સિસ્ટમ સહભાગીઓના જૂથને કોઈ વિષય પર સર્વસંમતિ સુધી પહોંચવાની મંજૂરી આપે છે, જેમ કે લંચ માટે શું ઓર્ડર આપવો.

ઇન્ટરસ્ટેલર પર, અમે અમારી પોતાની ડાઇનિંગ એગ્રીમેન્ટ સિસ્ટમ લાગુ કરી છે: અમારા ઑપરેશન મેનેજર, જ્હોન કહે છે તે અમે ઓર્ડર કરીએ છીએ. આ એક સરળ અને અસરકારક કરાર સિસ્ટમ છે. અમે બધા જ્હોન પર વિશ્વાસ કરીએ છીએ અને માનીએ છીએ કે તેને દરરોજ કંઈક રસપ્રદ અને પૌષ્ટિક મળશે.

પણ જો જ્હોન આપણા ભરોસાનો દુરુપયોગ કરે તો શું? તે એકલા હાથે નક્કી કરી શકે છે કે આપણે બધાએ શાકાહારી બનવું જોઈએ. એક કે બે અઠવાડિયામાં, અમે કદાચ તેને ઉથલાવીશું અને એલિઝાબેથને સત્તા સોંપીશું. પરંતુ અચાનક તેણીને એન્કોવીઝ સાથે એવોકાડોઝ ગમે છે અને તે વિચારે છે કે દરેક વ્યક્તિ તેના જેવા હોવા જોઈએ. સત્તા ભ્રષ્ટ કરે છે. તેથી કેટલીક વધુ લોકશાહી પદ્ધતિ શોધવાનું વધુ સારું છે: સમયસર અને અસ્પષ્ટ પરિણામની ખાતરી કરતી વખતે વિવિધ પસંદગીઓને ધ્યાનમાં લેવામાં આવે છે તેની ખાતરી કરવાની કોઈ રીત, જેથી કોઈ પણ વ્યક્તિ લંચનો ઓર્ડર ન આપે, અથવા પાંચ લોકો અલગ-અલગ ઓર્ડર આપે, અથવા ચર્ચા સાંજ સુધી ખેંચે છે.

એવું લાગે છે કે ઉકેલ સરળ છે: એક મત રાખો! પરંતુ આ એક ભ્રામક છાપ છે. મતપત્રકો કોણ એકત્રિત કરશે અને પરિણામોની જાણ કરશે? અને તે જે કહે છે તે બીજાઓએ શા માટે માનવું જોઈએ? કદાચ આપણે કરી શકીએ પ્રથમ એવા નેતાને મત આપો કે જેના પર અમે મતદાનનું નેતૃત્વ કરવા માટે વિશ્વાસ કરીએ છીએ - પરંતુ તેનું નેતૃત્વ કોણ કરશે પ્રથમ મતદાન દ્વારા? જો આપણે કોઈ નેતા પર સહમત ન થઈ શકીએ તો શું? અથવા જો આપણે કોઈ કરાર પર પહોંચીએ, પરંતુ આ નેતા મીટિંગમાં અટવાઈ જાય અથવા માંદગી રજા પર જાય તો શું?

વિતરિત કમ્પ્યુટર નેટવર્ક્સમાં સમાન સમસ્યાઓ જોવા મળે છે. બધા સહભાગીઓ અથવા નોડ્સ કેટલાક નિર્ણય પર સંમત હોવા જોઈએ, જેમ કે શેર કરેલી ફાઇલને અપડેટ કરવાનો અથવા પ્રક્રિયા કતારમાંથી કોઈ કાર્યને દૂર કરવાનો વારો છે. ક્રિપ્ટોકરન્સી નેટવર્કમાં, નોડ્સે વારંવાર વિવિધ સંભવિત સંસ્કરણોમાંથી સંપૂર્ણ વાર્તા કેવી દેખાય છે તે પસંદ કરવાનું હોય છે, જે ક્યારેક સંઘર્ષ કરે છે. આ નેટવર્ક કરાર પ્રાપ્તકર્તાને ખાતરી આપે છે કે સિક્કો (a) માન્ય છે (નકલી નથી) અને (b) હજુ સુધી અન્યત્ર ખર્ચવામાં આવ્યો નથી. આ એ પણ સુનિશ્ચિત કરે છે કે તે ભવિષ્યમાં સિક્કા ખર્ચવામાં સક્ષમ હશે કારણ કે નવા પ્રાપ્તકર્તા પાસે સમાન કારણોસર સમાન ગેરંટી હશે.

વિતરિત કમ્પ્યુટિંગ નેટવર્કમાં કોઈપણ સર્વસંમતિ સિસ્ટમ દોષ-સહિષ્ણુ હોવી જોઈએ: તે ધીમી લિંક્સ, બિન-પ્રતિભાવિત ગાંઠો અને ખોટો સંદેશ ઓર્ડરિંગ જેવી ભૂલો હોવા છતાં સતત પરિણામો ઉત્પન્ન કરે છે. બાયઝેન્ટાઇન એગ્રીમેન્ટ સિસ્ટમ "બાયઝેન્ટાઇન" ભૂલો માટે વધારાની પ્રતિરોધક છે: નોડ્સ કે જે ખોટી માહિતી આપે છે, પછી ભલે તે ભૂલને કારણે હોય અથવા સિસ્ટમને નબળી પાડવા અથવા કોઈ ફાયદો મેળવવાના ઇરાદાપૂર્વકના પ્રયાસમાં હોય. "બાયઝેન્ટાઇન" દોષ સહિષ્ણુતા - જૂથના કેટલાક સભ્યો જૂઠું બોલે અથવા અન્યથા નિર્ણય લેવાના નિયમોનું પાલન ન કરે ત્યારે પણ જૂથના નિર્ણય પર વિશ્વાસ કરવાની ક્ષમતા - કહેવાય છે. બાયઝેન્ટાઇન સામ્રાજ્યના સેનાપતિઓ વિશે કહેવતજેમણે હુમલાને સંકલન કરવાનો પ્રયાસ કર્યો હતો. સરસ વર્ણન એન્થોની સ્ટીવન્સ ખાતે.

ક્રિપ્ટો સિક્કાના માલિક એલિસને ધ્યાનમાં લો, જેમણે બોબ પાસેથી સ્વાદિષ્ટ આઈસ્ક્રીમ ખરીદવા અને કેરોલનું દેવું ચૂકવવા વચ્ચે પસંદગી કરવી જોઈએ. કદાચ એલિસ એક જ સિક્કાનો છેતરપિંડી કરીને બંનેને એક જ સમયે ચૂકવવા માંગે છે. આ કરવા માટે, તેણીએ બોબના કોમ્પ્યુટરને ખાતરી આપવી જોઈએ કે સિક્કો કેરોલને ક્યારેય ચૂકવવામાં આવ્યો ન હતો, અને કેરોલના કમ્પ્યુટરને ખાતરી આપવી જોઈએ કે સિક્કો બોબને ક્યારેય ચૂકવવામાં આવ્યો ન હતો. કરારોની બાયઝેન્ટાઇન સિસ્ટમ આને વર્ચ્યુઅલ રીતે અશક્ય બનાવે છે, જેને બહુમતી શાસન કહેવાય છે. કોરમ. આવા નેટવર્કમાં નોડ ઇતિહાસના ચોક્કસ સંસ્કરણ પર જવાનો ઇનકાર કરે છે જ્યાં સુધી તે જુએ છે કે પર્યાપ્ત સંખ્યામાં સાથીદારો - એક કોરમ - આવા સંક્રમણ માટે સંમત થાય છે. એકવાર આવું થઈ જાય, તેઓ તેમના નિર્ણય સાથે સંમત થવા માટે બાકીના નેટવર્ક નોડ્સને દબાણ કરવા માટે પૂરતો મોટો વોટિંગ બ્લોક બનાવશે. એલિસ તેના વતી કેટલાક નોડ્સને જૂઠું બોલવા માટે દબાણ કરી શકે છે, પરંતુ જો નેટવર્ક પૂરતું મોટું હોય, તો તેનો પ્રયાસ પ્રામાણિક ગાંઠોના મતોથી ભરાઈ જશે.

કોરમ માટે કેટલા ગાંઠો જરૂરી છે? ભૂલો અને છેતરપિંડીનો સામનો કરવા માટે ઓછામાં ઓછા, બહુમતી અથવા તેના બદલે લાયક બહુમતી. પરંતુ બહુમતીની ગણતરી કરવા માટે, તમારે સહભાગીઓની કુલ સંખ્યા જાણવાની જરૂર છે. ઇન્ટરસ્ટેલર ઑફિસમાં અથવા જિલ્લા ચૂંટણીમાં, આ નંબરો શોધવા માટે સરળ છે. પરંતુ જો તમારું જૂથ ઢીલી રીતે વ્યાખ્યાયિત નેટવર્ક છે જેમાં નોડ્સ કેન્દ્રની મંજૂરી વિના પોતાની મરજીથી દાખલ થઈ શકે છે અને છોડી શકે છે, તો તમારે જરૂર છે સંઘીય એક બાયઝેન્ટાઇન એગ્રીમેન્ટ સિસ્ટમ જે નોડ્સની પૂર્વનિર્ધારિત સૂચિમાંથી નહીં, પરંતુ ગતિશીલ રીતે, ચોક્કસ સમયે આપેલ બિંદુએ નોડ્સના સતત બદલાતા અને અનિવાર્યપણે અપૂર્ણ સ્નેપશોટમાંથી કોરમ્સ નક્કી કરવામાં સક્ષમ છે.

વિશાળ નેટવર્કમાં સિંગલ નોડના પરિપ્રેક્ષ્યમાં કોરમ બનાવવું અશક્ય લાગે છે, પરંતુ તે શક્ય છે. આવો કોરમ વિકેન્દ્રિત મતદાનના પરિણામોની ખાતરી પણ આપી શકે છે. 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 ની એક મહત્વપૂર્ણ નવીનતા એ છે કે તે સર્વસંમતિ અલ્ગોરિધમમાંથી જ કોરમ બનાવવાની જવાબદારીને દૂર કરે છે અને તેને એપ્લિકેશન સ્તર પર લાવે છે. આમ, જો કે સંઘીય મતદાન કોઈપણ મુદ્દા પર મતદાન કરવા માટે પૂરતું સામાન્ય છે, તેની વિશ્વસનીયતા વાસ્તવમાં આ અર્થોના વ્યાપક અર્થ પર વિવેચનાત્મક રીતે આધાર રાખે છે. કેટલાક કાલ્પનિક ઉપયોગો અન્યની જેમ સારી રીતે જોડાયેલા નેટવર્ક બનાવવા માટે અનુકૂળ ન હોઈ શકે.

મતદાન, સ્વીકૃતિ અને પુષ્ટિ

ફેડરેટેડ વોટિંગ રાઉન્ડમાં, નોડ વૈકલ્પિક રીતે અમુક મૂલ્ય V માટે મતદાન કરવાનું શરૂ કરે છે. આનો અર્થ નેટવર્ક પર સંદેશ પ્રસારિત કરવાનો છે: "હું નોડ N છું, મારા કોરમ સ્લાઇસેસ Q છે, અને હું V માટે મત આપી રહ્યો છું." જ્યારે નોડ આ રીતે મત આપે છે, ત્યારે તે વચન આપે છે કે તેણે ક્યારેય V વિરુદ્ધ મતદાન કર્યું નથી અને ક્યારેય કરશે નહીં.

પીઅર-ટુ-પીઅર બ્રોડકાસ્ટ્સમાં, દરેક નોડ જુએ છે કે અન્ય લોકો કેવી રીતે મત આપે છે. એકવાર નોડે આ સંદેશાઓને પૂરતા પ્રમાણમાં એકત્રિત કર્યા પછી, તે કોરમ સ્લાઇસેસને ટ્રૅક કરી શકે છે અને કોરમ શોધવાનો પ્રયાસ કરી શકે છે. જો તે સાથીદારોનો કોરમ જુએ છે જેઓ V માટે પણ મત આપે છે, તો તે આગળ વધી શકે છે દત્તક V અને નેટવર્ક પર આ નવો સંદેશ પ્રસારિત કરો: "હું નોડ N છું, મારા કોરમ સ્લાઇસેસ Q છે, અને હું V સ્વીકારું છું." સ્વીકૃતિ સરળ મતદાન કરતાં વધુ મજબૂત ગેરંટી પૂરી પાડે છે. જ્યારે નોડ V માટે મત આપે છે, ત્યારે તે અન્ય વિકલ્પો માટે ક્યારેય મત આપી શકતું નથી. પરંતુ જો નોડ V સ્વીકારે છે, તો નેટવર્ક પરનો કોઈપણ નોડ ક્યારેય અન્ય વિકલ્પને સ્વીકારશે નહીં (SCP વ્હાઇટ પેપરમાં પ્રમેય 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 મતદાન તબક્કાઓમાંથી પસાર ન થાય.

મૂલ્યો કે જેના પર SCP સર્વસંમતિ માંગે છે તે વ્યવહારનો ઇતિહાસ અથવા લંચ ઓર્ડર અથવા બીજું કંઈક હોઈ શકે છે, પરંતુ એ નોંધવું મહત્વપૂર્ણ છે કે આ એવા મૂલ્યો નથી કે જેને સ્વીકારવામાં આવે અથવા પુષ્ટિ મળે. તેના બદલે, ફેડરલ મતદાન અનુસાર થાય છે આ મૂલ્યો વિશે નિવેદનો.

ફેડરલ મતદાનના પ્રથમ રાઉન્ડના રોજ યોજાય છે નોમિનેશન સ્ટેજ (નોમિનેશન તબક્કો), "હું V નોમિનેટ કરું છું" જેવા નિવેદનોના સમૂહ પર, કદાચ V ના ઘણાં વિવિધ મૂલ્યો માટે. નોમિનેશનનો હેતુ એક અથવા વધુ નિવેદનો શોધવાનો છે જે સ્વીકૃતિ અને પુષ્ટિમાંથી પસાર થાય છે.

ચકાસી શકાય તેવા ઉમેદવારો શોધ્યા પછી, SCP મતદાનના તબક્કામાં આગળ વધે છે, જ્યાં લક્ષ્ય ચોક્કસ શોધવાનું છે બુલેટિન (એટલે ​​કે, સૂચિત મૂલ્ય માટેનું કન્ટેનર) અને કોરમ જે જાહેર કરી શકે છે પ્રતિબદ્ધ તેના માટે (પ્રતિબદ્ધ). જો કોરમ મતદાન કરે છે, તો તેનું મૂલ્ય સર્વસંમતિ તરીકે સ્વીકારવામાં આવે છે. પરંતુ નોડ બેલેટ કમિટ પર મત આપી શકે તે પહેલાં, તેણે પહેલા પુષ્ટિ કરવી આવશ્યક છે રદ ઓછા કાઉન્ટર વેલ્યુ સાથે તમામ મતપત્રો. આ પગલાંઓ - પ્રતિબદ્ધ થઈ શકે તેવા એકને શોધવા માટે મતદાન રદ કરવું - બહુવિધ મતદાન દાવાઓ પર સંઘીય મતદાનના બહુવિધ રાઉન્ડનો સમાવેશ થાય છે.

નીચેના વિભાગો વધુ વિગતવાર નામાંકન અને મતદાનનું વર્ણન કરે છે.

નામાંકન

નોમિનેશન તબક્કાની શરૂઆતમાં, દરેક નોડ સ્વયંભૂ રીતે V માટે મૂલ્ય પસંદ કરી શકે છે અને "હું V નોમિનેટ કરું છું" નિવેદન માટે મત આપી શકે છે. આ તબક્કે ધ્યેય સંઘીય મત દ્વારા અમુક મૂલ્યની નોમિનેશનની પુષ્ટિ કરવાનો છે.

કદાચ પર્યાપ્ત ગાંઠો પર્યાપ્ત અલગ દરખાસ્તો પર મત આપે છે કે કોઈ નોમિનેશન સ્વીકૃતિ થ્રેશોલ્ડ સુધી પહોંચી શકતું નથી. તેથી, તેમના પોતાના નામાંકન મતોનું પ્રસારણ કરવા ઉપરાંત, નોડ્સ તેમના સાથીદારોના નામાંકનને "પ્રતિબિંબિત કરે છે". ઇકોનો અર્થ એવો થાય છે કે જો નોડ નોમિનેશન V માટે મત આપે છે, પરંતુ નોમિનેશન W માટે મતદાન કરતા પાડોશી તરફથી સંદેશ જુએ છે, તો તે હવે V અને W બંને માટે મત આપશે. અલગ-અલગ નોમિની. એસસીપીમાં આ મતોનું નિયમન કરવાની પદ્ધતિનો સમાવેશ થાય છે. ટૂંકમાં, નોડના દૃષ્ટિકોણથી પીઅરની "પ્રાયોરિટી" નક્કી કરવા માટે એક ફોર્મ્યુલા છે, અને માત્ર ઉચ્ચ અગ્રતા ધરાવતા નોડના મતો જ પ્રતિબિંબિત થાય છે. લાંબા સમય સુધી નોમિનેશન લે છે, થ્રેશોલ્ડ જેટલો નીચો છે, તેથી નોડ સાથીઓના સમૂહને વિસ્તૃત કરે છે જેમના મતો તે પ્રતિબિંબિત કરશે. અગ્રતા સૂત્રમાં તેના ઇનપુટમાંના એક તરીકે સ્લોટ નંબરનો સમાવેશ થાય છે, તેથી એક સ્લોટ માટે ઉચ્ચ-અગ્રતા ધરાવતા પીઅર માટે નીચી-પ્રાયોરિટી પીઅર હોઈ શકે છે બીજું, અને ઊલટું).

વૈચારિક રીતે, નોમિનેશન સમાંતર છે, V અને W બંને અલગ ફેડરલ મત છે, દરેક વ્યક્તિગત રીતે સ્વીકૃતિ અથવા પુષ્ટિ પ્રાપ્ત કરવા માટે સક્ષમ છે. વ્યવહારમાં, SCP પ્રોટોકોલ સંદેશાઓ આ વ્યક્તિગત મતોને એકસાથે પેકેજ કરે છે.

જો કે V ના નામાંકન માટે મતદાન એ V ના નામાંકન સામે ક્યારેય મત ન આપવાનું વચન છે, તે અરજી સ્તર પર છે - આ કિસ્સામાં SCP - કે "વિરુદ્ધ" નો અર્થ શું છે તે નક્કી કરવામાં આવે છે. SCP એવું નિવેદન જોતું નથી જે "હું X નોમિનેટ કરો" મતનો વિરોધાભાસ કરે છે, એટલે કે, "હું X નોમિનેટ કરવાની વિરુદ્ધ છું" સંદેશ નથી, તેથી નોડ કોઈપણ મૂલ્યોને નોમિનેટ કરવા માટે મત આપી શકે છે. આમાંના ઘણા નામાંકન ક્યાંય જશે નહીં, પરંતુ આખરે નોડ એક અથવા વધુ મૂલ્યોને સ્વીકારવા અથવા પુષ્ટિ કરવા માટે સક્ષમ હશે. એકવાર નોમિની કન્ફર્મ થઈ જાય પછી તે બની જાય છે ઉમેદવાર.

સંઘીય મતદાનનો ઉપયોગ કરીને SCP નોમિનેશન. સાથીદારો દ્વારા આગળ મૂકવામાં આવેલા અને નોડ દ્વારા "પ્રતિબિંબિત" ઘણા "B" મૂલ્યો હોઈ શકે છે.

નામાંકન બહુવિધ કન્ફર્મ ઉમેદવારોમાં પરિણમી શકે છે. તેથી, SCP ઉમેદવારોને એકમાં જોડવાની કેટલીક પદ્ધતિ પ્રદાન કરવા માટે એપ્લિકેશન સ્તરની જરૂર છે સંયુક્ત (સંયુક્ત). જોડાવાની પદ્ધતિ કંઈપણ હોઈ શકે છે. મુખ્ય વસ્તુ એ છે કે જો આ પદ્ધતિ નિર્ણાયક છે, તો દરેક નોડ સમાન ઉમેદવારોને જોડશે. બપોરના ભોજનની મતદાન પ્રણાલીમાં, "એકીકરણ" નો અર્થ બેમાંથી એક ઉમેદવારને નકારી કાઢવાનો હોઈ શકે છે. (પરંતુ નિર્ધારિત રીતે: દરેક નોડે રીસેટ કરવા માટે સમાન મૂલ્ય પસંદ કરવું આવશ્યક છે. ઉદાહરણ તરીકે, મૂળાક્ષરોના ક્રમમાં અગાઉની પસંદગી). સ્ટેલર પેમેન્ટ નેટવર્કમાં, જ્યાં ટ્રાન્ઝેક્શન ઈતિહાસ પર મત આપવામાં આવે છે, બે સૂચિત નોમિનીને મર્જ કરવામાં તેઓ સમાવિષ્ટ વ્યવહારો અને તેમના બે ટાઈમસ્ટેમ્પના લેટેસ્ટને મર્જ કરે છે.

SCP વ્હાઇટપેપર સાબિત કરે છે (પ્રમેય 12) કે એક્સ્ટેંશન તબક્કાના અંત સુધીમાં, નેટવર્ક આખરે એક સંયુક્તમાં કન્વર્જ થાય છે. પરંતુ એક સમસ્યા છે: ફેડરેટેડ વોટિંગ એ અસિંક્રોનસ પ્રોટોકોલ છે (જેમ કે SCP). બીજા શબ્દોમાં કહીએ તો, ગાંઠો સમય દ્વારા સંકલિત નથી, પરંતુ માત્ર તેઓ જે સંદેશાઓ મોકલે છે તેના દ્વારા. નોડના દૃષ્ટિકોણથી, તે ક્યારે અસ્પષ્ટ છે સમાપ્ત વિસ્તરણ તબક્કો. અને જો કે તમામ ગાંઠો આખરે એક જ સંયુક્ત પર આવશે, તેઓ રસ્તામાં જુદા જુદા માર્ગો લઈ શકે છે, રસ્તામાં વિવિધ સંયુક્ત ઉમેદવારો બનાવી શકે છે, અને કયો અંતિમ છે તે ક્યારેય કહી શકતા નથી.

પરંતુ તે સામાન્ય છે. નોમિનેશન માત્ર તૈયારી છે. મુખ્ય વસ્તુ એ છે કે સર્વસંમતિ હાંસલ કરવા માટે ઉમેદવારોની સંખ્યા મર્યાદિત કરવી, જે પ્રક્રિયામાં થાય છે ઓફિસ માટે દોડવું (મતદાન).

ચાલી રહી છે

બુલેટિન એક કપલ છે , જ્યાં કાઉન્ટર એ પૂર્ણાંક છે જે 1 થી શરૂ થાય છે અને મૂલ્ય એ નોમિનેશન સ્ટેજમાંથી ઉમેદવાર છે. આ નોડના પોતાના ઉમેદવાર અથવા તે નોડ દ્વારા સ્વીકૃત પડોશી નોડના ઉમેદવાર હોઈ શકે છે. સામાન્ય રીતે કહીએ તો, મતપત્રમાં બેલેટ સ્ટેટમેન્ટ્સ પર સંભવિત રીતે ઘણા સંઘીય મતો પકડીને કેટલાક મતપત્ર પર કેટલાક ઉમેદવાર પર સર્વસંમતિ સુધી પહોંચવા માટે નેટવર્કને દબાણ કરવાના વારંવાર પ્રયાસોનો સમાવેશ થાય છે. મતપત્રો પરના કાઉન્ટર્સ કરવામાં આવેલા પ્રયાસોનો ટ્રૅક રાખે છે, અને વધુ ગણતરીવાળા મતપત્રો ઓછી ગણતરીવાળા મતપત્રો પર અગ્રતા મેળવે છે. જો ન્યૂઝલેટર અટકી જાય છે, નવો મત શરૂ થાય છે, હવે બેલેટ પર .

તે અલગ પાડવું મહત્વપૂર્ણ છે અર્થ (ઉદાહરણ તરીકે, લંચનો ઓર્ડર શું હોવો જોઈએ: પિઝા અથવા સલાડ), ન્યૂઝલેટર્સ (કાઉન્ટર-વેલ્યુ જોડી) અને નિવેદનો મતપત્રો વિશે. SCP રાઉન્ડમાં ફેડરલ મતદાનના કેટલાક રાઉન્ડનો સમાવેશ થાય છે, ખાસ કરીને નીચેના નિવેદનો પર:

• "હું મતદાન B કરવા માટે તૈયાર છું" અને
• "હું બેલેટ Bની પ્રતિબદ્ધતાની જાહેરાત કરું છું"

આપેલ નોડના પરિપ્રેક્ષ્યમાં, સર્વસંમતિ પ્રાપ્ત થાય છે જ્યારે તેને એક મતપત્ર 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 મતદાન. બતાવવામાં આવતું નથી: ટાઈમર કોઈપણ સમયે બંધ થઈ શકે છે, મતપત્ર પરની ગણતરીમાં વધારો કરી શકે છે (અને સંભવતઃ વધારાના નોમિનેટેડ ઉમેદવારોનું એક નવું સંયોજન તૈયાર કરે છે).

અને તે બધું છે! એકવાર નેટવર્ક સર્વસંમતિ સુધી પહોંચી જાય, તે ફરીથી અને ફરીથી કરવા માટે તૈયાર છે. સ્ટેલર પેમેન્ટ નેટવર્ક પર, આ લગભગ દર 5 સેકન્ડમાં એક વાર થાય છે: એક પરાક્રમ કે જેમાં SCP દ્વારા બાંયધરી આપવામાં આવેલી સુરક્ષા અને અસ્તિત્વ બંનેની જરૂર હોય છે.

SCP સંઘીય મતદાનના બહુવિધ રાઉન્ડ પર આધાર રાખીને આ હાંસલ કરી શકે છે. કોરમ સ્લાઈસની વિભાવના દ્વારા ફેડરેટેડ વોટિંગ શક્ય બને છે: સાથીદારોના સમૂહ કે જેના પર દરેક નોડે તેના (વ્યક્તિલક્ષી) કોરમના ભાગ રૂપે વિશ્વાસ કરવાનું નક્કી કર્યું છે. આ રૂપરેખાંકનનો અર્થ એ છે કે ખુલ્લા સભ્યપદ અને બાયઝેન્ટાઇન છેતરપિંડીવાળા નેટવર્કમાં પણ સર્વસંમતિ પ્રાપ્ત કરી શકાય છે.

વધુ વાંચન

• અસલ SCP વ્હાઇટ પેપર મળી શકે છે અહીંઅને અહીં તેના અમલીકરણ માટે ડ્રાફ્ટ સ્પષ્ટીકરણો.
• SCP પ્રોટોકોલના મૂળ લેખક, ડેવિડ મેઝિયર, તેને સરળ (પરંતુ હજુ પણ તકનીકી) રીતે સમજાવે છે. અહીં.
• તમને આ લેખમાં "ખાણકામ" અથવા "કામનો પુરાવો" શબ્દો ન મળવાથી આશ્ચર્ય થયું હશે. SCP આ પદ્ધતિઓનો ઉપયોગ કરતું નથી, પરંતુ કેટલાક અન્ય સર્વસંમતિ અલ્ગોરિધમ્સ કરે છે. ઝેન વિથરસ્પૂને સુલભ લખ્યું સર્વસંમતિ અલ્ગોરિધમ્સની ઝાંખી.
• પગલું દ્વારા પગલું વર્ણન એક સરળ નેટવર્ક જે SCP ના એક સંપૂર્ણ રાઉન્ડમાં સર્વસંમતિ સુધી પહોંચે છે.
• SCP અમલીકરણમાં રસ ધરાવતા વાચકો માટે: જુઓ C++ કોડ, સ્ટેલર પેમેન્ટ નેટવર્ક દ્વારા ઉપયોગમાં લેવાય છે, અથવા કોડ જાઓ, જે મેં SCP ને વધુ સારી રીતે સમજવા માટે લખ્યું છે.

સોર્સ: www.habr.com