స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్ మొదట వివరించబడింది శాస్త్రీయ వ్యాసం 2015లో డేవిడ్ మజియర్. ఇది "ఫెడరల్ బైజాంటైన్ అగ్రిమెంట్ సిస్టమ్", ఇది వికేంద్రీకరించబడిన, లీడర్‌లెస్ కంప్యూటింగ్ నెట్‌వర్క్‌లు ఒక నిర్ణయంపై సమర్ధవంతంగా ఏకాభిప్రాయాన్ని చేరుకోవడానికి అనుమతిస్తుంది. పాల్గొనే వారందరికీ కనిపించే స్థిరమైన లావాదేవీ చరిత్రను నిర్వహించడానికి స్టెల్లార్ చెల్లింపు నెట్‌వర్క్ స్టెల్లార్ కాన్సెన్సస్ ప్రోటోకాల్ (SCP)ని ఉపయోగిస్తుంది.

ఏకాభిప్రాయ ప్రోటోకాల్‌లను అర్థం చేసుకోవడం కష్టంగా పరిగణించబడుతుంది. SCP చాలా వాటి కంటే సరళమైనది, కానీ ఇప్పటికీ ఈ ఖ్యాతిని పంచుకుంటుంది - పాక్షికంగా శాస్త్రీయ కథనం యొక్క మొదటి సగం అంశంగా ఉన్న "ఫెడరేటెడ్ ఓటింగ్" SCP అని తప్పుగా భావించడం వల్ల. కానీ అది నిజం కాదు! ఇది వ్యాసం యొక్క రెండవ సగం సృష్టించడానికి ఉపయోగించే ఒక ముఖ్యమైన బిల్డింగ్ బ్లాక్ అసలు స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్.

ఈ ఆర్టికల్‌లో "ఒప్పందాల వ్యవస్థ" అంటే ఏమిటో, దానిని "బైజాంటైన్"గా మార్చగలగడం మరియు బైజాంటైన్ వ్యవస్థను ఎందుకు "ఫెడరల్"గా మార్చగలదో క్లుప్తంగా వివరిస్తాము. మేము SCP కథనంలో వివరించిన ఫెడరేటెడ్ ఓటింగ్ విధానాన్ని వివరిస్తాము మరియు చివరకు మేము SCP ప్రోటోకాల్‌ను వివరిస్తాము.

ఒప్పంద వ్యవస్థలు

ఒప్పందాల వ్యవస్థ మధ్యాహ్న భోజనం కోసం ఏమి ఆర్డర్ చేయాలి వంటి ఒక అంశంపై ఏకాభిప్రాయాన్ని చేరుకోవడానికి పాల్గొనేవారి సమూహాన్ని అనుమతిస్తుంది.

ఇంటర్‌స్టెల్లార్‌లో, మేము మా స్వంత డైనింగ్ అగ్రిమెంట్ సిస్టమ్‌ను అమలు చేసాము: మా కార్యకలాపాల నిర్వాహకుడు జాన్ చెప్పేదానిని మేము ఆర్డర్ చేస్తాము. ఇది సరళమైన మరియు సమర్థవంతమైన ఒప్పంద వ్యవస్థ. మనమందరం జాన్‌ను విశ్వసిస్తాము మరియు అతను ప్రతిరోజూ ఆసక్తికరమైన మరియు పోషకమైనదాన్ని కనుగొంటాడని నమ్ముతాము.

అయితే జాన్ మన నమ్మకాన్ని దుర్వినియోగం చేస్తే? మనమందరం శాకాహారులుగా మారాలని అతను ఒంటరిగా నిర్ణయించగలడు. ఒకటి లేదా రెండు వారాల్లో, మేము బహుశా అతనిని పడగొట్టి, ఎలిజబెత్‌కు అధికారాన్ని అప్పగిస్తాము. అయితే ఆమెకు హఠాత్తుగా ఆంకోవీస్‌తో ఆవకాయలు అంటే చాలా ఇష్టం మరియు అందరూ అలానే ఉండాలని అనుకుంటుంది. అధికారం అవినీతిపరుస్తుంది. కాబట్టి మరికొంత ప్రజాస్వామ్య పద్ధతిని కనుగొనడం ఉత్తమం: సమయానుకూలంగా మరియు స్పష్టమైన ఫలితాన్ని అందిస్తూ, వేర్వేరు ప్రాధాన్యతలను పరిగణనలోకి తీసుకున్నారని నిర్ధారించుకోవడానికి, ఎవరూ మధ్యాహ్న భోజనాన్ని ఆర్డర్ చేయడం లేదా ఐదుగురు వ్యక్తులు వేర్వేరు ఆర్డర్‌లు ఇవ్వడం లేదా చర్చ సాయంత్రం వరకు లాగుతుంది.

