Der Konsensalgorithmus des Ripple-Protokolls
Abstract
Si bien existen varios algoritmos de consenso para el Byzantine Generals Problem, específicamente en lo que respecta a los sistemas de pago distribuidos, muchos sufren de alta latencia inducida por el requisito de que todos los nodos dentro de la red se comuniquen de manera sincrónica. En este trabajo, presentamos un algoritmo de consenso novedoso que elude este requisito mediante la utilización de subredes de confianza colectiva dentro de la red más amplia. Demostramos que la "confianza" requerida para prevenir ataques Sybil no es, de hecho, global, sino local a cada nodo en la red.
El algoritmo de consenso del protocolo Ripple (RPCA) es aplicado cada pocos segundos por todos los nodos, con el fin de mantener la corrección y el acuerdo de la red. Una vez que se alcanza el consenso, el libro mayor actual se considera "cerrado" y se convierte en el último libro mayor cerrado (last-closed ledger). Este algoritmo es único en el sentido de que logra consenso con baja latencia mientras mantiene fuertes garantías contra fallos Byzantine, haciéndolo adecuado para sistemas de liquidación financiera en tiempo real.
Abstract
Obwohl mehrere Konsensalgorithmen fur das Problem der Byzantinischen Generale existieren, insbesondere in Bezug auf verteilte Zahlungssysteme, leiden viele unter hoher Latenz, die durch die Anforderung verursacht wird, dass alle Knoten im Netzwerk synchron kommunizieren mussen. In dieser Arbeit prasentieren wir einen neuartigen Konsensalgorithmus, der diese Anforderung umgeht, indem er kollektiv vertrauenswurdige Subnetzwerke innerhalb des grosseren Netzwerks nutzt. Wir zeigen, dass das "Vertrauen", das zur Verhinderung von Sybil-Angriffen erforderlich ist, tatsachlich nicht global ist, sondern lokal fur jeden Knoten im Netzwerk.
Der Konsensalgorithmus des Ripple-Protokolls (RPCA) wird alle paar Sekunden von allen Knoten angewendet, um die Korrektheit und Ubereinstimmung des Netzwerks aufrechtzuerhalten. Sobald ein Konsens erreicht ist, gilt das aktuelle Ledger als "geschlossen" und wird zum letzten geschlossenen Ledger. Dieser Algorithmus ist einzigartig, da er Konsens mit niedriger Latenz erreicht und gleichzeitig starke Garantien gegen byzantinische Ausfalle bietet, was ihn fur Echtzeit-Finanzabrechnungssysteme geeignet macht.
Introduction
Un sistema de pago distribuido debe implementar un algoritmo de consenso para procesar pagos correctamente y de manera oportuna, incluso en presencia de actores defectuosos o maliciosos. Bitcoin logra consenso mediante prueba de trabajo (proof-of-work), que requiere que todos los nodos gasten recursos computacionales resolviendo rompecabezas criptográficos. Si bien este enfoque proporciona fuertes garantías de seguridad, sufre de inconvenientes significativos, incluyendo alto consumo de energía, bajo rendimiento de transacciones y largas latencias de confirmación que pueden extenderse a una hora o más para transacciones de alto valor.
El algoritmo de consenso del protocolo Ripple proporciona un nuevo enfoque para el consenso distribuido que no requiere prueba de trabajo. En su lugar, los nodos en la red acuerdan colectivamente sobre conjuntos de transacciones a través de un proceso de votación que alcanza consenso en cuestión de segundos. Este mecanismo de consenso está diseñado específicamente para los requisitos de una red de pagos global, donde la baja latencia y el alto rendimiento son esenciales para el despliegue práctico.
La innovación clave en RPCA es que no requiere que todos los nodos en la red estén de acuerdo entre sí. En su lugar, cada nodo mantiene una Lista de Nodos Únicos (Unique Node List, UNL) de otros nodos en los que confía para no confabularse. Siempre que las UNL elegidas por los nodos tengan suficiente superposición y menos de un porcentaje umbral de nodos sean defectuosos, la red alcanzará consenso. Este enfoque proporciona las garantías de seguridad necesarias para un sistema de pago mientras logra una latencia de consenso medida en segundos en lugar de minutos u horas.
Introduction
Ein verteiltes Zahlungssystem muss einen Konsensalgorithmus implementieren, um Zahlungen korrekt und zeitnah zu verarbeiten, selbst bei Vorhandensein fehlerhafter oder boswilliger Akteure. Bitcoin erreicht Konsens durch Proof-of-Work, bei dem alle Knoten Rechenressourcen aufwenden mussen, um kryptografische Ratsel zu losen. Obwohl dieser Ansatz starke Sicherheitsgarantien bietet, leidet er unter erheblichen Nachteilen, darunter hoher Energieverbrauch, geringer Transaktionsdurchsatz und lange Bestatigungs-Latenzen, die bei hochwertigen Transaktionen eine Stunde oder mehr betragen konnen.
Der Konsensalgorithmus des Ripple-Protokolls bietet einen neuen Ansatz fur verteilten Konsens, der kein Proof-of-Work erfordert. Stattdessen einigen sich die Knoten im Netzwerk durch einen Abstimmungsprozess kollektiv auf Transaktionssatze, der Konsens innerhalb von Sekunden erreicht. Dieser Konsensmechanismus ist speziell fur die Anforderungen eines globalen Zahlungsnetzwerks konzipiert, bei dem niedrige Latenz und hoher Durchsatz fur den praktischen Einsatz unerlasslich sind.
Die wichtigste Innovation des RPCA besteht darin, dass nicht alle Knoten im Netzwerk miteinander ubereinstimmen mussen. Stattdessen pflegt jeder Knoten eine Unique Node List (UNL) anderer Knoten, denen er vertraut, nicht zu kolludieren. Solange die von den Knoten gewahlten UNLs ausreichende Uberlappung aufweisen und weniger als ein Schwellenwertprozentsatz der Knoten fehlerhaft ist, wird das Netzwerk Konsens erreichen. Dieser Ansatz bietet die fur ein Zahlungssystem erforderlichen Sicherheitsgarantien bei einer Konsenslatenz, die in Sekunden statt in Minuten oder Stunden gemessen wird.
Definition of Consensus
En sistemas distribuidos, el consenso se refiere al proceso mediante el cual una red de nodos llega a un acuerdo sobre un estado compartido, a pesar de la presencia de participantes defectuosos o maliciosos. Un algoritmo de consenso debe satisfacer tres propiedades fundamentales: corrección (ningún par de nodos correctos decide de manera diferente), acuerdo (todos los nodos correctos alcanzan la misma decisión) y terminación (todos los nodos correctos eventualmente deciden). Estas propiedades aseguran que el sistema distribuido se comporte como si fuera un nodo único y confiable.
El desafío en lograr el consenso proviene de la inherente falta de fiabilidad de los sistemas distribuidos. Los nodos pueden fallar, los mensajes pueden retrasarse o perderse, y los nodos Byzantine pueden comportarse de manera arbitraria o maliciosa. El Byzantine Generals Problem, formalizado por Lamport, Shostak y Pease, captura este desafío: ¿cómo puede un grupo de procesos llegar a un acuerdo cuando alguna fracción puede ser defectuosa y cuando la comunicación no es confiable?
Los resultados clásicos en computación distribuida establecen límites fundamentales sobre lo que los algoritmos de consenso pueden lograr. El resultado de imposibilidad FLP muestra que ningún algoritmo determinista puede garantizar el consenso en un sistema asíncrono si incluso un solo nodo puede fallar. Los algoritmos de consenso prácticos deben, por lo tanto, hacer compensaciones entre seguridad (nunca alcanzar un consenso incorrecto) y vivacidad (siempre progresar). La prueba de trabajo de Bitcoin prioriza la seguridad sobre la vivacidad, mientras que RPCA logra un equilibrio más adecuado para sistemas de pago al completar rondas de consenso en tiempo limitado mientras mantiene fuertes garantías de seguridad bajo supuestos de fallo realistas.
Definition of Consensus
In verteilten Systemen bezieht sich Konsens auf den Prozess, durch den ein Netzwerk von Knoten trotz fehlerhafter oder boswilliger Teilnehmer eine Einigung uber einen gemeinsamen Zustand erzielt. Ein Konsensalgorithmus muss drei grundlegende Eigenschaften erfullen: Korrektheit (keine zwei korrekten Knoten entscheiden unterschiedlich), Ubereinstimmung (alle korrekten Knoten treffen die gleiche Entscheidung) und Terminierung (alle korrekten Knoten entscheiden sich schliesslich). Diese Eigenschaften stellen sicher, dass sich das verteilte System verhalt, als ware es ein einzelner, zuverlassiger Knoten.
Die Herausforderung bei der Erreichung von Konsens ergibt sich aus der inharenten Unzuverlassigkeit verteilter Systeme. Knoten konnen absturzen, Nachrichten konnen verzogert werden oder verloren gehen, und byzantinische Knoten konnen sich beliebig oder boswillig verhalten. Das Problem der Byzantinischen Generale, formalisiert von Lamport, Shostak und Pease, erfasst diese Herausforderung: Wie kann eine Gruppe von Prozessen eine Einigung erzielen, wenn ein Teil fehlerhaft sein kann und die Kommunikation unzuverlassig ist?
Klassische Ergebnisse der verteilten Informatik legen fundamentale Grenzen fest, was Konsensalgorithmen erreichen konnen. Das FLP-Unmoglichkeitsergebnis zeigt, dass kein deterministischer Algorithmus Konsens in einem asynchronen System garantieren kann, wenn auch nur ein einziger Knoten ausfallen kann. Praktische Konsensalgorithmen mussen daher Kompromisse zwischen Sicherheit (niemals einen falschen Konsens erreichen) und Lebendigkeit (immer Fortschritte machen) eingehen. Bitcoins Proof-of-Work priorisiert Sicherheit uber Lebendigkeit, wahrend RPCA ein fur Zahlungssysteme besser geeignetes Gleichgewicht erreicht, indem es Konsensrunden in begrenzter Zeit abschliesst und gleichzeitig starke Sicherheitsgarantien unter realistischen Fehlerannahmen aufrechterhalt.
Existing Consensus Algorithms
Se han propuesto varios algoritmos de consenso para resolver el Byzantine Generals Problem en sistemas distribuidos. El algoritmo de Practical Byzantine Fault Tolerance (PBFT), introducido por Castro y Liskov, puede tolerar hasta f fallos Byzantine en un sistema de 3f+1 nodos. PBFT logra consenso a través de múltiples rondas de intercambio de mensajes entre todos los nodos, con una complejidad de comunicación de O(n^2), donde n es el número de nodos. Si bien PBFT proporciona fuertes garantías de seguridad y latencia relativamente baja para redes pequeñas, no escala bien a redes grandes debido a la sobrecarga de comunicación cuadrática.
Paxos y sus variantes, desarrollados por Lamport, proporcionan consenso en sistemas asíncronos pero asumen fallos por caída en lugar de fallos Byzantine. Paxos logra consenso a través de una serie de rondas en las que los proponentes sugieren valores y los aceptadores votan sobre ellos. Si bien Paxos puede tolerar retrasos arbitrarios de mensajes y caídas de procesos, requiere ingeniería cuidadosa para manejar fallos Byzantine y puede sufrir de bloqueo activo (livelock) en ciertos escenarios.
El algoritmo de consenso por prueba de trabajo de Bitcoin adopta un enfoque fundamentalmente diferente al hacer que los ataques Byzantine sean económicamente inviables. Los nodos compiten para resolver rompecabezas criptográficos, y el ganador propone el siguiente bloque de transacciones. Si bien este enfoque escala a tamaños de red arbitrarios y maneja fallos Byzantine, tiene graves inconvenientes: consumo masivo de energía (estimado en más de 150 millones de dólares por año para la red Bitcoin), largas latencias de confirmación (a menudo 40-60 minutos para transacciones de alto valor) y rendimiento limitado (aproximadamente 7 transacciones por segundo). Estas limitaciones hacen que la prueba de trabajo sea inadecuada para muchas aplicaciones de sistemas de pago que requieren liquidación rápida y altos volúmenes de transacciones.
Existing Consensus Algorithms
Mehrere Konsensalgorithmen wurden vorgeschlagen, um das Problem der Byzantinischen Generale in verteilten Systemen zu losen. Der Practical Byzantine Fault Tolerance (PBFT) Algorithmus, eingefuhrt von Castro und Liskov, kann bis zu f byzantinische Fehler in einem System von 3f+1 Knoten tolerieren. PBFT erreicht Konsens durch mehrere Runden des Nachrichtenaustauschs zwischen allen Knoten mit einer Kommunikationskomplexitat von O(n^2), wobei n die Anzahl der Knoten ist. Wahrend PBFT starke Sicherheitsgarantien und relativ niedrige Latenz fur kleine Netzwerke bietet, skaliert er aufgrund des quadratischen Kommunikationsaufwands nicht gut fur grosse Netzwerke.
Paxos und seine Varianten, entwickelt von Lamport, ermoglichen Konsens in asynchronen Systemen, setzen jedoch Absturzfehler statt byzantinischer Fehler voraus. Paxos erreicht Konsens durch eine Reihe von Runden, in denen Vorschlagende Werte vorschlagen und Akzeptoren daruber abstimmen. Wahrend Paxos beliebige Nachrichtenverzogerungen und Prozessabsturze tolerieren kann, erfordert es sorgfaltige Entwicklung fur den Umgang mit byzantinischen Fehlern und kann in bestimmten Szenarien unter Livelock leiden.
Bitcoins Proof-of-Work-Konsensalgorithmus verfolgt einen grundlegend anderen Ansatz, indem er byzantinische Angriffe wirtschaftlich undurchfuhrbar macht. Knoten konkurrieren darum, kryptografische Ratsel zu losen, wobei der Gewinner den nachsten Transaktionsblock vorschlagt. Wahrend dieser Ansatz auf beliebige Netzwerkgrossen skaliert und byzantinische Fehler behandelt, hat er schwerwiegende Nachteile: massiver Energieverbrauch (geschatzt auf uber 150 Millionen Dollar pro Jahr fur das Bitcoin-Netzwerk), lange Bestatigungs-Latenzen (oft 40-60 Minuten fur hochwertige Transaktionen) und begrenzter Durchsatz (ungefahr 7 Transaktionen pro Sekunde). Diese Einschrankungen machen Proof-of-Work fur viele Zahlungssystemanwendungen ungeeignet, die eine schnelle Abwicklung und hohe Transaktionsvolumen erfordern.
Ripple Protocol Consensus Algorithm
El Algoritmo de Consenso del Protocolo Ripple (RPCA) comienza con cada servidor tomando todas las transacciones válidas que ha visto y que aún no se han aplicado como transacciones candidatas. Los servidores luego siguen un protocolo de múltiples rondas donde trabajan iterativamente hacia un acuerdo sobre un conjunto de transacciones para aplicar al libro mayor actual. En cada ronda, los servidores hacen propuestas que consisten en las transacciones que creen que deberían incluirse en el siguiente libro mayor.
Durante cada ronda de consenso, los servidores comunican sus propuestas a otros servidores en su Lista de Nodos Únicos (UNL). Los servidores luego calculan qué transacciones aparecen en un porcentaje umbral de propuestas. Inicialmente, este umbral se establece en 50%, lo que significa que una transacción debe aparecer en propuestas de al menos la mitad de la UNL de un servidor para ser considerada en la siguiente ronda. A medida que el consenso progresa a través de rondas sucesivas, este umbral aumenta incrementalmente (típicamente a 60%, 70% y finalmente 80%).
Cuando una transacción alcanza el umbral de supermayoría del 80% de apoyo en la UNL de un servidor, se incluye en la propuesta de ese servidor para la ronda final de consenso. Todas las transacciones que alcanzan este umbral en toda la red se aplican al libro mayor, que luego se firma y se le aplica un hash criptográfico. Este libro mayor recién validado se convierte en el último libro mayor cerrado, y el proceso comienza de nuevo con el siguiente conjunto de transacciones candidatas.
El proceso de consenso típicamente se completa en 5 segundos o menos, con la mayoría de las transacciones requiriendo solo una ronda de consenso para alcanzar el umbral de supermayoría. Las transacciones que no alcanzan consenso en una ronda permanecen como candidatas para rondas posteriores. Este diseño asegura que la red progrese continuamente mientras mantiene fuertes garantías de seguridad, ya que ninguna transacción puede aplicarse al libro mayor sin el apoyo de supermayoría de los validadores de confianza.
Ripple Protocol Consensus Algorithm
Der Konsensalgorithmus des Ripple-Protokolls (RPCA) beginnt damit, dass jeder Server alle gultigen Transaktionen, die er gesehen hat und die noch nicht angewendet wurden, als Kandidatentransaktionen nimmt. Die Server folgen dann einem Mehrrundenprotokoll, in dem sie iterativ auf eine Einigung uber einen Satz von Transaktionen hinarbeiten, die auf das aktuelle Ledger angewendet werden sollen. In jeder Runde machen die Server Vorschlage, die aus den Transaktionen bestehen, von denen sie glauben, dass sie in das nachste Ledger aufgenommen werden sollten.
Wahrend jeder Konsensrunde kommunizieren die Server ihre Vorschlage an andere Server in ihrer Unique Node List (UNL). Die Server berechnen dann, welche Transaktionen in einem Schwellenwertprozentsatz der Vorschlage erscheinen. Anfanglich wird dieser Schwellenwert auf 50 % gesetzt, was bedeutet, dass eine Transaktion in Vorschlagen von mindestens der Halfte der UNL eines Servers erscheinen muss, um fur die nachste Runde berucksichtigt zu werden. Wahrend der Konsens durch aufeinanderfolgende Runden fortschreitet, erhoht sich dieser Schwellenwert schrittweise (typischerweise auf 60 %, 70 % und schliesslich 80 %).
Wenn eine Transaktion den Supermajority-Schwellenwert von 80 % Unterstutzung in der UNL eines Servers erreicht, wird sie in den Vorschlag dieses Servers fur die finale Konsensrunde aufgenommen. Alle Transaktionen, die diesen Schwellenwert im gesamten Netzwerk erreichen, werden auf das Ledger angewendet, das dann kryptografisch gehasht und signiert wird. Dieses neu validierte Ledger wird zum letzten geschlossenen Ledger, und der Prozess beginnt mit dem nachsten Satz von Kandidatentransaktionen von vorne.
Der Konsensprozess wird typischerweise in 5 Sekunden oder weniger abgeschlossen, wobei die meisten Transaktionen nur eine einzige Konsensrunde benotigen, um den Supermajority-Schwellenwert zu erreichen. Transaktionen, die in einer Runde keinen Konsens erreichen, bleiben Kandidaten fur nachfolgende Runden. Dieses Design stellt sicher, dass das Netzwerk kontinuierlich Fortschritte macht und gleichzeitig starke Sicherheitsgarantien aufrechterhalt, da keine Transaktion auf das Ledger angewendet werden kann, ohne die Unterstutzung einer Supermajority vertrauenswurdiger Validatoren.
Formal Analysis of Convergence
La corrección de RPCA depende críticamente de la superposición entre las UNL elegidas por diferentes nodos en la red. Sea UNL_i la lista de nodos únicos del nodo i, y sea UNL_i ∩ UNL_j el conjunto de nodos que aparecen tanto en UNL_i como en UNL_j. Para que la red mantenga el consenso, requerimos que para cualquier par de nodos i y j, la intersección de sus UNL sea suficientemente grande en relación con el tamaño máximo de cualquiera de las UNL.
Específicamente, el protocolo garantiza seguridad cuando |UNL_i ∩ UNL_j| / max(|UNL_i|, |UNL_j|) 1/5 para todos los pares de nodos i y j. Esta condición asegura que incluso si los nodos Byzantine intentan causar que diferentes partes de la red alcancen diferentes decisiones de consenso, la superposición en nodos de confianza previene una bifurcación. Si esta condición se cumple y menos de 1/5 de los nodos en cualquier UNL son Byzantine, entonces todos los nodos correctos alcanzarán la misma decisión de consenso.
La prueba formal procede mostrando que si dos nodos pudieran alcanzar diferentes decisiones de consenso, debe existir alguna transacción T que aparece en el libro mayor final de un nodo pero no en el del otro. Para que esto ocurra, T debe haber alcanzado el 80% de apoyo en la UNL del primer nodo pero menos del 80% de apoyo en la UNL del segundo nodo. Sin embargo, dado el requisito de superposición y la restricción sobre nodos Byzantine, se puede demostrar que este escenario es imposible: si T alcanza el 80% de apoyo en UNL_i, debe alcanzar al menos el 60% de apoyo en cualquier UNL_j que satisfaga la condición de superposición, y con suficientes rondas de consenso, esto convergerá al 80% o será rechazado por ambos nodos.
La propiedad de vivacidad --que el consenso eventualmente se alcanzará-- se deriva de la observación de que el umbral para inclusión aumenta de manera determinista a través de las rondas de consenso. Incluso en presencia de nodos Byzantine y retrasos de red, el protocolo asegura que las transacciones apoyadas por una supermayoría de nodos honestos eventualmente serán incluidas, mientras que las transacciones que carecen de tal apoyo serán excluidas. El tiempo limitado para el consenso (típicamente 5 segundos) proporciona garantías prácticas de vivacidad adecuadas para aplicaciones de sistemas de pago.
Formal Analysis of Convergence
Die Korrektheit von RPCA hangt entscheidend von der Uberlappung zwischen den UNLs ab, die von verschiedenen Knoten im Netzwerk gewahlt werden. Sei UNL_i die Unique Node List des Knotens i, und sei UNL_i ∩ UNL_j die Menge der Knoten, die sowohl in UNL_i als auch in UNL_j erscheinen. Damit das Netzwerk den Konsens aufrechterhalt, fordern wir, dass fur zwei beliebige Knoten i und j die Schnittmenge ihrer UNLs im Verhaltnis zur maximalen Grosse einer der beiden UNLs ausreichend gross sein muss.
Genauer gesagt garantiert das Protokoll Sicherheit, wenn |UNL_i ∩ UNL_j| / max(|UNL_i|, |UNL_j|) 1/5 fur alle Knotenpaare i und j gilt. Diese Bedingung stellt sicher, dass selbst wenn byzantinische Knoten versuchen, verschiedene Teile des Netzwerks zu unterschiedlichen Konsensentscheidungen zu bringen, die Uberlappung vertrauenswurdiger Knoten einen Fork verhindert. Wenn diese Bedingung erfullt ist und weniger als 1/5 der Knoten in jeder UNL byzantinisch sind, werden alle korrekten Knoten zur gleichen Konsensentscheidung gelangen.
Der formale Beweis erfolgt durch den Nachweis, dass wenn zwei Knoten zu unterschiedlichen Konsensentscheidungen gelangen konnten, eine Transaktion T existieren musste, die im endgultigen Ledger eines Knotens erscheint, aber nicht im anderen. Damit dies eintritt, musste T 80 % Unterstutzung in der UNL des ersten Knotens, aber weniger als 80 % Unterstutzung in der UNL des zweiten Knotens erreicht haben. Angesichts der Uberlappungsanforderung und der Beschrankung byzantinischer Knoten kann jedoch gezeigt werden, dass dieses Szenario unmoglich ist: Wenn T 80 % Unterstutzung in UNL_i erreicht, muss sie mindestens 60 % Unterstutzung in jeder UNL_j erreichen, die die Uberlappungsbedingung erfullt, und mit ausreichend Konsensrunden wird dies zu 80 % konvergieren oder von beiden Knoten abgelehnt werden.
Die Lebendigkeitseigenschaft -- dass Konsens schliesslich erreicht wird -- folgt aus der Beobachtung, dass der Schwellenwert fur die Aufnahme durch die Konsensrunden deterministisch ansteigt. Selbst bei Vorhandensein byzantinischer Knoten und Netzwerkverzogerungen stellt das Protokoll sicher, dass Transaktionen, die von einer Supermajority ehrlicher Knoten unterstutzt werden, schliesslich aufgenommen werden, wahrend Transaktionen ohne solche Unterstutzung ausgeschlossen werden. Die begrenzte Zeit fur den Konsens (typischerweise 5 Sekunden) bietet praktische Lebendigkeitsgarantien, die fur Zahlungssystemanwendungen geeignet sind.
Unique Node Lists
La Lista de Nodos Únicos (UNL) es un componente fundamental de RPCA que lo distingue de otros algoritmos de consenso. Cada nodo en la red Ripple mantiene una UNL que consiste en otros nodos en los que confía para no confabularse y defraudar la red. De manera crítica, esta confianza es local en lugar de global: diferentes nodos pueden tener diferentes UNL, y no hay requisito de un conjunto de validadores acordado globalmente. Este diseño permite que la red escale orgánicamente mientras mantiene la descentralización.
La UNL sirve como mecanismo de prevención de ataques Sybil sin requerir prueba de trabajo. En un sistema de votación ingenuo, un atacante podría crear muchos nodos seudónimos para obtener influencia desproporcionada. Al requerir que cada nodo elija explícitamente en qué otros nodos confía, RPCA asegura que la creación de identidades adicionales no proporciona ninguna ventaja a menos que esas identidades puedan convencer a los nodos existentes de agregarlas a sus UNL. Esto desplaza el problema de la resistencia Sybil del gasto computacional a las relaciones de reputación y confianza.
Para que la red funcione correctamente, las UNL deben elegirse de tal manera que tengan suficiente superposición, como se describe en el análisis formal. En la práctica, esto significa que aunque cada operador de nodo tiene autonomía para seleccionar su UNL, debe asegurar que su lista incluya validadores que también son confiados por otras partes de la red. Ripple proporciona una UNL predeterminada que consiste en validadores operados por entidades diversas, pero los operadores de nodos son libres de modificar esta lista basándose en su propia evaluación de confianza.
El mecanismo UNL también proporciona un camino natural hacia la descentralización progresiva. En las etapas tempranas de la red, un conjunto más centralizado de validadores puede ser apropiado para asegurar estabilidad y confiabilidad. A medida que la red madura y más operadores diversos demuestran su confiabilidad, las UNL pueden evolucionar para incluir un conjunto más amplio de validadores, aumentando la resiliencia y descentralización de la red sin comprometer sus propiedades de seguridad.
Unique Node Lists
Die Unique Node List (UNL) ist eine grundlegende Komponente von RPCA, die es von anderen Konsensalgorithmen unterscheidet. Jeder Knoten im Ripple-Netzwerk pflegt eine UNL, die aus anderen Knoten besteht, denen er vertraut, das Netzwerk nicht durch Absprachen zu betrugen. Entscheidend ist, dass dieses Vertrauen lokal und nicht global ist: Verschiedene Knoten konnen unterschiedliche UNLs haben, und es gibt keine Anforderung fur eine global vereinbarte Menge von Validatoren. Dieses Design ermoglicht es dem Netzwerk, organisch zu wachsen und gleichzeitig die Dezentralisierung aufrechtzuerhalten.
Die UNL dient als Sybil-Angriffs-Praventionsmechanismus ohne Proof-of-Work. In einem naiven Abstimmungssystem konnte ein Angreifer viele pseudonyme Knoten erstellen, um unverhaltnismassigen Einfluss zu erlangen. Indem jeder Knoten explizit wahlen muss, welchen anderen Knoten er vertraut, stellt RPCA sicher, dass die Erstellung zusatzlicher Identitaten keinen Vorteil bietet, es sei denn, diese Identitaten konnen bestehende Knoten davon uberzeugen, sie zu ihren UNLs hinzuzufugen. Dies verlagert das Problem der Sybil-Resistenz von der Rechenausgabe auf Reputation und Vertrauensbeziehungen.
Damit das Netzwerk korrekt funktioniert, mussen UNLs so gewahlt werden, dass sie ausreichende Uberlappung aufweisen, wie in der formalen Analyse beschrieben. In der Praxis bedeutet dies, dass jeder Knotenbetreiber zwar Autonomie bei der Auswahl seiner UNL hat, aber sicherstellen muss, dass seine Liste Validatoren enthalt, die auch von anderen Teilen des Netzwerks vertraut werden. Ripple stellt eine Standard-UNL bereit, die aus Validatoren besteht, die von verschiedenen Einrichtungen betrieben werden, aber Knotenbetreiber konnen diese Liste nach ihrer eigenen Vertrauensbewertung anpassen.
Der UNL-Mechanismus bietet auch einen naturlichen Weg zur progressiven Dezentralisierung. In den fruhen Phasen des Netzwerks kann eine zentralisiertere Menge von Validatoren angemessen sein, um Stabilitat und Zuverlassigkeit zu gewahrleisten. Wenn das Netzwerk reift und vielfaltiger Betreiber ihre Vertrauenswurdigkeit unter Beweis stellen, konnen die UNLs weiterentwickelt werden, um eine breitere Menge von Validatoren einzuschliessen, was die Widerstandsfahigkeit und Dezentralisierung des Netzwerks erhoht, ohne seine Sicherheitseigenschaften zu gefahrden.
Simulation Code
Para validar el análisis teórico de RPCA y evaluar su rendimiento bajo diversas condiciones, se realizaron simulaciones extensas utilizando software de simulación personalizado. El marco de simulación modela una red de nodos, cada uno manteniendo su propia UNL y participando en el protocolo de consenso. El código implementa el algoritmo RPCA completo, incluyendo la propuesta de transacciones, rondas de votación con umbrales crecientes y validación del libro mayor.
Los parámetros clave variados en las simulaciones incluyen el tamaño de la red (desde 10 hasta 1,000 nodos), el porcentaje de nodos Byzantine (de 0% a 20%), el tamaño de la UNL (típicamente entre 5 y 50 nodos) y configuraciones de topología de red. Para cada configuración de parámetros, se realizaron múltiples ejecuciones de simulación con diferentes semillas aleatorias para asegurar la validez estadística de los resultados. Las simulaciones rastrearon métricas incluyendo latencia de consenso, probabilidad de bifurcación y rendimiento de transacciones.
Los resultados de la simulación confirman las predicciones teóricas respecto a la convergencia y seguridad. En todas las configuraciones donde se satisfizo la condición de superposición de UNL y los nodos Byzantine comprendían menos del 20% de cada UNL, la red alcanzó consenso exitosamente sin bifurcaciones. La latencia de consenso se mantuvo consistentemente baja (típicamente completándose en 3-5 segundos simulados) independientemente del tamaño de la red, demostrando la escalabilidad del algoritmo. Incluso con un 15% de nodos Byzantine intentando activamente interrumpir el consenso, la red mantuvo la corrección siempre que se cumplió el requisito de superposición de UNL.
Simulaciones adicionales exploraron casos límite y escenarios de fallo, incluyendo particiones de red, cambios repentinos en la composición de la UNL y ataques coordinados por nodos Byzantine. Estas simulaciones proporcionaron información sobre la robustez del protocolo e informaron las mejores prácticas recomendadas para la selección de UNL y la operación de la red. El código de simulación completo se ha puesto a disposición para permitir la verificación independiente e investigación adicional.
Simulation Code
Um die theoretische Analyse von RPCA zu validieren und seine Leistung unter verschiedenen Bedingungen zu bewerten, wurden umfangreiche Simulationen mit eigens entwickelter Simulationssoftware durchgefuhrt. Das Simulationsframework modelliert ein Netzwerk von Knoten, von denen jeder seine eigene UNL pflegt und am Konsensprotokoll teilnimmt. Der Code implementiert den vollstandigen RPCA-Algorithmus, einschliesslich Transaktionsvorschlagen, Abstimmungsrunden mit steigenden Schwellenwerten und Ledger-Validierung.
Wesentliche in den Simulationen variierte Parameter umfassen die Netzwerkgrosse (von 10 bis 1.000 Knoten), den Prozentsatz byzantinischer Knoten (von 0 % bis 20 %), die UNL-Grosse (typischerweise zwischen 5 und 50 Knoten) und Netzwerktopologie-Konfigurationen. Fur jede Parameterkonfiguration wurden mehrere Simulationslaufe mit verschiedenen Zufallsstartwerten durchgefuhrt, um die statistische Validitat der Ergebnisse sicherzustellen. Die Simulationen verfolgten Metriken wie Konsenslatenz, Fork-Wahrscheinlichkeit und Transaktionsdurchsatz.
Die Simulationsergebnisse bestatigen die theoretischen Vorhersagen bezuglich Konvergenz und Sicherheit. In allen Konfigurationen, in denen die UNL-Uberlappungsbedingung erfullt war und byzantinische Knoten weniger als 20 % jeder UNL ausmachten, erreichte das Netzwerk erfolgreich Konsens ohne Forks. Die Konsenslatenz blieb durchgehend niedrig (typischerweise in 3-5 simulierten Sekunden abgeschlossen), unabhangig von der Netzwerkgrosse, was die Skalierbarkeit des Algorithmus demonstriert. Selbst bei 15 % byzantinischer Knoten, die aktiv versuchten, den Konsens zu storen, behielt das Netzwerk die Korrektheit bei, solange die UNL-Uberlappungsanforderung erfullt war.
Zusatzliche Simulationen untersuchten Grenzfalle und Ausfallszenarien, einschliesslich Netzwerkpartitionen, plotzlicher Anderungen der UNL-Zusammensetzung und koordinierter Angriffe durch byzantinische Knoten. Diese Simulationen lieferten Erkenntnisse uber die Robustheit des Protokolls und informierten empfohlene Best Practices fur die UNL-Auswahl und den Netzwerkbetrieb. Der vollstandige Simulationscode wurde verfugbar gemacht, um unabhangige Uberprufung und weitere Forschung zu ermoglichen.
Discussion
En comparación con el consenso por prueba de trabajo de Bitcoin, RPCA ofrece varias ventajas significativas para aplicaciones de sistemas de pago. Más notablemente, la latencia de consenso se reduce de 40-60 minutos (el tiempo típicamente recomendado para transacciones Bitcoin de alto valor) a aproximadamente 5 segundos. Esta mejora hace que RPCA sea adecuado para punto de venta y otras aplicaciones donde se requiere liquidación casi instantánea. Además, RPCA requiere recursos computacionales mínimos en comparación con la prueba de trabajo, eliminando el consumo masivo de energía asociado con la minería de Bitcoin.
Sin embargo, estas ventajas vienen con diferentes supuestos de confianza. Mientras que la seguridad de Bitcoin se basa únicamente en el supuesto de que ningún atacante controla más del 50% del poder computacional de la red, RPCA requiere que los nodos elijan UNL con suficiente superposición y que los nodos Byzantine no excedan el umbral dentro de estas UNL. Esto transfiere cierta responsabilidad a los operadores de nodos para tomar decisiones de confianza prudentes. En la práctica, esta compensación es aceptable para muchos casos de uso de sistemas de pago donde las instituciones participantes tienen relaciones de confianza existentes.
La topología de red y la estrategia de selección de UNL impactan significativamente las propiedades del sistema de consenso. Una topología altamente centralizada donde todos los nodos incluyen los mismos validadores en sus UNL maximiza la seguridad pero puede reducir la vivacidad si esos validadores no están disponibles. Por el contrario, una topología altamente descentralizada con superposición mínima de UNL puede mejorar la vivacidad pero podría arriesgar fallos de consenso si la superposición se vuelve demasiado escasa. Encontrar el equilibrio óptimo requiere una consideración cuidadosa del escenario de despliegue específico y la tolerancia al riesgo.
El trabajo futuro podría explorar algoritmos adaptativos de selección de UNL que mantengan automáticamente los requisitos de superposición mientras maximizan la descentralización, mecanismos para que los nodos ajusten dinámicamente sus UNL basándose en el comportamiento observado de los validadores, y extensiones al algoritmo de consenso que puedan tolerar porcentajes aún más altos de nodos Byzantine. Estas mejoras podrían aumentar aún más la robustez y aplicabilidad de RPCA para sistemas de pago distribuidos a gran escala.
Discussion
Im Vergleich zu Bitcoins Proof-of-Work-Konsens bietet RPCA mehrere bedeutende Vorteile fur Zahlungssystemanwendungen. Am bemerkenswertesten ist, dass die Konsenslatenz von 40-60 Minuten (der typischerweise fur hochwertige Bitcoin-Transaktionen empfohlene Zeitraum) auf etwa 5 Sekunden reduziert wird. Diese Verbesserung macht RPCA geeignet fur Point-of-Sale und andere Anwendungen, bei denen eine nahezu sofortige Abwicklung erforderlich ist. Daruber hinaus benotigt RPCA im Vergleich zu Proof-of-Work minimale Rechenressourcen, wodurch der massive Energieverbrauch des Bitcoin-Minings entfallt.
Diese Vorteile gehen jedoch mit anderen Vertrauensannahmen einher. Wahrend Bitcoins Sicherheit nur auf der Annahme beruht, dass kein Angreifer mehr als 50 % der Rechenleistung des Netzwerks kontrolliert, erfordert RPCA, dass Knoten UNLs mit ausreichender Uberlappung wahlen und dass byzantinische Knoten den Schwellenwert innerhalb dieser UNLs nicht uberschreiten. Dies ubertragt einen Teil der Verantwortung auf die Knotenbetreiber, umsichtige Vertrauensentscheidungen zu treffen. In der Praxis ist dieser Kompromiss fur viele Zahlungssystem-Anwendungsfalle akzeptabel, in denen die teilnehmenden Institutionen bestehende Vertrauensbeziehungen haben.
Die Netzwerktopologie und die UNL-Auswahlstrategie wirken sich erheblich auf die Eigenschaften des Konsenssystems aus. Eine stark zentralisierte Topologie, bei der alle Knoten dieselben Validatoren in ihre UNLs aufnehmen, maximiert die Sicherheit, kann aber die Lebendigkeit verringern, wenn diese Validatoren nicht verfugbar werden. Umgekehrt kann eine stark dezentralisierte Topologie mit minimaler UNL-Uberlappung die Lebendigkeit verbessern, birgt aber das Risiko von Konsensfehlern, wenn die Uberlappung zu gering wird. Das Finden des optimalen Gleichgewichts erfordert eine sorgfaltige Berucksichtigung des spezifischen Einsatzszenarios und der Risikotoleranz.
Zukunftige Arbeiten konnten adaptive UNL-Auswahlalgorithmen untersuchen, die die Uberlappungsanforderungen automatisch aufrechterhalten und gleichzeitig die Dezentralisierung maximieren, Mechanismen fur Knoten, um ihre UNLs dynamisch basierend auf dem beobachteten Validatorverhalten anzupassen, und Erweiterungen des Konsensalgorithmus, die noch hohere Prozentsatze byzantinischer Knoten tolerieren konnten. Diese Verbesserungen konnten die Robustheit und Anwendbarkeit von RPCA fur grosse verteilte Zahlungssysteme weiter verbessern.
Conclusion
El Algoritmo de Consenso del Protocolo Ripple representa un avance significativo en el consenso distribuido para sistemas de pago. Al utilizar subredes de confianza colectiva en lugar de requerir acuerdo global entre todos los nodos, RPCA alcanza consenso en cuestión de segundos mientras mantiene fuertes garantías contra fallos Byzantine. El análisis formal demuestra que siempre que las UNL se elijan con suficiente superposición y los nodos Byzantine permanezcan por debajo del umbral, la red alcanzará consenso correcto sin bifurcaciones.
Las implicaciones prácticas de este trabajo se extienden más allá de la red de pagos Ripple. RPCA demuestra que la compensación tradicional entre latencia de consenso y garantías de seguridad puede superarse a través del diseño cuidadoso del protocolo y el uso de relaciones de confianza locales. Este enfoque puede resultar aplicable a otros sistemas distribuidos donde la baja latencia es crítica y los participantes tienen relaciones de confianza existentes, como sistemas de liquidación interbancaria, seguimiento de cadena de suministro y otras aplicaciones de infraestructura financiera.
El despliegue de RPCA en sistemas de producción ha validado las características de rendimiento y robustez del algoritmo. La red Ripple procesa miles de transacciones por segundo con una latencia de consenso consistente de 3-5 segundos, demostrando que las propiedades teóricas se traducen efectivamente a la operación en el mundo real. A medida que la red continúa evolucionando e incorporando validadores adicionales de operadores diversos, proporciona un ejemplo práctico de cómo un sistema de consenso descentralizado puede mantener tanto la seguridad como el rendimiento a escala.
Conclusion
Der Konsensalgorithmus des Ripple-Protokolls stellt einen bedeutenden Fortschritt im verteilten Konsens fur Zahlungssysteme dar. Durch die Nutzung kollektiv vertrauenswurdiger Subnetzwerke anstelle der Anforderung einer globalen Ubereinstimmung aller Knoten erreicht RPCA Konsens in Sekundenschnelle bei gleichzeitiger Aufrechterhaltung starker Garantien gegen byzantinische Ausfalle. Die formale Analyse zeigt, dass das Netzwerk korrekten Konsens ohne Forks erreicht, solange UNLs mit ausreichender Uberlappung gewahlt werden und byzantinische Knoten unter dem Schwellenwert bleiben.
Die praktischen Implikationen dieser Arbeit gehen uber das Ripple-Zahlungsnetzwerk hinaus. RPCA demonstriert, dass der traditionelle Kompromiss zwischen Konsenslatenz und Sicherheitsgarantien durch sorgfaltiges Protokolldesign und die Nutzung lokaler Vertrauensbeziehungen uberwunden werden kann. Dieser Ansatz kann sich als anwendbar auf andere verteilte Systeme erweisen, in denen niedrige Latenz entscheidend ist und Teilnehmer bestehende Vertrauensbeziehungen haben, wie beispielsweise Interbanken-Abrechnungssysteme, Lieferkettenverfolgung und andere Anwendungen der Finanzinfrastruktur.
Der Einsatz von RPCA in Produktionssystemen hat die Leistungsmerkmale und die Robustheit des Algorithmus validiert. Das Ripple-Netzwerk verarbeitet Tausende von Transaktionen pro Sekunde mit einer konstanten Konsenslatenz von 3-5 Sekunden und demonstriert damit, dass sich die theoretischen Eigenschaften effektiv in den realen Betrieb ubertragen. Wahrend das Netzwerk sich weiterentwickelt und zusatzliche Validatoren von verschiedenen Betreibern einbezieht, liefert es ein praktisches Beispiel dafur, wie ein dezentralisiertes Konsenssystem sowohl Sicherheit als auch Leistung im grossen Massstab aufrechterhalten kann.
References
Lamport, L., Shostak, R., and Pease, M. (1982). "The Byzantine Generals Problem." ACM Transactions on Programming Languages and Systems, 4(3):382-401. Este artículo seminal formalizó el problema de alcanzar consenso en sistemas distribuidos con componentes defectuosos y estableció la base teórica para los sistemas Byzantine fault-tolerant.
Castro, M., and Liskov, B. (1999). "Practical Byzantine Fault Tolerance." Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI). Este trabajo introdujo PBFT, demostrando que la Byzantine fault tolerance podía lograrse con rendimiento práctico, aunque con una complejidad de comunicación de O(n^2) que limitaba la escalabilidad.
Nakamoto, S. (2008). "Bitcoin: A Peer-to-Peer Electronic Cash System." Este libro blanco introdujo el consenso por prueba de trabajo como solución al problema del doble gasto en moneda digital, permitiendo el consenso descentralizado sin partes de confianza a costa de alta latencia y consumo de energía.
Lamport, L. (1998). "The Part-Time Parliament." ACM Transactions on Computer Systems, 16(2):133-169. Este artículo presentó el algoritmo Paxos, que logra consenso en sistemas asíncronos bajo fallos por caída, influyendo en los diseños posteriores de protocolos de consenso.
Fischer, M. J., Lynch, N. A., and Paterson, M. S. (1985). "Impossibility of Distributed Consensus with One Faulty Process." Journal of the ACM, 32(2):374-382. El resultado de imposibilidad FLP estableció límites fundamentales sobre lo que los algoritmos de consenso pueden lograr en sistemas asíncronos, moldeando el espacio de diseño para protocolos de consenso prácticos.
References
Lamport, L., Shostak, R., und Pease, M. (1982). "The Byzantine Generals Problem." ACM Transactions on Programming Languages and Systems, 4(3):382-401. Diese bahnbrechende Arbeit formalisierte das Problem der Konsensfindung in verteilten Systemen mit fehlerhaften Komponenten und legte die theoretische Grundlage fur byzantinisch fehlertolerante Systeme.
Castro, M., und Liskov, B. (1999). "Practical Byzantine Fault Tolerance." Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI). Diese Arbeit fuhrte PBFT ein und zeigte, dass byzantinische Fehlertoleranz mit praktischer Leistung erreicht werden kann, allerdings mit einer Kommunikationskomplexitat von O(n^2), die die Skalierbarkeit einschrankt.
Nakamoto, S. (2008). "Bitcoin: A Peer-to-Peer Electronic Cash System." Dieses Whitepaper fuhrte den Proof-of-Work-Konsens als Losung fur das Double-Spending-Problem bei digitaler Wahrung ein und ermoglichte dezentralen Konsens ohne vertrauenswurdige Parteien auf Kosten hoher Latenz und Energieverbrauchs.
Lamport, L. (1998). "The Part-Time Parliament." ACM Transactions on Computer Systems, 16(2):133-169. Diese Arbeit prasentierte den Paxos-Algorithmus, der Konsens in asynchronen Systemen unter Absturzfehlern erreicht und nachfolgende Konsensprotokollentwurfe beeinflusste.
Fischer, M. J., Lynch, N. A., und Paterson, M. S. (1985). "Impossibility of Distributed Consensus with One Faulty Process." Journal of the ACM, 32(2):374-382. Das FLP-Unmoglichkeitsergebnis etablierte fundamentale Grenzen dessen, was Konsensalgorithmen in asynchronen Systemen erreichen konnen, und pragte den Designraum fur praktische Konsensprotokolle.
