Correctness of Tendermint-Core Blockchains

DOI10.4230/LIPIcs.OPODIS.2018.16OpenAlexW2914780660MaRDI QIDQ5091090

Yackolley Amoussou-Guenou, Antonella Del Pozzo, Sara Tucci Piergiovanni, Maria Gradinariu Potop-Butucaru

Publication date: 21 July 2022

Full work available at URL: https://arxiv.org/abs/1805.08429

zbMATH Keywords

fairnessconsensusblockchainproof-of-stake

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)

Related Items (1)

Making Byzantine consensus live

Cites Work

• Unnamed Item
• Stability of long-lived consensus.
• Ouroboros: a provably secure proof-of-stake blockchain protocol
• The sleepy model of consensus
• Optimal amortized distributed consensus
• The Bitcoin Backbone Protocol: Analysis and Applications
• Impossibility of distributed consensus with one faulty process
• Reaching Agreement in the Presence of Faults
• Analysis of the Blockchain Protocol in Asynchronous Networks

This page was built for publication: Correctness of Tendermint-Core Blockchains