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} setting, under the simplifying assumption that correct processes execute sampling rounds in `lockstep'. In this paper, we describe a modification of the protocol that ensures consistency in the \emph{partially synchronous} setting, and when correct processes carry out successive sampling rounds at their own speed, with the time between sampling rounds determined by local message delays.

翻译：雪人协议是Avalanche区块链平台运行的共识协议。近期研究在同步网络环境下，基于正确节点以"锁步"方式执行采样轮次的简化假设，为雪人协议建立了严格的概率一致性证明。本文提出一种改进协议，确保在部分同步网络环境下，当正确节点按照自身节奏连续执行采样轮次（采样轮次间隔由本地消息延迟决定）时，协议仍能保持一致性。