Showing cs.DCShow all
2 papers · 1 filter
cs.DC2025
Snowman for partial synchrony
Aaron Buchwald, Stephen Buttolph, Andrew Lewis-Pye +1
Snowman is the consensus protocol run by blockchains on Avalanche. Recent work established a rigorous proof of probabilistic consistency for Snowman in the \emph{synchronous} setti…
cs.DC2024
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…