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

\"Entendiendo
\n
\nEl Protocolo de Consenso Stellar fue descrito por primera vez en un art\u00edculo cient\u00edfico<\/a><\/noindex> David Mazieres en 2015. Es un \"sistema de acuerdo federativo\" que permite a redes inform\u00e1ticas descentralizadas, sin l\u00edderes, llegar a un consenso sobre cualquier decisi\u00f3n de manera efectiva. La red de pagos Stellar utiliza el Stellar Consensus Protocol (SCP) para mantener un historial de transacciones consensuado que es visible para todos los participantes.<\/p>\n

Se considera que los protocolos de consenso son dif\u00edciles de entender. SCP es m\u00e1s simple que la mayor\u00eda de ellos, pero a\u00fan as\u00ed comparte esta reputaci\u00f3n, en parte debido a la idea err\u00f3nea de que la \"votaci\u00f3n federativa\", que se aborda en la primera mitad del art\u00edculo cient\u00edfico, es SCP. \u00a1Pero no es as\u00ed! Es solo un bloque de construcci\u00f3n importante que se utiliza en la segunda mitad del art\u00edculo para crear el<\/i> protocolo de consenso Stellar.
\n<\/a><\/noindex>
\nEn este art\u00edculo, explicaremos brevemente qu\u00e9 es un \"sistema de acuerdos\", qu\u00e9 puede hacer que sea \"bizantino\" y por qu\u00e9 hacer que un sistema bizantino sea \"federativo\". Luego explicaremos el procedimiento de votaci\u00f3n federativa descrito en el art\u00edculo sobre SCP y, finalmente, explicaremos el propio protocolo SCP.<\/p>\n

Sistemas de acuerdos<\/h1>\n

\nUn sistema de acuerdos permite a un grupo de participantes llegar a un consenso sobre alg\u00fan tema, por ejemplo, qu\u00e9 pedir para almorzar.<\/p>\n

En Interstellar hemos implementado nuestro propio sistema de acuerdos sobre almuerzos: pedimos lo que dice nuestro gerente operativo, John. Es un sistema simple y efectivo de acuerdos. Todos confiamos en John y creemos que encontrar\u00e1 algo interesante y nutritivo cada d\u00eda.<\/p>\n

Pero, \u00bfqu\u00e9 pasar\u00eda si John abusara de nuestra confianza? Podr\u00eda decidir unilateralmente que todos debemos ser veganos. Despu\u00e9s de una o dos semanas, probablemente lo derrocar\u00edamos y pasar\u00edamos el poder a Elizabeth. Pero, \u00bfy si a ella le encanta el aguacate con anchoas y piensa que todos deber\u00edan ser as\u00ed? El poder corrompe. Por lo tanto, es mejor encontrar un m\u00e9todo m\u00e1s democr\u00e1tico: alguna forma de asegurarse de que se tengan en cuenta diferentes preferencias, mientras se proporciona un resultado claro y oportuno, para que no termine sucediendo que nadie pida almuerzo o cinco personas hagan diferentes pedidos, o que la discusi\u00f3n se prolongue hasta la noche.<\/p>\n

Aparentemente, la soluci\u00f3n es simple: \u00a1realizar una votaci\u00f3n! Pero esta es una impresi\u00f3n enga\u00f1osa. \u00bfQui\u00e9n se encargar\u00e1 de recoger las boletas y comunicar los resultados? \u00bfY por qu\u00e9 los dem\u00e1s deber\u00edan creer lo que \u00e9l diga? Quiz\u00e1s podamos primero<\/i> votar por un l\u00edder en quien confiamos para dirigir la votaci\u00f3n, pero \u00bfqui\u00e9n se encargar\u00e1 de esta primero<\/i> votaci\u00f3n? \u00bfQu\u00e9 sucede si no podemos ponernos de acuerdo sobre un l\u00edder? \u00bfO si llegamos a un acuerdo, pero este l\u00edder se atora en una reuni\u00f3n o se enferma?<\/p>\n

Problemas similares ocurren en redes inform\u00e1ticas distribuidas. Todos los participantes o nodos deben consensuar alguna decisi\u00f3n, como qui\u00e9n debe actualizar un archivo compartido o recoger una tarea de la cola de procesamiento. En una red de criptomonedas, los nodos a menudo deben elegir c\u00f3mo se ver\u00e1 la historia completa entre varias versiones posibles que a veces entran en conflicto. Este consenso de red garantiza al receptor que la moneda es (a) v\u00e1lida (no falsa) y (b) a\u00fan no se ha gastado en otro lugar. Tambi\u00e9n garantiza que podr\u00e1 gastar las monedas en el futuro, porque el nuevo receptor tendr\u00e1 las mismas garant\u00edas por las mismas razones.<\/p>\n

