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

跨链桥是不同区块链之间传递资产和消息的基础设施，也是整个行业中被黑客攻击次数最多、损失最惨重的环节——累计损失超过 $2.5B 美元（截至 2024 年）。理解桥的安全模型，是理解多链时代分布式系统风险的必修课。

8.6.1 跨链桥的安全模型分类

类型	信任假设	代表	典型漏洞
哈希时间锁（HTLC）	密码学信任	比特币原子交换	原像泄露、超时博弈
公证人机制	信任 N-of-M 多签	大多数早期跨链桥	多签密钥泄露
轻客户端中继	信任源链共识	BTCRelay, IBC	源链 51% 攻击
ZK 桥	密码学信任	zkBridge	证明系统缺陷
Optimistic 桥	经济博弈（挑战期）	Nomad	监控者离线

8.6.2 哈希时间锁原子交换（HTLC）

HTLC 是唯一不需要可信第三方的跨链协议。

Alice 用 1 BTC 与 Bob 换 10 ETH：

\text{HTLC}_{BTC}: \text{ IF } H(x) = h \land t < T_1 \Rightarrow \text{pay 1 BTC to Bob; else refund to Alice}

\text{HTLC}_{ETH}: \text{ IF } H(x) = h \land t < T_2 \Rightarrow \text{pay 10 ETH to Alice; else refund to Bob}

协议流程：

Alice 生成秘密 $x$ ，公布 $h = H(x)$ ；
Bob 在 ETH 链上创建 HTLC，锁定 10 ETH，用 $h$ 作为条件；
Alice 在 ETH 链上揭示 $x$ 并取走 10 ETH；
Bob 看到 $x$ 后，在 BTC 链上揭示取走 1 BTC。

安全条件： $T_1 < T_2$ （BTC 锁定期更短），否则 Bob 可能在取走 1 BTC 后让 ETH 链超时。

8.6.3 公证人桥与多签风险

Wormhole、Ronin、Harmony Horizon 等桥都采用了公证人/多签模型：

一组"见证人"（通常是项目方、验证者或机构）通过多签审批跨链转移；
Ronin 桥（Axie Infinity）被攻击：黑客控制 5 个验证者中的 5 个（实际只需 2/5），窃取 6.25 亿美元；
Wormhole 被攻击：签名验证代码漏洞，伪造验证者签名，窃取 3.2 亿美元。

安全公式：

\text{桥安全} = \text{阈值} \times \text{单验证者安全性}

当阈值设计过低，或验证者运行相同软件产生同源漏洞时，安全乘积急剧下降。

graph TD
    A[链 A] -->|锁定资金| B[公证人委员会
    N-of-M 多签]
    B -->|铸造包装代币| C[链 B]
    C -->|销毁包装代币| B
    B -->|解锁资金| A
    D[攻击者] -->|控制 M 个签名者| B
    D --> E[窃取全部锁定资产]
    style B fill:#ffcccc

8.6.4 轻客户端桥：IBC 与 Polkadot XCMP

Cosmos IBC（Inter-Blockchain Communication）：

链 A 的"轻客户端"运行在链 B 上，反之亦然；
无需信任第三方，只需信任源链的共识（如 Tendermint 的 2/3 签名验证）。

\text{IBC 安全假设: } \text{源链未被 2/3 攻破}

Polkadot XCMP：

利用中继链的共享安全保证平行链间的消息传递；
平行链的区块头由中继链验证者集统一确认（经济学上与攻击中继链等价）。

8.6.5 ZK 桥：密码学替代信任

zkBridge（如 Succinct Labs、Polyhedra）：

源链的区块头被验证电路打包为 ZK 证明；
目标链上的合约只需验证该证明，确认源链状态，无需运行完整轻客户端。

\text{zkBridge 安全假设: } \text{ZK 证明系统的健全性 + 源链未被攻破}

优点：验证成本低，延迟低，无需同步大量区块头。

缺点：电路复杂，若存在未被发现的 ZK 漏洞，可被构造假证明。

8.6.6 跨链桥风险评估矩阵

桥类型	资金被盗风险	审查风险	延迟	资本效率
多签公证人	极高（密钥管理）	中	秒级	高
HTLC	极低	低	分钟级	低（锁定多轮）
IBC	中（源链攻击）	低	秒级	高
ZK 桥	低（密码学假设）	低	分钟级	高
Optimistic 桥	高（监控者离线）	中	小时级	中

// bridge-risk-matrix.ts
// 纯内置：跨链桥各模型安全假设对比

interface Bridge {
  name: string;
  trustAssumption: string;
  minAttackCost: string;
  latency: string;
}

function securityScore(bridge: Bridge): { score: number; concerns: string[] } {
  const concerns: string[] = [];
  if (bridge.trustAssumption.includes('多签')) concerns.push('密钥泄露/合谋');
  if (bridge.trustAssumption.includes('经济')) concerns.push('大资本攻击');
  if (bridge.minAttackCost === '低') concerns.push('攻击成本低');
  const score = 10 - concerns.length * 3;
  return { score: Math.max(0, score), concerns };
}

const bridges: Bridge[] = [
  { name: '多签公证人', trustAssumption: 'N-of-M 多签可信', minAttackCost: '低', latency: '秒' },
  { name: 'HTLC', trustAssumption: '密码学原语', minAttackCost: '极高', latency: '分钟' },
  { name: 'IBC', trustAssumption: '源链共识 2/3', minAttackCost: '高', latency: '秒' },
  { name: 'ZK Bridge', trustAssumption: 'ZK 证明系统健全', minAttackCost: '高', latency: '分钟' },
];

for (const b of bridges) {
  const s = securityScore(b);
  console.log(` ${b.name}: 安全分$ {s.score}/10, 风险: ${s.concerns.join(', ') || '无'}`);
}
// 输出对比显示: 密码学信任 > 共识信任 > 多签信任

关键认知六：跨链桥的安全问题不是"代码 bug"，而是系统性的信任模型缺陷。当桥的价值锁定量 > 攻击成本时，理性的经济攻击者就有动力发动攻击。HTLC 和 ZK 桥用密码学保证缩小了这个不等式左边的攻击面，而多签桥则扩大了它。

← 8.5 Rollup | 前往 → ch08-summary

本页目录