Stellar konsensa protokols pirmo reizi aprakstÄ«ts Deivida MazÄ«ra 2015. gadÄ. Tas ir āfederatÄ«va bizantieÅ”u saskaÅoÅ”anas sistÄmaā, kas ļauj decentralizÄtÄm datoru tÄ«klam, kuriem nav vadÄ«tÄju, efektÄ«vi panÄkt konsensu par jebkuru lÄmumu. Stellar maksÄjumu tÄ«kls izmanto Stellar Consensus Protocol (SCP), lai uzturÄtu saskaÅotu darÄ«jumu vÄsturi, kuru redz visi dalÄ«bnieki.
Uzskata, ka konsensa protokoli ir grÅ«ti saprotami. SCP ir vienkÄrÅ”Äks nekÄ vairums no tiem, taÄu tam ir lÄ«dzÄ«ga reputÄcija ā daļÄji tÄpÄc, ka pastÄv nepareiza ideja, ka āfederatÄ«vais balsojumsā, kuram veltÄ«ta raksta pirmÄ puse, ir SCP. Bet tÄ nav! Tas ir tikai svarÄ«gs celtniecÄ«bas elements, ko raksta otrajÄ pusÄ izmanto, lai izveidotu faktisko Stellar konsensa protokolu.
Å ajÄ rakstÄ Ä«si pastÄstÄ«sim, kas ir āsaskaÅas sistÄmaā, kas var padarÄ«t to ābizantieÅ”uā un kÄpÄc federatÄ«vo sistÄmu var padarÄ«t āfederatÄ«vuā. PÄc tam izskaidrosim federatÄ«vo balsoÅ”anas procedÅ«ru, kas aprakstÄ«ta SCP rakstÄ, un visbeidzot izskaidrosim paÅ”u SCP protokolu.
SaskaÅas sistÄmas
SaskaÅas sistÄma ļauj grupai dalÄ«bnieku panÄkt konsensu par kÄdu tÄmu, piemÄram, ko pasÅ«tÄ«t pusdienÄm.
MÄs uzÅÄmumÄ Interstellar esam ieviesuÅ”i savu pusdienu saskaÅas sistÄmu: pasÅ«tÄm to, ko saka mÅ«su operatÄ«vais vadÄ«tÄjs Džons. TÄ ir vienkÄrÅ”a un efektÄ«va saskaÅas sistÄma. MÄs visi uzticamies Džonam un ticam, ka viÅÅ” katru dienu atradÄ«s kaut ko interesantu un uzturÄ«gu.
Bet ko darÄ«t, ja Džons ļaunprÄtÄ«gi izmanto mÅ«su uzticÄ«bu? ViÅÅ” var patstÄvÄ«gi nolemt, ka mums visiem jÄbÅ«t vegÄniem. Pusstundas laikÄ vai divÄs, visticamÄk, mÄs viÅu gÄzÄ«sim un pilnvaras nodosim Elizabetei. Bet, iespÄjams, viÅa mÄ«l avokado ar anÅ”oviem un domÄ, ka visiem jÄbÅ«t tÄdiem. Varu korumpÄ. TÄpÄc labÄk atrast kÄdu demokrÄtiskÄku metodi: veidu, kÄ pÄrliecinÄties, ka tiek Åemti vÄrÄ dažÄdi preferencÄs, vienlaikus nodroÅ”inot savlaicÄ«gu un nepÄrprotamu rezultÄtu, lai nenotiktu, ka neviens nepaspÄj pasÅ«tÄ«t pusdienas vai pieci cilvÄki izvirza dažÄdus pasÅ«tÄ«jumus, vai diskusija varÄtu ieilgt lÄ«dz vakaram.
IzskatÄs, ka risinÄjums ir vienkÄrÅ”s: rÄ«kot balsojumu! Bet tas ir maldinoÅ”s iespaids. Kas savÄks biļetenus un paziÅos rezultÄtus? Un kÄpÄc pÄrÄjiem vajadzÄtu ticÄt tam, ko viÅÅ” teiks? VarbÅ«t mÄs varam vispirms nobalso par lÄ«deri, kuram uzticamies, lai vadÄ«tu balsoÅ”anu ā bet kurÅ” vadÄ«s Å”o pirmo balsojumu? Ko darÄ«t, ja mÄs nevaram vienoties par lÄ«deri? Vai arÄ«, ja vienosimies, bet Å”is lÄ«deris iestrÄgst sapulcÄ vai dodas uz slimnÄ«cu?
LÄ«dzÄ«gas problÄmas pastÄv izplatÄ«tajÄs datoru tÄ«klos. Visiem dalÄ«bniekiem vai mezgliem jÄvienojas par kÄdu risinÄjumu, piemÄram, kurÅ” gatavs atjauninÄt kopÄ«gu failu vai Åemt uzdevumu no apstrÄdes rindas. KriptovalÅ«tu tÄ«klÄ mezgliem vairÄkkÄrt jÄizlemj, kÄda ir pilnÄ«ga vÄsture no vairÄkÄm iespÄjÄm, kas dažreiz nesakrÄ«t. Å Ä« tÄ«kla vienoÅ”anÄs garantÄ saÅÄmÄjam, ka monÄta ir (a) derÄ«ga (neviltojuma) un (b) vÄl nav iztÄrÄta citur. TÄ arÄ« garantÄ, ka viÅÅ” varÄs iztÄrÄt monÄtas nÄkotnÄ, jo jaunajam saÅÄmÄjam bÅ«s tÄs paÅ”as garantijas to paÅ”u iemeslu dÄļ.
Jebkurai vienoÅ”anÄs sistÄmai izplatÄ«tajÄ skaitļoÅ”anas tÄ«klÄ ir jÄbÅ«t kļūdu izturÄ«gai: tai jÄsniedz konsekventi rezultÄti, neskatoties uz kļūdÄm, piemÄram, lÄnÄm sakaru lÄ«nijÄm, nereÄ£istrÄtiem mezgliem un nepareiziem ziÅojumu secÄ«bÄm. Bizantijas vienoÅ”anÄs sistÄma ir papildus noturÄ«ga pret "bizantieÅ”u" kļūdÄm: mezgli, kuri sniedz nepatiesu informÄciju, vai nu kļūdas dÄļ, vai ar nodomu, lai sagrautu sistÄmu vai gÅ«tu kÄdu priekÅ”rocÄ«bu. "Bizantijas" kļūdu izturÄ«ba ā spÄja uzticÄties grupas lÄmumam, pat ja daži grupas dalÄ«bnieki var melo vai citÄdi noturÄt lÄmumu pieÅemÅ”anas noteikumus ā ir nosaukta pÄc , kuri mÄÄ£inÄja saskaÅot uzbrukumu. ir pie Enthony Stevena.
Apsveriet kriptovalÅ«tas Ä«paÅ”nieku Alisu, kura ir jÄizvÄlas starp gardas saldÄjuma iegÄdi no Boba un parÄda apmaksu Kerolai. IespÄjams, Alisa vÄlas maksÄt abiem uzreiz, krÄpnieciski iztÄrÄjot to paÅ”u monÄtu. Lai to izdarÄ«tu, viÅai jÄnodroÅ”ina Boba dators, ka monÄta nekad nav izmaksÄta Kerolai, un jÄnodroÅ”ina Kerolas dators, ka monÄta nekad nav izmaksÄta Bobam. BizantiskÄ vienoÅ”anÄs sistÄma faktiski padara to neiespÄjamu, izmantojot vairÄkuma principa formu, ko sauc par kvotu. Mezgls Å”ÄdÄ tÄ«klÄ atsakÄs pieÅemt noteiktu vÄstures versiju, kamÄr neredz, ka pietiekami liels skaits vienÄdu mezglu ā kvots ā piekrÄ«t Å”Ädai pÄrejai. Kad tas notiks, viÅi izveidos pietiekami lielu vÄlÄÅ”anu grupu, lai piespiestu pÄrÄjos tÄ«kla mezglus piekrist viÅu lÄmumam. Alisa var piespiest dažus mezglus melot viÅas vÄrdÄ, bet, ja tÄ«kls ir pietiekami liels, viÅas mÄÄ£inÄjums tiks apspiests ar godÄ«gu mezglu balsÄ«m.
Cik mezglu nepiecieÅ”ams kvotai? Vismaz vairums, precÄ«zÄk, kvalificÄts vairÄkums, lai cÄ«nÄ«tos ar kļūdÄm un krÄpniecÄ«bu. Bet, lai saskaitÄ«tu vairÄkumu, ir jÄzina kopÄjais dalÄ«bnieku skaits. Interstellar birojÄ vai apgabala vÄlÄÅ”anÄs Å”ie skaitļi ir viegli nosakÄmi. Bet, ja jÅ«su grupa ir vÄji definÄta tÄ«kls, kur mezgli var ienÄkt un iznÄkt pÄc savas izvÄles bez saskaÅoÅ”anas ar centru, tad nepiecieÅ”ama federatÄ«vÄ bizantiskÄ vienoÅ”anÄs sistÄma, kas spÄj noteikt kvotas nevis no iepriekÅ” noteikta mezglu saraksta, bet dinamiski, no pastÄvÄ«gi mainÄ«ga un neizbÄgami nepilnÄ«ga mezglu attÄla noteiktÄ brÄ«dÄ«.
Var Ŕķist neiespÄjami izveidot kvotu no viena mezgla viedokļa plaÅ”Ä tÄ«klÄ, bet tas ir iespÄjams. Å Äda kvota pat var garantÄt decentralizÄtu balsoÅ”anas rezultÄtu. TehniskajÄ dokumentÄ SCP tiek parÄdÄ«ts, kÄ to izdarÄ«t, izmantojot procedÅ«ru, ko sauc par federatÄ«vo balsoÅ”anu.
Steidzīgiem
PÄrÄjÄ raksta daļa detalizÄti apraksta federatÄ«vo balsoÅ”anu un Stellar konsensa protokolu. Ja jums neinteresÄ detaļas, Å”eit ir vispÄrÄjs procesa pÄrskats.
- MikroshÄmas veic federÄlÄ balsoÅ”anas raunda par "nominantiem". FederÄlÄ balsoÅ”anas raunds nozÄ«mÄ:
- MikroshÄma balso par kÄdu apstiprinÄjumu, piemÄram, "Es piedÄvÄju V vÄrtÄ«bu";
- MikroshÄma klausÄs balsojumus no dalÄ«bniekiem, lÄ«dz atrod to, kurÅ” var "apstiprinÄt";
- MikroshÄma meklÄ "kvorumu" Å”im apstiprinÄjumam. Kvorums "apstiprina" nominantu.
- Kad mikroshÄma var apstiprinÄt vienu vai vairÄkus nominantus, tÄ cenÅ”as "sagatavot" "balsi" caur vairÄkiem federÄlÄ balsoÅ”anas raundiem.
- Kad mikroshÄma spÄj pÄrbaudÄ«t, ka balss ir gatava, tÄ cenÅ”as to apstiprinÄt ar vÄl vairÄk federÄlÄ balsoÅ”anas raundiem.
- Kad mikroshÄma var apstiprinÄt balss apstiprinÄjumu, tÄ var "eksternalizÄt" Ŕīs balss vÄrtÄ«bu, izmantojot to kÄ konsensa rezultÄtu.
Å ie soļi ietver vairÄkus federÄlÄ balsoÅ”anas raundus, kas kopumÄ veido vienu SCP raundu. IzskatÄ«sim sÄ«kÄk, kas notiek katrÄ solÄ«.
FederÄlÄ balsoÅ”ana
FederÄlÄ balsoÅ”ana ir procedÅ«ra, lai noteiktu, vai tÄ«kls var saskaÅot priekÅ”likumu. BalsoÅ”anas raundÄ katrai mikroshÄmai ir jÄizvÄlas viena no potenciÄli daudzajÄm iespÄjamÄm vÄrtÄ«bÄm. ViÅÅ” to nevar izdarÄ«t, kamÄr nav pÄrliecinÄts, ka citas mikroshÄmas tÄ«klÄ neizvÄlÄs citu rezultÄtu. Lai bÅ«tu pÄrliecinÄtas par to, mikroshÄmas apmainÄs ar ziÅojumu sprÄdzieniem Å”urpu turpu, lai katra apstiprinÄtu, ka kvorums mikroshÄmu pieÅem to paÅ”u risinÄjumu. Å Ä« sadaļa skaidro terminus Å”ajÄ teikumÄ un to, kÄ norit visa procedÅ«ra.
Kvorumi un kvoruma griezumi
SÄksim ar kvoruma definÄÅ”anu. KÄ mÄs iepriekÅ” apspriedÄm, decentralizÄtÄ tÄ«klÄ ar dinamisku dalÄ«bu nav iespÄjams iepriekÅ” zinÄt mikroshÄmu skaitu un, lÄ«dz ar to, cik vajag vairÄkumam. FederÄlÄ balsoÅ”ana risina Å”o problÄmu, ievieÅ”ot jaunu ideju kvoruma griezuma (quorum slice): neliela vienlÄ«dzÄ«gu mikroshÄmu kopums, kuram mikroshÄma uzticas, lai nodotu informÄciju par balsoÅ”anas stÄvokli pÄrÄjai tÄ«kla daļai. KatrÄ mikroshÄmÄ ir sava kvoruma griezuma definÄ«cija (kuram tÄ faktiski pieder).
Kvoruma veidoÅ”ana sÄkas ar kvoruma griezumu. Katram mezglam tiek pievienoti tÄ griezuma mezgli. Tad tiek pievienoti griezuma dalÄ«bnieki Å”o mezglu un tÄ tÄlÄk. Turpinoties, tiek sastapti arvien vairÄk mezglu, kurus nevar pievienot, jo tie jau ir iekļauti griezumÄ. Kad vairs nav jaunu mezglu, ko pievienot, process apstÄjas: mÄs esam izveidojuÅ”i kvorumu, veicot sÄkotnÄjÄ mezgla kvoruma griezuma ātransitÄ«vo slÄgÅ”anuā.
Lai atrastu kvorumu no dotÄ mezglaā¦
ā¦ pievienojam tÄ griezuma dalÄ«bniekusā¦
ā¦ tad pievienojam Å”o mezglu griezumu dalÄ«bniekus.
TurpinÄm, lÄ«dz nav palikuÅ”i mezgli, ko pievienot.
Nav palikuŔi mezgli, ko pievienot. Tas ir kvorums.
PatiesÄ«bÄ katrs mezgls var bÅ«t vairÄk nekÄ vienÄ griezumÄ. Lai izveidotu kvorumu, izvÄlieties tikai vienu no griezumiem un pievienojiet dalÄ«bniekus; pÄc tam izvÄlieties jebkuru griezumu katram dalÄ«bniekam un pievienojiet dalÄ«bniekus Å”ie griezums un tÄ tÄlÄk. Tas nozÄ«mÄ, ka katrs mezgls ir vairÄku iespÄjamo kvorumu dalÄ«bnieks.
IzvÄlieties tikai vienu kvoruma griezumu katrÄ solÄ«.
Viens iespÄjams kvorums. Vai alternatÄ«va versijaā¦
ā¦ izvÄlamies citus griezumusā¦
ā¦(ja tas ir iespÄjams)ā¦
ā¦ rada citu kvorumu.
KÄ mezgls uzzina, kÄdos griezumos ir citi mezgli? TieÅ”i tÄpat kÄ par citu mezglu informÄciju: no pÄrraidÄm, kuras katrs mezgls pÄrraida tÄ«klÄ, kad mainÄs tÄ balsoÅ”anas stÄvoklis. Katrs raidÄ«jums ietver informÄciju par sÅ«tÄ«tÄja mezgla griezumiem. TehniskajÄ dokumentÄ SCP nav norÄdÄ«ts komunikÄcijas mehÄnisms. RealizÄcijas parasti izmanto lai nodroÅ”inÄtu ziÅojumu pÄrraidi visÄ tÄ«klÄ.
JÄatgÄdina, ka nefedervatÄ«vajÄ Bizantijas vienoÅ”anÄs sistÄmÄ kvorums tiek noteikts kÄ visu mezglu vairÄkums. Bizantijas vienoÅ”anÄs sistÄma ir izstrÄdÄta, Åemot vÄrÄ jautÄjumu: cik negodÄ«gu mezglu sistÄma spÄj izturÄt? N mezglu sistÄmÄ, kas projektÄta izdzÄ«voÅ”anai pie f kļūdÄm (krÄpÅ”anÄm), mezglam jÄspÄj panÄkt progresu, saÅemot atbildes no Nāf dalÄ«bniekiem, jo f no tiem iespÄjams, ka nedarbojas. TaÄu, saÅemot atbildi no Nāf dalÄ«bniekiem, var pieÅemt, ka visi f dalÄ«bnieki (no kuriem mezgls nav saÅÄmis atbildi) patiesÄ«bÄ ir godÄ«gi. TÄdÄjÄdi ļaunprÄtÄ«gi ir f no Nāf dalÄ«bniekiem (no kuriem saÅemta atbilde). Lai mezgli nonÄktu pie viena konsensa, godÄ«gajiem jÄbÅ«t vairÄkumam no pÄrÄjiem mezgliem, tas ir, mums nepiecieÅ”ams, lai Nāf bÅ«tu lielÄks par 2f vai N > 3f. TÄdÄļ parasti sistÄma, kas paredzÄta izdzÄ«voÅ”anai pie f kļūdÄm, bÅ«s ar kopÄjo N=3f+1 mezglu skaitu un kvoruma lielumu 2f+1. TiklÄ«dz piedÄvÄjums pÄrsniedz kvoruma slieksni, pÄrÄjie tÄ«kla dalÄ«bnieki ir pÄrliecinÄti, ka jebkuri konkurÄjoÅ”i piedÄvÄjumi cietÄ«s neveiksmi. TÄdÄjÄdi tÄ«kls nonÄk pie rezultÄta.
TaÄu federatÄ«vajÄ Bizantijas vienoÅ”anÄs sistÄmÄ ne tikai nevar bÅ«t vairÄkuma (jo neviens nezina kopÄjo tÄ«kla lielumu), bet arÄ« vairÄkuma jÄdziens ir vispÄrÄ«gi neizdevÄ«gs! Ja dalÄ«ba sistÄmÄ ir atvÄrta, kÄds var izveidot vairÄkumu, vienkÄrÅ”i veicot tÄ saucamo Sivilas uzbrukumu: atkÄrtoti pievienojoties tÄ«klam caur vairÄkiem mezgliem. TÄdÄļ kÄpÄc tranzitÄ«vÄ slÄgÅ”ana var tikt saukta par kvotu, un kÄ tÄ spÄj nomÄkt konkurÄjoÅ”us piedÄvÄjumus?
Tehniski, nekÄ! IedomÄjieties seÅ”u mezglu tÄ«klu, kur divas trÄ«sdaļas ir izolÄtas viena otras kvoruma slÄgumos. Pirmajai apakÅ”grupai var bÅ«t lÄmums, par kuru otrÄ nekad neuzzinÄs, un otrÄdi. Å im tÄ«klam nav veida, kÄ panÄkt konsensu (izÅemot nejauÅ”i).
TÄdÄļ SCP prasa, lai federatÄ«vajai balsoÅ”anai (un svarÄ«go pantiÅu piemÄroÅ”anai) tÄ«kls bÅ«tu ar Ä«paŔību, ko sauc par kvorumu krustpunkti. TÄ«klÄ ar Å”o Ä«paŔību jebkuri divi kvÅrumi, kurus var izveidot, vienmÄr sakrÄ«t vismaz vienÄ mezglÄ. Lai noteiktu tÄ«kla dominÄjoÅ”os noskaÅojumus, tas ir tikpat labi, kÄ iegÅ«t vairÄkumu. IntuitÄ«vi tas nozÄ«mÄ, ka, ja kÄds kvÅrums piekrÄ«t apgalvojumam X, neviens cits kvÅrums nekad nevarÄs piekrist kaut kam citam, jo tam noteikti bÅ«s kÄds mezgls no pirmÄ kvÅruma, kas jau ir balsojis par X.
Ja tÄ«klÄ ir kvÅrumu pÄrklÄÅ”anÄsā¦
ā¦tad jebkuri divi kvÅrumi, kurus jÅ«s varat izveidotā¦
ā¦vienmÄr bÅ«s pÄrklÄÅ”anÄs.
(Protams, pÄrklÄjoÅ”ie mezgli var bÅ«t arÄ« bizantijÄ viltus vai slikti citÄs attiecÄ«bÄs. Å ajÄ gadÄ«jumÄ kvÅrumu pÄrklÄÅ”anÄs nesniedz tÄ«klam iespÄju piekrist vispÄr. TÄdÄļ daudzi rezultÄti tehniskajÄ dokumentÄ SCP balstÄs uz skaidri izteiktiem pieÅÄmumiem, piemÄram, ka tÄ«klÄ joprojÄm pastÄv kvÅrumu pÄrklÄÅ”anÄs pat pÄc slikto mezglu noÅemÅ”anas. VienkÄrŔības labad atstÄsim Å”os pieÅÄmumus neizteiktus pÄrÄjÄ raksta daļÄ).
Var Ŕķist neloÄ£iski gaidÄ«t, ka tÄ«klÄ no neatkarÄ«giem mezgliem ir iespÄjama uzticama kvÅrumu pÄrklÄÅ”anÄs. Bet ir divi iemesli, kÄpÄc tas ir tÄ.
Pirmais iemesls ir paÅ”a interneta esamÄ«ba. Internets ir ideÄls neatkarÄ«gu mezglu tÄ«kla piemÄrs ar kvÅrumu pÄrklÄÅ”anos. LielÄkÄ daļa mezglu internetÄ savienojas tikai ar dažiem citiem lokÄliem mezgliem, bet Å”ie nelielie kopumi pÄrklÄjas pietiekami, lai katrs mezgls bÅ«tu pieejams no katra cita mezgla pa vienu vai otru marÅ”rutu.
Otra iemesls ir specifisks Stellar maksÄjumu tÄ«klam (visbiežÄk izmanto SCP). Katrai aktÄ«vai Stellar tÄ«klÄ ir emitents, un Stellar ieteikumi prasa, lai katram emitentam tiktu iecelti viens vai vairÄki mezgli tÄ«klÄ, lai apstrÄdÄtu izsniegÅ”anas pieprasÄ«jumus. JÅ«su interesÄs ir tieÅ”i vai netieÅ”i iekļaut Å”os mezglus kvoruma grieÅ”anas grozos katram jÅ«su interesÄjoÅ”am aktÄ«vam. PÄc tam kvorumi visiem mezgliem, kas ir ieinteresÄti konkrÄtajÄ aktÄ«vÄ, bÅ«s satikti vismaz Å”ajos izsniegÅ”anas mezglos. Mezgli, kas ir ieinteresÄti vairÄkos aktÄ«vos, iekļaus savos kvoruma grieÅ”anas grozos visus attiecÄ«go emitentu izsniegÅ”anas mezglus, un viÅi centÄ«sies apvienot visus aktÄ«vus kopÄ. TurklÄt jebkuri aktÄ«vi, kas nav savienoti Å”ÄdÄ veidÄ ar citiem tÄ«klÄ, un nedrÄ«kst bÅ«t saistÄ«ti ā tas ir domÄts, lai Å”im tÄ«klam nebÅ«tu kvoruma pÄrklÄÅ”anÄs (piemÄram, dolÄra zonÄ esoÅ”ie bankas dažreiz vÄlas tirgoties ar eiro zonas bankÄm un peso zonas bankÄm, tÄpÄc tÄs ir vienÄ tÄ«klÄ, bet nevienam no viÅiem nav intereses par atseviŔķu tÄ«klu bÄrniem, kas tirgo beisbola kartes).
Protams, gaidÄ«Å”ana kvoruma pÄrklÄÅ”anÄs nav garantija. Citas Bizantijas vienoÅ”anÄs sistÄmas sava sarežģītÄ«bas dÄļ lielÄ mÄrÄ ir atkarÄ«gas no kvorumu garantijas. SvarÄ«gs SCP jaunums ir tas, ka tas noÅem atbildÄ«bu par kvorumu veidoÅ”anu no paÅ”a konsensusa algoritma un pÄrvada to uz lietojumprogrammu lÄ«meni. TÄdÄjÄdi, lai gan federatÄ«vÄ balsoÅ”ana ir pietiekami vispÄrÄ«ga, lai balsotu par jebkuriem jautÄjumiem, tÄs uzticamÄ«ba faktiski ir kritiski atkarÄ«ga no Å”o vÄrtÄ«bu plaÅ”Äka jÄga. Daži hipotÄtiski lietoÅ”anas veidi var izrÄdÄ«ties ne tik Ärti, lai izveidotu labi savienotus tÄ«klus, kÄ citi.
BalsoÅ”ana, apstiprinÄÅ”ana un apstiprinÄjums
FederatÄ«vÄs balsoÅ”anas kÄrtÄ mezgls opcionalizÄti sÄk balsot par kÄdu vÄrtÄ«bu V. Tas nozÄ«mÄ, ka tiek izplatÄ«ts tÄ«klÄ ziÅojums: 'Es esmu mezgls N, mani kvoruma sagriezumi Q, un es balsoju par V'. Kad mezgls tÄ balsos, viÅÅ” apsola, ka nekad nav balsojis pret V un nekad nebÅ«s.
Vienu laika, no savstarpÄjiem mezgliem katrs mezgls redz, kÄ citi balso. TiklÄ«dz mezgls savÄks pietiekami daudz Å”Ädu ziÅojumu, tas var izsekot kvotu griezumiem un mÄÄ£inÄt atrast kvotÄs. Ja tas redz mezglu kvotu, kas arÄ« balso par V, tas var pÄriet uz pieÅemÅ”anu V un izplatÄ«t Å”o jauno ziÅojumu tÄ«klÄ: Ā«Es esmu mezgls N, mani kvotu griezumi Q, un es pieÅemu VĀ». PieÅemÅ”ana nodroÅ”ina spÄcÄ«gÄku garantiju nekÄ parasta balsoÅ”ana. Kad mezgls balso par V, tas nekad nevar balsot par citiem variantiem. Bet, ja mezgls pieÅem V, neviens mezgls tÄ«klÄ nekad nepieÅems citu variantu (teorema 8 SCP tehniskajÄ dokumentÄ to pierÄda).
Protams, ir liela iespÄja, ka tÅ«lÄ«t neatradÄ«sies kvota mezglu, kas piekristu V. Citi mezgli var balsot par citiem vÄrtÄ«bÄm. Bet mezglam ir vÄl viens veids, kÄ pÄriet no parasta balsoÅ”anas uz pieÅemÅ”anu. N var pieÅemt citu vÄrtÄ«bu W, pat ja nav balsojis par to, un pat ja tas neredz kvotu tai. Lai mainÄ«tu savu balsojumu, pietiek redzÄt bloÄ·ÄjoÅ”o kopumu mezglu, kas pieÅÄmuÅ”i W. BloÄ·ÄjoÅ”ais kopums ir pa vienam mezglam no katra kvotu griezuma N. KÄ norÄdÄ«ts nosaukumÄ, tas spÄj bloÄ·Ät jebkuru citu vÄrtÄ«bu. Ja visi mezgli Å”ÄdÄ kopumÄ pieÅem W, tad (saskaÅÄ ar teoremu 8) nekad nebÅ«s iespÄjams izveidot kvotu, kas pieÅem cita vÄrtÄ«bu, un tÄpÄc N ir droÅ”i pieÅemt W.
Mezgls N ar trim kvotu griezumiem.
B-D-F ir bloÄ·ÄjoÅ”ais kopums N: tas ietver pa vienam mezglam no katra griezuma N.
B-E arÄ« ir bloÄ·ÄjoÅ”ais kopums N, jo E parÄdÄs divos N griezumos.
Bet bloÄ·ÄjoÅ”ais kopums nav kvota. BÅ«tu pÄrÄk viegli apmÄnÄ«t mezglu N, lai tas pieÅemtu vÄlamo vÄrtÄ«bu, ja ir pietiekami uzlauzt viens mezgls katrÄ N griezumÄ. TÄpÄc vÄrtÄ«bas pieÅemÅ”ana nav galÄ«gais balsoÅ”anas beigas. TÄ vietÄ N ir jÄapstiprina vÄrtÄ«bu, tas ir, redzÄt kvotu mezglu, kas to pieÅem. Ja tas nonÄks lÄ«dz Å”im, tad, kÄ to pierÄda SCP tehniskais dokuments (teorema 11), pÄrÄjÄ tÄ«kls arÄ« visbeidzot apstiprinÄs to paÅ”u vÄrtÄ«bu, tÄpÄc N pabeigs federÄlo balsoÅ”anu ar noteiktu vÄrtÄ«bu kÄ rezultÄtu.
FederÄlÄ balsoÅ”ana.
BalsoÅ”ana, lÄmumu pieÅemÅ”ana un apstiprinÄÅ”ana ir viens pilns federatÄ«vÄs balsoÅ”anas aplis. Stellar konsensa protokols apvieno daudzus Å”Ädus apļus, lai izveidotu pilnÄ«gu konsensa sistÄmu.
Stellar konsensa protokols
Divas vissvarÄ«gÄkÄs konsensa sistÄmas Ä«paŔības ir droŔība un izturÄ«ba. Konsensa algoritms ir "droÅ”s", ja tas nekad nevar sniegt atŔķirÄ«gus rezultÄtus dažÄdiem dalÄ«bniekiem (Boba vÄstures kopija nekad nebÅ«s pretrunÄ ar KÄrolas viedokli). "IzturÄ«ba" nozÄ«mÄ, ka algoritms vienmÄr sniegs rezultÄtu, tas ir, neiestrÄgs.
AprakstÄ«tÄ federatÄ«vÄs balsoÅ”anas procedÅ«ra ir droÅ”a tÄdÄ nozÄ«mÄ, ka, ja mezgls apstiprina vÄrtÄ«bu V, neviens cits mezgls neapstiprinÄs citu vÄrtÄ«bu. TaÄu "neapstiprinÄt citu vÄrtÄ«bu" nenozÄ«mÄ, ka tas obligÄti apstiprinÄs kaut ko. DalÄ«bnieki var balsot par tik lielu dažÄdu vÄrtÄ«bu skaitu, ka nekas nesasniegs pieÅemÅ”anas slieksni. Tas nozÄ«mÄ, ka federatÄ«vajÄ balsoÅ”anÄ trÅ«kst izturÄ«ba.
Stellar konsensa protokols izmanto federatÄ«vo balsoÅ”anu tÄdÄ veidÄ, lai garantÄtu gan droŔību, gan izturÄ«bu. (DroŔības un izturÄ«bas garantijas SCP ir teorÄtisks limits. Konstrukcija izvÄlas ļoti spÄcÄ«gu droŔības garantiju, upurÄjot nedaudz izturÄ«bu, bet Åemot vÄrÄ pietiekamu laiku, konsenss ar augstu varbÅ«tÄ«bu tiks sasniegts). Citiem vÄrdiem sakot, ideja ir veikt vairÄkus federatÄ«vos balsojumus par dažÄdÄm vÄrtÄ«bÄm, lÄ«dz viena no tÄm pilnÄ«bÄ iziet cauri visÄm SCP balsoÅ”anas fÄzÄm, kas aprakstÄ«tas zemÄk.
VÄrtÄ«bas, par kurÄm SCP tiecas uz konsensu, var bÅ«t darÄ«jumu vÄsture vai pusdienu pasÅ«tÄ«jums vai kas cits, taÄu svarÄ«gi atzÄ«mÄt, ka tÄs nav tÄs vÄrtÄ«bas, kas tiek pieÅemtas vai apstiprinÄtas. TÄ vietÄ federatÄ«vÄ balsoÅ”ana notiek par apgalvojumiem par Ŕīm vÄrtÄ«bÄm..
Pirmie federatÄ«vÄs balsoÅ”anas apļi notiek izvirzÄ«Å”anas posmÄ (nomination phase), uz apgalvojumu kopuma veida "Es izvirzu V", iespÄjams, par daudzÄm dažÄdÄm vÄrtÄ«bÄm V. IzvirzÄ«Å”anas mÄrÄ·is ir atrast vienu vai vairÄkus apgalvojumus, kas iziet cauri pieÅemÅ”anai un apstiprinÄÅ”anai.
PÄc to verifikÄjamo kandidÄtu atraÅ”anas SCP pÄriet uz balsoÅ”anas posmu, kur mÄrÄ·is ir atrast kÄdu biļeti (proti, priekÅ”likuma saturu) un kvorumu, kas var paziÅot kommitu par to (commit). Ja kvorums apstiprina biļetes apÅemÅ”anos, tÄs saturs tiek pieÅemts kÄ konsenss. TaÄu pirms mezgls var balsot par biļetes apÅemÅ”anu, tam vispirms jÄpÄrliecina par biļeÅ”u noraidÄ«Å”anu ar mazÄku skaitÄ«tÄja vÄrtÄ«bu. Å ie soļi ā biļeÅ”u noraidÄ«Å”ana, lai atrastu to, par kuru var apstiprinÄt apÅemÅ”anos ā ietver vairÄkus federatÄ«vos balsoÅ”anas apļus par vairÄkiem biļeÅ”u paziÅojumiem.
NÄkamajos segmentos sÄ«kÄk aprakstÄ«ts izvirzÄ«Å”ana un balsoÅ”ana.
IzvirzīŔana
IzvirzÄ«Å”anas posma sÄkumÄ katrs mezgls var patstÄvÄ«gi izvÄlÄties vÄrtÄ«bu V un balsot par apstiprinÄjumu "Es izvirzu V". MÄrÄ·is Å”ajÄ posmÄ ir apstiprinÄt kÄdas vÄrtÄ«bas izvirzÄ«Å”anu, izmantojot federatÄ«vo balsoÅ”anu.
IespÄjams, pietiekams skaits mezglu balso par pietiekami dažÄdiem paziÅojumiem, un nekÄds izvirzÄ«jums nevar sasniegt pieÅemÅ”anas slieksni. TÄdÄļ, izÅemot savas nominÄcijas balsis, mezgli "atspoguļo" savu kaimiÅu nominÄcijas. AtspoguļoÅ”ana (echo) nozÄ«mÄ, ka, ja mezgls balso par izvirzÄ«jumu V, bet redz ziÅojumu no kaimiÅa, kurÅ” balso par izvirzÄ«jumu W, tad tas tagad balsos gan par izvirzÄ«jumu V, gan W. (Ne visas kaimiÅu balsis tiek atspoguļotas izvirzÄ«Å”anas laikÄ, jo tas var novest pie dažÄdu nominantu plosÄ«Å”anÄs. SCP ietver mehÄnismu Ŕīs balsis regulÄÅ”anai. ÄŖsumÄ, ir formula, lai noteiktu "prioritÄti" kaimiÅam attiecÄ«bÄ uz mezglu, un balsis tiek atspoguļotas tikai augstprÄtÄ«giem mezgliem. Jo ilgÄk notiek izvirzÄ«Å”ana, jo zemÄks slieksnis, tÄdÄļ mezgls paplaÅ”ina kopumu kaimiÅu, kuru balsis tas atspoguļo. PrioritÄtes formula kÄ vienu no izejas datiem ietver slotu numuru, tÄpÄc augstprÄtÄ«gs vienlÄ«dzÄ«gs mezgls vienam slotam var bÅ«t zema prioritÄte citam, un otrÄdi).
KonceptuÄli vienlaicÄ«ga V un W izvirzÄ«Å”ana ir atseviŔķi federatÄ«vi balsis, katra spÄjÄ«gi sasniegt akceptÄÅ”anu vai apstiprinÄjumu. PraksÄ SCP protokola ziÅojumi apvieno Ŕīs atseviŔķÄs balsis kopÄ.
Lai gan balsoÅ”ana par V izvirzÄ«Å”anu ir solÄ«jums nekad nebalsot pret V izvirzÄ«Å”anu, lietojuma lÄ«menÄ« ā Å”ajÄ gadÄ«jumÄ SCP ā tiek noteikts, ko nozÄ«mÄ "pret". SCP neredz apstiprinÄjumu, kas pretrunÄ balsij "Es izvirzu X", proti, nav ziÅojuma "Es esmu pret X izvirzÄ«Å”anu", tÄpÄc mezgls var balsot par jebkuru vÄrtÄ«bu izvirzÄ«Å”anu. Daudzas no Ŕīm nominÄcijÄm neizdosies, bet, galu galÄ, mezgls spÄs pieÅemt vai apstiprinÄt vienu vai vairÄkas vÄrtÄ«bas. Kad nominants ir apstiprinÄts, viÅÅ” kļūst par kandidÄtu.
SCP izvirzÄ«Å”ana, izmantojot federatÄ«vo balsoÅ”anu. Var bÅ«t daudz "B" vÄrtÄ«bu, kuras izvirza vienlÄ«dzÄ«gi mezgli un "atspoguļo" mezgls.
KandidÄtu izvirzÄ«Å”ana var novest pie vairÄku apstiprinÄmu kandidÄtu parÄdÄ«Å”anÄs. TÄpÄc SCP prasa, lai lietojuma lÄ«menis nodroÅ”inÄtu kÄdu metodi, lai apvienotu kandidÄtus vienÄ kompozÄ«tÄ (composite). ApvienoÅ”anas metode var bÅ«t jebkura. Galvenais ir tas, ka, ja Ŕī metode ir noteikta, tad katrs mezgls apvienos tos paÅ”us kandidÄtus. VÄlÄÅ”anu sistÄmÄ par pusdienÄm "apvienoÅ”ana" var nozÄ«mÄt vienkÄrÅ”i atteikÅ”anos no viena no diviem kandidÄtiem. (Bet noteiktÄ veidÄ: katram mezglam jÄizvÄlas tas pats vÄrtÄjums pilnÄ«gai noraidÄ«Å”anai. PiemÄram, iepriekÅ”ÄjÄ izvÄle alfabÄtiskÄ secÄ«bÄ). Stellar maksÄjumu tÄ«klÄ, kur notiek balsoÅ”ana par darÄ«jumu vÄsturi, divu piedÄvÄto nominantu apvienoÅ”ana nozÄ«mÄ apvienot darÄ«jumus, kuri tajos iekļauti, un pÄdÄjÄs no viÅu divÄm laika zÄ«mÄm.
Tehniskais apraksts SCP pierÄda (teorema 12), ka lÄ«dz izvirzÄ«Å”anas fÄzes beigÄm tÄ«kls galu galÄ sasniedz vienu kompozÄ«tu. TaÄu ir problÄma: federatÄ«vais balsojums ir asimetrisks protokols (kÄ arÄ« SCP). Citiem vÄrdiem sakot, mezgli nav saskaÅoti laikÄ, bet tikai ziÅojumos, kurus viÅi nosÅ«ta. No mezgla viedokļa nav skaidrs, kad ir pabeigta izÅemÅ”anas fÄze. Un, kaut arÄ« visi mezgli galu galÄ sasniegs to paÅ”u kompozÄ«tu, tie var izvÄlÄties dažÄdus marÅ”rutus Å”ajÄ ceļÄ, radot pa ceļam dažÄdus kandidÄtus, un nekad nevar pateikt, kurÅ” no tiem ir galÄ«gais.
Bet tas ir kÄrtÄ«bÄ. IzÅemÅ”ana ir tikai sagatavoÅ”anÄs. Galvenais ir ierobežot kandidÄtu skaitu, lai sasniegtu konsensu, kas notiek procesÄ. balsoÅ”ana (balloting).
Balsosana
Balsu lapa ir pÄris , kur counter ir vesels skaitlis, kas sÄkas ar 1, un value ir kandidÄts no izÅemÅ”anas posma. Tas var bÅ«t mezga pielaikots kandidÄts vai kaimiÅ”a mezga kandidÄts, ko ir pieÅÄmis Å”is mezgls. Aptuveni sakot, balsoÅ”anas procesÄ notiek atkÄrtotas centieni panÄkt, lai tÄ«kls sasniegtu konsensu par kÄdu kandidÄtu kÄdÄ balsojumÄ, veicot potenciÄli daudzas federatÄ«vas balsoÅ”anas par balsojuma paziÅojumiem. SkaitÄ«tÄji balsu lapÄs seko izdarÄ«tajiem mÄÄ£inÄjumiem, un balsu lapas ar augstÄkiem skaitÄ«tÄjiem ir prioritÄras pÄr balsu lapÄm ar zemÄkiem skaitÄ«tÄjiem. Ja balsu lapa iesprÅ«dina, sÄkas jauna balsoÅ”ana, tagad balsu lapÄ .
Ir svarÄ«gi noŔķirt vÄrtÄ«bas (piemÄram, kÄds jÄbÅ«t pusdienu pasÅ«tÄ«jumam: pica vai salÄti), balsu lapas (pÄris counter-value) un statements par balsu lapÄm. SCP kÄrta ietver vairÄkas federatÄ«vas balsoÅ”anas kÄrtas, Ä«paÅ”i par Å”ÄdÄm paziÅojumiem:
- Ā«Es esmu gatavs paziÅot balsu lapu BĀ» un
- Ā«Es paziÅoju par balsu lapas B apstiprinÄÅ”anuĀ»
No Ŕī mezga skata punkta konsenss tiek sasniegts, kad tas atrod balsojumu B, kuru var apstiprinÄt (proti, atrast kvorumu, kurÅ” pieÅem) paziÅojumu Ā«Es paziÅoju par balsu lapas B apstiprinÄÅ”anuĀ». No Ŕī brīža var droÅ”i rÄ«koties saskaÅÄ ar V norÄdÄ«to vÄrtÄ«bu - piemÄram, veikt Å”o pusdienu pasÅ«tÄ«jumu. To sauc par eksternalizÄciju vÄrtÄ«bas. TiklÄ«dz tiek apstiprinÄta balsu lapas pieÅemÅ”ana, mezgls var bÅ«t droÅ”s, ka jebkurÅ” cits mezgls ir veikusi eksteranlizÄciju par Å”o paÅ”u vÄrtÄ«bu vai obligÄti to veiks nÄkotnÄ.
Lai gan konceptuÄli daudzas federatÄ«vÄs balsoÅ”anas tiek veiktas par paziÅojumiem par daudziem dažÄdiem biļeteniem, tÄs apmainÄs ar ne tik lielu ziÅojumu skaitu, jo katrs ziÅojums ietver vairÄkus biļetenus. TÄdÄjÄdi viens ziÅojums veicina daudzu federatÄ«vo balsojumu stÄvokli, piemÄram: "Es pieÅemu biļetenu komitÄÅ”anu diapazonÄ no lÄ«dz ".
Ko nozÄ«mÄ termini "sagatavots" (prepared) un "komitÄt" (commit)?
Mežs balso par biļetena komitÄÅ”anu, kad tas ir pÄrliecinÄts, ka citi meži neveiks biļetenu komitÄÅ”anu ar citiem vÄrtÄ«bÄm. PÄrliecinÄtÄ«ba par to ir sagatavoÅ”anas paziÅojuma mÄrÄ·is. BalsoÅ”ana, kurÄ teikts: "Es esmu gatavs biļetena B komitÄÅ”anai", ir solÄ«jums nekad nekomitÄt biļetu, kas ir mazÄks par B, t.i., ar mazÄku skaitÄ«tÄju (SCP prasa, lai biļetenu vÄrtÄ«bas bÅ«tu noteiktÄ secÄ«bÄ. TÄdÄjÄdi biļetens ir mazÄks par , ja N1<N2, kÄ arÄ« ja N1=N2 un V1<V2). Å ie mazÄkie biļeteni "atcelti" (aborted) sagatavoÅ”anas balsoÅ”anas gaitÄ, kamÄr B tiek uzskatÄ«ts par "sagatavotu".
KÄpÄc "Es esmu gatavs biļetena B komitÄÅ”anai" nozÄ«mÄ "Es solÄ«ju nekad nekomitÄt biļetenus, kas ir mazÄki par B"? TÄpÄc, ka SCP definÄ abortu kÄ pretstatu komitÄÅ”anai. BalsoÅ”ana par biļetena sagatavoÅ”anu nozÄ«mÄ arÄ« balsoÅ”anu par citu biļetenu atcelÅ”anu, un, kÄ mÄs iepriekÅ” apspriedÄm, balsoÅ”ana par kaut ko vienu ir solÄ«jums nekad nebalsot pret to.
Pirms transformatÄ«vÄ komitÄÅ”ana, mežam vispirms jÄdod biļetens, kuru tas var apstiprinÄt kÄ sagatavotu. Citiem vÄrdiem sakot, tas veic federatÄ«vo balsoÅ”anu par tÄmu "Es esmu gatavs biļetena B komitÄÅ”anai", iespÄjams, par daudziem dažÄdiem biļeteniem, lÄ«dz tas atrod to, kuru pieÅem kvorums.
NozÄ«mÄ, kÄ tiek iegÅ«ti biļeteni balsoÅ”anai? SÄkumÄ mezgls translatÄ sagatavi balsoÅ”anai par , kur C ir kompozÄ«tkandidÄts, izstrÄdÄts izvirzÄ«Å”anas stadijÄ. TomÄr pat pÄc balsoÅ”anas sagataves uzsÄkÅ”anas izvirzÄ«Å”ana var novest pie jaunu kandidÄtu parÄdÄ«Å”anÄs, kuri kļūs par jaunajiem biļeteniem. TurklÄt dalÄ«bniekiem var bÅ«t dažÄdi kandidÄti, un viÅi var izveidot bloÄ·ÄjoÅ”u kopumu, kas pieÅem "Es esmu gatavs apstiprinÄt biļetenu B2", kas pÄrliecinÄs mezglu to pieÅemt. BeigÄs ir laika ierobežojuma mehÄnisms, kas Ä£enerÄ jaunus federÄlo balsoÅ”anas apļus ar jaunajiem biļeteniem ar augstÄkiem skaitÄ«tÄjiem, ja paÅ”reizÄjie biļeteni ir iestrÄguÅ”i.
Kad mezgls atrod biļetenu V, kuru var apstiprinÄt kÄ sagatavotu, tas translatÄ jaunu ziÅu "ApstiprinÄt biļetenu V". Å is balsojums informÄ dalÄ«bniekus, ka mezgls nekad neatteiksies no V. PatiesÄ«bÄ, ja V ir biļetens , tad "ApstiprinÄt biļetenu " nozÄ«mÄ beznosacÄ«juma piekriÅ”anu balsot par katra biļetena gatavÄ«bu no lÄ«dz . Å Ä« papildu nozÄ«me palÄ«dz citiem mezgliem noÅemt dalÄ«bnieku ar apstiprinÄÅ”anu, ja tie vÄl ir agrÄkajos protokola posmos.
Å ajÄ posmÄ joprojÄm ir svarÄ«gi uzsvÄrt, ka tÄs ir asinkronie protokoli. Tikai tÄpÄc, ka viens mezgls nosÅ«ta balsis par apstiprinÄÅ”anu, nenozÄ«mÄ, ka arÄ« viÅa kolÄÄ£i to dara. Daži no viÅiem joprojÄm var balsot par paziÅojumiem sagatavoÅ”anai balsoÅ”anai, citi, iespÄjams, jau ir ÄrÄjoÅ”i noteikuÅ”i vÄrtÄ«bu. SCP izskaidro, kÄ mezglam jÄapstrÄdÄ katra veida vienÄdÄs ziÅas neatkarÄ«gi no tÄs fÄzes.
Ja, ja mÄs saÅemsim ziÅojumu "Es paziÅoju par apstiprinÄjumu <N,C>", tam var nebÅ«t pieÅemts vai apstiprinÄts, tad ir iespÄja pieÅemt vai apstiprinÄt ziÅojumu <N+1,C> vai <N+2,C> ā vai, jebkurÄ gadÄ«jumÄ, jebkuru biļeti ar C vÄrtÄ«bu, nevis jebkuru citu, jo mezgls jau ir apsolÄ«jis nekad neatcelt <N,C>. Kad mezgls pÄrsÅ«ta balsis par apstiprinÄjumu, tas bÅ«s C vai nekas, atkarÄ«bÄ no tÄ, cik tÄlu konsensuss ir nonÄcis. TomÄr Å”obrÄ«d tam nav pietiekami, lai ÄrÄji apstiprinÄtu C. Daži bizantiskie vÄstÄ«jumi (kas veido mazÄk par kvorumu, pamatojoties uz mÅ«su droŔības pieÅÄmumiem) var melot mezglam. ApstiprinÄÅ”ana, tad apstiprinÄÅ”ana kÄdam biļetÄm (vai biļeÅ”u diapazonam) ā tieÅ”i tas dod mezglam pÄrliecÄ«bu, beidzot apstiprinÄt C.
Balsu vÄkÅ”ana SCP caur federatÄ«vo balsoÅ”anu. Nav parÄdÄ«ts: jebkurÄ brÄ«dÄ« var darboties taimeris, palielinot skaitÄ«tÄju biļetÄ (un, iespÄjams, radot jaunu kompozÄ«tu no papildu izvirzÄ«tajiem kandidÄtiem).
Un tas ir viss! TiklÄ«dz tÄ«kls nonÄk pie konsensusa, tas ir gatavs to darÄ«t atkal un atkal. Stellar maksÄjumu tÄ«klÄ tas notiek apmÄram reizi 5 sekundÄs: sasniegums, kas prasa gan droŔību, gan izturÄ«bu, ko garantÄ SCP.
SCP var sasniegt to, balstoties uz vairÄkÄm federatÄ«vÄ balsojuma kÄrtÄm. FederatÄ«vais balsojums ir kļuvis iespÄjams pateicoties kvoruma griezuma koncepcijai: vienÄdu mezglu kopÄm, kurÄm katrs mezgls ir nolÄmis uzticÄties kÄ savam (subjektÄ«vam) kvorumam. Å Ä« konfigurÄcija nozÄ«mÄ, ka ir iespÄjams sasniegt konsensusu pat atvÄrtÄs dalÄ«bas tÄ«klÄ ar bizantiskais krÄpÅ”anas gadÄ«jumiem.
TÄlÄkÄ lasÄ«Å”ana
- OriÄ£inÄlo tehnisko dokumentu par SCP var atrast , bet specifikÄciju projekts tÄs Ä«stenoÅ”anai.
- Protokola SCP oriÄ£inÄlais autors Deivids Maziers vienkÄrÅ”oti (bet tomÄr tehniski) skaidro to .
- IespÄjams, jÅ«s bijÄt pÄrsteigti, neredzot Å”ajÄ rakstÄ terminus "ieguve" vai "darba pierÄdÄ«jums". SCP neizmanto Ŕīs metodes, taÄu dažÄdi citi konsensusa algoritmi to izmanto. Zeins VÄ«zersprÅ«ns ir uzrakstÄ«jis pieejamu .
- vienkÄrÅ”Ä tÄ«klÄ, kas sasniedz konsensusu viena pilna SCP kÄrtÄ.
- LasÄ«tÄjiem, kuri ir ieinteresÄti SCP Ä«stenojumos: skatiet , ko izmanto Stellar maksÄjumu tÄ«kls, vai , ko es uzrakstÄ«ju labÄkai SCP izpratnei.
Avots: habr.com
Russian
Italian
German
Polish
Estonian
Albanian
Bulgarian
Croatian
Czech
Danish
Dutch
English
French
Hungarian
Latvian
Portuguese
Romanian
Slovak
Slovenian
Spanish
Swedish