跳到正文
Financial Context Wiki

共识机制：有效性、分叉选择与最终性

共识机制使副本在明确的故障与网络假设下就兼容历史达成一致。应分别分析决策任务、参与者与权重、有效性规则、提议路径、分叉选择、最终性、安全性、活性和实际部署。

更新于

仅供协议分析教育参考。共识标签本身不能证明已部署网络具备安全性、活性、正确实现、去中心化、最终性、公平排序或资产安全。

直接回答

共识机制是这样一套协议：在消息延迟、并发以及模型所涵盖的故障存在时，使无故障副本对有序日志或状态形成彼此兼容的决定。在区块链中，完整机制可能包括提议者选择、区块和状态转换验证、投票或证明、分叉选择、提交或最终性、恢复及成员规则。它不只是“多台计算机保存同一个文件”，也不等同于一个投票阈值、挖矿、质押或激励计划。

必须分别说明三项性质。safety（安全性）防止无故障参与者作出不兼容决定；liveness（活性）表示在指定条件下，有效工作最终可以继续推进；validity（有效性）约束可以决定什么。协议可能在保持安全性的同时停机，也可能依据允许之后重组的假设继续运行。“共识”一词本身并未说明哪项保证在何时成立，或客户端应信任什么证据。

交易有效性与规范历史选择并不相同。全节点会独立拒绝违反当前规则的状态转换。如果两笔各自有效的交易花费同一输入，排序或分叉选择将决定哪一笔可进入规范历史；多数资源不能让两笔同时有效。同样，对字节达成一致也不能证明预言机事实、跨链桥声明、应用计算或法律主张为真。

工作量证明和权益证明通常提供抗女巫攻击、提议影响力或可追责的投票权重，但名称本身并未定义完整共识协议。Bitcoin 把工作量证明与验证、累计工作量链选择结合；Ethereum 的 Gasper 结合权益加权证明、LMD-GHOST 分叉选择与 Casper FFG 检查点最终性；CometBFT 这类分轮 BFT 协议则使用不同的消息、阈值、时间假设和最终性。它们的百分比不能相互替换。

分析方法

  1. 明确决定及范围。 说明副本决定的是单个值、有序交易日志、每个高度的区块、检查点还是应用状态；确定链、网络、层、协议版本和可信起点。
  2. 定义参与者与影响力。 区分提议者、投票者、完整验证节点、轻客户端和观察者。记录身份如何加入与退出，影响力取决于算力、权益、等权成员还是其他权重，以及如何阻止廉价复制身份。
  3. 拆分协议阶段。 记录交易与状态有效性、提议构造、传播、投票或证明、分叉选择、提交、最终性和恢复。有效区块可能在分叉选择中落败，规范链头也未必已经最终确定。
  4. 说明系统模型。 定义认证信道、同步或部分同步、延迟和超时假设、崩溃与拜占庭故障、矛盾投票、遗漏、自适应腐化、密钥泄露、网络分区，以及最大故障数量或权重 f。
  5. 追踪一次决定。 从提议到决定追踪消息域、高度、轮次、父区块、锁、证书和本地状态。说明消息迟到、提议者矛盾提议、轮次超时或出现两个有效分支时会发生什么。
  6. 分别验证安全性与活性。 使用准确的参与者集合和权重快照推导法定人数交集、链增长或其他证明条件；再测试是否仍有足够的诚实连接与参与来推进，不能从安全阈值推断活性。
  7. 把证明映射到部署。 检查客户端版本、参数变更、成员与权益集中度、密钥托管、对等节点多样性、构建者或排序器角色、检查点、弱主观性规则、重组处理及应用自身的确认策略。

FLP 并不是说已部署的共识不可实现。它说明，在完全异步的消息传递模型中，即使只有一个崩溃故障，确定性共识协议也存在某个允许的执行无法终止。真实协议通过加入同步或部分同步假设、随机选择、故障检测器、经济假设或较弱的终止承诺来取得有用保证。这些附加条件必须明确写出，不能藏在协议标签后面。

计算示例

1. 有效性不等于规范排序

未花费输出 U 价值 1 BTC。交易 T_B 把它付给 Bob，交易 T_C 把同一个输出付给 Carol。相对于同一父状态，两笔交易都可能具有正确的签名和格式，但有效历史不能把 U 消耗两次。

如果两个竞争的有效区块各自包含一笔交易，验证会在本地保留两个候选分支，而分叉选择会选出规范分支。一旦 T_B 进入选定历史，T_C 就与所得状态冲突。共识选择了顺序；它没有把错误签名变成正确签名，也没有判断哪位收款人在道德上有权得到付款。

2. 比较累计工作量，而非节点数量

