{"id":30047,"date":"2019-10-31T21:33:25","date_gmt":"2019-10-31T18:33:25","guid":{"rendered":"https:\/\/prohoster.info\/blog\/razbiraemsya-v-protokole-konsensusa-stellar\/"},"modified":"2019-10-31T21:33:25","modified_gmt":"2019-10-31T18:33:25","slug":"razbiraemsya-v-protokole-konsensusa-stellar","status":"publish","type":"post","link":"https:\/\/prohoster.info\/et\/blog\/razbiraemsya-v-protokole-konsensusa-stellar","title":{"rendered":"Uurime Stellar konsensusprotokolli","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"Uurime
\n
\nStellar konsensusprotokoll on esmakordselt kirjeldatud teadusartiklis<\/a><\/noindex> David Mazieri poolt 2015. aastal. See on 'f\u00f6deratiivne b\u00fctsantsi kokkulepe', mis v\u00f5imaldab juhtideta detsentraliseeritud arvutiv\u00f5rkudel efektiivselt saavutada konsensust mis tahes otsuse osas. Stellar maksev\u00f5rk kasutab Stellar Consensus Protocol (SCP) s\u00fcsteemi, et hoida koosk\u00f5lastatud tehingute ajalugu, mida n\u00e4evad k\u00f5ik osalejad.<\/p>\n

Peetakse, et konsensusprotokollid on keerulised arusaada. SCP on lihtsam kui enamik neist, kuid jagab siiski seda mainet \u2014 osaliselt vale arusaama t\u00f5ttu, et 'f\u00f6deratiivne h\u00e4\u00e4letamine', millele p\u00fchendatakse teadusartikli esimene pool, on SCP. Kuid see pole t\u00f5si! See on lihtsalt oluline ehitusplokk, mida artikli teises pooles kasutatakse t\u00f5elise<\/i> Stellar konsensusprotokolli loomiseks.
\n<\/a><\/noindex>
\nSelles artiklis k\u00e4sitleme l\u00fchidalt, mis on \u201ekokkuleppete s\u00fcsteem\u201d, mis v\u00f5ib muuta selle \u201eb\u00fcrokraatlikuks\u201d, ja miks muuta b\u00fcrokraatlik s\u00fcsteem \u201ef\u00f6deraalseks\u201d. Seej\u00e4rel selgitame f\u00f6deraalse h\u00e4\u00e4letamisprotseduuri, millest r\u00e4\u00e4gitakse SCP artiklis, ja l\u00f5puks tutvustame SCP protokolli.<\/p>\n

Kokkuleppete s\u00fcsteemid<\/h1>\n

\nKokkuleppete s\u00fcsteem v\u00f5imaldab osalejate grupil saavutada konsensuse mingi teema \u00fcle, n\u00e4iteks selle \u00fcle, mida l\u00f5unaks tellida.<\/p>\n

Meie ettev\u00f5ttes Interstellar oleme rakendanud oma s\u00f6\u00f6gikokkuleppe s\u00fcsteemi: me tellime seda, mida \u00fctleb meie operatsioonijuht John. See on lihtne ja t\u00f5hus kokkuleppete s\u00fcsteem. Me k\u00f5ik usaldame Johni ja usume, et ta leiab iga p\u00e4ev midagi huvitavat ja toitevat.<\/p>\n

Aga mis siis, kui John kuritarvitab meie usaldust? Ta v\u00f5ib \u00fcksi otsustada, et me k\u00f5ik peame veganiteks saama. N\u00e4dala v\u00f5i kahe p\u00e4rast kukutame t\u00f5en\u00e4oliselt ta ja anname v\u00f5imu Elizabethile. Aga \u00e4kki talle meeldivad avokaadod an\u0161oovistega ja ta arvab, et k\u00f5ik peavad olema nagu tema. V\u00f5im rikub. Seet\u00f5ttu on parem leida m\u00f5ni demokraatlikum meetod: mingi viis, et tagada, et erinevad eelistused on arvesse v\u00f5etud, samal ajal tagades \u00f5igeaegse ja \u00fcheselt m\u00f5istetava tulemuse, et v\u00e4ltida olukorda, kus keegi ei telli l\u00f5unat v\u00f5i viis inimest esitavad erinevaid tellimusi v\u00f5i arutelu venib \u00f5htuni.<\/p>\n

Tundub, et lahendus on lihtne: korraldada h\u00e4\u00e4letus! Aga see on petlik mulje. Kes kogub h\u00e4\u00e4letussed ja teatab tulemustest? Ja miks peaksid teised uskuma seda, mida tema \u00fctleb? V\u00f5ib-olla saame eesm\u00e4rkide kohaselt<\/i> h\u00e4\u00e4letada juhtimise usaldusv\u00e4\u00e4rse juhi poolt \u2014 aga kes juhib seda esimest<\/i> h\u00e4\u00e4letust? Mis siis, kui me ei suuda kokku leppida juhis? V\u00f5i kui saame kokku lepitud, aga see juht j\u00e4\u00e4b koosolekule v\u00f5i l\u00e4heb haiglasse?<\/p>\n

Sarnased probleemid esinevad jaotatud arvutiv\u00f5rkudes. K\u00f5ik osalised v\u00f5i s\u00f5lmed peavad kokku leppima mingisuguses lahenduses, n\u00e4iteks kelle kord on ajakohastada \u00fchist faili v\u00f5i v\u00f5tta \u00fclesanne t\u00f6\u00f6tlemise j\u00e4rjekorrast. Kr\u00fcptovaluuta v\u00f5rgus on s\u00f5lmedel korduvalt vaja valida, milline t\u00e4ielik ajalugu v\u00e4lja n\u00e4eb, mitmest v\u00f5imalikust versioonist, mis m\u00f5nikord konfliktivad. See v\u00f5rguleping tagab saajale, et m\u00fcnt on (a) kehtiv (mitte vale) ja (b) veel mitte kulutatud teises kohas. See tagab ka, et ta saab tulevikus m\u00fcndi kulutada, sest uuel saajal on samad garantiid samadel p\u00f5hjustel.<\/p>\n

Igas jaotatud arvutusv\u00f5rgus peab konsensus s\u00fcsteem olema t\u00f5rkekindel: see peab andma j\u00e4rjepidevaid tulemusi, hoolimata vigadest, nagu aeglased sidekanalid, mitte reageerivad s\u00f5lmed ja vale s\u00f5numite j\u00e4rjekord. Byzantine<\/i> kokkulepete s\u00fcsteem on lisaks vastupidav \u00abb\u00fctsantsi\u00bb vigadele: s\u00f5lmedele, mis annavad valeinfot, olgu need siis eksimuse t\u00f5ttu v\u00f5i teadlikust katsest s\u00fcsteemi \u00f5\u00f5nestada v\u00f5i mingit eelist saada. \u00abB\u00fctsantslik\u00bb talitlush\u00e4iretaluvus \u2014 usaldus grupi otsusele, isegi kui m\u00f5ned grupiliikmed v\u00f5ivad vale anda v\u00f5i muul viisil otsuste tegemise reegleid rikkuda \u2014 sai oma nime B\u00fctsantsi impeeriumi kindralite allegooriast<\/a><\/noindex>, kes p\u00fc\u00fcdsid korraldada r\u00fcnnakut. Hea kirjeldus<\/a><\/noindex> Anthony Stevensilt.<\/p>\n

Vaatleme kr\u00fcptoraha omanikku Alice'i, kes peab valima maitsva j\u00e4\u00e4tise ostmise Bobile ja Carolile oma v\u00f5la tasumise vahel. V\u00f5ib-olla tahab Alice m\u00f5lemale korraga maksta, petlikult kulutades sama m\u00fcndi. Selleks peab ta veenma Bobi arvutit, et m\u00fcnt polnud kunagi Carolile makstud, ja veenma Carol'i arvutit, et m\u00fcnt polnud kunagi Bobile makstud. B\u00fctsantsi kokkulepete s\u00fcsteem muudab selle tegelikult v\u00f5imatuks, kasutades enamusreeglist tuntud kvoorumi<\/i>. Sellises v\u00f5rgus keeldub s\u00f5lmimast teatud ajalooversiooni, kuni piisav hulk v\u00f5rdsete s\u00f5lmede \u2014 kvoorum \u2014 on n\u00f5us selle \u00fcleminekuga. Kui see juhtub, moodustavad nad piisavalt suure valimibloki, et sundida \u00fclej\u00e4\u00e4nud v\u00f5rgu s\u00f5lmi nende otsusega n\u00f5ustuma. Alissa v\u00f5ib sundida m\u00f5ningaid s\u00f5lmi valetama tema nimel, kuid kui v\u00f5rk on piisavalt suur, siis tema katse summutatakse ausate s\u00f5lmede h\u00e4\u00e4ltega.<\/p>\n

Kui palju s\u00f5lmi on kvoorumi saavutamiseks vajalik? V\u00e4hemalt enamus, t\u00e4psemalt kvalifitseeritud enamus veaparandamiseks ja pettuse vastu. Kuid enamat arvestamiseks on vajalik teada \u00fcldine osalejate arv. Interstellar'i kontoris v\u00f5i ringkonnavalimistel saab need numbrid kergesti teada. Kuid kui teie grupp on halvasti m\u00e4\u00e4ratletud v\u00f5rk, kuhu s\u00f5lmed saavad vabalt siseneda ja v\u00e4ljuda ilma keskuseta kokkuleppimata, siis on vajalik f\u00f6deratiivne<\/i> Byzantine lepingus\u00fcsteem, mis suudab m\u00e4\u00e4rata kvoorumeid mitte ette m\u00e4\u00e4ratud s\u00f5lmede loendist, vaid d\u00fcnaamiliselt pidevalt muutuva ja paratamatult mittet\u00e4ieliku s\u00f5lmede v\u00e4ljav\u00f5tte p\u00f5hjal kindlal hetkel.<\/p>\n

\u00dche s\u00f5lme vaatenurgast v\u00f5ib tunduda v\u00f5imatu luua kvoorumit ulatuslikus v\u00f5rgustikus, kuid see on siiski v\u00f5imalik. Selline kvoorum v\u00f5ib isegi tagada detsentraliseeritud h\u00e4\u00e4letamise tulemused. Tehniline dokument SCP n\u00e4itab, kuidas seda teha protseduuri kaudu, mida nimetatakse f\u00f6deratiivne h\u00e4\u00e4letamine<\/i>.<\/p>\n

Kauakestev k\u00e4itumine<\/h1>\n

\nArtikli \u00fclej\u00e4\u00e4nud osa kirjeldab p\u00f5hjalikumalt f\u00f6deratiivset h\u00e4\u00e4letamist ja Stellar'i konsensuse protokolli. Kui Teil ei ole huvi \u00fcksikasjade vastu, siis siin on \u00fcldine \u00fclevaade protsessist.<\/p>\n

    \n
  1. S\u00f5lmed viivad l\u00e4bi f\u00f6deratiivse h\u00e4\u00e4letamise voorud \u00abnomineeritud\u00bb \u00fcle. F\u00f6deratiivse h\u00e4\u00e4letamise voor t\u00e4hendab:\n