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区块链平台运行的共识协议。近期研究在同步网络环境下为雪人协议建立了严格的概率一致性证明，但其简化假设要求正确进程以"锁步"方式执行采样轮次。本文提出一种改进协议，确保在部分同步网络环境下，当正确进程根据本地消息延迟自主决定采样轮次间隔时间并按自身节奏连续执行采样时，仍能保持一致性。