పరిష్కారం చాలా సులభం అని అనిపిస్తుంది: ఓటు వేయండి! కానీ ఇది తప్పుదోవ పట్టించే అభిప్రాయం. బ్యాలెట్లను సేకరించి ఫలితాలను ఎవరు తెలియజేస్తారు? మరి అతడు చెప్పేది ఇతరులు ఎందుకు నమ్మాలి? బహుశా మనం చేయగలం మొదట ఓటింగ్‌కు నాయకత్వం వహించడానికి మనం విశ్వసించే నాయకుడికి ఓటు వేయండి - కానీ దానిని ఎవరు నడిపిస్తారు మొదటిది ఓటు ద్వారా? ఒక నాయకుడిని మనం అంగీకరించలేకపోతే ఎలా? లేదా మేము ఒక ఒప్పందం కుదుర్చుకుంటే, కానీ ఈ నాయకుడు మీటింగ్‌లో చిక్కుకుపోతే లేదా అనారోగ్యంతో సెలవుపై వెళితే?

పంపిణీ చేయబడిన కంప్యూటర్ నెట్‌వర్క్‌లలో ఇలాంటి సమస్యలు సంభవిస్తాయి. షేర్ చేసిన ఫైల్‌ని అప్‌డేట్ చేయడం లేదా ప్రాసెసింగ్ క్యూ నుండి టాస్క్‌ను తీసివేయడం వంటి నిర్ణయాన్ని అందరు పాల్గొనేవారు లేదా నోడ్‌లు తప్పనిసరిగా అంగీకరించాలి. క్రిప్టోకరెన్సీ నెట్‌వర్క్‌లో, నోడ్‌లు అనేక సాధ్యమైన సంస్కరణల నుండి పూర్తి కథనం ఎలా ఉంటుందో పదే పదే ఎంచుకోవలసి ఉంటుంది, ఇది కొన్నిసార్లు వైరుధ్యం. నాణెం (ఎ) చెల్లుబాటు అయ్యేది (నకిలీ కాదు) మరియు (బి) ఇంకా ఎక్కడైనా ఖర్చు చేయలేదని ఈ నెట్‌వర్క్ ఒప్పందం గ్రహీతకు హామీ ఇస్తుంది. అతను భవిష్యత్తులో నాణేలను ఖర్చు చేయగలడని ఇది నిర్ధారిస్తుంది ఎందుకంటే కొత్త గ్రహీత అదే కారణాల కోసం అదే హామీలను కలిగి ఉంటాడు.

పంపిణీ చేయబడిన కంప్యూటింగ్ నెట్‌వర్క్‌లోని ఏదైనా ఏకాభిప్రాయ వ్యవస్థ తప్పక తప్పు-తట్టుకునేదిగా ఉండాలి: స్లో లింక్‌లు, ప్రతిస్పందించని నోడ్‌లు మరియు తప్పు సందేశం క్రమం వంటి లోపాలు ఉన్నప్పటికీ ఇది స్థిరమైన ఫలితాలను అందించాలి. బైజాంటైన్ అగ్రిమెంట్ సిస్టమ్ అదనంగా "బైజాంటైన్" లోపాలకి నిరోధకతను కలిగి ఉంటుంది: పొరపాటు కారణంగా లేదా సిస్టమ్‌ను అణగదొక్కడానికి లేదా కొంత ప్రయోజనాన్ని పొందేందుకు ఉద్దేశపూర్వకంగా చేసిన తప్పుడు సమాచారాన్ని అందించే నోడ్‌లు. "బైజాంటైన్" ఫాల్ట్ టాలరెన్స్ - కొంతమంది గ్రూప్ సభ్యులు అబద్ధాలు చెప్పినా లేదా నిర్ణయం తీసుకునే నియమాలను పాటించకపోయినా సమూహ నిర్ణయాన్ని విశ్వసించే సామర్థ్యాన్ని - అంటారు బైజాంటైన్ సామ్రాజ్యం యొక్క జనరల్స్ గురించి ఉపమానందాడిని సమన్వయం చేసేందుకు ప్రయత్నించారు. మంచి వివరణ ఆంథోనీ స్టీవెన్స్ వద్ద.

