{"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\/fr\/blog\/razbiraemsya-v-protokole-konsensusa-stellar","title":{"rendered":"Comprendre le protocole de consensus Stellar","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"Comprendre
\n
\nLe protocole de consensus Stellar a \u00e9t\u00e9 d\u00e9crit pour la premi\u00e8re fois dans un article scientifique<\/a><\/noindex> l'article de David Mazieres en 2015. Il s'agit d'un \u00ab syst\u00e8me f\u00e9d\u00e9ratif d'accord byzantin \u00bb qui permet aux r\u00e9seaux informatiques d\u00e9centralis\u00e9s, sans leaders, d'atteindre efficacement un consensus sur une d\u00e9cision quelconque. Le r\u00e9seau de paiement Stellar utilise le Stellar Consensus Protocol (SCP) pour maintenir un historique coh\u00e9rent des transactions, visible par tous les participants.<\/p>\n

Il est commun\u00e9ment admis que les protocoles de consensus sont difficiles \u00e0 comprendre. Le SCP est plus simple que la plupart d'entre eux, mais il partage n\u00e9anmoins cette r\u00e9putation, en partie \u00e0 cause d'une id\u00e9e erron\u00e9e selon laquelle le \u00ab vote f\u00e9d\u00e9ratif \u00bb, consacr\u00e9 dans la premi\u00e8re partie de l'article scientifique, est le SCP. Mais ce n'est pas le cas ! C'est simplement un \u00e9l\u00e9ment essentiel qui est utilis\u00e9 dans la seconde moiti\u00e9 de l'article pour cr\u00e9er le v\u00e9ritable<\/i> protocole de consensus Stellar.
\n<\/a><\/noindex>
\nCet article expliquera bri\u00e8vement ce qu'est un \u00ab syst\u00e8me d'accord \u00bb, ce qui peut le rendre \u00ab byzantin \u00bb et pourquoi rendre un syst\u00e8me byzantin \u00ab f\u00e9d\u00e9ratif \u00bb. Nous expliquerons ensuite la proc\u00e9dure de vote f\u00e9d\u00e9ratif d\u00e9crite dans l'article sur le SCP, et enfin nous expliquerons le protocole SCP lui-m\u00eame.<\/p>\n

Syst\u00e8mes d'accords<\/h1>\n

\nUn syst\u00e8me d'accord permet \u00e0 un groupe de participants de parvenir \u00e0 un consensus sur un certain sujet, par exemple, ce qu'il faut commander pour le d\u00e9jeuner.<\/p>\n

Chez Interstellar, nous avons mis en place notre propre syst\u00e8me d'accord pour le d\u00e9jeuner : nous commandeons ce que dit notre responsable des op\u00e9rations, John. C'est un syst\u00e8me d'accord simple et efficace. Nous faisons tous confiance \u00e0 John et croyons qu'il trouvera chaque jour quelque chose d'int\u00e9ressant et de nutritif.<\/p>\n

Mais que se passerait-il si John abusait de notre confiance ? Il pourrait unilat\u00e9ralement d\u00e9cider que nous devrions tous devenir v\u00e9g\u00e9taliens. Dans une semaine ou deux, nous le renverserions probablement et confierions le pouvoir \u00e0 Elizabeth. Mais que se passe-t-il si elle aime les avocats avec des anchois et pense que tout le monde devrait l'\u00eatre ? Le pouvoir corrompt. Il vaut donc mieux trouver une m\u00e9thode plus d\u00e9mocratique : un moyen de s'assurer que diverses pr\u00e9f\u00e9rences sont prises en compte, tout en garantissant un r\u00e9sultat clair et opportun, afin qu'il ne se retrouve pas dans une situation o\u00f9 personne ne commande le d\u00e9jeuner ou cinq personnes passent des commandes diff\u00e9rentes, ou que la discussion s'\u00e9ternise jusqu'au soir.<\/p>\n

Il semblerait que la solution soit simple : organiser un vote ! Mais cette impression est trompeuse. Qui va collecter les bulletins et communiquer les r\u00e9sultats ? Et pourquoi les autres devraient-ils croire ce qu'il dira ? Peut-\u00eatre que nous pouvons d'abord<\/i> voter pour un leader en qui nous avons confiance pour diriger le vote \u2014 mais qui dirigera ce premier<\/i> vote ? Que se passe-t-il si nous ne parvenons pas \u00e0 nous mettre d'accord sur un leader ? Ou si nous parvenons \u00e0 un accord, mais que ce leader est retenu lors d'une r\u00e9union ou tombe malade ?<\/p>\n

Des probl\u00e8mes similaires se rencontrent dans les r\u00e9seaux informatiques distribu\u00e9s. Tous les participants ou n\u0153uds doivent convenir d'une certaine d\u00e9cision, par exemple, qui doit mettre \u00e0 jour un fichier commun ou retirer une t\u00e2che de la file d'attente. Dans un r\u00e9seau de cryptomonnaie, les n\u0153uds doivent \u00e0 plusieurs reprises choisir quelle histoire compl\u00e8te est celle qui s'applique, parmi plusieurs versions possibles qui entrent parfois en conflit. Cet accord r\u00e9seau garantit au destinataire que la pi\u00e8ce est (a) valide (non contrefaite) et (b) qu'elle n'a pas encore \u00e9t\u00e9 d\u00e9pens\u00e9e ailleurs. Cela garantit \u00e9galement qu'il pourra d\u00e9penser les pi\u00e8ces \u00e0 l'avenir, car le nouveau destinataire aura les m\u00eames garanties pour les m\u00eames raisons.<\/p>\n

Tout syst\u00e8me de consensus dans un r\u00e9seau informatique distribu\u00e9 doit \u00eatre tol\u00e9rant aux pannes : il doit donner des r\u00e9sultats coh\u00e9rents, malgr\u00e9 des erreurs telles que des lignes de communication lentes, des n\u0153uds non r\u00e9actifs et un ordre de messages incorrect. Le<\/i> syst\u00e8me de consensus byzantin est en plus r\u00e9sistant aux erreurs \u00abbyzantines\u00bb : des n\u0153uds fournissant de fausses informations, que ce soit par erreur ou dans une tentative d\u00e9lib\u00e9r\u00e9e de nuire au syst\u00e8me ou d'en tirer un avantage. La tol\u00e9rance aux pannes \u00abbyzantine\u00bb \u2014 la capacit\u00e9 de faire confiance \u00e0 une d\u00e9cision de groupe, m\u00eame lorsque certains membres du groupe peuvent mentir ou ne pas suivre les r\u00e8gles de d\u00e9cision \u2014 a son nom d'apr\u00e8s la fable des g\u00e9n\u00e9raux de l'Empire byzantin<\/a><\/noindex>, qui essayaient de coordonner une attaque. Une bonne description<\/a><\/noindex> se trouve chez Anthony Stevens.<\/p>\n

Consid\u00e9rons Alice, la propri\u00e9taire de la cryptomonnaie, qui doit choisir entre acheter une d\u00e9licieuse glace chez Bob ou rembourser sa dette envers Carol. Peut-\u00eatre qu'Alice veut payer les deux en m\u00eame temps, en d\u00e9pensant frauduleusement la m\u00eame pi\u00e8ce. Pour cela, elle doit convaincre l'ordinateur de Bob que la pi\u00e8ce n'a jamais \u00e9t\u00e9 vers\u00e9e \u00e0 Carol, et convaincre l'ordinateur de Carol que la pi\u00e8ce n'a jamais \u00e9t\u00e9 vers\u00e9e \u00e0 Bob. Un syst\u00e8me byzantin de consensus rend cela pratiquement impossible, en utilisant une forme de r\u00e8gle de la majorit\u00e9 appel\u00e9e quorum<\/i>. Dans un tel r\u00e9seau, un n\u0153ud refuse de passer \u00e0 une version particuli\u00e8re de l'histoire tant qu'il n'a pas vu qu'un nombre suffisant de n\u0153uds pairs \u2014 un quorum \u2014 sont d'accord avec ce passage. Une fois que cela se produit, ils forment un bloc \u00e9lectoral suffisamment important pour convaincre les n\u0153uds restants du r\u00e9seau d'accepter leur d\u00e9cision. Alice peut forcer certains n\u0153uds \u00e0 mentir en son nom, mais si le r\u00e9seau est suffisamment vaste, sa tentative sera \u00e9touff\u00e9e par les voix des n\u0153uds honn\u00eates.<\/p>\n

Combien de n\u0153uds sont n\u00e9cessaires pour un quorum ? Au minimum, la majorit\u00e9, ou plus pr\u00e9cis\u00e9ment, une majorit\u00e9 qualifi\u00e9e pour lutter contre les erreurs et la fraude. Mais pour compter la majorit\u00e9, il faut conna\u00eetre le nombre total de participants. Dans un bureau interstellaire ou pour des \u00e9lections de district, ces chiffres sont faciles \u00e0 obtenir. Mais si votre groupe est un r\u00e9seau mal d\u00e9fini, o\u00f9 les n\u0153uds peuvent entrer et sortir \u00e0 volont\u00e9 sans concertation avec un centre, alors il faut une syst\u00e8me f\u00e9d\u00e9ratif<\/i> de consensus byzantin capable de d\u00e9terminer des quorums non \u00e0 partir d'une liste pr\u00e9d\u00e9finie de n\u0153uds, mais dynamiquement, \u00e0 partir d'un instantan\u00e9 constamment changeant et in\u00e9vitablement incomplet des n\u0153uds \u00e0 un moment donn\u00e9.<\/p>\n

Il peut sembler impossible de cr\u00e9er un quorum du point de vue d'un n\u0153ud dans un vaste r\u00e9seau, mais c'est possible. Un tel quorum peut m\u00eame garantir les r\u00e9sultats d'un vote d\u00e9centralis\u00e9. Le document technique SCP montre comment le faire \u00e0 l'aide d'une proc\u00e9dure appel\u00e9e vote f\u00e9d\u00e9ratif<\/i>.<\/p>\n

Pour les impatients<\/h1>\n

\nLe reste de l'article d\u00e9crit plus en d\u00e9tail le vote f\u00e9d\u00e9ratif et le protocole de consensus Stellar. Si les d\u00e9tails ne vous int\u00e9ressent pas, voici un aper\u00e7u g\u00e9n\u00e9ral du processus.<\/p>\n

    \n
  1. Les n\u0153uds organisent des tours de vote f\u00e9d\u00e9raux sur les \u00ab nomin\u00e9s \u00bb. Un tour de vote f\u00e9d\u00e9ral signifie :\n