Ripple s'adresse à Stellar Fork

Le 5 décembre, la Stellar Development Foundation (SDF), qui gère Stellar, un réseau basé sur une version modifiée du code source de Ripple, a publié un article signalant des failles dans l'algorithme de consensus de Ripple. En réponse, l'équipe de Ripple a publié une déclaration détaillant les problèmes.

Problème n° 1 : Sacrifier la sécurité au profit de la disponibilité et de la tolérance aux pannes – risque de double dépense

Le résultat d'impossibilité de Fischer-Lynch-Paterson (FLP) stipule qu'un système de consensus asynchrone déterministe ne peut posséder au plus deux des trois propriétés suivantes : sûreté (les résultats sont valides et identiques sur tous les nœuds), terminaison garantie ou vivacité (les nœuds qui ne tombent pas en panne produisent toujours un résultat) et tolérance aux pannes (le système peut survivre à la défaillance d'un nœud à n'importe quel moment). Ce résultat est démontré.

Tout système de consensus distribué sur Internet doit sacrifier l'une de ces caractéristiques.

Cela peut induire en erreur. Le résultat FLP montre qu'aucun système ne peut garantir ces éléments et parvenir à un consensus dans un délai imparti. Cependant, les implémentations concrètes de consensus, comme Paxos et Ripple, utilisent les probabilités pour assurer la sécurité, la disponibilité et la tolérance aux pannes dans un délai donné avec une très forte probabilité. Si le consensus n'est pas atteint dans ce délai, l'algorithme réessaie et parvient à nouveau à un consensus avec une très forte probabilité, et ainsi de suite. Statistiquement parlant, le consensus finira par être atteint. probabilité 1Ce modèle garantit la disponibilité selon une approche probabiliste. En pratique, des progrès sont généralement réalisés à chaque tour, et deux tours ou plus sont très rarement nécessaires. C'est pourquoi des systèmes de consensus distribués comme le réseau Ripple et la base de données Spanner de Google existent et peuvent offrir une très haute disponibilité s'ils sont correctement configurés.

L'algorithme de consensus Ripple/Stellar existant est implémenté de manière à privilégier la tolérance aux pannes et l'arrêt du processus plutôt que la sécurité..

Ceci est inexact. Nous n'avons pas examiné la version modifiée du consensus Ripple par Stellar, mais en ce qui concerne l'algorithme de consensus Ripple, le protocole offre sécurité et tolérance aux pannes à condition que les validateurs soient correctement configurés. Pour une démonstration détaillée, veuillez consulter notre [lien/document]. Livre blanc de consensus.

Cela signifie qu'elle privilégie la clôture et la disponibilité des registres plutôt que l'accord de tous sur la nature même du registre, ouvrant ainsi la voie à plusieurs scénarios de risques potentiels.

C'est inexact. Si le quorum ne peut être atteint, les validateurs réessayeront jusqu'à ce que la connexion soit rétablie.

Problème 2 : Exactitude prouvable

Le professeur David Mazières, directeur du groupe de calcul sécurisé de Stanford, a examiné le système de consensus Ripple/Stellar et est parvenu à la conclusion que l'algorithme existant avait peu de chances d'être sûr dans toutes les circonstances.

Nous avons hâte de prendre connaissance des conclusions du professeur Mazières une fois qu'elles seront publiées.

Sur la base de ces résultats, nous avons décidé de créer un nouveau système de consensus dont l'exactitude est prouvée.

Comme mentionné précédemment, une preuve de la justesse de Ripple est disponible sous la forme de Ripple Livre blanc de consensus. En tant que cryptographe en chef de Ripple Labs et développeur initial du consensus Ripple, David Schwartz comme l'a souligné hierIl ne peut y avoir deux majorités conflictuelles sans chevauchement. Pour l'amorçage avec un petit ensemble de validateurs de confiance, il est approprié d'utiliser un modèle de récupération après incident, ce qui signifie qu'une majorité simple, par exemple trois voix sur cinq, est suffisante. En d'autres termes, il est impossible pour le réseau Ripple de subir une bifurcation involontaire du registre, comme ce fut le cas pour Stellar, car nos nœuds requièrent les votes d'une majorité de validateurs. À l'avenir, nous recommanderons généralement une supermajorité supérieure aux deux tiers pour tenir compte des erreurs byzantines (validateurs agissant de manière arbitraire ou malveillante), mais les mêmes principes s'appliquent par ailleurs. Dans tous les cas, toute personne souhaitant rejoindre un ensemble spécifique de validateurs consentants au sein de la topologie Ripple peut le faire en configurant son nœud Ripple local en conséquence. Nous sommes conscients de l'immense tâche que représente la construction du premier graphe de consensus mondial. C'est un problème complexe, mais pas impossible. À l'instar de la transition d'Arpanet vers la topologie de routage distribuée de l'Internet moderne, cela nécessitera du temps, de la formation et une grande prudence. Mais grâce à nos formidables partenaires et collègues, nous sommes prêts à relever ce défi. Le réseau Ripple et sa blockchain fonctionnent de manière fiable depuis deux ans grâce au protocole de consensus Ripple et gèrent actuellement un volume quotidien de 1.4 million de dollars. Nous continuons d'investir dans le développement de Ripple afin de prendre en charge les transactions transfrontalières mondiales, avec des partenaires bancaires aux États-Unis et en Europe qui s'intègrent activement dès aujourd'hui.

Le billet de Stefan Thomas est disponible. ici

Ripple est un protocole universel de transfert d'argent qui permet aux systèmes de paiement indépendants de communiquer aussi facilement que les systèmes de messagerie électronique. Ripple fournit un standard commun pour les paiements. À l'instar de la messagerie électronique, Ripple n'appartient à personne et n'est géré par aucun opérateur central. Ripple est un logiciel libre qui permet aux serveurs du monde entier d'effectuer des transactions financières de pair à pair.

Ben Ferris s'intéresse de près aux marchés financiers, anciens comme nouveaux. Il investit dans le Forex et le Bitcoin. Ses commentaires constructifs sont toujours les bienvenus.