九思札记 · 探索区块链 · AI

如果说 Kademlia 解决了"如何找到邻居"的问题，Gossip 协议则解决了"如何让全网在数百毫秒内得知同一消息"的问题。这一节揭示 Gossip 如何用指数级传播速度，将区块或交易从单一节点推送到全球数万个节点。

6.3.1 消息传播的三种策略

在分布式系统中，广播消息有三种经典策略：

策略	描述	延迟	冗余	适用场景
洪泛（Flooding）	节点收到消息后立刻转发给所有邻居	低	极高	小网络、高可靠需求
单播轮询（Iterative）	各节点主动向特定节点拉取更新	高	低	节省带宽，实时性低
Gossip/流言	节点周期性地随机选择部分邻居转发	中等	中等	大规模 P2P 网络

区块链的选择：比特币与以太坊采用"类洪泛 + Gossip 混合"策略：

首次传播：采用类洪泛（inv+getdata 机制），快速扩散；
冗余抑制：通过库存向量（inventory vector）避免重复转发；
带宽限制：不对每个邻居转发所有消息，而是有选择地推送。

6.3.2 Gossip 的数学本质：流行病模型

Gossip 协议的收敛速度可用流行病模型（SI/SIS）描述。设网络中知晓消息的比例为 $I(t)$ ，传播速率为 $\beta$ ，则：

\frac{dI}{dt} = \beta \cdot I(t) \cdot (1 - I(t))

这是经典的Logistic 增长方程。求解得：

I(t) = \frac{1}{1 + \left(\frac{1}{I_0} - 1\right) e^{-\beta t}}

当 $t \to \infty$ ， $I \to 1$ ——即消息最终会到达全网。达到 99% 覆盖的期望时间与网络直径成正比：

T_{99\%} \approx \frac{\ln N}{\ln(f+1)}

$f$ 为每个节点的转发因子（邻居数）。

// gossip-probabilistic.ts
// 纯内置：模拟 Gossip 传播速度与覆盖率

function simulateGossip(
  nodes: number,
  fanout: number,
  rounds: number
): { roundCoverage: number[] } {
  // 0 表示未知，1 表示已知
  const known = new Array(nodes).fill(0);
  known[0] = 1; // 节点 0 发起消息
  const roundCoverage = [1 / nodes];
  
  for (let r = 0; r < rounds; r++) {
    const newlyInfected: number[] = [];
    for (let i = 0; i < nodes; i++) {
      if (known[i] === 0) continue;
      // 感染 fanout 个随机邻居
      for (let f = 0; f < fanout; f++) {
        const j = Math.floor(Math.random() * nodes);
        if (j !== i && known[j] === 0) {
          newlyInfected.push(j);
        }
      }
    }
    for (const j of new Set(newlyInfected)) known[j] = 1;
    roundCoverage.push(known.filter(x => x === 1).length / nodes);
  }
  
  return { roundCoverage };
}

const sim = simulateGossip(10000, 4, 10);
for (let i = 0; i < sim.roundCoverage.length; i++) {
  console.log(`Round  ${i} coverage:$ {(sim.roundCoverage[i] * 100).toFixed(2)}%`);
}
// 输出：3-4 轮即可覆盖 95%+ 节点，验证了 Gossip 的指数传播特性

6.3.3 比特币 `inv/getdata` 机制：带宽优化

纯 Gossip 会生成 $O(N \cdot f)$ 条冗余消息。比特币通过两阶段预协商大幅优化：

inv（Inventory）消息：节点 A 得知新交易/区块后，向邻居广播 inv 消息（仅含 32 字节哈希列表）；
getdata 请求：邻居 B 收到 inv 后，检查库存，若尚未拥有，则回复 getdata 请求完整数据；
数据发送：A 收到 getdata 后才发送实际交易/区块数据。

sequenceDiagram
    participant A as 节点A（持有者）
    participant B as 节点B
    participant C as 节点C
    
    A->>B: inv [tx_hash_0x3a...]
    B->>A: getdata [0x3a...]
    A->>B: tx (完整数据)
    B->>C: inv [tx_hash_0x3a...]
    A->>C: inv [tx_hash_0x3a...]
    C->>B: getdata [0x3a...]
    C->>A: getdata [0x3a...]
    B->>C: tx (完整数据)
    A->>C: tx (完整数据)
    Note over A,B,C: 两阶段机制避免重复传输完整数据

带宽节省：

纯数据广播的冗余度： $R = f \cdot N$

两阶段预协商的冗余度： $R' = f \cdot N_{\text{hash}} + N_{\text{actual}} \ll R$

6.3.4 以太坊的差异：`eth` 子协议与交易池同步

以太坊 P2P 在底层 rlpx 之上实现 eth 子协议，其传播策略与比特币略有不同：

特性	Bitcoin	Ethereum
传播单元	`inv/getdata`（两阶段）	`NewPooledTransactionHashes` + `GetPooledTransactions`
交易池缓存	内存池（未经确认的交易集合）	`txpool`（按 gas price 排序的待处理交易）
广播策略	向所有邻居发送 inv	仅向 $f$ 个邻居发送，有选择地传播
带宽优化	紧凑区块（Compact Block）	基础费用+优先费拆分传播

以太坊还使用 NewBlockHashes、NewBlock 消息管理区块传播，支持`partial block 分片网络还在进一步演化 Gossip 变体（如沿分片定向传播）。

关键认知：Gossip 不是盲目广播，而是有策略地利用网络拓扑冗余实现可靠传播。inv/getdata 两阶段机制将"数据洪泛"转化为"哈希洪泛"，在保持低延迟的同时，将带宽开销压缩了数个数量级。

← 6.2 Kademlia DHT | 前往 → 6.4 区块与交易中继策略

本页目录

6.3.1 消息传播的三种策略

6.3.2 Gossip 的数学本质：流行病模型

6.3.3 比特币 `inv/getdata` 机制：带宽优化

6.3.4 以太坊的差异：`eth` 子协议与交易池同步

评论

发表评论