Publication date:
04/2020
Acteurs rationnels ou byzantins dans les blockchains basées sur le consensus
Nous analysons du point de vue de la théorie des jeux les blockchains byzantines tolérantes aux fautes 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 par comité. Notre première contribution est de proposer une méthodologie de théorie des jeux pour analyser les interactions d’équilibre entre les membres byzantins et rationnels du comité 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éagissent au mieux pour maximiser leurs gains nets escomptés. Notre deuxième contribution consiste à déterminer les conditions dans 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 non valides 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é. Toutefois, lorsque le coût d’acceptation des blocs non valides est élevé, il existe un équilibre dans lequel les blocs sont acceptés si et seulement s’ils sont valides.