Dynamic availability is the ability of a consensus protocol to remain live despite honest participants going offline and later rejoining. A well-known limitation is that dynamically available protocols, on their own, cannot provide strong safety guarantees during network partitions or extended asynchrony. Ebb-and-flow protocols [SP21] address this by combining a dynamically available protocol with a partially synchronous finality protocol that irrevocably finalizes a prefix. We present Majorum, an ebb-and-flow construction whose dynamically available component builds on a quorum-based protocol (TOB-SVD). Under optimistic conditions, Majorum finalizes blocks in as few as three slots while requiring only a single voting phase per slot. In particular, when conditions remain favourable, each slot finalizes the next block extending the previously finalized one.
翻译:动态可用性是指共识协议在诚实参与者离线并随后重新加入时仍能保持活跃的能力。一个众所周知的局限性是,动态可用协议本身无法在网络分区或长期异步期间提供强安全性保证。涨落协议[SP21]通过将动态可用协议与部分同步的最终性协议相结合来解决这一问题,后者不可撤销地最终确定一个前缀。我们提出了Majorum,这是一种涨落结构,其动态可用组件基于法定人数协议(TOB-SVD)。在乐观条件下,Majorum仅需三个时隙即可最终确定区块,且每个时隙仅需单轮投票阶段。特别地,当条件持续有利时,每个时隙都会最终确定扩展先前已最终确定区块的下一个区块。