
拜占庭问题与共识目标
“拜占庭区块链”通常用于讨论区块链如何应对不可靠参与者,并非一种统一的协议名称。核心问题是:部分节点可能发送错误信息、相互矛盾的信息,或者不配合,其他节点如何仍对账本形成一致认识。
理解这种容错能力,需要同时考虑安全性与活性:前者关注诚实节点是否会接受相互冲突的结果,后者关注系统是否还能继续推进。两者都受到通信条件和攻击者能力的约束。

共识规则与交易验证
比特币开发文档说明,全节点独立验证区块,通过未花费交易输出约束重复花费,并在有效分支之间依据累计工作量选择链。区块头连接前一区块,Merkle根汇总交易数据,形成可验证的账本结构。
这里包含两类不同判断:验证规则判断交易和区块是否有效,共识过程解决多个有效候选结果的排序与选择。即使一个分支获得更多支持,也不能据此跳过交易合法性检查。
哈希链接与Merkle树
哈希链接使历史内容的变化能够沿后续区块被检测出来;Merkle树则把多笔交易组织成一个摘要,支持利用少量中间哈希验证交易是否包含在某个区块中。
这些结构解决的是数据关联和完整性验证问题。证明交易被某个区块收录,还需要结合该区块所属链及其确认状态,才能理解这笔记录在账本中的地位。
抗女巫攻击与分叉选择
以太坊共识机制文档将共识描述为协议、激励和规则的组合。工作量证明与权益证明承担抗女巫攻击和区块生产者选择等作用,分叉选择规则负责处理竞争分支,奖励与惩罚则影响参与者行为。
女巫攻击利用大量伪造身份放大影响力。因此,开放网络需要把参与权重与可验证资源联系起来,不能简单按节点数量投票。资源约束、分叉选择和验证规则需要共同发挥作用。
适用条件与常见问题
所有区块链都采用相同容错比例吗?不能这样概括。固定成员协议与开放网络的参与条件不同,节点数量、算力和质押权重也不能混用;讨论阈值必须明确协议及所衡量的资源。
哈希结构能保证历史绝不改变吗?哈希能够暴露修改,但抵抗历史重写还依赖共识机制和攻击成本。短暂分叉也不必然代表攻击,同时产生区块或传播延迟都可能造成节点视图暂时不同。