最近的最新消息驱动GHOST: 动态可用性与异步弹性的平衡
摘要：动态参与最近已成为设计无许可共识协议的关键要求。这个概念最初由Pass和Shi（ASIACRYPT 2017）通过他们的“睡眠模型”正式化，捕捉了系统在协议执行期间处理参与者加入或离开的能力的本质。动态可用共识协议在允许动态参与的同时保持安全和活性。区块链协议，如比特币的共识协议，已经隐式采用了这个概念。在以太坊的共识协议Gasper中，Gasper, Neu, Tas和Tse（S&P 2021）对LMD-GHOST进行了攻击，后者是保证动态可用性的Gasper的组成部分。因此，LMD-GHOST无法实现其提供协议动态可用性的预期功能。尽管尝试缓解此问题，修改后的协议仍未实现动态可用性，凸显了更安全的动态可用协议的需求。在这项工作中，我们提出了RLMD-GHOST，这是一种同步共识协议，不仅确保动态可用性，而且在有界异步期间保持安全性。该协议特别适用于实际系统，其中严格的同步假设可能并不总是成立，与标准同步协议的一般假设相反。此外，我们提出了“广义睡眠模型”，我们的结果是通过该模型证明的。在Pass和Shi提出的原始睡眠模型的基础上，我们的模型通过对对手的腐败和睡眠能力施加更广义和更强的约束进行了扩展。这种方法使我们能够探索广泛的动态参与制度，从完全动态参与到没有动态参与，即每个参与者都在线。
作者：Francesco D'Amato and Luca Zanolini
论文ID：2302.11326
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-08-21