Paradigm 介绍 Goldfish PoS 以太坊中 LMD GHOST 分叉规则的安全替代品

在每个slot的开始，slot的提议者根据前一个 slot 的投票运行简单的 GHOST 分叉选择规则，以确定在哪里提议一个块。进入slot的三分之一时，该时段的委员会成员使用相同的分叉选择规则，该规则基于前一个时段的投票和提议者转发的投票，来确定在哪里投票。 最后，在进入slot的三分之二时，所有验证者都运行一个明确定义的 T 深度确认规则。

Goldfish 基于两种关键技术，投票缓冲和投票到期，以仔细同步诚实验证者的观点：

投票缓冲（也称为view merge，最早出现在新的共识协议 Highway 上）。简而言之，缓冲从网络收到的选票，以及在每个验证者的本地视图中精心定时包含这些选票，保证了在具有诚实提议者的slot中，所有诚实的验证者都投票支持提议者的提议。这导致了重组弹性：诚实的提议者的提议保证保留在规范链中。随之而来的是安全性（即输出账本的安全性和活跃性）。

投票到期（也称为临时投票）意味着在每个slot内，只有前一个slot的投票会影响协议的行为（类似于“健忘”的金鱼，Goldfish 协议名称源于此）。投票到期使投票集很小，这可能会影响诚实验证者的短期未来行动。因此，在任何时间点，只有少数协议消息需要在诚实验证者的视图中进行缓冲和合并。因此，投票到期是投票缓冲效率/可行性的先决条件。投票到期对于支持波动的验证者参与水平以及支持在每个slot较小的子样本选民委员会中运行协议，而不是在整个验证者中心化运行协议也至关重要。

最后，Goldfish 的确认规则会确认区块是否在创建后的一段时间内仍在规范链上。分析表明，由此产生的确认超越概率在出块和区块确认之间的延迟中呈指数级降低。

Goldfish 面临的挑战：异步（Asynchrony）

Goldfish 很简单，可以接受严格的安全证明。这一分析立即取得了成果：请记住，我们一开始就假设我们的简化模型中的网络延迟上限为 A (上图中的△表示) 。在证明安全性的过程中，我们必须明确这一假设和其他假设。

如果违反了这个界限，即如果网络暂时异步，会发生什么？我们可以追踪安全论证的步骤，看看在没有假设的情况下会出现什么问题。我们看到，如果实际网络延迟大于 2A（即当前 PoS 以太坊中的 8 秒），那么 Goldfish 将无法及时获得slot (t-1)的决定性选票以在slot t 的基础上进行构建，该协议可能会受到重组的影响。

这样的重组是不好的。但至少由于严格的安全论点，我们可以更好地了解我们系统的安全性关键依赖于哪些条件，以及为什么以及如何。我们可以做出更明智的决定，以确保满足这些先决条件。例如，虽然在当前的点对点网络协议中，攻击者可能更容易引起一些网络延迟，但最近（也由于与网络相关的数据可用性采样挑战）对强化的点对点协议重新产生了兴趣，这些协议重新启用共识层的权益分配来指导对等点的选择。这样的协议更加抗攻击，并且可以合理地缓解延迟问题。此外，确定性/问责制小工具（最终可能会通过“单槽确定性”进一步加速）为任何重组提供了支持。

还需要做什么

我们提出了 Goldfish 共识协议，旨在作为 PoS 以太坊信标链中 LMD GHOST 的替代品。我们对 Goldfish 本身进行了严格的安全分析，并结合了终局/问责制小工具（基于另一个共识协议，例如 HotStuff）。其他 PoS 以太坊共识安全挑战仍然存在，例如，来自分叉选择和 finality gadget 的交互，我们期待在未来看到 PoS 以太坊在这些方面的进一步共识安全改进。

来源：Paradigm、比推

编译及整理：比推 Mary Liu