Name
Abstract | ||
|---|---|---|
The presented work continues the line of recent distributed computing community efforts dedicated to the theoretical aspects of blockchains. This paper is the first to specify blockchains as a composition of abstract data types all together with a hierarchy of consistency criteria that formally characterizes the histories admissible for distributed programs that use them. Our work is based on an original oracle-based construction that, along with new consistency definitions, captures the eventual convergence process in blockchain systems. The paper presents as well some results on implementability of the presented abstractions and a mapping of representative existing blockchains from both academia and industry in our framework.
|
Year | DOI | Venue |
|---|---|---|
2018 | 10.1145/3323165.3323183 | acm symposium on parallel algorithms and architectures |
Keywords | DocType | Volume |
abstract data type, blockchain, consistency criteria | Journal | abs/1802.09877 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| E. Anceaume | 1 | 105 | 8.90 |
| Antonella Del Pozzo | 2 | 1 | 0.69 |
| Romaric Ludinard | 3 | 19 | 6.51 |
| Maria Potop-Butucaru | 4 | 116 | 16.55 |
| Sara Tucci Piergiovanni | 5 | 286 | 22.22 |