Thèse Année : 2024

Achieving accountability, reconfiguration, randomness, and secret leadership in byzantine fault tolerant distributed systems

Réaliser la responsabilité, la reconfiguration, l'aléatoire et le leadership secret dans les systèmes distribués tolérants aux fautes byzantines

Résumé

This thesis explores three fundamental problems in distributed computing. The first contribution focuses on accountable and reconfigurable distributed systems that detect and respond to component failures. A framework for implementing accountable and reconfigurable replicated services, leveraging the lattice agreement abstraction is presented. The asynchronous implementation ensures any consistency violation is followed by undeniable evidence of misbehavior, enabling seamless system reconfiguration. The second contribution addresses leader election in partially synchronous environments. Homomorphic Sortition, the first SSLE protocol for partially synchronous blockchains is introduced. Using Threshold Fully Homomorphic Encryption (ThFHE), this protocol supports diverse stake distributions and efficient off-chain execution, addressing network instability issues. Additionally, a Secret Leader Permutation (SLP) abstraction to ensure non-repeating leaders in certain blockchains, improving performance and consensus termination is proposed. Finally, the thesis explores randomness generation in distributed systems, focusing on the common coin primitive. Recognizing its impossibility in asynchronous, fault-prone environments, two relaxed versions are introduced: the approximate common coin and the Monte Carlo common coin. These abstractions provide efficient, scalable solutions tolerating up to one-third Byzantine processes without requiring trusted setup or public key infrastructure. Applying our Monte Carlo common coin protocol in binary Byzantine agreement achieves improved communication complexity, setting a new standard. All these contributions advance the robustness, efficiency, and reliability of distributed systems, providing new methods to handle accountability, leader election, and randomness generation in the lack of synchrony.

Cette thèse explore trois problèmes fondamentaux en informatique distribuée. La première contribution porte sur les systèmes repartis responsables et reconfigurables qui détectent et répondent aux défaillances des composants. Un cadre pour l’implémentation de services répliqués responsables et reconfigurables, en tirant parti de l’abstraction de l’accord de treillis est présente. L’implémentation asynchrone garantit que toute violation de la cohérence est suivie par une preuve indéniable de mauvaise conduite, permettant une reconfiguration transparente du système. La deuxième contribution aborde l’ élection de leader dans des environnements partiellement synchrones. Le Tirage au Sort Homomorphe, le premier protocole SSLE pour les blockchains partiellement synchrones est introduite. En utilisant le Chiffrement Totalement Homomorphe à Seuil (ThFHE), ce protocole prend en charge diverses distributions d’enjeu et une exécution hors chaîne efficace, résolvant les problèmes d’instabilité du réseau. De plus, une abstraction de Permutation de Leader Secrète (SLP) pour assurer des leaders non répétitifs dans certaines blockchains, améliorant les performances et la terminaison du consensus est proposée. Enfin, la thèse explore la génération de nombres aléatoires dans les systèmes distribués, en se concentrant sur la primitive de la pièce commune. Reconnaissant son impossibilité dans des environnements asynchrones sujets aux pannes, deux versions assouplies sont introduites : la pièce commune approximative et la pièce commune de Monte Carlo. Ces abstractions fournissent des solutions efficaces et évolutives, tolérant jusqu’ à un tiers de processus byzantins sans nécessiter de setup de confiance ou d’infrastructure à clé publique. En appliquant notre protocole de pièce commune de Monte Carlo dans l’accord binaire byzantin, j’obtiens une complexité de communication améliorée, établissant une nouvelle référence. Toutes ces contributions font progresser la robustesse, l’efficacité et la fiabilité des systèmes repartis, en fournissant de nouvelles méthodes pour gérer la responsabilité, l’élection de leader et la génération de nombres aléatoires dans les systèmes sans synchronie.

Fichier principal
Vignette du fichier
135494_FREITAS_2024_archivage.pdf (1.02 Mo) Télécharger le fichier
Origine Version validée par le jury (STAR)
Licence

Dates et versions

tel-04984550 , version 1 (10-03-2025)

Licence

Identifiants

  • HAL Id : tel-04984550 , version 1

Citer

Luciano Freitas de Souza. Achieving accountability, reconfiguration, randomness, and secret leadership in byzantine fault tolerant distributed systems. Distributed, Parallel, and Cluster Computing [cs.DC]. Institut Polytechnique de Paris, 2024. English. ⟨NNT : 2024IPPAT043⟩. ⟨tel-04984550⟩
1473 Consultations
589 Téléchargements

Partager

  • More