Dissecting Tendermint - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Dissecting Tendermint

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (208.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01881212 , version 1 (25-09-2018)
hal-01881212 , version 2 (03-04-2019)
hal-01881212 , version 3 (08-07-2019)

Identifiants

Citer

Yackolley Amoussou-Guenou, Antonella del Pozzo, Maria Potop-Butucaru, Sara Tucci-Piergiovanni. Dissecting Tendermint. Networked Systems - 7th International Conference, NETYS 2019, Jun 2019, Marrakech, Morocco. pp.166-182. ⟨hal-01881212v3⟩
475 Consultations
1828 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More