Amores Sesar, Ignacio; Cachin, Christian; Schneider, Philipp (2024). An Analysis of Avalanche Consensus (arXiv). Cornell University 10.48550/arxiv.2401.02811
|
Text
2401.02811.pdf - Published Version Available under License Creative Commons: Attribution (CC-BY). Download (836kB) | Preview |
A family of leaderless, decentralized consensus protocols, called Snow consensus was introduced in a recent whitepaper by Yin et al. These protocols address limitations of existing consensus methods, such as those using proof-of-work or quorums, by utilizing randomization and maintaining some level of resilience against Byzantine participants. Crucially, Snow consensus underpins the Avalanche blockchain, which provides a popular cryptocurrency and a platform for running smart contracts.
Snow consensus algorithms are built on a natural, randomized routine, whereby participants continuously sample subsets of others and adopt an observed majority value until consensus is achieved. Additionally, Snow consensus defines conditions based on participants' local views and security parameters. These conditions indicate when a party can confidently finalize its local value, knowing it will be adopted by honest participants.
Although Snow consensus algorithms can be formulated concisely, there is a complex interaction between randomization, adversarial influence, and security parameters, which requires a formal analysis of their security and liveness. Snow protocols form the foundation for Avalanche-type blockchains, and this work aims to increase our understanding of such protocols by providing insights into their liveness and safety characteristics. First, we analyze these Snow protocols in terms of latency and security. Second, we expose a design issue where the trade-off between these two is unfavorable. Third, we propose a modification of the original protocol where this trade-off is much more favorable.
Item Type: |
Working Paper |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) 08 Faculty of Science > Institute of Computer Science (INF) > Cryptology and Data Security Group |
UniBE Contributor: |
Amores Sesar, Ignacio, Cachin, Christian, Schneider, Philipp (A) |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
Series: |
arXiv |
Publisher: |
Cornell University |
Language: |
German |
Submitter: |
Christian Cachin |
Date Deposited: |
28 Mar 2024 08:11 |
Last Modified: |
28 Mar 2024 08:20 |
Publisher DOI: |
10.48550/arxiv.2401.02811 |
ArXiv ID: |
2401.02811v1 |
BORIS DOI: |
10.48350/194694 |
URI: |
https://boris.unibe.ch/id/eprint/194694 |
Actions (login required)
 |
Edit item |