On Finality in Blockchains
Emmanuelle Anceaume, Antonella Pozzo, Thibault Rieutord, Sara, Tucci-Piergiovanni

TL;DR
This paper investigates the conditions for achieving deterministic eventual finality in blockchain systems, allowing for asynchronous operation and Byzantine failures, and shows limitations of classical longest-chain mechanisms.
Contribution
It provides necessary and sufficient conditions for deterministic eventual finality and demonstrates the impossibility of bounded displacement in stronger finality forms.
Findings
Deterministic eventual finality can be achieved under specific conditions.
Bounded displacement of revoked blocks is impossible in stronger finality models.
Longest chain selection mechanisms like Bitcoin's are incompatible with eventual finality solutions.
Abstract
There exist many forms of Blockchain finality conditions, from deterministic to probabilistic terminations. To favor availability against consistency in the face of partitions, most blockchains only offer probabilistic eventual finality: blocks may be revoked after being appended to the blockchain, yet with decreasing probability as they sink deeper into the chain. Other blockchains favor consistency by leveraging the immediate finality of Consensus-a block appended is never revoked-at the cost of additional synchronization. In this paper, we focus on necessary and sufficient conditions to implement a blockchain with deterministic eventual finality, which ensures that selected main chains at different processes share a common increasing prefix. This is a much weaker form of finality that allows us to provide a solution in an asynchronous system subject to unlimited number of byzantine…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBlockchain Technology Applications and Security · Distributed systems and fault tolerance · Cryptography and Data Security
