Correctness of Tendermint-Core Blockchains

DOI10.4230/LIPICS.OPODIS.2018.16MaRDI QIDQ5091090zbMATH OpenOpenAlexFDO

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

Publication date 21 July 2022

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

zbMATH Keywords

blockchainconsensusfairnessproof-of-stake

Mathematics Subject Classification ID

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

Recommendations

• Ouroboros: a provably secure proof-of-stake blockchain protocol
• Analysis of the Blockchain Protocol in Asynchronous Networks
• The blockchain consensus layer and BFT
• Weight-based Nakamoto-style blockchains
• Streamlined blockchains: a simple and elegant approach (a tutorial and survey)

Cites work

• Analysis of the Blockchain Protocol in Asynchronous Networks
• scientific article; zbMATH DE number 708802 (Why is no real title available?)
• Impossibility of distributed consensus with one faulty process
• Optimal amortized distributed consensus
• Ouroboros: a provably secure proof-of-stake blockchain protocol
• Reaching Agreement in the Presence of Faults
• Stability of long-lived consensus.
• The Bitcoin Backbone Protocol: Analysis and Applications
• The sleepy model of consensus

Cited in

(3)

• Making Byzantine consensus live
• The unique chain rule and its applications
• Byzantine reliable broadcast and tendermint consensus with trusted components

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5091090)