క్రిప్టో కాయిన్ యజమాని ఆలిస్‌ను పరిగణించండి, అతను బాబ్ నుండి రుచికరమైన ఐస్ క్రీం కొనుగోలు చేయడం మరియు కరోల్ రుణాన్ని చెల్లించడం మధ్య ఎంచుకోవాలి. బహుశా ఆలిస్ ఒకే నాణెం మోసపూరితంగా ఖర్చు చేయడం ద్వారా వారిద్దరికీ ఒకేసారి చెల్లించాలనుకుంటాడు. ఇది చేయటానికి, ఆమె నాణెం కరోల్‌కు ఎప్పుడూ చెల్లించబడలేదని బాబ్ యొక్క కంప్యూటర్‌ను ఒప్పించాలి మరియు బాబ్‌కు నాణెం ఎప్పుడూ చెల్లించబడలేదని కరోల్ కంప్యూటర్‌ను ఒప్పించాలి. బైజాంటైన్ ఒప్పందాల వ్యవస్థ దీనిని వాస్తవంగా అసాధ్యం చేస్తుంది, మెజారిటీ నియమం అనే రూపాన్ని ఉపయోగిస్తుంది కోరం. అటువంటి నెట్‌వర్క్‌లోని నోడ్ తగిన సంఖ్యలో సహచరులు - కోరం - అటువంటి పరివర్తనకు అంగీకరిస్తున్నట్లు చూసే వరకు చరిత్ర యొక్క నిర్దిష్ట సంస్కరణకు తరలించడానికి నిరాకరిస్తుంది. ఇది జరిగిన తర్వాత, మిగిలిన నెట్‌వర్క్ నోడ్‌లు తమ నిర్ణయాన్ని అంగీకరించేలా బలవంతంగా ఓటింగ్ బ్లాక్‌ను ఏర్పాటు చేస్తారు. ఆలిస్ తన తరపున అబద్ధం చెప్పమని కొన్ని నోడ్‌లను బలవంతం చేయగలదు, అయితే నెట్‌వర్క్ తగినంత పెద్దదైతే, ఆమె ప్రయత్నం నిజాయితీ గల నోడ్‌ల ఓట్లతో మునిగిపోతుంది.

కోరం కోసం ఎన్ని నోడ్‌లు అవసరం? లోపాలు మరియు మోసాలను ఎదుర్కోవడానికి కనీసం మెజారిటీ లేదా అర్హత కలిగిన మెజారిటీ. కానీ మెజారిటీని లెక్కించడానికి, మీరు పాల్గొనేవారి మొత్తం సంఖ్యను తెలుసుకోవాలి. ఇంటర్‌స్టెల్లార్ కార్యాలయంలో లేదా జిల్లా ఎన్నికలలో, ఈ సంఖ్యలను సులభంగా కనుగొనవచ్చు. కానీ మీ సమూహం వదులుగా నిర్వచించబడిన నెట్‌వర్క్ అయితే, కేంద్రం నుండి అనుమతి లేకుండా నోడ్‌లు ఇష్టానుసారంగా ప్రవేశించవచ్చు మరియు వదిలివేయవచ్చు, అప్పుడు మీకు అవసరం సమాఖ్య ముందుగా నిర్ణయించిన నోడ్‌ల జాబితా నుండి కాకుండా డైనమిక్‌గా, ఒక నిర్దిష్ట సమయంలో నోడ్‌ల యొక్క ఎప్పటికప్పుడు మారుతున్న మరియు అనివార్యంగా అసంపూర్తిగా ఉండే స్నాప్‌షాట్ నుండి కోరమ్‌లను నిర్ణయించగల బైజాంటైన్ ఒప్పంద వ్యవస్థ.

