Thèse soutenue

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

FR  |  
EN
Auteur / Autrice : Luciano Freitas de Souza
Direction : Petr Kuznetsov
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 17/12/2024
Etablissement(s) : Institut polytechnique de Paris
Ecole(s) doctorale(s) : École doctorale de l'Institut polytechnique de Paris
Partenaire(s) de recherche : Laboratoire : Laboratoire Traitement et communication de l'information (Paris ; 2003-....) - Laboratoire de Traitement et Communication de l'Information
Etablissement opérateur d'inscription : Télécom Paris (Palaiseau, Essonne ; 1878-....)
Jury : Président / Présidente : Pierre Sutra
Examinateurs / Examinatrices : Pierre Sutra, Christian Cachin, Gregory Chockler, Janna Burman, Colette Johnen
Rapporteurs / Rapporteuses : Christian Cachin, Gregory Chockler

Résumé

FR  |  
EN

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.