Frosty: Bringing strong liveness guarantees to the Snow family of consensus protocols

Aaron Buchwald, Stephen Buttolph, Andrew Lewis-Pye +2

Snowman is the consensus protocol implemented by the Avalanche blockchain and is part of the Snow family of protocols, first introduced through the original Avalanche leaderless co…