విస్తారమైన నెట్‌వర్క్‌లో ఒకే నోడ్ కోణం నుండి కోరమ్‌ను సృష్టించడం అసాధ్యం అనిపించవచ్చు, కానీ అది సాధ్యమే. అటువంటి కోరం వికేంద్రీకృత ఓటింగ్ ఫలితాలకు కూడా హామీ ఇస్తుంది. అనే విధానాన్ని ఉపయోగించి దీన్ని ఎలా చేయాలో SCP వైట్ పేపర్ చూపిస్తుంది ఫెడరల్ ఓటు ద్వారా.

అసహనం కోసం

మిగిలిన కథనం ఫెడరేటెడ్ ఓటింగ్ మరియు స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను మరింత వివరంగా వివరిస్తుంది. మీకు వివరాలపై ఆసక్తి లేకుంటే, ప్రక్రియ యొక్క సాధారణ అవలోకనం ఇక్కడ ఉంది.

  1. నోడ్‌లు "నామినీల"పై ఫెడరల్ ఓటింగ్ రౌండ్‌లను నిర్వహిస్తాయి. ఫెడరల్ ఓటింగ్ రౌండ్ అంటే:
    • నోడ్ కొన్ని ప్రకటనలకు ఓటు వేస్తుంది, ఉదాహరణకు, "నేను V యొక్క విలువను ప్రతిపాదిస్తున్నాను";
    • నోడ్ "స్వీకరించగల" దాన్ని కనుగొనే వరకు సహచరుల స్వరాలను వింటుంది;
    • నోడ్ ఈ ప్రకటన కోసం "కోరం" కోసం చూస్తుంది. ఒక కోరం నామినీని "ధృవీకరిస్తుంది".
  2. నోడ్ ఒకటి లేదా అంతకంటే ఎక్కువ మంది నామినీలను నిర్ధారించగలిగితే, అది అనేక రౌండ్ల ఫెడరేటెడ్ ఓటింగ్ ద్వారా "బ్యాలెట్"ని "సిద్ధం" చేయడానికి ప్రయత్నిస్తుంది.
  3. ఒక నోడ్ బ్యాలెట్ సిద్ధంగా ఉందో లేదో ధృవీకరించగలిగితే, అది మరిన్ని రౌండ్ల ఫెడరేటెడ్ ఓటింగ్ ద్వారా దానిని చేయడానికి ప్రయత్నిస్తుంది.
  4. ఒక నోడ్ బ్యాలెట్ యొక్క నిబద్ధతను నిర్ధారించిన తర్వాత, అది ఏకాభిప్రాయ ఫలితంగా దానిని ఉపయోగించడం ద్వారా ఆ బ్యాలెట్ విలువను "బహిర్గతం" చేయగలదు.

ఈ దశల్లో ఫెడరేటెడ్ ఓటింగ్ యొక్క బహుళ రౌండ్లు ఉంటాయి, ఇవి సమిష్టిగా ఒక SCP రౌండ్‌ను ఏర్పరుస్తాయి. ప్రతి దశలో ఏమి జరుగుతుందో నిశితంగా పరిశీలిద్దాం.

ఫెడరేటెడ్ ఓటింగ్

ఫెడరేటెడ్ ఓటింగ్ అనేది నెట్‌వర్క్ ప్రతిపాదనపై ఏకీభవించగలదో లేదో నిర్ణయించడానికి ఒక ప్రక్రియ. ఓటింగ్ రౌండ్‌లో, ప్రతి నోడ్ తప్పనిసరిగా అనేక సంభావ్య విలువలలో ఒకదాన్ని ఎంచుకోవాలి. నెట్‌వర్క్‌లోని ఇతర నోడ్‌లు వేరొక ఫలితాన్ని ఎంచుకోవనే నమ్మకం ఉంటే తప్ప ఇది చేయదు. దీన్ని నిర్ధారించుకోవడానికి, నోడ్‌లు ప్రతి ఒక్కరూ సందేశాలను ముందుకు వెనుకకు మార్పిడి చేస్తాయి ధ్రువీకరించారు, ఆ కోరం నాట్లు అంగీకరిస్తుంది అదే నిర్ణయం. ఈ విభాగంలోని మిగిలిన భాగం ఈ వాక్యంలోని నిబంధనలను మరియు మొత్తం ప్రక్రియ ఎలా జరుగుతుందో వివరిస్తుంది.

