Snowman is the consensus protocol used by blockchains on Avalanche. Recent work of ours has shown both how to augment Snowman with a `liveness’ module called `Frosty’ that protects against liveness attacks, and also how to modify Snowman so as to be consistent in partial synchrony. Since Frosty assumes (a strong form of) synchrony, the aim of this note is to show how to modify Frosty to deal with the partially synchronous version of Snowman.

Joint work with Stephen Buttolph and Kevin Sekniqi. Here is the pdf.