
协议涵盖哪些层次
理解区块链的经典协议,可以围绕三个问题展开:记录怎样组织,交易怎样判定有效,出现不同版本时怎样达成一致。数据结构、验证规则与共识机制分别承担这些职责,需要配合才能形成可共同维护的账本。比特币开发者指南侧重账本结构,以太坊共识机制文档则强调协议、资源约束与激励的协作。
哈希链接与默克尔树
比特币区块头引用前一区块头的哈希,并通过默克尔根关联区块内的交易。前者连接历史,后者把多笔交易汇总为一个可校验的承诺。修改交易会改变相关哈希,进而影响后续链接。

默克尔证明适用于核验某笔交易是否包含在指定区块中。包含关系与交易有效性是不同问题:证明交易被记录,并不等于完成所有共识规则检查。

交易状态与双重支付
比特币使用未花费交易输出,即UTXO,表示可被后续交易花费的输出。普通交易引用先前输出,同一输出不能在有效账本中重复花费。由此可见,验证交易既要检查其自身条件,也要结合已有账本状态;孤立地查看一笔交易,无法排除所有冲突。UTXO属于具体的状态模型,不能直接套用于所有区块链。
共识、工作量证明与权益证明
全节点依据共识规则独立验证区块。以太坊共识机制文档指出,工作量证明和权益证明只是完整共识机制的组成部分:它们通过计算资源或质押资源约束参与影响力,并参与决定出块者。
这里涉及抗女巫攻击,即限制参与者通过大量创建身份取得不相称的影响力。身份数量本身不能成为可靠的共识依据,协议还需要资源约束、验证规则和冲突处理方式。
分叉选择及常见误区
多个候选区块可能暂时并存。比特币在有效候选链中依据累计工作量选择链;以太坊的相关分叉选择则考虑按质押余额加权的验证者投票。两者说明,判断链的优先级必须采用对应协议的指标。
“最长链”是否就是区块最多?在比特币语境中,应理解为累计工作量最大的有效链。“哈希链接能否保证历史绝不改变?”哈希让修改可被检测,历史改写的难度还取决于共识机制和后续积累的安全保障,不能仅凭链式结构作出绝对判断。