Cualquier sistema de consenso en una red inform\u00e1tica distribuida debe ser tolerante a fallos: debe ofrecer resultados consistentes a pesar de errores como l\u00edneas de comunicaci\u00f3n lentas, nodos que no responden y un orden incorrecto de los mensajes. El sistema<\/i> de consenso bizantino es a\u00fan m\u00e1s resistente a errores \u00abbizantinos\u00bb: nodos que proporcionan informaci\u00f3n falsa, ya sea por error o en un intento deliberado de socavar el sistema o obtener alguna ventaja. La tolerancia a fallos \u00abbizantina\u00bb \u2014 la capacidad de confiar en una decisi\u00f3n grupal, incluso cuando algunos miembros del grupo pueden mentir o de alguna manera no seguir las reglas de toma de decisiones \u2014 recibe su nombre de la f\u00e1bula de los generales de la antigua imperio bizantino<\/a><\/noindex>, que intentaban coordinar un ataque. Una buena descripci\u00f3n<\/a><\/noindex> se encuentra en Anthony Stevens.<\/p>\n

Consideremos a Alice, la propietaria de la criptomoneda, quien debe elegir entre comprar un helado delicioso de Bob o pagar la deuda de Carol. Puede que Alice quiera pagar a ambos a la vez, gastando fraudulentamente la misma moneda. Para ello, debe convencer a la computadora de Bob de que la moneda nunca fue pagada a Carol, y convencer a la computadora de Carol de que la moneda nunca fue pagada a Bob. Un sistema bizantino de acuerdos hace que esto sea pr\u00e1cticamente imposible, utilizando una forma de regla de mayor\u00eda llamada qu\u00f3rum<\/i>. Un nodo en tal red se niega a hacer la transici\u00f3n a una versi\u00f3n espec\u00edfica de la historia hasta que no vea que un n\u00famero suficiente de nodos pares \u2014el qu\u00f3rum\u2014 est\u00e1 de acuerdo con dicha transici\u00f3n. Una vez que esto ocurra, formar\u00e1n un bloque electoral lo suficientemente grande como para forzar a los nodos restantes de la red a aceptar su decisi\u00f3n. Alice puede hacer que algunos nodos mientan en su nombre, pero si la red es lo suficientemente grande, su intento ser\u00e1 reprimido por las voces de los nodos honestos.<\/p>\n

\u00bfCu\u00e1ntos nodos se requieren para un qu\u00f3rum? Al menos una mayor\u00eda, o m\u00e1s precisamente, una mayor\u00eda calificada para combatir errores y fraudes. Pero para contar la mayor\u00eda, es necesario conocer el n\u00famero total de participantes. En una oficina de Interstellar o en unas elecciones locales, estas cifras son f\u00e1ciles de obtener. Pero si su grupo es una red d\u00e9bilmente definida, en la que los nodos pueden entrar y salir a voluntad sin consultar con un centro, entonces se necesita un sistema<\/i> federado de acuerdo bizantino, capaz de determinar los qu\u00f3rums no a partir de una lista de nodos predefinida, sino de manera din\u00e1mica, a partir de una instant\u00e1nea constantemente cambiante e inevitablemente incompleta de nodos en un momento determinado.<\/p>\n

Puede parecer imposible crear un qu\u00f3rum desde la perspectiva de un nodo en una extensa red, pero es posible. Tal qu\u00f3rum incluso puede garantizar resultados de votaci\u00f3n descentralizada. El documento t\u00e9cnico SCP muestra c\u00f3mo hacerlo mediante un procedimiento llamado votaci\u00f3n federada<\/i>.<\/p>\n

Para los impacientes<\/h1>\n

\nEl resto del art\u00edculo describe con m\u00e1s detalle la votaci\u00f3n federada y el protocolo de consenso Stellar. Si no te interesan los detalles, aqu\u00ed tienes un resumen general del proceso.<\/p>\n

    \n
  1. Los nodos realizan rondas de votaci\u00f3n federal sobre los \u00abnominados\u00bb. La ronda de votaci\u00f3n federal significa:\n