International audienceLes blockchains basées sur le consensus sont considérées aujourd'hui comme étant parmi les alternatives les plus viables aux blockchains utilisant un mécanisme de Proof-of-work (Bitcoin, Ethereum,. . .), ces dernières étant très énergivores et ne garantissent pas une cohérence forte. Elles ont pour but d'offrir des garanties de cohérence forte (pas de fourches) dans un système ouvert grâce à : (i) un ensemble de validateurs qui produit un bloc via une variante du protocole de consensus Practical Byzantine Fault Tolerant (PBFT), et (ii) un mécanisme de sélection qui choisit dynamiquement les noeuds qui seront validateurs pour le bloc suivant. Dans cet article, nous caractérisons précisément le problème que tentent de résoudre ces protocoles de blockchains. Nous étudions Tendermint. Nos contributions sont les suivantes : nous formalisons pour la première fois le protocole Tendermint, puis nous présentons le modèle et les hypothèses précis sous lesquels il atteint son objectif. Nous prouvons que dans un système ultimement synchrone et avec une hypothèse supplémentaire, une légère modification du protocole résout une variante (i) du consensus pour la production d'un bloc, et une variante (ii) du consensus répété pour construire la chaîne de bloc ; cela si strictement moins d'un tiers des validateurs est atteint de fautes Byzantines. Nous nous sommes ensuite intéressés à l'étude de l'équité du mécanisme de récompense dans ces blockchains. Cette étude préliminaire permet d'établir que garantir (ultimement) l'équité de la récompense requiert une communication (ultimement) synchrone