假设两个有效的 Bitcoin 式分支在同一任意工作量单位下分别具有累计工作量 W_A=240 和 W_B=235。验证节点依据累计工作量规则选择 A，即使它先从更多对等节点听到 B。对等节点数量不是共识权重。

如果 B 随后增加 10 个工作量单位而 A 没有增加，二者变成 W_B=245 对 W_A=240，节点验证分支后可能重组至 B。这个简化算术说明工作量证明确认为何是概率性的：替换更深历史的成本逐渐提高，而不是到达固定区块数后在逻辑上不可逆。

3. 加权 BFT 法定人数与活性停顿

设验证者总权重为 100，一个 CometBFT 式提交要求同一高度、同一轮次中对同一区块获得 >2/3 的预提交。整数权重 67 可以通过。任意两个 67 权重法定人数至少相交 34，因为 67 + 67 - 100 = 34。如果拜占庭权重低于三分之一，交集中就包含诚实权重，而诚实方按协议不能为冲突提交签名。

同一阈值也揭示活性边界。如果 34 权重离线，只剩 66，即使在线验证者全部诚实也无法形成提交。协议可以在停机时保持安全性；治理投票或运营者数量不能替代缺失的共识权重。

4. 分叉选择与检查点最终性不同

在简化的 Ethereum Gasper 轨迹中，设检查点为 C_0、C_1 及其直接子检查点 C_2。代表活跃有效余额 67/100 的投票可建立从 C_0 到 C_1 的超多数链接，使 C_1 合理化。之后从 C_1 到 C_2 的合格链接可依据相应 FFG 规则最终确定较早的检查点。

在检查点之间，LMD-GHOST 使用验证者最新证明，从合理化检查点的可行后代中选择链头；最终检查点约束则过滤冲突分支。因此，链头选择、合理化和最终确定是相关但不同的状态转换；“67% 为这个区块投票”不足以完整描述其中任何一个。

风险与审查失败

模型与保证

  • 只说“网络达成共识”，却不定义决定、安全性、活性、有效性和终止条件。
  • 把工作量证明、权益证明、挖矿、质押或一个投票百分比当作完整协议规范。
  • 把 51%、2/3 或 n=3f+1 普遍套用于不同的故障、时间、权重和最终性模型。
  • 混淆崩溃故障、拜占庭行为、密钥盗窃、信道故障、相关软件故障与治理俘获。
  • 把 FLP 说成对实用共识的禁令，而不是关于确定性、完全异步且保证终止的结果。
  • 只数节点或验证者密钥，不测量独立运营者、投票权重、客户端、云和托管关系。
  • 假设规范、safe、合理化、提交和最终确定是可以互换的状态。
  • 从副本一致推断外部事实正确、排序公平、隐私、去中心化或资产价值。

协议与实现

  • 接受未绑定链、协议版本、高度、轮次、父区块、载荷、发送者和成员时期的区块或投票。
  • 让不同实现对状态转换、序列化、签名域、分叉选择、平局规则或取整产生分歧。
  • 验证法定人数证书时不重建其合格权重快照和重复签名者处理。
  • 跨分叉、网络、轮次、升级或验证者集合变更重放投票、工作量或证书。
  • 在超时、视图切换或恢复时错误更新锁、合理化检查点或最高证书。
  • 把本地观察到的链头或单一 RPC 提供者的标签当作独立的网络最终性证据。
  • 只测试正常路径，不测试延迟、分区、矛盾投票、无效提议、重组和恢复。

部署与应用

  • 把算力、权益、客户端、中继、构建者、排序器、云或签名基础设施集中在名义上分离的身份背后。
  • 把超时或出块间隔设得短于实际传播与验证时间，损害活性或增加分叉。
  • 在达到所需来源链和应用最终性前记入存款、铸造跨链资产或执行不可逆操作。
  • 假设罚没、奖励或代币价格总能形成充足且可变现的安全预算。
  • 使用社会恢复或治理干预，却不说明谁负责协调、客户端安装哪条链以及原有哪项保证已改变。

常见误区

  • 共识与验证相同。 验证拒绝违反规则的数据；共识在多个可能各自局部有效的候选中选择兼容决定。
  • 节点越多就一定越安全。 影响力、独立性、拓扑、软件多样性和故障模型比原始进程数量更重要。
  • 51% 攻击者可以伪造任何人的签名。 在特定协议下，多数资源可能实施审查或重组，但不会因此泄露私钥或授权无效花费。
  • 三分之二总是意味着最终性。 具体不等式、消息、轮次、权重快照、锁规则和最终性条件均由协议决定。
  • 快速出块证明共识更强。 较短间隔可能增加传播竞争和资源压力；必须结合安全性、活性及最终性假设评估延迟。

相关主题

来源

导航

搜索知识库...