A Symmetric Synchrony Condition for Solving Byzantine Consensus
Résumé
Solving the consensus problem requires in one way or another that the underlying system satisfies synchrony assumptions. Considering a system of n processes where up to t
Cet article démontre un résultat de minimalité dans la résolution du problème de consensus dans un système réparti ou certain processus (au plus t) des n processus du système peuvent exhiber un comportement byzantin. Il a été montré que si le système est asynchrone le consensus n'est pas décidable alors qu'il l'est dans un système synchrone. Il s'agit de montrer quel est le motif le plus faible formé de canaux de communications synchrones qui permet de rendre le consensus décidable. Cet article montre que si les messages sont signés, un motif appelé t-bisource est le motif minimal.