9、解析 XRP 账本：洞察与分析

解析 XRP 账本：洞察与分析

1. 安全分析

1.1 期望属性与敌手模型

共识协议通常有一些期望达成的属性。例如，它们要确保在动态参与的系统中，所有正确运行的进程即使在存在损坏和网络故障的情况下，也能做出决策并最终对系统状态形成统一的共识。

常见的拜占庭协议有以下几个关键条件：
- 有效性（Validity） ：如果每个进程都以相同的初始值 v 开始，那么非故障进程的最终决策必须是 v。
- 一致性（Agreement） ：非故障进程的最终决策必须相同。
- 终止性（Termination） ：每个非故障进程最终都必须做出决策。

这些条件体现了两个关键属性：安全性（Safety）和活性（Liveness）。安全性保证坏事不会发生，它源于有效性和一致性的结合；活性保证好事最终会发生，它源于终止性条件。在 XRP 账本中，这两个属性可重新定义为：
- 安全性 ：如果一个诚实的验证者完全验证了账本 L，那么所有诚实的验证者不能完全验证与之矛盾的账本 L’（L’ ≠ L）。
- 活性 ：如果一个诚实的验证者广播了一个有效的提案 P，那么 P 最终会被所有验证者接受并包含在一个完全验证的账本中。

XRP 账本具有分层的信任概念。网络被划分为多个节点子集，这些子集被集体信任不会相互勾结欺诈其他节点，每个节点可以自主选择自己的唯一节点列表（UNL）。由于验证者仅对配置为信任它们的节点有影响，所以一个诚实的验证者在