{"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\/pt\/blog\/razbiraemsya-v-protokole-konsensusa-stellar","title":{"rendered":"Entendendo o protocolo de consenso Stellar","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"Entendendo
\n
\nO protocolo de consenso Stellar foi descrito pela primeira vez em um artigo cient\u00edfico<\/a><\/noindex> de David Mazi\u00e8res em 2015. Trata-se de um \"sistema federal de consenso bizantino\" que permite que redes computacionais descentralizadas, sem l\u00edderes, alcancem efetivamente um consenso sobre qualquer decis\u00e3o. A rede de pagamentos Stellar utiliza o Stellar Consensus Protocol (SCP) para manter um hist\u00f3rico consistente de transa\u00e7\u00f5es, vis\u00edvel a todos os participantes.<\/p>\n

Acredita-se que os protocolos de consenso sejam dif\u00edceis de entender. O SCP \u00e9 mais simples que a maioria deles, mas ainda assim carrega essa reputa\u00e7\u00e3o \u2014 em parte devido \u00e0 ideia equivocada de que a \"vota\u00e7\u00e3o federativa\", discutida na primeira metade do artigo cient\u00edfico, \u00e9 o SCP. Mas n\u00e3o \u00e9! \u00c9 apenas um bloco de constru\u00e7\u00e3o importante que, na segunda metade do artigo, \u00e9 utilizado para formar o real<\/i> protocolo de consenso Stellar.
\n<\/a><\/noindex>
\nNeste artigo, apresentaremos brevemente o que \u00e9 um \"sistema de acordos\", o que pode torn\u00e1-lo \"bizantino\" e por que tornar um sistema bizantino \"federal\". Em seguida, explicaremos o processo de vota\u00e7\u00e3o federativa, descrito no artigo sobre o SCP, e, finalmente, explicaremos o pr\u00f3prio protocolo SCP.<\/p>\n

Sistemas de acordos<\/h1>\n

\nUm sistema de acordos permite que um grupo de participantes chegue a um consenso sobre algum t\u00f3pico, como o que pedir para o almo\u00e7o.<\/p>\n

Na empresa Interstellar, implementamos nosso pr\u00f3prio sistema de acordos para o almo\u00e7o: pedimos o que nosso gerente operacional, John, diz. \u00c9 um sistema simples e eficaz. Todos confiamos em John e acreditamos que ele encontrar\u00e1 algo interessante e nutritivo todos os dias.<\/p>\n

Mas e se John abusar de nossa confian\u00e7a? Ele pode decidir unilateralmente que todos devemos nos tornar veganos. Em uma ou duas semanas, provavelmente o deporemos e passaremos o poder para Elizabeth. Mas, de repente, ela adora abacate com anchovas e acha que todos devem ser assim. O poder corrompe. Por isso, \u00e9 melhor encontrar um m\u00e9todo um pouco mais democr\u00e1tico: uma maneira de garantir que diferentes prefer\u00eancias sejam consideradas, ao mesmo tempo em que se assegura um resultado claro e atempado, para que n\u00e3o aconte\u00e7a que ningu\u00e9m pe\u00e7a almo\u00e7o ou que cinco pessoas fa\u00e7am pedidos diferentes, ou que a discuss\u00e3o se arraste at\u00e9 a noite.<\/p>\n

\u00c0 primeira vista, a solu\u00e7\u00e3o parece simples: realizar uma vota\u00e7\u00e3o! Mas essa \u00e9 uma impress\u00e3o enganadora. Quem ir\u00e1 coletar os votos e informar os resultados? E por que os outros deveriam acreditar no que ele diz? Talvez possamos primeiro<\/i> votar em um l\u00edder que confiamos para conduzir a vota\u00e7\u00e3o \u2014 mas quem ir\u00e1 liderar este primeiro<\/i> vota\u00e7\u00e3o? E se n\u00e3o conseguirmos concordar com um l\u00edder? Ou se chegarmos a um acordo, mas esse l\u00edder ficar preso em uma reuni\u00e3o ou sair doente?<\/p>\n

Problemas semelhantes ocorrem em redes computacionais distribu\u00eddas. Todos os participantes ou n\u00f3s devem concordar com alguma decis\u00e3o, como quem deve atualizar um arquivo compartilhado ou retirar uma tarefa da fila de processamento. Em uma rede de criptomoedas, os n\u00f3s frequentemente precisam escolher como se parece a hist\u00f3ria completa, a partir de v\u00e1rias vers\u00f5es poss\u00edveis que podem entrar em conflito. Esse consenso de rede garante ao destinat\u00e1rio que a moeda \u00e9 (a) v\u00e1lida (n\u00e3o falsificada) e (b) ainda n\u00e3o foi gasta em outro lugar. Tamb\u00e9m garante que ele poder\u00e1 gastar as moedas no futuro, porque o novo destinat\u00e1rio ter\u00e1 as mesmas garantias pelos mesmos motivos.<\/p>\n

Qualquer sistema de consenso em uma rede computacional distribu\u00edda deve ser tolerante a falhas: ele deve fornecer resultados consistentes, apesar de erros, como linhas de comunica\u00e7\u00e3o lentas, n\u00f3s n\u00e3o responsivos e ordem incorreta de mensagens. O<\/i> sistema de consenso bizantino \u00e9 adicionalmente resistente a erros 'bizantinos': n\u00f3s que fornecem informa\u00e7\u00f5es falsas, seja por erro ou em uma tentativa deliberada de sabotar o sistema ou obter alguma vantagem. A resist\u00eancia 'bizantina' \u2014 a capacidade de confiar na decis\u00e3o de um grupo, mesmo quando alguns membros do grupo podem mentir ou de outra forma n\u00e3o seguir as regras de tomada de decis\u00e3o \u2014 recebeu esse nome da f\u00e1bula dos generais do Imp\u00e9rio Bizantino<\/a><\/noindex>, que tentavam coordenar um ataque. Uma boa descri\u00e7\u00e3o<\/a><\/noindex> pode ser encontrada em Anthony Stevens.<\/p>\n

Vamos considerar a propriet\u00e1ria da criptomoeda, Alice, que deve escolher entre comprar um delicioso sorvete com Bob e pagar a d\u00edvida com Carol. \u00c9 poss\u00edvel que Alice queira pagar ambos ao mesmo tempo, gastando fraudulentamente a mesma moeda. Para isso, ela deve convencer o computador de Bob de que a moeda nunca foi paga a Carol e convencer o computador de Carol de que a moeda nunca foi paga a Bob. Um sistema de acordos bizantino torna isso praticamente imposs\u00edvel, utilizando uma forma de regra da maioria, chamada qu\u00f3rum<\/i>. Um n\u00f3 em tal rede recusa mudar para uma determinada vers\u00e3o da hist\u00f3ria at\u00e9 ver que um n\u00famero suficiente de n\u00f3s homog\u00eaneos \u2014 o qu\u00f3rum \u2014 concorda com essa mudan\u00e7a. Assim que isso acontecer, eles formar\u00e3o um bloco eleitoral suficiente para for\u00e7ar os n\u00f3s restantes da rede a concordar com sua decis\u00e3o. Alice pode fazer alguns n\u00f3s mentirem em seu nome, mas se a rede for grande o suficiente, sua tentativa ser\u00e1 dominada pelas vozes dos n\u00f3s honestos.<\/p>\n

Quantos n\u00f3s s\u00e3o necess\u00e1rios para um qu\u00f3rum? No m\u00ednimo, a maioria, ou mais precisamente, a maioria qualificada para combater erros e fraudes. Mas para contar a maioria, \u00e9 necess\u00e1rio saber o n\u00famero total de participantes. Em um escrit\u00f3rio da Interstellar ou em elei\u00e7\u00f5es de distrito, esses n\u00fameros s\u00e3o f\u00e1ceis de obter. Mas se seu grupo \u00e9 uma rede vagamente definida, onde os n\u00f3s podem entrar e sair \u00e0 vontade sem coordena\u00e7\u00e3o com um centro, ent\u00e3o \u00e9 necess\u00e1rio um sistema federativo<\/i> de acordo bizantino, capaz de determinar qu\u00f3runs n\u00e3o a partir de uma lista previamente definida de n\u00f3s, mas dinamicamente, de uma imagem constantemente mut\u00e1vel e inevitavelmente incompleta dos n\u00f3s em um determinado momento.<\/p>\n

Pode parecer imposs\u00edvel criar um qu\u00f3rum do ponto de vista de um \u00fanico n\u00f3 em uma vasta rede, mas isso \u00e9 poss\u00edvel. Esse qu\u00f3rum pode at\u00e9 garantir resultados em vota\u00e7\u00f5es descentralizadas. O documento t\u00e9cnico SCP mostra como fazer isso atrav\u00e9s de um procedimento chamado vota\u00e7\u00e3o federativa<\/i>.<\/p>\n

Para os impacientes<\/h1>\n

\nO restante do artigo descreve em mais detalhes a vota\u00e7\u00e3o federativa e o protocolo de consenso Stellar. Se voc\u00ea n\u00e3o est\u00e1 interessado nos detalhes, aqui est\u00e1 uma vis\u00e3o geral do processo.<\/p>\n

    \n
  1. Os n\u00f3s realizam rodadas de vota\u00e7\u00e3o federal sobre \"nomea\u00e7\u00f5es\". Uma rodada de vota\u00e7\u00e3o federativa significa:\n