Hab-maamuuska heshiiska Stellar ayaa markii ugu horreysay lagu sifeeyay David Mazier sanadkii 2015. Kani waa "nidaamka heshiiska Byzantine ee federaaliga ah" kaas oo u oggolaanaya shabakadaha xisaabinta ee baahsan, hoggaamiye la'aanta inay si hufan u gaaraan heshiis la'aan go'aan. Shabakadda lacag-bixinta Stellar waxay isticmaashaa Hab-raaca Oggolaanshaha Stellar (SCP) si ay u ilaaliso taariikhda macaamil ganacsi joogto ah taasoo u muuqata dhammaan ka qaybgalayaasha.
Nidaamyada la isku raacsan yahay ayaa loo arkaa inay adag tahay in la fahmo. SCP way ka sahlan tahay intooda badan, laakiin wali waxay wadaagaan sumcaddan - qayb ahaan sababtoo ah fikradda khaldan ee "codbixinta federaalka", oo ah mawduuca qaybta hore ee maqaalka sayniska, waa SCP. Laakiin taasi run maaha! Tani waa kaliya dhisme muhiim ah oo qaybta labaad ee maqaalku u isticmaalo abuurista dhabta ah Borotokoolka is-afgaradka Stellar
Maqaalkan waxaan si kooban u sharxi doonaa waxa uu yahay "nidaamka heshiisyada", maxaa ka dhigi kara "Byzantine" iyo sababta nidaamka Byzantine uga dhigayo "federal". Waxaan markaa sharxi doonaa nidaamka codeynta federaaliga ee lagu sifeeyay maqaalka SCP, ugu dambeyntiina waxaan sharxi doonaa borotokoolka SCP laftiisa.
Nidaamyada heshiiska
Nidaamka heshiisyada ayaa u oggolaanaya koox ka mid ah ka qaybgalayaasha in ay gaaraan is-afgarad ku saabsan mawduuc, sida waxa la dalbanayo qadada.
Interstellar, waxaanu fulinay nidaamkayaga heshiiska cuntada: waxaanu dalbanaa waxa uu yidhi maareeyaha hawlgaladayada, John. Tani waa nidaam heshiis fudud oo waxtar leh. Dhammaanteen waan ku kalsoonahay John oo waxaan aaminsanahay inuu heli doono wax xiiso leh oo nafaqo leh maalin kasta.
Laakiin maxaa dhacaya haddii Yooxanaa uu ku xadgudbo kalsoonidayada? Keligiis ayuu go'aansan karaa in aan dhammaanteen noqonno vegans. Todobaad ama laba toddobaad gudahood, waxa ay u badan tahay in aanu afgembin doono oo aanu xilka ku wareejin doono Elizabeth. Laakiin si lama filaan ah waxay jeceshahay avokado leh anchovies waxayna u maleyneysaa in qof kastaa uu sidaas ahaado. Awooddu way qudhuntaa. Markaa way fiican tahay in la helo hab dimoqraadi ah oo dheeraad ah: si loo hubiyo in dookhyada kala duwan la tixgeliyo, iyada oo la hubinayo natiijadu waqtigeeda oo aan mugdi ku jirin, si aan qofna u dhammaanin inuu dalbado qadada, ama shan qof ayaa amarro kala duwan soo saara, ama dooda. jiidaya ilaa fiidkii.
Waxay u ekaan kartaa in xalku fudud yahay: in la qabto cod! Laakiin tani waa aragti marin habaabin ah. Yaa ururin doona codadka oo soo sheegi doona natiijada? Maxayse dadka kale u rumaysan yihiin wuxuu yidhi? Waxaa laga yaabaa inaan awoodno marka hore u codee hogaamiyaha aan ku kalsoonahay inuu hogaamiyo codeynta - laakiin yaa hogaamin doona marka hore codayn? Ka warran haddaynu ku heshiin wayno hoggaamiye? Mise ka waran haddii aan heshiis gaadhno, laakiin hoggaamiyahan uu shir ku xayiro ama uu xanuunsado?
Dhibaatooyin la mid ah ayaa ka dhaca shabakadaha kombiyuutarada ee la qaybiyey. Dhammaan ka qaybqaatayaasha ama qanjidhada waa in ay ku heshiiyaan qaar ka mid ah go'aanka, sida kuwaas oo markooda ay tahay in la cusboonaysiiyo faylka la wadaago ama ka saaro hawsha safka habaynta. Shabakadda cryptocurrency, noodhadhku si isdaba joog ah waa inay doortaan waxa sheekada oo dhami u eg tahay dhowr nooc oo suurtagal ah, kuwaas oo mararka qaarkood isku dhaca. Heshiska shabakadani waxa uu siinaya dammaanad qaataha in qadaadiicda ay tahay (a) sax (aan ahayn been abuur) iyo (b) aan wali meel kale lagu isticmaalin. Tani waxay sidoo kale hubineysaa inuu awood u yeelan doono inuu qarash gareeyo mustaqbalka sababtoo ah qaataha cusub wuxuu yeelan doonaa dammaanad isku mid ah sababo la mid ah.
Nidaam kasta oo la isku raacsan yahay ee shabakada xisaabinta la qaybiyey waa in uu noqdaa mid u dulqaadan kara khaladaadka: waa in uu soo saaraa natiijooyin joogto ah inkasta oo ay jiraan khaladaad sida xiriiriyeyaasha gaabis ah, noodhadhka aan jawaab-celinta lahayn, iyo fariinta fariinta khaldan. Byzantine Nidaamka heshiisku waxa uu sidoo kale u adkaysanayaa khaladaadka "Byzantine": noodhka bixiya macluumaad been ah, ha ahaato qalad ama isku day ula kac ah oo lagu wiiqayo nidaamka ama laga helayo faa'iido. Dulqaadashada qaladka "Byzantine" - awoodda lagu aamino go'aanka kooxda xitaa marka xubnaha kooxda qaarkood ay been sheegi karaan ama haddii kale aysan raacin xeerarka go'aan qaadashada - ayaa loo yaqaan kuwaas oo isku dayay in ay isku duba ridaan weerarka. Anthony Stevens.
Tixgeli milkiilaha lacagta crypto ee Alice, oo ay tahay inay kala doorato iibsashada jalaatada macaan ee Bob iyo bixinta deynta Carol. Waxaa laga yaabaa Alice inay rabto inay labadoodaba hal mar bixiso iyadoo si khiyaano ah u kharash gareynaysa isla qadaadiic. Si tan loo sameeyo, waa in ay ku qanciso kombayutarka Bob in lacagta qadaadiicda ah aan waligeed la siin Carol, oo ay ka dhaadhiciso Carol kombayutarka in lacagtaas aan waligeed la siin Bob. Nidaamka Byzantine ee heshiisyada ayaa tan ka dhigaya mid aan macquul ahayn, iyada oo la adeegsanayo qaab xukun aqlabiyad ah oo la yiraahdo tirada. Noodka shabakadan oo kale ayaa diidaya inuu u guuro nooc gaar ah oo taariikhda ah ilaa ay aragto in tiro ku filan oo asxaabta ah - kooramku - ay ogolaadaan kala-guurka noocaas ah. Marka tani dhacdo, waxay samayn doonaan koox codbixineed oo weyn si ay ugu qasbaan noodhka shabakada ee hadhay inay ku raacaan go'aankooda. Alice waxay ku qasbi kartaa qaar ka mid ah qanjidhada inay been u sheegaan magaceeda, laakiin haddii shabakadu ay weyn tahay, isku daygeeda waxaa ka adkaan doona codadka qanjidhada daacadda ah.
Immisa noodes ayaa loo baahan yahay kooramku? Ugu yaraan, aqlabiyad, ama halkii, aqlabiyad u qalma in lagula dagaallamo khaladaadka iyo khiyaanada. Laakiin si aad u tiriso aqlabiyadda, waxaad u baahan tahay inaad ogaato wadarta tirada ka qaybgalayaasha. Xafiiska Interstellar ama doorashada degmada, tirooyinkaan waa sahlan tahay in la ogaado. Laakin haddii kooxdaadu ay tahay shabakad si dabacsan loo qeexay oo qanjidhada ay geli karaan kana bixi karaan siday rabaan iyada oo aan oggolaansho laga helin xarunta, markaa waxaad u baahan tahay federaal nidaamka heshiiska Byzantine oo awood u leh in uu go'aamiyo kooramyada aan ka soo bixin liiska qanjirada ee horay loo sii go'aamiyay, laakiin si firfircooni leh, laga bilaabo isbeddelka isbeddelka iyo lama huraanka ah ee aan dhammaystirnayn ee qanjidhada wakhti go'an.
Waxa laga yaabaa in ay u muuqato mid aan suurtagal ahayn in kooram la abuuro marka laga eego aragtida hal noode ee shabakad ballaadhan, laakiin waa suurtagal. Kooramka noocaan oo kale ah wuxuu xitaa dammaanad qaadi karaa natiijada cod bixinta baahsanaanta. Warqadda cad ee SCP waxay tuseysaa sida tan loo sameeyo iyadoo la isticmaalayo habraac la yiraahdo ku codaynta federaalka.
Kuwa aan dulqaadan karin
Maqaalka intiisa kale waxa uu si faahfaahsan u qeexayaa codaynta federaaliga ah iyo borotokoolka heshiishka Stellar. Haddii aadan xiisaynaynin tafaasiisha, halkan waxaa ah dulmar guud oo ku saabsan habka.
- Noodsyadu waxay qabtaan wareegyo codbixin federaali ah "magacaabay." Wareega codbixinta federaalka macnaheedu waa:
- Noodku wuxuu u codeeyaa bayaan qaar, tusaale ahaan, "Waxaan soo jeedinayaa qiimaha V";
- Noodku wuxuu dhagaystaa codadka asxaabta ilaa uu ka helayo mid "heli kara";
- Noodku wuxuu u raadinayaa "koorum" caddayntan. Kooramku wuxuu "xaqiijiyaa" qofka la magacaabay.
- Marka ay noodu xaqiijin karto hal ama in ka badan oo la magacaabay, waxa ay isku daydaa in ay "diyaariso" "codbixinta" iyada oo loo marayo dhowr wareeg oo codbixineed.
- Marka noodhka uu awoodo in uu xaqiijiyo in warqadu diyaar tahay, waxa ay isku daydaa in ay samayso iyada oo loo marayo wareegyo badan oo codbixineed.
- Marka noodu ay xaqiijiso go'aanka codbixinta, waxay "ka saari kartaa" qiimaha warqadda codbixinta iyadoo u adeegsanaysa natiijo la isku raacsan yahay.
Tallaabooyinkani waxay ku lug leeyihiin wareegyo badan oo codbixin federaal ah, kuwaas oo si wadajir ah u sameeyay hal wareeg oo SCP ah. Aynu si qoto dheer u eegno waxa dhacaya tallaabo kasta.
Codeynta federaaliga ah
Codeynta federaalku waa hab lagu go'aamiyo in shabakadu ku heshiin karto soo jeedin iyo in kale. Wareega cod bixinta, noodh kastaa waa inuu doortaa mid ka mid ah qiimayaasha suurtogalka ah ee badan. Tani ma samayn karto ilaa ay ku kalsoon tahay in qanjidhada kale ee shabakada aysan dooran doonin natiijo ka duwan. Si taas loo hubiyo, noodhadhku waxay isweydaarsadaan farriimo badan oo gadaal iyo gadaal ah si qof walba xaqiijiyay, taas tirada buro aqbalayaa wax la mid ah go'aanka. Qaybtan inteeda kale waxay sharraxaysaa ereyada jumladan iyo sida habka oo dhan u dhaco.
Kooramyada iyo godadka koorum
Aan ku bilowno qeexida kooramka Sida aan kor uga soo hadalnay, shabakad baahsan oo leh xubin firfircoon, suurtagal maaha in horay loo sii ogaado tirada noodhka iyo sidaas awgeed inta loo baahan yahay aqlabiyadda. Codeynta federaalku waxay xallisaa dhibaatadan iyadoo soo bandhigaysa fikrad cusub Kooramku gooyay (Qurum jeex): Koox yar oo asaageed ah oo noodu ku kalsoon tahay inay gaadhsiiyaan xogta heerka codaynta shabakada inteeda kale. noodh kastaa waxa uu qeexaa jeex jeexan kooramkiisa (kaas oo ay noqoto xubin dhab ah).
Samaynta Kooramku waxay ku bilaabataa goynta kooramku. Nod kasta, nuucyadiisa la gooyay ayaa lagu daraa. Kadibna ereyada jarjaran ayaa lagu daraa noodhadhkan iyo wixi la mida. Markaad sii wadato, waxaa jira noono badan oo aadan ku dari karin sababtoo ah mar hore ayay ku jiraan jeex. Marka aanay jirin qanjidhada cusub ee lagu daro, hawshu way joogsanaysaa: waxaanu samaynay kooram β xidhidh ku meel gaadh ahβ
Si aad kooram uga hesho noodhka la siiyay...
... ku dar xubnaha qaybteeda...
...ka dibna waxaan ku darnaa xubno jeexan oo ka mid ah noodhkan.
Waanu sii wadnaa ilaa laga waayo noodhadh lagu daro.
Ma jiraan wax noodh ah oo lagu daro Kani waa kooram
Dhab ahaantii, noodh kastaa wuxuu ka soo muuqan karaa in ka badan hal jeex. Si aad u samaysato kooram, dooro mid ka mid ah jeexyada oo ku dar xubno; ka dibna u dooro jeex kasta oo xubnaha ka mid ah oo ku dar xubno waxaa jar iyo wixii la mid ah. Tani waxay ka dhigan tahay in nood kastaa uu yahay xubin ka mid ah kooramka badan ee suurtogalka ah.
Ka dooro hal xabbo oo kooramku tillaabo kasta ah.
Hal kooram oo suurtagal ah Ama beddelka...
...dooro jeexyo kale...
β¦ (marka ay suurtagal tahay)β¦
... wuxuu abuuraa kooram kale.
Sidee buu u ogaan karaa jeexyada noodhka kale ee ku jira? Si la mid ah macluumaadka kale ee ku saabsan qanjidhada kale: laga bilaabo gudbinta ay nood kasta u baahiso shabakada marka xaaladeeda codbixintu is beddesho. Baahinta kasta waxaa ku jira macluumaadka ku saabsan jeexyada noodhka diraya. Warqadda cad ee SCP ma qeexayso habka isgaarsiinta. Hirgelinta sida caadiga ah waa la isticmaalaa dammaanad qaadka baahinta fariimaha shabakadaha oo dhan.
Xusuusnow in nidaamka Byzantine ee aan federaalka ahayn ee heshiisyada, kooramku waxaa lagu qeexaa inta badan dhammaan qanjidhada. Nidaamka heshiiska Byzantine waxaa loogu talagalay marka laga eego aragtida su'aasha: immisa qanjidhada aan daacadda ahayn ayaa nidaamku u dulqaadan karaa? Nidaamka N-nodes-ka ee loogu talagalay in lagu noolaado f guul-darrooyinka, noodhka waa inuu awood u yeeshaa inuu horumar sameeyo isagoo ka helaya jawaab-celin ka timid asxaabta N-f maadaama f iyaga ka mid ahi hoos u dhici karaan. Laakin anagoo jawaab ka helnay asxaabtii N-f, waxaan u qaadan karnaa in dhamaan facooda (kaas oo noodu uusan jawaab ka helin) ay dhab ahaantii daacad yihiin. Markaa, f ka baxsan asxaabta N-f (ee jawaabta laga helay) waa xaasidnimo. Si ay noodhadhku u yimaadaan heshiis isku mid ah, inta badan qanjidhada hadhay waa inay daacad ahaadaan, taas oo ah, waxaan u baahanahay N-f inuu ka weyn yahay 2f ama N> 3f. Marka sida caadiga ah nidaamka loogu talagalay in lagu noolaado f guuldarrooyinka wuxuu yeelan doonaa wadarta N=3f+1 qanjidhada iyo cabbirka kooramka 2f+1. Marka soo jeedintu dhaafto tirada kooramka, shabakada inteeda kale waxay ku qanacsan tahay in soo jeedin kasta oo tartan ahi ay fashilmi doonto. Tani waa sida shabakadu ugu biirto natiijada.
Laakiin nidaamka heshiiska Byzantine ee federaalka, ma aha oo kaliya ma jiri karto aqlabiyad (maxaa yeelay qofna ma garanayo cabbirka guud ee shabakadda), laakiin fikradda aqlabiyadda gabi ahaanba waa faa'iido darro! Haddii xubinimada nidaamka ay furan tahay, markaas qof ayaa heli kara aqlabiyad si fudud isaga oo fulinaya waxa loogu yeero weerarka Sybil: si isdaba joog ah ugu biirista shabakadda iyada oo loo marayo qanjidhada badan. Haddaba maxaa loo magacaabi karaa xidhitaan jeex ah oo ku meel gaadh ah tiradasideese u awoodaysaa in ay cabudhiso soo jeedinta tartamaya?
Farsamo ahaan, maya! Bal qiyaas shabakad lix nood ah, halkaas oo laba saddex-geesood ah ay ku go'doonsan yihiin kooramyada midba midka kale. Koox-hoosaadka koowaad waxa laga yaabaa inay gaadhaan go'aan aanay kan labaad waligeed maqli doonin, iyo lidkeeda. Ma jirto hab ay shabakadani ku gaadho heshiis (marka laga reebo nasiib).
Sidaa darteed, SCP waxay u baahan tahay in codaynta federaalku (iyo aragtiyaha muhiimka ah ee warqadda si loo dabaqo), shabakadu waa inay lahaataa hanti la yiraahdo isgoysyada kooramka. Shabakadda gurigan leh, labada kooram ee la dhisi karo waxay had iyo jeer isku dhacaan ugu yaraan hal nood. Si loo go'aamiyo dareenka jira ee shabakada, tani waxay u fiican tahay inaad haysato aqlabiyad. Dareen ahaan, tani waxay la macno tahay in haddii kooram kasta uu ogolaado in la sheego X, ma jiro kooram kale oo waligiis ku heshiin kara wax kale, sababtoo ah waxay daruuri ku jiri doontaa qayb ka mid ah kooramkii ugu horreeyay ee mar hore u codeeyay X.
Haddii ay jirto isgoysyada kooramka ee shabakada...
...kadib laba kooram kasta oo aad dhisi karto...
... had iyo jeer way is gooyaan.
(Dabcan, qanjidhada iskuxiran ayaa laga yaabaa inay isku beddelaan inay been sheegaan ama si kale u xun yihiin. Xaaladdan oo kale, isgoyska kooramku ma caawinayo shabakadu inay ku heshiiyaan gabi ahaanba. Sababtan awgeed, qaar badan oo ka mid ah natiijooyinka warqadda cad ee SCP waxay ku saleysan yihiin. malo cad, sida waxa ku haray isgoyska kooramka shabkada xitaa ka dib markii ay ka saareen qanjidhada xun. Si ay u fududaato, aynu ka tagno malo-awaalkan maldahan inta kale ee maqaalka).
Waxa laga yaabaa inay u ekaato wax aan caqli-gal ahayn in la filayo in kooram la isku halayn karo ay suurtogal tahay shabakad qanjidhada madax-bannaan. Laakiin waxaa jira laba sababood oo ay tani sidaas u tahay.
Sababta koowaad waa jiritaanka internetka laftiisa. Internetku waa tusaale fiican oo ah shabakad qanjidhada madax banaan oo leh kooramyo isdhaafsan. Inta badan qanjidhada interneedka waxay ku xidhmaan dhawr nod oo kale oo maxali ah, laakiin kuwan yar yar ayaa isku dul saaran oo ku filan in nood kasta laga gaadho marin kasta oo kale ee dariiqa qaarkood.
Sababta labaad waxay gaar u tahay shabakadda lacag-bixinta Stellar (isticmaalka ugu badan ee SCP). Hanti kasta oo ku jirta shabakada Stellar waxay leedahay soo saaraha, iyo tilmaamaha Stellar waxay u baahan yihiin soo saare kasta inuu u qoondeeyo hal ama ka badan oo noodhka shabakada si uu uga shaqeeyo codsiyada madax furashada. Waxaa dantaada ugu wanaagsan in aad si toos ah ama si dadban ugu darto noodhkan jeexjeexyada kooramka ee hanti kasta oo aad xiisaynayso. Kooramyada dhammaan qanjidhada xiisaynaya hantida la bixiyay ayaa markaa isku dul-xiran doona ugu yaraan qanjidhada madax furashada. Nodes xiisaynaya hanti badan ayaa ka mid noqon doona dhammaan noodhka madax furashada ee soo saarayaasha kala duwan ee jeexjeexyada kooramkooda, waxayna raadin doonaan in la mideeyo hantida oo dhan. Intaa waxaa dheer, hanti kasta oo aan ku xirnayn habkan kuwa kale ee shabakada, iyo waa in aan la isku xidhin - Tan waxaa loo qaabeeyey si aysan u jirin kooram iskuxiran oo shabakaddan ah (tusaale ahaan, bangiyada aagga dollarka mararka qaarkood waxay rabaan inay ka ganacsadaan bangiyada aagga euro-da iyo bangiyada aagga peso, sidaas darteed waxay ku xiran yihiin isku shabakad, laakiin midna ma jiro. iyaga ka mid ah waxay daneeyaan shabakada gaarka ah ee carruurta iibinaysa kaararka baseball).
Dabcan, filasho Kooramku ma jiro dammaanad qaadid. Nidaamyada kale ee heshiiska Byzantine waxay leeyihiin wax badan oo kakankooda dammaanadda kooramka. Hal-abuurnimada muhiimka ah ee SCP waa in ay ka saarto mas'uuliyadda abuurista kooramyada algorithm-ka la isku raacsan yahay lafteeda oo ay keento heerka codsiga. Haddaba, inkasta oo codaynta federaalku ay tahay mid guud oo ku filan in loo codeeyo arrin kasta, isku hallaynta ay dhab ahaantii ku xidhan tahay macnaha ballaadhan ee macnayaashan. Isticmaalka mala awaalka ah ayaa laga yaabaa inaysan u fiicnayn abuurista shabakado si fiican ugu xidhan sida kuwa kale.
Codeynta, aqbalida iyo xaqiijinta
Wareega codaynta federaaliga ah, noodhka ikhtiyaari ahaan wuxuu bilaabaa u codeynta xoogaa V. Tani waxay ka dhigan tahay baahinta fariinta shabakada: "Anigu waxaan ahay node N, jeexyada kooramkayga waa Q, waxaana u codeynayaa V." Marka Noodku sidan u codeeyo, waxa uu ballan qaadayaa in aanu waligeed u codayn V oo aanu waligiis yeeli doonin.
Baahinta fac-ilaa-fiil, noodh kastaa wuxuu arkayaa sida kuwa kale u codeynayaan. Marka ay noodu soo ururiso in ku filan fariimahan, waxay la socon kartaa jeexjeexyada kooramka oo ay isku daydo inay hesho kooramyo. Haddii uu arko kooramka asxaabta oo iyaguna V u codeeya, wuu sii socon karaa korsasho V oo u faafi fariintan cusub shabakada: "Anigu waxaan ahay node N, kooramkaygu waa Q, waana aqbalayaa V." Oggolaanshaha waxa uu bixiyaa dammaanad ka xoog badan codaynta fudud. Marka Noodku u codeeyo V, marnaba uma codayn karo doorashooyin kale. Laakin haddii udu ay aqbasho V, node-ka Shabakadu ma aqbali doono ikhtiyaarka kale (Aragtida 8 ee warqadda cad ee SCP ayaa caddaynaysa tan).
Dabcan, waxaa jirta suurtogalnimo sare oo aan isla markiiba la heli doonin kooramka noodhka ee ku raacsan V. Nodes kale ayaa laga yaabaa inay u codeeyaan qiyam kale. Laakin waxaa jirta hab kale oo uu noodku uga guuri karo cod bixinta fudud una guuri karo aqbalaadda. N waxaa laga yaabaa inuu aqbalo qiimo ka duwan W, xitaa haddii uusan u codeynin, iyo xitaa haddii uusan u arkin kooramkiisa. Si aad u go'aansato inaad bedesho codkaaga, kaliya arag go'an xannibidda noodhka aqbalay W. Xidhmada xannibaadu waa hal nood oo ka mid ah jeexyada kooramku N. Sida magacaba ka muuqata, way awoodaa xannibaad macne kale. Haddii dhammaan qanjidhada noocaan oo kale ah ay aqbalaan W, markaa (Marka la eego Theorem 8) weligeed suurtagal ma noqon doonto in la sameeyo kooram qaadanaya qiime ka duwan, sidaas darteed sidoo kale waa ammaan N inuu aqbalo W.
Node N oo leh saddex xaleef kooram.
BDF waa xannibaadyo loogu talagalay N: waxay ka kooban tahay hal nood mid kasta oo ka mid ah jeexyada N.
BE sidoo kale waa xannibaad loogu talagalay N sababtoo ah E wuxuu u muuqdaa laba qaybood oo N.
Laakiin xidhiddu ma aha kooram la'aan. Waxay noqon doontaa mid aad u fudud in la khiyaaneeyo noodhka N si uu u aqbalo qiimaha la rabo haddii ay ku filan tahay in la jabsado hal noode mid kasta oo ka mid ah xaleefyada N. Sidaa darteed, aqbalaadda qiimaha maaha dhammaadka codbixinta. Taa beddelkeeda, N waa in ay xaqiijisaa qiimaha, taas oo ah, arag tirada qanjirada ee aqbalida. Haddii ay taasi fogaato, markaa, sida warqadda cad ee SCP caddaynayso (ee Theorem 11), inta kale ee shabakada waxay sidoo kale xaqiijin doontaa isla qiimaha, sidaas darteed N waxay ku dhameyn doontaa codka federaalka oo leh qiimo gaar ah natiijada.
Codeynta federaaliga ah.
Habka codeynta, aqbalaadda, iyo xaqiijinta waxay ka kooban tahay hal wareeg oo buuxa oo codbixin federaal ah. Nidaamka isku raacitaanka Stellar wuxuu isku daraa qaar badan oo ka mid ah wareegyadan si loo abuuro nidaam la isku raacsan yahay.
Hab-maamuuska Consensus Protocol
Labada sifo ee ugu muhiimsan nidaamka la isku raacsan yahay waa - amniga ΠΈ badbaado. Algorithm-ka la isku raacsan yahay waa "ammaan" haddii aysan waligood siin karin natiijooyin kala duwan ka qaybgalayaasha kala duwan (nuqulka taariikhda Bob marnaba ka hor imanayo Carol). "Noolaansho" macnaheedu waa algorithmisku wuxuu had iyo jeer soo saari doonaa natiijo, taas oo ah, ma dhici doonto.
Habka codaynta federaalka ee lagu sifeeyay ammaan ah macnaha in haddii noodu ay xaqiijiso qiimaha V, ma jiro noode kale oo xaqiijin doona qiimaha kale. Laakiin "ma xaqiijin doono macne kale" macnaheedu maaha inay hubaal tahay inay wax xaqiijin doonto. Ka qaybgalayaashu waxay u codayn karaan qiyam kala duwan oo badan oo aan waxba gaadhi doonin heerka aqbalida. Tani waxay ka dhigan tahay in codeynta federaalka aysan jirin badbaado.
Hab-maamuuska heshiishka Stellar wuxuu u adeegsadaa codaynta federaalaynta si loo hubiyo badbaadada iyo badbaadada labadaba. (Dammaanadaha badbaadada iyo badbaadada SCP waxay leeyihiin xaddid aragtiyeed. Naqshaduhu waxay dooranayaan dammaanad ammaan oo aad u xooggan, oo u huraya yareynta badbaadada, laakiin la siiyo waqti ku filan, heshiis ayaa aad ugu dhow in la gaaro.) Marka la soo koobo, fikradda ayaa ah in la helo codad badan oo federaal ah oo ku saabsan qiyam badan ilaa mid ka mid ah uu ka soo baxo dhammaan wejiyada codbixinta ee SCP ee hoos lagu sharraxay.
Qiimaha SCP ay raadinayso heshiis waxay noqon karaan taariikhda macaamil ganacsi ama amarka qadada ama wax kale, laakiin waxaa muhiim ah in la ogaado in kuwani aysan ahayn qiyamka la aqbalay ama la xaqiijiyay. Taa beddelkeeda, codeynta federaalku waxay u dhacdaa si waafaqsan odhaah ku saabsan qiyamkan.
Wareega koowaad ee codbixinta federaalka ayaa dhacaya heerka magacaabista (marxaladda magacaabista), oo ku saabsan bayaannada sida "Waxaan magacaabayaa V," laga yaabee qiyamka kala duwan ee V. Ujeedada magacaabista waa in la helo hal ama dhowr odhaahyo oo soo mara aqbalaadda iyo xaqiijinta.
Kadib markii la helo musharixiinta la xaqiijin karo, SCP waxay u gudubtaa wejiga codbixinta, halkaas oo ujeedadu tahay in la helo wax gaar ah wargelin (taasi waa weelka qiimaha la soo jeediyay) iyo kooram cadeyn kara galan iyada (go'aan). Haddii kooramku galo warqad codbixineed, qiimihiisa waxa loo aqbalayaa sida la isku raacsan yahay. Laakin ka hor inta uusan noodhku u codayn ballan-qaadka doorashada, waa in uu marka hore xaqiijiyaa baajinta dhammaan warqadaha cod bixinta oo leh qiime hoose. Talaabooyinkan β baabi'inta waraaqaha codbixinta si loo helo mid la samayn karo - waxay ku lug leeyihiin wareegyo badan oo codbixin federaal ah oo sheegasho badan.
Qaybaha soo socdaa waxay si faahfaahsan u sharraxayaan magacaabista iyo codaynta.
Magacaabid
Bilawga marxaladda magacaabista, noodh kastaa wuxuu si iskiis ah u dooran karaa qiimaha V wuxuuna u codayn karaa bayaanka "Waxaan magacaabayaa V." Hadafka marxaladan waa in lagu xaqiijiyo magacaabista qaar ka mid ah qiimaha iyada oo loo marayo codbixin federaal ah.
Waxaa laga yaabaa in nambaro ku filan u codeeyaan soo jeedinno kala duwan oo ku filan oo aan magacaabid gaari karin heerka aqbalaadda. Sidaa darteed, marka laga soo tago baahinta codadka magacaabista ee iyaga u gaar ah, noodhadhku waxay ka tarjumayaan magacaabista asxaabtooda. Echo waxay ka dhigan tahay in haddii node uu u codeeyo magacaabista V, laakiin uu arko fariin ka timid deriska oo u codeynaya magacaabista W, waxay hadda u codeyn doontaa labadaba V iyo W. SCP waxa ku jira hab lagu maamulo codadkan, marka la soo koobo, waxaa jira qaacido lagu go'aamiyo "mudnaanta" asxaabta marka loo eego dhinaca noodhka, waxaana ka muuqda kaliya codadka qanjidhada mudnaanta sare leh. Qaaciddada mudnaanta leh waxaa ka mid ah lambarka booska oo ka mid ah agabkeeda, sidaas darteed saaxiibka mudnaanta sare leh ee hal boos wuxuu noqon karaa asaaga mudnaanta hoose leh mid kale, iyo lidkeeda).
Fikrad ahaan, magacaabistu waa barbar socota, V iyo W labaduba waa codad federaal ah oo gaar ah, mid kasta oo gaar ah ayaa awood u leh inuu ku guuleysto aqbalida ama xaqiijinta. Ficil ahaan, farriimaha borotokoolka SCP waxay xidhidhiyaan codadkan gaarka ah.
In kasta oo u codaynta magacaabista V ay tahay ballan-qaad ah inaan marna laga codayn magacaabista V, haddana waa heerka codsiga - kiiskan SCP - in la go'aamiyo waxa "ka soo horjeeda" macnaheedu yahay. SCP ma aragto hadal ka hor imaanaya codka "waxaan magacaabayaa X", taas oo ah, ma jirto fariin "waxaan ka soo horjeedaa magacaabista X", sidaas darteed noode ayaa u codeyn kara magacaabista qiyam kasta. Qaar badan oo magacaabista ka mid ah meelna ma aadi doono, laakiin ugu dambaynta noodhka ayaa awood u yeelan doona inuu aqbalo ama xaqiijiyo hal ama wax ka badan qiyamka. Marka la xaqiijiyo qofka la magacaabayo, wuu noqonayaa musharax.
Magacaabista SCP iyada oo la adeegsanayo codaynta federaalka. Waxaa jiri kara qiyam badan oo "B" ah oo ay soo bandhigaan asxaabtooda iyo "oo ka tarjumaya" noodhka.
Magacaabista waxaa laga yaabaa inay keento musharraxiin badan oo la xaqiijiyay. Sidaa darteed, SCP waxay u baahan tahay lakabka arjiga si ay u bixiso qaar ka mid ah hababka isku dhafka musharaxiinta mid isku dhafan (isku dhafan). Habka ku biirista wuxuu noqon karaa wax kasta. Waxa ugu muhiimsan waa in haddii habkani yahay mid go'aamin kara, ka dibna node kasta wuxuu isku dari doonaa musharaxiin isku mid ah. Nidaamka codaynta qadada, "midaynta" waxay si fudud ula macno tahay diidmada mid ka mid ah labada murashax. (Laakin habka go'aaminta: noodh kasta waa inuu doortaa isla qiimaha dib u habeynta. Tusaale ahaan, xulashada hore ee habka alifbeetada). Shabakadda lacag-bixinta ee Stellar, halkaas oo taariikhda wax kala iibsiga lagu codeeyo, isku-darka labada qof ee la soo jeediyay waxay ku lug leedahay isku-darka macaamilka ay ka kooban yihiin iyo kii ugu dambeeyay ee labadooda waqti.
Warqadda cad ee SCP waxay caddaynaysaa (Theorem 12) in dhamaadka marxaladda fidinta, shabakadu aakhirka waxay isu keentaa hal isku-dhafan. Laakin waxaa jirta dhibaato: Codeynta federaalku waa hab-maamuus aan la mid ahayn (sida SCP). Si kale haddii loo dhigo, noodhadhku iskuma xidhin wakhtiga, laakiin kaliya farriimaha ay diraan. Marka laga eego dhinaca noodhka, ma cadda goorta dhamaaday wejiga kordhinta. In kasta oo dhammaan qanjidhada oo dhami ay ugu dambeyntii ku imaan doonaan isku mid ah, waxaa laga yaabaa in ay maraan wadooyin kala duwan oo ay soo mareen jidka, iyaga oo abuuraya musharaxiin isku dhafan oo kala duwan oo jidka ah, oo aan waligood sheegi karin midka ugu dambeeya.
Laakiin waa caadi. Magacaabistu waa diyaargarow uun. Waxa ugu muhiimsan waa in la xaddido tirada musharraxiinta si loo gaaro is-afgarad, kaas oo ku dhaca habka u sharaxan xilka (codbixinta).
ordaya
Bulletin waa lamaane , halkaas oo miisanku yahay tiro ka bilaabma 1 oo qiimihiisu yahay musharrax ka socda heerka magacaabista. Tani waxay noqon kartaa musharraxa noodhka u gaar ah ama musharraxa noodhka jaarka ah ee uu aqbalo noodhkaas. Qiyaastii, codbixintu waxay ku lug leedahay isku dayo soo noqnoqda oo lagu qasbayo shabakada si ay u gaaraan go'aan ku saabsan qaar ka mid ah musharixiinta qaar ka mid ah warqadaha codbixinta iyadoo la haysto codad badan oo federaal ah oo ku saabsan weedhaha codbixinta. Tiriyeyaasha cod bixinta ayaa la socda isku dayada la sameeyay, iyo warqadaha tirooyinka sare leh ayaa ka hormaraya warqadaha cod bixinta ee tirooyinka hoose leh. Haddii warsidaha ayaa ku dheggan, cod cusub ayaa bilaabmaya, hadda codbixinta .
Waa muhiim in la kala saaro qiimayaasha (tusaale ahaan, waa maxay dalabka qadadu inuu noqdo: pizza ama saladh), wargeysyada (labada-qiimaha-la'aanta) iyo hadalada ku saabsan waraaqaha cod bixinta. Wareega SCP waxa ku jira dhawr wareeg oo codbixin federaal ah, gaar ahaan bayaannada soo socda:
- "Waxaan diyaar u ahay inaan sameeyo warqadda codbixinta B" iyo
- "Waxaan ku dhawaaqayaa ballan-qaadka codbixinta B"
Marka laga eego dhinaca noodhka la bixiyay, is afgarad waa la gaadhay marka la helo warqadda cod bixinta B taas oo ay ku xaqiijin karto (yacni, hel kooram aqbala) weedha "Waxaan galay warqadda codbixinta B." Laga bilaabo halkan, waa ammaan in lagu dhaqmo qiimaha lagu qeexay B - tusaale ahaan, dalbashada qadada. Waxaa la yiraahdaa dibaddayaynta macnaha. Marka aqbalaadda warqadda codbixinta la xaqiijiyo, noodhku wuxuu hubin karaa in noodhka kale uu dibadda ka dhigay isla qiimaha ama uu sidaas samayn doono mustaqbalka.
Inkasta oo codad badan oo federaali ah ay fikrad ahaan u qabtaan sheegashada waraaqo badan oo kala duwan, iskuma dhaafsadaan fariimaha badan sababtoo ah fariin kastaa waxay soo koobtaa tiro waraaqo ah. Hal fariin ayaa sidaas kor u qaadeysa xaaladda codbixin badan oo federaal ah hal mar, tusaale ahaan: "Waan aqbalayaa warqadaha cod bixinta ka hor "
Waa maxay macnaha ereyada "diyaariyey" iyo "balanqaad"?
Noodku wuxuu u codeeyaa inuu sameeyo warqad codbixin marka uu ku kalsoon yahay in noodhadhka kale aysan samayn doonin waraaqo codbixineed oo kala duwan. Ku qancinta tani waa ujeedada diyaarinta codsiga. Codbixinta odhanaysa "Waxaan diyaar u ahay inaan sameeyo warqadda codbixinta B" waa ballan inaan waligiis gelin warqad ka yar B, ie. tiro yar (SCP waxay u baahan tahay qiyamka warqadaha cod bixinta inay u kala horreeyaan. Sidaas darteed, wargeysyada ka yar , haddii N1
Maxay tahay sababta "Waxaan diyaar u ahay inaan sameeyo warqadda codbixinta B" macnaheedu waa "Waxaan ballan qaadayaa inaanan waligay samayn waraaqo ka yar B"? Sababtoo ah SCP waxay ku qeexday ilmo soo rididda inay tahay lid ku ah dembiga. Codaynta diyaarinta warqadda cod bixinta waxa kale oo ay ku lug leedahay codayn lagu diidayo qaar ka mid ah warqadaha codbixinta, sidaan hore uga soo hadalnay, hal shay in loo codeeyo waa ballan in aan marnaba la diidin.
Kahor inta aan la baahin ballan-qaadka, noodhku waa inuu marka hore helaa wargelin uu xaqiijin karo sida loo diyaariyey. Si kale haddii loo dhigo, waxay qabataa codbixin federaali ah oo ku saabsan mawduuca "Waxaan diyaar u ahay inaan sameeyo warqadda codbixinta B," oo laga yaabo in lagu bixiyo waraaqo badan oo kala duwan, ilaa laga helayo mid aqbala kooramka.
Xagee ka yimaadeen warqadaha cod bixinta si loogu diyaariyo codka? Marka hore, noodhka ayaa baahinaya diyaargarowga codaynta <1,C>, halkaas oo C uu yahay musharraxa isku dhafan ee lagu soo saaray marxaladda magacaabista. Si kastaba ha ahaatee, xittaa ka dib marka ay bilaabato isu diyaarinta cod bixinta, magacaabista waxaa laga yaabaa in ay dhaliso musharixiin dheeraad ah oo u muuqda inay noqdaan warqado cusub. Dhanka kale, asxaabtu waxay yeelan karaan musharixiin kala duwan, waxayna samayn karaan xirmo xannibaad ah oo aqbala "Waxaan diyaar u ahay inaan sameeyo warqadda codbixinta ee B2," taasoo ku qancin doonta noodhka inuu aqbalo sidoo kale. Ugu dambeyntii, waxaa jira hannaan waqti-xijin ah oo abuura wareegyo cusub oo federaali ah oo ku saabsan cod-bixinno cusub oo leh tirooyin badan haddii waraaqaha hadda jira ay xayiran yihiin.
Isla marka ay noodu hesho warqadda codbixinta B oo ay xaqiijin karto sida loo diyaariyey, waxay baahinaysaa farriin cusub "Guddi codbixinta B." Codbixintani waxay u sheegaysaa asxaabta in noodhka aanu waligiis ka tanaasulayn B. Dhab ahaantii, haddii B ay tahay warqad codbixin ah , ka dibna " Samee warqadda codbixinta "waxaa loola jeedaa ogolaanshaha shuruud la'aan ah in loogu codeeyo u diyaargarowga warqad kasta oo ka timid ku <β, s>. Qiimahan dheeriga ah waxa uu caawiyaa facooda kale in ay la qabsadaan asaagooda go'aanka ah haddii ay weli ku jiraan marxaladihii hore ee borotokoolka.
Marxaladdan, waxaa mudan in xoogga la saaro mar labaad in kuwani yihiin borotokool aan la mid ahayn. Sababta oo ah hal nood ayaa soo diraya codbixin ballan-qaadka macnaheedu maaha in asxaabteeda ay sameeyaan sidoo kale. Qaarkood ayaa laga yaabaa inay weli u codeynayaan bayaannada isu diyaarinta codbixinta, qaar kalena waxaa laga yaabaa inay mar hore macnaha dibadda ka dhigeen. SCP waxa uu sharxayaa sida ay noodhka u habaynayso nooc kasta oo fariinta asxaabta ah iyada oo aan loo eegin wajigeeda.
Haddii fariinta "Waxaan ku dhawaaqay ballan Β» lama heli karo ama lama xaqiijin karo, taas oo ah, suurtogalnimada in fariinta la aqbalo ama la xaqiijiyo ama - ama, xaalad kasta, warqad kasta oo leh qiimaha C, oo aan ahayn mid kale, maadaama ay noodhka hore u ballan qaaday in aanu marnaba burin . Marka ay noodu baahiso codadka ballan-qaadka, waxay noqon doontaa C ama waxba, iyadoo ku xiran hadba inta la isku raacsan yahay. Si kastaba ha ahaatee, tani weli kuma filna qanjirada si ay dibadda uga saarto C. Qaar ka mid ah asxaabta Byzantine (kaas oo ka kooban wax ka yar kooram, ku salaysan male-awaalkayada amniga) ayaa laga yaabaa inay been u sheegaan noodhka. Aqbalaadda iyo ka dib xaqiijinta qaar ka mid ah warqadaha cod bixinta (ama kala duwanaanta waraaqaha codbixinta) waa waxa siiya noodhka kalsoonida si uu ugu dambeyntii dibadda uga saaro C.
Codeynta SCP iyada oo loo marayo codeynta federaalka. Lama soo bandhigin: saacadeeyaha ayaa laga yaabaa inuu dami wakhti kasta, isagoo kordhinaya tirinta codbixinta (iyo suurtogalnimada inuu soo saaro isku-dar cusub oo musharaxiin la magacaabay).
Waana dhan! Marka shabakadu gaadho heshiis, waxay diyaar u tahay inay samayso marar badan. Shabakadda lacag-bixinta Stellar, tani waxay dhacdaa qiyaastii hal mar 5-tii sekan: waa hawl u baahan labadaba badbaadada iyo badbaadada ay damaanad qaaday SCP.
SCP waxay tan ku gaari kartaa iyadoo ku tiirsan wareegyo badan oo codbixin federaal ah. Codeynta federaaliga ah waxaa suurtageliyay fikradda jeexjeexyada kooramka: iskudhafka asxaabta kuwaas oo nood kasta uu go'aansaday inuu ku kalsoonaado qayb ka mid ah kooramkiisa (mawduuca). Qaabayntan waxay ka dhigan tahay in la isku raacsan yahay lagu gaari karo xitaa shabakad xubin ka ah oo furan iyo khiyaanada Byzantine.
Akhrin dheeraad ah
- Warqadda cad ee asalka ah ee SCP waa la heli karaa iyo qeexitaan qabyo ah oo lagu hirgelinayo.
- Qoraaga asalka ah ee borotokoolka SCP, David Mazier, wuxuu u sharaxay hab la fududeeyay (laakiin weli farsamo). .
- Waxaa laga yaabaa inaad la yaabtay inaadan ka helin ereyada "macdanta" ama "caddaynta shaqada" ee maqaalkan. SCP ma isticmaasho hababkan, laakiin qaar ka mid ah algorithmsyada la isku raacsan yahay ayaa sameeya. Zane Witherspoon ayaa qoray la heli karo .
- Shabakad fudud oo ku gaarta heshiis hal wareeg oo buuxa oo SCP ah.
- Akhristayaasha xiisaynaya fulinta SCP: eeg , ay isticmaasho shabakada lacag bixinta ee Stellar, ama , Kaas oo aan u qoray si aan si fiican u fahamno SCP.
Source: www.habr.com