
一、主模型的适用范围
“区块链主模型”在这里指解释区块链如何记录数据、验证交易并形成共同账本的概念框架。比特币与以太坊可以提供不同实现的例子,但不能把某条链的规则直接视为所有区块链的标准。理解时可围绕三个问题展开:记录怎样组织、更新怎样判定有效、节点怎样确定共同历史。
二、数据结构:区块、哈希与默克尔树
比特币开发文档介绍了区块通过前一区块头的哈希相连、交易通过默克尔树汇总的结构,也说明了UTXO验证与累计工作量选链规则。这些概念分别服务于记录关联、交易检查和历史选择。
哈希可理解为数据的摘要;区块之间引用摘要,使历史改动能够被发现。默克尔树则支持用部分中间哈希证明交易被收录。这种收录证明有明确边界:证明交易出现在区块中,并不自动证明交易及整个区块满足全部规则。
三、交易状态:有效更新与双重支付
账本需要记录历史,也需要判断哪些资源仍可使用。在UTXO模型中,交易引用尚未花费的输出,同一输出不能在有效链上被重复花费。理解这一模型的关键是区分历史记录与当前可用状态:曾经收到一笔输出,不代表它现在仍然可花费。节点必须依据规则检查更新,而不能仅凭交易已经传播就接受它。
四、共识:参与资格与历史选择
以太坊共识文档强调,共识机制包括协议、激励和分叉选择等组成部分。工作量证明与权益证明提供抗女巫攻击和区块生产者选择机制;以太坊的权益证明还结合验证者投票以及奖励、惩罚规则。
女巫攻击指通过制造大量身份获取不当影响力。将参与影响力与算力投入或质押资源联系起来,可以限制单纯增加身份的作用。但决定谁能提出区块,还没有解决多个候选区块之间如何选择的问题,因此需要分叉选择规则。
五、常见问题与安全边界
共识是否等于按节点数量投票?不能这样概括。不同协议采用不同权重与判定条件,身份数量不能直接代表共识影响力。“最长链”是否就是区块最多?在比特币语境中,应关注有效链的累计工作量。
区块链是否绝对不可修改?哈希链接使修改留下可验证的变化,共识机制进一步增加改写被接受历史的难度。其安全性仍取决于协议规则、资源分布与网络条件。分析具体系统时,应分别检查数据有效性、分叉处理和安全假设,避免用单一术语代替完整模型。