Amores-Sesar, Ignacio; Cachin, Christian; Tedeschi, Enrico (2023). When Is Spring Coming? A Security Analysis of Avalanche Consensus. Leibniz International Proceedings in Informatics, 253(10) Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Full text not available from this repository.Avalanche is a blockchain consensus protocol with exceptionally low latency and high throughput. This has swiftly established the corresponding token as a top-tier cryptocurrency. Avalanche achieves such remarkable metrics by substituting proof of work with a random sampling mechanism. The protocol also differs from Bitcoin, Ethereum, and many others by forming a directed acyclic graph (DAG) instead of a chain. It does not totally order all transactions, establishes a partial order among them, and accepts transactions in the DAG that satisfy specific properties. Such parallelism is widely regarded as a technique that increases the efficiency of consensus.
Despite its success, Avalanche consensus lacks a complete abstract specification and a matching formal analysis. To address this drawback, this work provides first a detailed formulation of Avalanche through pseudocode. This includes features that are omitted from the original whitepaper or are only vaguely explained in the documentation. Second, the paper gives an analysis of the formal properties fulfilled by Avalanche in the sense of a generic broadcast protocol that only orders related transactions. Last but not least, the analysis reveals a vulnerability that affects the liveness of the protocol. A possible solution that addresses the problem is also proposed.
Item Type: |
Journal Article (Original Article) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Cryptology and Data Security Group 08 Faculty of Science > Institute of Computer Science (INF) |
UniBE Contributor: |
Amores Sesar, Ignacio, Cachin, Christian, Tedeschi, Enrico |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISSN: |
1868-8969 |
ISBN: |
978-3-95977-265-5 |
Publisher: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
Language: |
English |
Submitter: |
Christian Cachin |
Date Deposited: |
30 Mar 2023 13:08 |
Last Modified: |
31 Jul 2024 15:04 |
Additional Information: |
26th International Conference on Principles of Distributed Systems (OPODIS) |
URI: |
https://boris.unibe.ch/id/eprint/181059 |
Actions (login required)
 |
Edit item |