[论文解读] The Longest-Chain Protocol Under Random Delays

Suryanarayana Sankagiri, Shreyas Gandlur+1 more|arXiv (Cornell University)|Feb 1, 2021

Distributed systems and fault tolerance被引用 4

一句话总结

本文在独立同分布的随机通信延迟（即非确定性延迟）模型下分析最长链区块链协议，推广了同步模型，建立了强安全保证。引入了密集型与广延型安全形式，证明即使在无界延迟下，结算与链质量的安全性失败概率仍会随安全参数 $k$ 呈指数衰减。

ABSTRACT

In the field of distributed consensus and blockchains, the synchronous communication model assumes that all messages between honest parties are delayed at most by a known constant $Δ$. Recent literature establishes that the longest-chain blockchain protocol is secure under the synchronous model. However, for a fixed mining rate, the security guarantees degrade with $Δ$. We analyze the performance of the longest-chain protocol under the assumption that the communication delays are random, independent, and identically distributed. This communication model allows for distributions with unbounded support and is a strict generalization of the synchronous model. We provide safety and liveness guarantees with simple, explicit bounds on the failure probabilities. These bounds hold for infinite-horizon executions and decay exponentially with the security parameter. In particular, we show that the longest-chain protocol has good security guarantees when delays are sporadically large and possibly unbounded, which is reflective of real-world network conditions.

研究动机与目标

• 在独立同分布的随机延迟模型下，形式化并分析最长链区块链协议的安全性，推广同步模型。
• 区分密集型与广延型安全属性，证明密集型保证可推出广延型保证。
• 为无限时域执行中的安全性（结算）与活跃性（链质量）提供显式的、指数衰减的失败边界。
• 通过新度量如 $\mathsf{Unheard}_h$，建模延迟的双重角色——对链增长的全局影响与对单个诚实参与方的局部影响。
• 将 Ouroboros 风格的分析工具扩展至处理随机延迟，特别是通过广义特征串与压缩时间尺度过程。

提出的方法

• 引入 $\mathsf{CharString}$ 过程以建模最长链中区块的序列，将先前工作的特征串推广至处理随机延迟。
• 定义 $\mathsf{Unheard}_h[i]$ 为局部度量，用于追踪在时隙 $i$ 时诚实参与方 $h$ 尚未接收到的区块数量，捕捉局部延迟效应。
• 使用压缩时间尺度分析敌手区块与特殊诚实区块之间的差异，表明其行为类似于具有负漂移的随机游走。
• 通过几何随机变量的随机支配关系，对 $\mathsf{Reach}[s]$（从参考点出发的诚实区块最大传播范围）进行边界约束。
• 在压缩时间尺度下，推导出 $\mathsf{Margin}_s$ 与 $\mathsf{Advantage}_s$ 的仿射上界，从而实现指数尾部边界。
• 结合 $\mathsf{CharString}$ 与 $\mathsf{Unheard}_h$ 的边界，证明结算失败与链质量失败的发生概率分别不超过 $p_{\textsf{settlement}} + |\mathcal{I}|p_{\textsf{unheard}}$ 与 $p_{\textsf{CQ}} + |\mathcal{I}|\tilde{p}_{\textsf{unheard}}$。

实验结果

研究问题

• RQ1 当通信延迟为独立同分布且可能无界（而非固定 $\Delta$ 有界）时，最长链协议如何维持安全性？
• RQ2 在随机延迟下，标准的结算与链质量安全保证是否仍可保持？失败概率如何？
• RQ3 延迟的局部与全局影响在协议安全性中起何作用？如何形式化分离并界定这些影响？
• RQ4 密集型与广延型安全形式之间有何关系？密集型保证是否可推出全局（广延型）安全？
• RQ5 Ouroboros 风格的分析框架能否通过压缩时间尺度过程与广义特征串，扩展至处理随机延迟？

主要发现

• 即使延迟分布具有无界支撑，最长链协议在随机延迟下仍能保持结算与链质量失败概率的指数衰减。
• 结算失败概率受 $p_{\textsf{settlement}} + |\mathcal{I}|p_{\textsf{unheard}}$ 限制，其中 $p_{\textsf{unheard}}$ 捕获 $\mathsf{Unheard}_h$ 度量的非典型行为。
• 链质量失败概率受 $p_{\textsf{CQ}} + |\mathcal{I}|\tilde{p}_{\textsf{unheard}}$ 限制，其中 $\tilde{p}_{\textsf{unheard}}$ 控制局部延迟偏差。
• $\mathsf{CharString}$ 过程在随机延迟下被近似 i.i.d. 的伯努利过程随机支配，从而支持具有负漂移的随机游走分析。
• $\mathsf{Reach}[s]$ 度量被几何随机变量随机支配，从而可对诚实区块的最大传播范围施加紧致边界。
• 分析表明，在随机延迟模型下，密集型安全保证（局部链一致性）可推出广延型保证（全局一致性）。