跳到正文
Financial Context Wiki

分叉选择规则：有效分支、权重与规范链头

分叉选择规则把节点已验证的本地视图映射为当前规范链头。应分别分析候选有效性、祖先关系、累计工作量或投票权重、检查点、时序、平局处理、重组影响与最终性。

更新于

仅供协议研究与教育用途。节点的当前链头取决于网络、规则版本、已验证本地视图、权重证据、检查点与时间；它不会因此自动最终化，也未必适合不可逆的应用结算。

直接答案

分叉选择规则是一套协议程序，它把节点对竞争区块与共识消息的已验证本地视图映射为当前规范链头。输出是暂时的，也与观察者有关：两个诚实节点可能因收到的有效区块、投票或时序事件不同，短暂选择不同链头。在协议的网络假设下，当可接受视图趋于一致时，规则也应趋于一致。

分叉选择不会让无效区块变得有效。状态转换、授权、证明、祖先关系和数据可用性检查先决定哪些候选可接受，然后才能比较权重。选出的链头也不一定已经最终化。分叉选择决定现在延伸哪条分支；最终性规则可用更强安全证据保护较老祖先。替换当前链头可能是常规操作，而替换已最终化检查点则会越过另一条协议边界。

“最长链”不是通用公式。Bitcoin 选择累计工作量最大的有效链：决定因素是累计预期工作量，而非原始高度。Ethereum 的 LMD-GHOST 从已合理化检查点出发，筛选可行分支，再贪心地沿最新消息投票余额最大的子节点前进，并计入适用的提议者加权；每个验证者只贡献最新合格消息。其他协议可能使用可用性证书、领导者锁定、轮次或明确提交证书，而不是持续竞争最重分支。

结果取决于精确输入：链与网络、分叉版本、可信锚点、当前时间或时隙、已知有效区块、父链接、工作量或投票权重快照、最新消息、双签证据、已合理化与已最终化检查点、可用性状态、提议者时序和确定性平局规则。区块浏览器徽章或一个 RPC 结果只是某个节点输出的观察值，不是规则本身，也不是对输入的独立证明。

如何分析分叉选择规则

  1. 固定身份与版本。 记录链、网络、共识分叉、客户端版本、创世或可信锚点、当前高度或时隙，以及该位置生效的确切规则。不要把主网逻辑套用到测试网、侧链、汇总或未来提案。
  2. 构建可接受区块图。 验证哈希、父节点、共识证明、状态转换、执行载荷状态和所需数据可用性。明确标记未知、乐观、无效和已剪枝节点；权重不能挽救无效分支。
  3. 重建祖先关系与约束。 找出共同祖先，确认哪些候选继承所需检查点、锁定或证书。区分原始观测树与规则实际考虑的筛选后树。
  4. 复现每项权重输入。 对 PoW，解码目标并把逐块证明累加为累计链工作量。对投票规则，验证验证者身份、活跃有效余额或其他权重、消息域、目标根、时隙或 epoch、最新消息替换、双签处理与临时加权。
  5. 精确执行选择与平局规则。 在每个分支应用规定的递归或比较器，遵守协议取整和确定性排序。记录等权时是否允许暂时本地偏好，而不是假装平局已经达成最终共识。
  6. 核对链头变化。 胜者变化时识别断开和接入的区块，回滚并重放状态，核对收据、日志和内存池，并由共同祖先计算重组深度。区分 head、safe、justified、committed 与 finalized 标签。
  7. 压力测试并监控部署。 测试延迟或扣留区块、分区、过期投票、双签、平衡攻击、提议者时序、客户端分歧、弱检查点与数据不可用。比较独立节点，在不可逆下游动作前，对意外链头分歧、深度重组或与最终状态冲突报警。

在当前 Bitcoin Core 中，候选排序先比较 nChainWork；工作量相等时再按最早可激活序列排序，并有内部后备平局规则。RPC 字段 blocks 是累计工作量最大且完整验证的链高度，bestblockhash 则标识其链头。在 Ethereum 当前分叉选择规范中，get_head(store) 从 justified_checkpoint 开始，遍历筛选后的树，在每一步选取使 (get_weight(store, child), child.root) 最大的子节点。这些实现细节只属于特定协议与版本，不是共识的通用定义。

计算示例

1. Bitcoin 累计工作量切换

两条有效分支共享祖先 C。当前链头为 chainwork(A)=240 与 chainwork(B)=235，所以节点选择 A，即使粗略高度显示让两条分支看似相近。一个新有效区块为 B 分支增加工作量 10：

