{"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\/sv\/blog\/razbiraemsya-v-protokole-konsensusa-stellar","title":{"rendered":"Utforskar Stellar-konsensusprotokollet","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"Utforskar
\n
\nStellar-konsensusprotokollet beskrevs f\u00f6rst av en vetenskaplig artikel<\/a><\/noindex> David Mazieres 2015. Det \u00e4r ett \"federativt system f\u00f6r bysantinsk \u00f6verenskommelse\" som g\u00f6r det m\u00f6jligt f\u00f6r decentraliserade datan\u00e4tverk utan ledare att effektivt n\u00e5 enighet om en viss l\u00f6sning. Betalningsn\u00e4tverket Stellar anv\u00e4nder Stellar Consensus Protocol (SCP) f\u00f6r att h\u00e5lla en samst\u00e4mmig transaktionshistorik som alla deltagare ser.<\/p>\n

Det anses att konsensusprotokoll \u00e4r sv\u00e5ra att f\u00f6rst\u00e5. SCP \u00e4r enklare \u00e4n de flesta av dem men delar \u00e4nd\u00e5 detta rykte \u2013 delvis p\u00e5 grund av den felaktiga id\u00e9n att \"federativ omr\u00f6stning\", som den f\u00f6rsta delen av den vetenskapliga artikeln \u00e4gnar sig \u00e5t, \u00e4r SCP. Men s\u00e5 \u00e4r det inte! Det \u00e4r bara en viktig byggsten som i den andra delen av artikeln anv\u00e4nds f\u00f6r att skapa det faktiska<\/i> Stellar konsensusprotokollet.
\n<\/a><\/noindex>
\nI denna artikel kommer vi kortfattat att f\u00f6rklara vad ett \"\u00f6verenkommelse-system\" \u00e4r, vad som kan g\u00f6ra det \"bysantinskt\" och varf\u00f6r man b\u00f6r g\u00f6ra ett bysantinskt system \"federativt\". Vi kommer sedan att f\u00f6rklara den federativa omr\u00f6stningsproceduren som beskrivs i artikeln om SCP och slutligen f\u00f6rklara sj\u00e4lva SCP-protokollet.<\/p>\n

\u00d6verenskommelse-system<\/h1>\n

\nEtt \u00f6verenskommelse-system g\u00f6r det m\u00f6jligt f\u00f6r en grupp deltagare att enas om ett visst \u00e4mne, till exempel vad man ska best\u00e4lla till lunch.<\/p>\n

Vi p\u00e5 Interstellar har implementerat v\u00e5rt eget system f\u00f6r lunch\u00f6verenskommelse: vi best\u00e4ller det som v\u00e5r operativa chef John s\u00e4ger. Det \u00e4r ett enkelt och effektivt \u00f6verenskommelse-system. Vi litar alla p\u00e5 John och tror att han varje dag kommer att hitta n\u00e5got intressant och n\u00e4ringsrikt.<\/p>\n

Men vad h\u00e4nder om John missbrukar v\u00e5rt f\u00f6rtroende? Han kan ensidigt besluta att vi alla ska bli veganer. Inom en vecka eller tv\u00e5 kommer vi sannolikt att avs\u00e4tta honom och \u00f6verf\u00f6ra makten till Elizabeth. Men t\u00e4nk om hon \u00e4lskar avokado med ansjovis och tycker att alla borde bli s\u00e5dana. Makten korrumperar. D\u00e4rf\u00f6r \u00e4r det b\u00e4ttre att hitta n\u00e5gon mer demokratisk metod: n\u00e5got s\u00e4tt att se till att olika preferenser blir beaktade, samtidigt som en snabb och tydlig l\u00f6sning s\u00e4kerst\u00e4lls s\u00e5 att ingen best\u00e4ller lunch eller fem personer g\u00f6r olika best\u00e4llningar, eller att diskussionen drar ut p\u00e5 tiden till kv\u00e4llen.<\/p>\n

Det verkar vara en enkel l\u00f6sning: att h\u00e5lla en omr\u00f6stning! Men det \u00e4r en bedr\u00e4glig uppfattning. Vem ska samla in r\u00f6stsedlar och rapportera resultaten? Och varf\u00f6r ska de andra tro p\u00e5 vad han s\u00e4ger? Kanske kan vi f\u00f6rst<\/i> r\u00f6sta p\u00e5 en ledare som vi litar p\u00e5 f\u00f6r att leda omr\u00f6stningen \u2013 men vem ska leda detta f\u00f6rsta<\/i> omr\u00f6stning? Vad h\u00e4nder om vi inte kan enas om en ledare? Eller om vi enas, men den ledaren sitter fast i ett m\u00f6te eller blir sjuk?<\/p>\n

Liknande problem uppst\u00e5r i distribuerade datan\u00e4tverk. Alla deltagare eller noder m\u00e5ste enas om n\u00e5gon form av beslut, till exempel vems tur det \u00e4r att uppdatera en gemensam fil eller h\u00e4mta en uppgift fr\u00e5n en k\u00f6. I ett kryptovalutan\u00e4tverk m\u00e5ste noderna g\u00e5ng p\u00e5 g\u00e5ng v\u00e4lja hur den fullst\u00e4ndiga historien ser ut bland flera m\u00f6jliga versioner, som ibland konfliktar. Detta n\u00e4tverksbeslut garanterar f\u00f6r mottagaren att myntet \u00e4r (a) giltigt (inte falskt) och (b) \u00e4nnu inte anv\u00e4nt n\u00e5gon annanstans. Det garanterar ocks\u00e5 att han kan spendera mynten i framtiden, eftersom den nya mottagaren kommer att ha samma garantier av samma sk\u00e4l.<\/p>\n

Vilken som helst beslutssystem i ett distribuerat databehandlingsn\u00e4tverk m\u00e5ste vara felfritt: det ska ge konsekventa resultat trots fel som l\u00e5ngsamma kommunikationslinjer, icke-reagerande noder och felaktig ordning av meddelanden. Byzantinska<\/i> \u00f6verenskommelser \u00e4r dessutom motst\u00e5ndskraftiga mot \"byzantinska\" fel: noder som ger felaktig information, antingen p\u00e5 grund av misstag eller i ett avsiktligt f\u00f6rs\u00f6k att undergr\u00e4va systemet eller f\u00e5 n\u00e5gon f\u00f6rdel. \"Byzantinsk\" felfrihet \u2013 f\u00f6rm\u00e5gan att lita p\u00e5 en gruppbeslut, \u00e4ven n\u00e4r vissa medlemmar i gruppen kan ljuga eller avvika fr\u00e5n beslutsreglerna \u2013 har f\u00e5tt sitt namn fr\u00e5n ber\u00e4ttelsen om generalerna i det Byzantinska imperiet<\/a><\/noindex>, som f\u00f6rs\u00f6kte koordinera en attack. Ett bra beskriving<\/a><\/noindex> av Anthony Stevens.<\/p>\n

L\u00e5t oss betrakta kryptovaluta\u00e4garen Alice, som m\u00e5ste v\u00e4lja mellan att k\u00f6pa god glass fr\u00e5n Bob eller betala sin skuld till Carol. Kanske vill Alice betala b\u00e5da samtidigt, genom att bedr\u00e4gligt spendera samma mynt. F\u00f6r att g\u00f6ra detta m\u00e5ste hon \u00f6vertyga Bobs dator om att myntet aldrig har betalats till Carol, och \u00f6vertyga Carols dator om att myntet aldrig har betalats till Bob. Det byzantinska konsensusprotokollet g\u00f6r detta i praktiken om\u00f6jligt, genom att anv\u00e4nda en form av majoritetsregel som kallas kvorum<\/i>. En nod i ett s\u00e5dant n\u00e4tverk avst\u00e5r fr\u00e5n att g\u00e5 vidare till en specifik version av historien, tills den ser att ett tillr\u00e4ckligt antal j\u00e4mst\u00e4llda noder \u2013 kvorum \u2013 \u00e4r eniga om att g\u00f6ra s\u00e5. N\u00e4r detta intr\u00e4ffar kommer de att bilda en tillr\u00e4ckligt stor valblock f\u00f6r att tvinga de \u00e5terst\u00e5ende noderna i n\u00e4tverket att acceptera deras beslut. Alice kan f\u00e5 vissa noder att ljuga \u00e5 hennes v\u00e4gnar, men om n\u00e4tverket \u00e4r tillr\u00e4ckligt stort kommer hennes f\u00f6rs\u00f6k att kv\u00e4vas av r\u00f6sterna fr\u00e5n de \u00e4rliga noderna.<\/p>\n

Hur m\u00e5nga noder kr\u00e4vs f\u00f6r ett kvorum? \u00c5tminstone en majoritet, n\u00e4rmare best\u00e4mt en kvalificerad majoritet f\u00f6r att hantera fel och bedr\u00e4geri. Men f\u00f6r att r\u00e4kna ut majoriteten m\u00e5ste man veta det totala antalet deltagare. P\u00e5 kontoret Interstellar eller i distriktsval \u00e4r dessa siffror l\u00e4tta att ta reda p\u00e5. Men om din grupp \u00e4r ett svagt definierat n\u00e4tverk d\u00e4r noder kan g\u00e5 in och ut efter eget val utan samordning med en central myndighet, s\u00e5 kr\u00e4vs det en federativ<\/i> byzantinsk konsensusprotokoll som kan fastst\u00e4lla kvorum inte fr\u00e5n en f\u00f6rutbest\u00e4md lista av noder, utan dynamiskt, fr\u00e5n en st\u00e4ndigt f\u00f6r\u00e4nderlig och ofr\u00e5nkomligt ofullst\u00e4ndig \u00f6gonblicksbild av noder vid ett visst tillf\u00e4lle.<\/p>\n

Det kan verka om\u00f6jligt att skapa ett kvorum ur ett sikt av en enda nod i ett stort n\u00e4tverk, men det \u00e4r m\u00f6jligt. Ett s\u00e5dant kvorum kan till och med garantera resultaten av decentraliserad r\u00f6stning. Ett tekniskt dokument, SCP, visar hur detta kan g\u00f6ras med en procedur som kallas federerad r\u00f6stning<\/i>.<\/p>\n

F\u00f6r de ot\u00e5liga<\/h1>\n

\nDen resterande delen av artikeln beskriver mer detaljerat den federerade r\u00f6stningen och Stellar-konsensusprotokollet. Om du inte \u00e4r intresserad av detaljerna, h\u00e4r \u00e4r en allm\u00e4n \u00f6versikt \u00f6ver processen.<\/p>\n

    \n
  1. Noder genomf\u00f6r federala r\u00f6stningsrundor f\u00f6r 'nomineringarna'. En federativ r\u00f6stningsrunda inneb\u00e4r:\n