Rationals vs Byzantins dans les blockchains basées sur le consensus.

Résumé Dans cet article, nous analysons du point de vue de la théorie des jeux les blockchains tolérantes aux fautes byzantines lorsque les processus présentent un comportement rationnel ou byzantin. Notre travail est le premier à modéliser les blockchains basées sur le consensus byzantin comme un jeu de coordination de comité. Notre première contribution est d'offrir une méthodologie de théorie des jeux pour analyser les interactions d'équilibre entre les membres de comités byzantins et rationnels dans les blockchains byzantines tolérantes aux pannes. Les processus byzantins cherchent à infliger un maximum de dommages au système, tandis que les processus rationnels répondent au mieux pour maximiser leurs gains nets attendus. Notre deuxième contribution consiste à dériver les conditions sous lesquelles les propriétés du consensus sont satisfaites ou non à l'équilibre. Lorsque le seuil de majorité est inférieur à la proportion de processus byzantins, les blocs invalides sont acceptés à l'équilibre. Lorsque le seuil de majorité est élevé, l'équilibre peut impliquer des échecs de coordination, dans lesquels aucun bloc n'est jamais accepté. Cependant, lorsque le coût d'acceptation des blocs invalides est élevé, il existe un équilibre dans lequel les blocs sont acceptés s'ils sont valides.