Tsampi BFT：无领导者单轮投票与参数化最终性

<p>Tsampi BFT 是一种无领导者拜占庭容错状态复制协议，每个提议块对应一轮投票，并在至少两个后续块内实现精确谱系最终性。其双链接投票链记录了块谱系因果关系以及每个验证者的背书顺序。早期投票既不撤销也不重新分配；每个后续投票都必须证明其针对的是严格更优的提议。</p> <p>严格多数在用于块的验证者集合中拥有超过三分之二的权益。Q1 是设置 QuorumBlock 的严格多数投票轮次。Q2 是后续的、独立去重的严格多数投票轮次，用于设置 CoveredBlock。Q2 在 Q1 结束后从空开始。在 Q1 中被计数的验证者只能通过后续后代块承载的不同的后续投票在 Q2 中被计数。</p> <p>提案准入独立于最终性进行参数化。在验证者集合不变且背书阈值至少为三分之二的条件下，创世块在块2达到 QuorumBlock，在块3达到 CoveredBlock；稳态流水线保持它们之间的一个块滞后。提案准入可以使用较低的阈值，但每个接受的块都必须推进谱系向严格多数最终性发展。</p> <p><a href="https://lobste.rs/s/6prwje/tsampi_bft_leaderless_one_round_voting">评论</a></p>