📚 课程目录第1章区块链账本基础

1. 区块链账本基础：分布式账本概念、区块与链式结构、默克尔树原理

分布式账本（Distributed Ledger）是一种在多个节点、多个地理位置或机构间共享、复制和同步的数据库。与传统的中心化账本不同，分布式账本没有单一的中心权威机构来维护数据，而是由网络中的每个参与节点独立保存一份完整的账本副本。

  故障排查要点： 分布式账本的核心挑战在于“最终一致性”。当网络分区、节点离线或消息延迟发生时，不同节点的账本副本可能暂时出现差异。故障排查的首要任务是识别这种差异是暂时的网络延迟，还是永久性的数据分叉。

区块链账本由一系列按时间顺序链接的“区块”组成。每个区块包含一批交易记录，并通过密码学哈希指向前一个区块，形成一条不可篡改的链条。

每个区块的区块头中存储了“前区块哈希”。这个哈希值是对前一个区块头进行两次 SHA-256 运算得到的。一旦某个区块被确认，其哈希值就固定下来，后续区块必须引用该哈希。如果攻击者试图修改历史区块中的任何交易，该区块的哈希会改变，导致后续所有区块的链接断裂，网络中的其他节点会立即发现不一致。

故障排查提示： 当节点数据不一致时，首先检查“前区块哈希”字段。如果节点 A 的区块 B 的前哈希与节点 B 的区块 B 的前哈希不同，说明两个节点在区块 A 之后发生了分叉。这是追溯数据不一致的起点。

默克尔树（Merkle Tree）是一种二叉树数据结构，用于高效、安全地验证区块内交易数据的完整性。区块头中只存储一个“默克尔根”哈希值，而不需要存储所有交易的完整列表。

在节点数据不一致的排查中，默克尔树提供了高效的“轻量级验证”能力：

快速定位差异： 当两个节点的区块头中的默克尔根不同时，说明区块内的交易集合不一致。通过比较默克尔树的分支哈希，可以快速定位到具体哪一笔或哪几笔交易存在差异。
轻节点验证： 故障排查时，如果某个节点只保存了区块头（轻节点），可以通过默克尔证明向全节点请求特定交易的包含证明，而不需要同步整个区块体。
交易存在性证明： 给定一笔交易和一条默克尔路径（从叶子到根的一系列哈希），可以在 O(log n) 时间内验证该交易是否属于某个区块。

常见故障场景： 在区块链网络出现分区后，不同分区的节点可能在同一高度产生不同的区块（分叉）。此时，两个分叉区块的默克尔根必然不同。故障排查的第一步就是对比分叉点的默克尔根，确认数据分歧的范围。