Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

On finality in blockchains

Abstract : This paper focuses on blockchain finality, which refers to the time when it becomes impossible to remove a block that has previously been appended to the blockchain. Blockchain finality can be deterministic or probabilistic, immediate or eventual. 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. The quest for "good" deterministic finality properties for blockchains is still in its infancy, though. Our motivation is to provide a thorough study of several possible deterministic finality properties and explore their solvability. This is achieved by introducing the notion of bounded revocation, which informally says that the number of blocks that can be revoked from the current blockchain is bounded. Based on the requirements we impose on this revocation number, we provide reductions between different forms of eventual finality, Consensus and Eventual Consensus. From these reductions, we show some related impossibility results in presence of Byzantine processes, and provide non-trivial results. In particular, we provide an algorithm that solves a weak form of eventual finality in an asynchronous system in presence of an unbounded number of Byzantine processes. We also provide an algorithm that solves eventual finality with a bounded revocation number in an eventually synchronous environment in presence of less than half of Byzantine processes. The simplicity of the arguments should better guide blockchain designs and link them to clear formal properties of finality
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal-cea.archives-ouvertes.fr/cea-03080029
Contributor : Emmanuelle Anceaume Connect in order to contact the contributor
Submitted on : Thursday, September 9, 2021 - 9:04:22 AM
Last modification on : Saturday, September 11, 2021 - 3:39:09 AM

File

Finality.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : cea-03080029, version 4
  • ARXIV : 2012.10172

Citation

Emmanuelle Anceaume, Antonella Pozzo, Thibault Rieutord, Sara Tucci-Piergiovanni. On finality in blockchains. 2021. ⟨cea-03080029v4⟩

Share

Metrics

Record views

15

Files downloads

3