కోరమ్‌లు మరియు కోరం ముక్కలు

కోరమ్‌ను నిర్వచించడం ద్వారా ప్రారంభిద్దాం. మేము పైన చర్చించినట్లుగా, డైనమిక్ సభ్యత్వంతో వికేంద్రీకృత నెట్‌వర్క్‌లో, నోడ్‌ల సంఖ్యను ముందుగానే తెలుసుకోవడం అసాధ్యం మరియు అందువల్ల మెజారిటీకి ఎన్ని అవసరం. ఫెడరేటెడ్ ఓటింగ్ కొత్త ఆలోచనను ప్రవేశపెట్టడం ద్వారా ఈ సమస్యను పరిష్కరిస్తుంది కోరం కట్ (కోరం స్లైస్): ఓటింగ్ స్థితి సమాచారాన్ని మిగిలిన నెట్‌వర్క్‌కు తెలియజేయడానికి నోడ్ విశ్వసించే పీర్‌ల చిన్న సెట్. ప్రతి నోడ్ దాని స్వంత కోరం స్లైస్‌ను నిర్వచిస్తుంది (దీనిలో ఇది వాస్తవ సభ్యుడిగా మారుతుంది).

కోరం నిర్మాణం కోరం కట్‌తో ప్రారంభమవుతుంది. ప్రతి నోడ్ కోసం, దాని కట్ నోడ్లు జోడించబడతాయి. అప్పుడు స్లైస్ నిబంధనలు జోడించబడతాయి ఈ నోడ్స్ మరియు అందువలన న. మీరు కొనసాగిస్తున్నప్పుడు, స్లైస్‌లో ఇప్పటికే చేర్చబడినందున మీరు జోడించలేని మరిన్ని నోడ్‌లు ఉన్నాయి. జోడించడానికి మరిన్ని కొత్త నోడ్‌లు లేనప్పుడు, ప్రక్రియ ఆగిపోతుంది: ప్రారంభ నోడ్ యొక్క కోరమ్ స్లైస్ యొక్క “ట్రాన్సిటివ్ క్లోజర్” ద్వారా మేము కోరమ్‌ను ఏర్పరచాము.

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
ఇచ్చిన నోడ్ నుండి కోరమ్‌ని కనుగొనడానికి...

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
... దాని స్లైస్ సభ్యులను జోడించండి...

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
...తర్వాత మేము ఈ నోడ్‌ల స్లైస్ సభ్యులను జోడిస్తాము.

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
జోడించడానికి నోడ్‌లు మిగిలి ఉండే వరకు మేము కొనసాగిస్తాము.

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
జోడించడానికి నోడ్‌లు ఏవీ లేవు. ఇది కోరం.

వాస్తవానికి, ప్రతి నోడ్ ఒకటి కంటే ఎక్కువ స్లైస్‌లలో కనిపిస్తుంది. కోరమ్‌ను రూపొందించడానికి, స్లైస్‌లలో ఒకదాన్ని మాత్రమే ఎంచుకుని, సభ్యులను జోడించండి; ఆపై ప్రతి సభ్యుల కోసం ఏదైనా స్లైస్‌ని ఎంచుకుని, సభ్యులను జోడించండి ఇది కట్ మరియు అందువలన న. దీనర్థం ప్రతి నోడ్ అనేక కోరమ్‌లలో సభ్యుడు.

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
ప్రతి దశలో ఒక కోరం స్లైస్‌ను మాత్రమే ఎంచుకోండి.

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
ఒక అవకాశం కోరం. లేదా ప్రత్యామ్నాయం...

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
...ఇతర ముక్కలను ఎంచుకోండి...

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
…(అది సాధ్యమైనప్పుడు)…

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
... మరొక కోరమ్‌ను సృష్టిస్తుంది.

