When Is Spring Coming? A Security Analysis of Avalanche Consensus

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 10.4230/LIPIcs.OPODIS.2022

Full text not available from this repository. (Request a copy)

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:

30 Mar 2023 13:08

Publisher DOI:

10.4230/LIPIcs.OPODIS.2022

Additional Information:

26th International Conference on Principles of Distributed Systems (OPODIS)
ISBN: 978-3-95977-265-5

URI:

https://boris.unibe.ch/id/eprint/181059

Actions (login required)

Edit item Edit item
Provide Feedback