chainwork(B') = 235 + 10 = 245

因为 245 > 240，B 成为最大工作量候选。节点断开 A 在 C 之后的区块，接入 B 至 B'，并核对交易。逐块目标不同时，原始区块数不够；工作量相等只是暂时平局，不是最终性证明。

2. 贪心最重观测子树

使用以已合理化检查点 J 为根的简化 LMD-GHOST 树。其子节点为 A 与 B。验证者最新合格消息给 A 的整个子树权重 61，给 B 子树 39，因此第一步选择 A。A 的子节点 A_1 与 A_2 的子树权重为 34 和 27；下一步选择 A_1。

链头是通过反复选择最重子节点得到的，不是计算分支长度，也不是选择孤立直接投票最多的叶节点。生产规则还包含可行性筛选、余额快照、双签处理、提议者时序与平局规则，这棵教学树均予以省略。

3. 最新消息替换

假设最新合格消息最初给 A 分支权重 55，给 B 分支 45。一个权重 20 的验证者后来发送支持 B 后代的更新合格消息。最新消息记账会从 A 移除其旧支持，再加到 B：

A: 55 - 20 = 35; B: 45 + 20 = 65

该权重只计算一次，不会同时留在两条分支，所以选中路径可能改变。这并不允许不一致投票：如果有效的 attester-slashing 证据识别出双签，当前 Ethereum store 会跟踪该验证者，并从常规 attestation 评分中排除其权重。

4. 检查点筛选与提议者加权

假设节点观察到与已最终化检查点冲突的分支拥有原始最新消息权重 70，而可行后代分支权重为 30。冲突分支在链头选择前便被排除；原始多数权重不能通过常规分叉选择越过最终化检查点约束。

再看当前时隙的两个可行子节点，其 attestation 权重为 35 与 50。按所引 Ethereum 配置，及时提议者加权等于单个委员会权重的 40%，不是总权益的 40%。若委员会权重为 100，且加权适用于权重 35 的子节点，其比较分数成为 35 + 40 = 75，因此该步胜过 50。加权是临时且分叉特定的；它既不是额外验证者投票，也不是最终性。

风险与审查失误

候选集合与证据

  • 未验证父节点、状态转换、证明、载荷状态或所需数据，便比较分支权重。
  • 把未知或乐观执行、不可用数据或仅区块头视图当成完整验证状态。
  • 用区块高度、时间戳、交易数、手续费或浏览器热度替代规则指定权重。
  • 累加显示的难度，而不按正确目标复现逐块证明与累计链工作量。
  • 累计每个历史投票，而不是按正确权重快照采用每个验证者的最新合格消息。
  • 忽略消息域、根、时隙、epoch、及时性、签名、双签与罚没证据。
  • 比较协议检查点、锁定、证书或可用性筛选已判为不合格的原始分支。
  • 把未来规范、其他网络参数或实现优化当成当前共识规则。

选择与操作故障

  • 把 Bitcoin 规则描述为原始“最长高度”，或把 Ethereum 规则说成简单的三分之二链头投票。
  • 用全局叶节点分数替代贪心子树递归，或省略提议者加权、取整和根平局规则。
  • 假定接收顺序、时钟或消息视图不同的节点必须立即报告同一链头。
  • 重组时未正确断开并重放状态、收据、日志、索引与内存池条目。
  • 让客户端实现在有效性、检查点可行性、最新消息、时序或平局规则上分歧。
  • 漏掉平衡、扣留、双签、分区、日蚀、延迟投票和提议者重组条件。
  • 把一个 RPC、浏览器、中继、客户端系列、云或验证者运营方当成独立共识视图。

最终性与应用错配

  • 没有协议的独立最终性证据，却把选中链头称为已最终化、不可逆或安全。
  • 没有按价值制定策略，就基于瞬时链头释放存款、桥消息或不可逆交易。
  • 假定已最终化祖先保证每个更新链头、载荷、预言机或应用结果的正确性与可用性。
  • 对工作量、投票、检查点和恢复模型不同的链使用固定确认数。
  • 把紧急检查点、弱主观性锚点或社会恢复视为没有信任边界的常规分叉选择输入。

常见误解

  • 最长分支总会胜出。 协议可能比较累计工作量、加权最新消息、证书或其他分数；原始高度并非通用规则。
  • 观测到的最重分支自动有效。 有效性和可用性会在权重选择前筛选候选。
  • 分叉选择与最终性是同一条规则。 分叉选择决定当前延伸的链头；最终性用额外安全条件保护祖先。
  • 每个验证者的投票会永远留在总数中。 在最新消息规则中，更新合格消息会替换该验证者先前的分叉支持。
  • 一个浏览器就能证明规范链。 它只报告某套基础设施的视图；仍需独立验证与核对。

相关主题

资料来源

导航

搜索知识库...