近期最新消息驱动的GHOST：在动态可用性与异步韧性之间取得平衡

动态参与近来已成为设计无许可共识协议的关键需求。这一概念由Pass和Shi（ASIACRYPT 2017）通过其“sleepy模型”正式提出，刻画了系统在协议执行过程中处理参与者加入或离开的能力本质。动态可用共识协议在允许动态参与的同时保持安全性与活性。诸如比特币共识协议等区块链协议已隐式采纳该概念。在以太坊共识协议Gasper的背景下，Neu、Tas和Tse（S&P 2021）针对LMD-GHOST（Gasper中用于确保动态可用性的组件）提出了一种攻击。因此，LMD-GHOST无法履行其为协议提供动态可用性的预期功能。尽管有缓解该问题的尝试，修改后的协议仍无法实现动态可用性，凸显了对更安全的动态可用协议的迫切需求。本工作中，我们提出RLMD-GHOST，一种同步共识协议，不仅确保动态可用性，还在有界异步期内维持安全性。该协议对严格同步假设未必总成立的实用系统尤为具有吸引力，这与标准同步协议中的一般假设相反。此外，我们提出了“广义sleepy模型”，我们的结果在该模型内得到证明。基于Pass和Shi提出的原始sleepy模型，我们的模型以对敌手的腐败与sleepiness能力更强且更广义的约束对其进行了扩展。此方法使我们能够探索从完全动态参与到无动态参与（即所有参与者均在线）的广泛动态参与机制。