Quantifying Liveness and Safety of Avalanche's Snowball
Quentin Kniep, Maxime Laval, Jakub Sliwinski, Roger Wattenhofer

TL;DR
This paper experimentally analyzes the resilience of Avalanche's Snowball protocol, showing how adversaries can delay liveness and break safety under certain conditions, highlighting its similarities to Byzantine broadcast protocols.
Contribution
It provides the first quantitative analysis of Snowball's resilience, demonstrating the thresholds for liveness and safety breaches through simulation.
Findings
Adversaries controlling about 5.2% stake can delay liveness in 2000-node network.
Less than 3% stake can attack liveness when given additional network state information.
Safety can be broken exponentially faster than liveness, depending on adversary stake and network size.
Abstract
This work examines the resilience properties of the Snowball and Avalanche protocols that underlie the popular Avalanche blockchain. We experimentally quantify the resilience of Snowball using a simulation implemented in Rust, where the adversary strategically rebalances the network to delay termination. We show that in a network of nodes of equal stake, the adversary is able to break liveness when controlling nodes. Specifically, for , a simple adversary controlling of stake can successfully attack liveness. When the adversary is given additional information about the state of the network (without any communication or other advantages), the stake needed for a successful attack is as little as . We show that the adversary can break safety in time exponentially dependent on their stake, and inversely linearly related to the size of the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsWinter Sports Injuries and Performance
