Abstractions for Asynchronous Distributed Computing with Malicious Players

L’un des caractéristiques des systèmes répartis modernes est que les pannes y sont une norme plutôt qu’une exception. Dans un grand nombre de cas, ces pannes ne sont pas bénignes. Internet peut par exemple provoquer de nombreux comporte-ments malicieux (également appelés Byzantins ou arbitraires) et asynchrones. En conséquence, la recherche dans le domaine des systèmes repartis asynchrones et tolérants aux pannes Byzantines (TPB) a fleurit. La tolérance au comportement arbitraire et à l’asynchronisme demande des algorithmes très sophistiqués. Cela est en particulier le cas pour les solutions TPB qui visent à assurer les propriétés comme: (a) la résilience optimale, i.e., la tolérance à un aussi grand nombre de pannes Byzantines que possible et (b) la performance optimale par rapport à une métrique de complexité adéquate. La plupart des algorithmes TPB sont développés è partir de zéro ou par mod-ification de solutions existantes de manière non modulaire, ce qui rend ces algo-rithmes difficiles à comprendre et gène leur adoption. Nous attribuons cette com