Dissecting Tendermint

Abstract : 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.
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01881212
Contributor : Yackolley Amoussou-Guenou <>
Submitted on : Monday, July 8, 2019 - 11:55:18 AM
Last modification on : Monday, October 21, 2019 - 5:00:04 PM

Files

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01881212, version 3
  • ARXIV : 1809.09858

Citation

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. ⟨hal-01881212v3⟩

Share

Metrics

Record views

44

Files downloads

263