The Cost of Secure Restaking vs. Proof-of-Stake

论文技术总结：Secure Restaking vs. Proof-of-Stake 的成本分析

1. 研究背景与问题定义

• 背景：区块链的安全性从工作量证明（PoW）演进到权益证明（PoS），最近又发展出**再质押（Restaking）**协议（如 EigenLayer）。再质押允许验证者将其质押资本复用于多个服务，旨在提高资本效率。然而，这种复用引入了复杂的相互依赖关系和潜在的安全风险。
• 核心问题：
  1. 再质押是否真的比独立的 PoS 协议更节省资本？ 即，在保持同等安全性的前提下，再质押图（Restaking Graph）所需的总质押量是否少于将验证者拆分为独立 PoS 协议所需的总质押量？
  2. 反之亦然：将多个独立的 PoS 协议聚合为一个再质押图，需要额外增加多少质押量才能恢复安全性？
• 目标：通过形式化模型，量化“再质押节省（Restaking Savings）”和"PoS 节省（PoS Savings）”，并推导其上下界。

2. 模型与符号定义

论文建立了一个二分图模型 $G = (S, \pi, \alpha, V, \sigma, E)$：

• $S$ (服务集)：$m$ 个服务/项目，具有价值 $\pi_s$ 和安全参数 $\alpha_s$（攻击成功所需的最小质押比例）。
• $V$ (验证者集)：$n$ 个验证者，具有初始质押量 $\sigma_v$。
• $E$ (边集)：连接服务与验证者，表示质押关系。
• 攻击定义：验证者子集 $A$ 能攻击服务 $s$，当且仅当 $A$ 在 $s$ 上的质押比例 $> \alpha_s$。
• 安全性定义：若不存在任何验证者子集 $A$，其攻击所得总价值 $\sum \pi_s$ 大于其损失的总质押 $\sum \sigma_v$，则图是安全的。
• 关键假设：在比较中，允许验证者的质押量增加（弱支配），但不允许减少。这模拟了现实世界中通过融资增加质押以维持安全性的场景。

3. 主要贡献与方法论

论文通过构造性证明和组合优化方法，得出了以下核心贡献：

A. 充分条件与资本效率的初步分析

• 验证了 EigenLayer 提出的充分条件（公式 1）：若满足该条件，再质押图可被分解为独立的 PoS 协议。
• 发现：满足该充分条件的图没有资本节省（Restaking Savings = 0）。这意味着该条件过于保守，限制了再质押的资本效率潜力。

B. 再质押节省（Restaking Savings, RS）

• 定义：将一个安全的再质押图转化为独立的安全 PoS 协议所需增加的额外质押比例。
  $$RS(G) = \min \frac{T(\sigma') - T(\sigma)}{T(\sigma)}$$
• 上界推导：
  1. 基于度数：$RS(G) \le \max_{s \in S} d_G(s)$ 和 $K$（覆盖验证者集的最小最大重合度）。
  2. 基于验证者数量：利用贪心覆盖算法，证明 $RS(G) \le 2\sqrt{n} - 1$。
  3. 基于安全参数：若安全参数排序为 $\alpha_1 \le \dots \le \alpha_m$，则 $RS(G) \le 1/\alpha_2$。
• 下界构造：
  • 构造了一个特定的再质押图实例，其中 $n = m^2 + 1$。
  • 证明在该构造下，$RS(G) \in \Omega(m)$。由于 $m \approx \sqrt{n}$，这证明了 $RS(G) \in \Theta(\sqrt{n})$。
  • 结论：再质押的资本节省可以随着验证者数量 $n$ 的增加而以平方根速度增长，且无界（当 $n, m \to \infty$ 时，$RS \to \infty$）。

C. PoS 节省（PoS Savings, PoSS）

• 定义：将一组独立的安全 PoS 协议聚合为一个再质押图，为恢复安全性所需增加的额外质押比例。
• 下界：构造了一个实例（$m$ 个服务，$m$ 个验证者，每个验证者质押所有服务），证明 $PoSS(G) \ge m - 1$。
• 上界：证明 $PoSS(G) \le \max_{s \in S} d_G(s) - 1$。
• 结论：聚合带来的开销与最大服务度数线性相关，且上下界精确匹配（$m-1$）。这意味着在极端情况下，聚合可能导致巨大的资本浪费。

4. 关键结果总结

• 核心发现 1：再质押确实能带来显著的资本效率提升，其节省潜力随网络规模（验证者数量）的平方根增长。
• 核心发现 2：反之，将独立 PoS 强行聚合为再质押图可能导致极高的资本成本（线性增长），特别是在验证者广泛覆盖多个服务时。
• 核心发现 3：EigenLayer 当前的某些限制（如单一服务可独立清算所有资产）实际上迫使系统退化为独立的 PoS 协议，从而消除了再质押的资本效率优势。

5. 意义与启示

1. 理论突破：首次形式化地量化了再质押与独立 PoS 之间的资本效率差异，证明了再质押在大规模系统中具有非平凡的（non-trivial）资本节省潜力（$\Theta(\sqrt{n})$）。
2. 设计指导：
   • 对于再质押协议设计者：应避免过于保守的安全条件（如 EigenLayer 的充分条件），以释放资本效率。
   • 对于系统架构：验证者的连接度（Degree）是关键参数。如果验证者覆盖的服务过多（高 $d_G(v)$），聚合带来的风险（PoS Savings）会急剧上升。
   • 实际案例：在以太坊生态中，虽然验证者数量巨大（$n$ 大），但单个验证者通常只服务于少数项目（$d_G(v)$ 小），这使得再质押在理论上具有巨大的资本效率空间。
3. 开放问题：目前尚缺乏一个通用的、多项式时间可验证的充分条件，既能保证安全性，又能允许存在严格正的再质押节省（即打破 EigenLayer 当前条件的限制）。

6. 结论

该论文通过严谨的图论和组合优化分析，揭示了再质押协议在资本效率上的双重性：

• 优势：在合理的图结构下，再质押可以显著降低总质押需求（节省可达 $\sqrt{n}$ 倍）。
• 劣势：若设计不当（如过度聚合），其安全成本可能远高于独立的 PoS 协议。
  最终结论是：没有一种协议在资本需求上绝对优于另一种，关键在于底层图结构的设计与约束。