ఇతర నోడ్‌లు ఏ స్లైస్‌లలో ఉన్నాయో నోడ్‌కి ఎలా తెలుస్తుంది? ఇతర నోడ్‌ల గురించిన ఇతర సమాచారం మాదిరిగానే: ప్రతి నోడ్ దాని ఓటింగ్ స్థితి మారినప్పుడు నెట్‌వర్క్‌కు ప్రసారం చేసే ప్రసారాల నుండి. ప్రతి ప్రసారంలో పంపే నోడ్ స్లైస్‌ల గురించిన సమాచారం ఉంటుంది. SCP వైట్ పేపర్ కమ్యూనికేషన్ మెకానిజంను పేర్కొనలేదు. అమలులు సాధారణంగా ఉపయోగిస్తాయి గాసిప్ ప్రోటోకాల్ నెట్‌వర్క్ అంతటా సందేశాల హామీ ప్రసారం కోసం.

నాన్-ఫెడరల్ బైజాంటైన్ ఒప్పందాల వ్యవస్థలో, కోరం అనేది అన్ని నోడ్‌లలో మెజారిటీగా నిర్వచించబడిందని గుర్తుంచుకోండి. బైజాంటైన్ ఒప్పంద వ్యవస్థ ప్రశ్న యొక్క కోణం నుండి రూపొందించబడింది: సిస్టమ్ ఎన్ని నిజాయితీ లేని నోడ్‌లను తట్టుకోగలదు? f వైఫల్యాలను తట్టుకునేలా రూపొందించిన N నోడ్‌ల వ్యవస్థలో, N−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 యొక్క ప్రతి స్లైస్‌ల నుండి ఒక నోడ్‌ను కలిగి ఉంటుంది.

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
N యొక్క రెండు స్లైస్‌లలో E కనిపిస్తుంది కాబట్టి BE అనేది 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 నామినేట్ X" ఓటుకు విరుద్ధమైన ప్రకటన కనిపించదు, అంటే, "నేను X నామినేట్ చేయడానికి వ్యతిరేకం" అనే సందేశం లేదు, కాబట్టి నోడ్ ఏదైనా విలువలను నామినేట్ చేయడానికి ఓటు వేయవచ్చు. ఈ నామినేషన్లలో చాలా వరకు ఎక్కడికీ వెళ్లవు, కానీ చివరికి నోడ్ ఒకటి లేదా అంతకంటే ఎక్కువ విలువలను ఆమోదించగలదు లేదా నిర్ధారించగలదు. నామినీ నిర్ధారించబడిన తర్వాత, అతను అవుతాడు అభ్యర్థి.

స్టెల్లార్ ఏకాభిప్రాయ ప్రోటోకాల్‌ను అర్థం చేసుకోవడం
ఫెడరేటెడ్ ఓటింగ్ ఉపయోగించి SCP నామినేషన్. అనేక "B" విలువలు సహచరులచే అందించబడతాయి మరియు నోడ్ ద్వారా "ప్రతిబింబించబడతాయి".

నామినేషన్లు అనేక ధృవీకరించబడిన అభ్యర్థులకు దారితీయవచ్చు. కాబట్టి, SCP అభ్యర్థులను ఒకదానితో ఒకటి కలపడానికి కొన్ని పద్ధతిని అందించడానికి అప్లికేషన్ లేయర్ అవసరం మిశ్రమ (మిశ్రమ). చేరడం పద్ధతి ఏదైనా కావచ్చు. ప్రధాన విషయం ఏమిటంటే, ఈ పద్ధతి నిర్ణయాత్మకమైనది అయితే, ప్రతి నోడ్ అదే అభ్యర్థులను మిళితం చేస్తుంది. లంచ్ ఓటింగ్ విధానంలో, "ఏకీకరణ" అంటే ఇద్దరు అభ్యర్థులలో ఒకరిని తిరస్కరించడం. (కానీ నిర్ణయాత్మక మార్గంలో: రీసెట్ చేయడానికి ప్రతి నోడ్ తప్పనిసరిగా అదే విలువను ఎంచుకోవాలి. ఉదాహరణకు, ఆల్ఫాబెటికల్ క్రమంలో మునుపటి ఎంపిక). లావాదేవీ చరిత్ర ఓటు వేయబడిన స్టెల్లార్ చెల్లింపు నెట్‌వర్క్‌లో, ప్రతిపాదిత ఇద్దరు నామినీలను విలీనం చేయడంలో వారు కలిగి ఉన్న లావాదేవీలను మరియు వారి రెండు టైమ్‌స్టాంప్‌లలో తాజా వాటిని విలీనం చేయడం జరుగుతుంది.

