SoK: 快速安全最终确认

虽然以太坊已成功实现动态可用性与安全性之间的平衡，但在交易执行与不可变最终确认之间仍存在根本性延迟。以太坊当前的 Gasper 协议，此延迟约为 15 分钟，使网络暴露于前期重组攻击，使 MEV 提取成为可能，并限制了经济结算的效率。这些限制激励了越来越多的关于快速安全最终确认（SSF）的工作，这旨在最小化确认延迟而不削弱形式安全保证。本文调查了该领域最新进展。我们介绍了该空间的核心理论原语，包括重组韧性和通用睡眠模型，并追踪其从 Goldfish 到 RLMD-GHOST 的发展。随后，我们分析了在大型验证者设置下，单槽最终确认协议面临的通信和聚合瓶颈。最后，我们调查了 3 槽最终确认（3SF）协议作为一种实际综合方案，平衡快速最终确认与以太坊网络工程约束。