1 paper · 1 filter
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…