Dissecting Tendermint

Yackolley Amoussou-Guenou (1, 2, 3) , Antonella del Pozzo (1) , Maria Potop-Butucaru (2, 4, 3) , Sara Tucci-Piergiovanni (1)

1 DILS (CEA, LIST) - Département Ingénierie Logiciels et Systèmes
2 NPA - Networks and Performance Analysis
3 LIP6
4 LINCS - Laboratory of Information, Network and Communication Sciences

In this paper we analyze Tendermint proposed in [7], one of the most popular blockchains based on PBFT Consensus. The current paper dissects Tendermint under various system communication models and Byzantine adversaries. Our methodology consists in identifying the algorithmic principles of Tendermint necessary for a specific combination of communication model-adversary. This methodology allowed to identify bugs [3] in preliminary versions of the protocol ([19], [7]) and to prove its correctness under the most adversarial conditions: an eventually synchronous communication model and asymmetric Byzantine faults.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Yackolley Amoussou-Guenou, Antonella del Pozzo, Maria Potop-Butucaru, Sara Tucci-Piergiovanni. Dissecting Tendermint. [Research Report] Sorbonne Université; LIP6, Sorbonne Université, CNRS, UMR 7606; CEA List. 2018. ⟨hal-01881212v1⟩