పొడిగింపు దశ ముగిసే సమయానికి, నెట్‌వర్క్ చివరికి ఒకే మిశ్రమానికి కలుస్తుందని SCP వైట్‌పేపర్ రుజువు చేస్తుంది (సిద్ధాంతము 12). కానీ ఒక సమస్య ఉంది: ఫెడరేటెడ్ ఓటింగ్ అనేది అసమకాలిక ప్రోటోకాల్ (SCP వంటివి). మరో మాటలో చెప్పాలంటే, నోడ్‌లు సమయం ద్వారా సమన్వయం చేయబడవు, కానీ అవి పంపే సందేశాల ద్వారా మాత్రమే. నోడ్ యొక్క కోణం నుండి, ఎప్పుడు అనేది అస్పష్టంగా ఉంది ముగిసింది పొడిగింపు దశ. మరియు అన్ని నోడ్‌లు చివరికి ఒకే కాంపోజిట్‌కి వచ్చినప్పటికీ, అవి మార్గంలో వేర్వేరు మార్గాలను తీసుకోవచ్చు, మార్గంలో విభిన్న మిశ్రమ అభ్యర్థులను సృష్టించవచ్చు మరియు ఏది చివరిది అని ఎప్పటికీ చెప్పలేము.

కానీ అది సాధారణం. నామినేషన్ కేవలం ప్రిపరేషన్ మాత్రమే. ఏకాభిప్రాయాన్ని సాధించడానికి అభ్యర్థుల సంఖ్యను పరిమితం చేయడం ప్రధాన విషయం, ఇది ప్రక్రియలో సంభవిస్తుంది పదవి కోసం పరుగులు తీస్తున్నారు (బ్యాలెట్).

నడుస్తోంది

బులెటిన్ ఒక జంట , ఇక్కడ కౌంటర్ అనేది 1 నుండి ప్రారంభమయ్యే పూర్ణాంకం మరియు విలువ నామినేషన్ దశ నుండి అభ్యర్థి. ఇది నోడ్ యొక్క స్వంత అభ్యర్థి కావచ్చు లేదా ఆ నోడ్ ద్వారా ఆమోదించబడిన పొరుగు నోడ్ అభ్యర్థి కావచ్చు. స్థూలంగా చెప్పాలంటే, బ్యాలెట్ స్టేట్‌మెంట్‌లపై అనేక ఫెడరేటెడ్ ఓట్లను కలిగి ఉండటం ద్వారా కొంత బ్యాలెట్‌పై కొంతమంది అభ్యర్థిపై ఏకాభిప్రాయాన్ని చేరుకోవడానికి నెట్‌వర్క్‌ను బలవంతం చేయడానికి బ్యాలెట్ పునరావృతమయ్యే ప్రయత్నాలను కలిగి ఉంటుంది. బ్యాలెట్‌లపై కౌంటర్‌లు చేసిన ప్రయత్నాలను ట్రాక్ చేస్తాయి మరియు తక్కువ గణనలు ఉన్న బ్యాలెట్‌ల కంటే ఎక్కువ గణనలతో కూడిన బ్యాలెట్‌లు ప్రాధాన్యతనిస్తాయి. వార్తాలేఖ ఉంటే చిక్కుకుపోతుంది, కొత్త ఓటు ప్రారంభమవుతుంది, ఇప్పుడు బ్యాలెట్‌లో ఉంది .

వేరు చేయడం ముఖ్యం అర్థం (ఉదాహరణకు, లంచ్ ఆర్డర్ ఎలా ఉండాలి: పిజ్జా లేదా సలాడ్‌లు), వార్తాలేఖలు (కౌంటర్-వాల్యూ జత) మరియు ప్రకటనలు బ్యాలెట్ల గురించి. SCP రౌండ్ అనేక రౌండ్ల ఫెడరల్ ఓటింగ్‌ను కలిగి ఉంటుంది, ప్రత్యేకించి క్రింది ప్రకటనలపై:

  • "నేను బ్యాలెట్ 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

ఒక వ్యాఖ్యను జోడించండి