4. 比特币数据结构：区块结构、区块头、交易结构、Merkle树、时间戳、难度目标

比特币系统本质上是一个由密码学、分布式共识和经济激励共同支撑的“状态机”，而它的全部状态都沉淀在一种极其紧凑、层次分明的数据结构之中。理解比特币的数据结构，是理解其安全性、不可篡改性和去中心化特性的基石。本章将逐一拆解区块、区块头、交易、Merkle树、时间戳与难度目标这六大核心要素，揭示它们如何协同工作，构成一个自洽且健壮的账本系统。

上图展示了比特币区块的宏观结构：一个区块由区块头和区块体组成。区块头承载了所有用于验证区块本身合法性的元数据，而区块体则包含了一组经过Merkle树组织起来的交易列表。这种“头体分离”的设计，使得轻节点（SPV节点）只需下载区块头即可完成支付验证，无需同步全部交易数据。

4.1 区块结构与区块头：账本的“封面”与“目录”

核心原理：比特币的区块链本质上是一个由区块组成的单向链表。每个区块通过其头部中的“前一区块哈希”字段，指向前一个区块，从而形成一条不可逆的链条。区块头的大小固定为 80 字节，包含六个字段：版本号（4字节）、前一区块哈希（32字节）、Merkle根（32字节）、时间戳（4字节）、难度目标（4字节）和随机数Nonce（4字节）。

区块体的核心是交易数据。比特币采用 UTXO（未花费交易输出）模型，而非账户余额模型。这意味着每一笔交易都明确引用了之前交易的某个输出作为输入，并产生新的输出。这种模型避免了双花问题，且天然支持并行验证。

4.2 交易结构与UTXO模型：账本的“借贷凭证”

核心原理：一笔比特币交易由输入（Inputs）和输出（Outputs）组成。输入引用了之前交易的UTXO，并附上解锁脚本（ScriptSig）证明所有权；输出则定义了新的UTXO，包含金额和锁定脚本（ScriptPubKey）。交易结构如下：

交易 = {
  version: 4字节,
  input_count: 1-9字节,
  inputs: [
    {
      prev_tx_hash: 32字节,   // 引用前序交易ID
      prev_output_index: 4字节, // 引用前序交易的第几个输出
      scriptSig: 变长,        // 解锁脚本（签名+公钥）
      sequence: 4字节         // 用于时间锁或替换
    }
  ],
  output_count: 1-9字节,
  outputs: [
    {
      value: 8字节,           // 聪（1 BTC = 1亿聪）
      scriptPubKey: 变长      // 锁定脚本（通常为P2PKH或P2SH）
    }
  ],
  locktime: 4字节             // 最早可被打包的时间或区块高度
}

判断方法：验证一笔交易是否合法，需要检查三点：① 每个输入引用的UTXO确实存在且未被花费；② 解锁脚本与锁定脚本组合执行后返回True；③ 输入总金额 ≥ 输出总金额（差额为矿工费）。

4.3 Merkle树：交易的“指纹聚合器”

核心原理：Merkle树是一种二叉树，叶子节点是每笔交易的哈希值，非叶子节点是其两个子节点哈希拼接后的哈希值。最终汇聚成一个Merkle根，存储在区块头中。这种结构带来两个关键优势：

• 高效验证：只需提供一条从叶子到根的哈希路径（约log2(N)个节点），即可证明某笔交易存在于区块中，无需下载全部交易。
• 防篡改：任意一笔交易被修改，都会导致Merkle根变化，进而使区块头哈希失效，被网络拒绝。

操作流程：构建Merkle树时，若交易数量为奇数，则最后一个交易哈希会被复制一份，形成“双花”节点，确保树始终为满二叉树。比特币的Merkle树使用双重SHA-256哈希。

4.4 时间戳与难度目标：系统的“节拍器”与“调节阀”

核心原理：时间戳记录了区块生成的时间，它不仅是区块头的一部分，更是难度调整的关键输入。比特币网络规定，每生成 2016 个区块（约2周），所有节点会根据这2016个区块的实际生成时间，重新计算难度目标。计算公式为：

新难度目标 = 旧难度目标 × (实际耗时 / 期望耗时)
期望耗时 = 2016 × 10分钟 = 20160分钟

难度目标以“Bits”字段存储，采用科学计数法压缩表示：前2位十六进制为指数，后6位为尾数。实际目标值是一个256位的数字，矿工需要找到一个Nonce，使得区块头哈希值 小于等于 目标值。目标值越小，挖矿难度越大。

判断方法：验证一个区块是否合法，节点会执行以下步骤：

1. 检查区块头哈希是否小于当前难度目标值。
2. 检查时间戳是否大于前11个区块的中位数时间，且不超过未来2小时。
3. 检查难度目标是否与最近2016个区块的实际耗时匹配。

4.5 常见误区与总结复盘

误区一：认为“时间戳”是可信的时间。实际上，比特币的时间戳是矿工自行填写的，节点只做宽松校验（允许2小时误差）。因此，时间戳不能用于精确计时，只能用于难度调整和交易锁定的相对顺序判断。

误区二：混淆“区块高度”与“时间戳”。区块高度是区块在链上的位置序号，而时间戳是矿工声称的生成时间。两个区块可能拥有相同的时间戳，但高度必然不同。

误区三：认为Nonce只有4字节，挖矿只能尝试40亿次。实际上，矿工除了修改Nonce，还可以修改区块中的Coinbase交易（从而改变Merkle根）或时间戳，以获得更多的哈希尝试空间。

总结复盘：比特币的数据结构设计体现了极致的工程权衡：区块头固定80字节，保证了轻节点的高效；Merkle树实现了交易的可证明性；UTXO模型简化了双花检测；难度目标与时间戳的配合，让系统在无中心协调下保持稳定出块节奏。理解这些数据结构，是深入理解比特币脚本语言、共识机制和二层扩容方案（如闪电网络）的前提。