
核心问题:记录如何验证,节点如何达成一致
引导区块链技术发展涉及哪些技术概念,可以从两个问题入手:交易记录如何被验证,多个节点如何对记录顺序达成一致。前者涉及哈希、数据结构和交易有效性规则,后者涉及共识、参与成本和分叉选择。这些机制共同决定系统的安全边界。
数据结构:哈希链接与默克尔树
比特币开发者指南介绍,区块通过前一区块头的哈希连接,交易哈希则逐层汇总形成默克尔根。节点独立检查区块;交易输入引用尚未花费的输出,同一输出不能重复花费。出现有效分支时,节点依据累计工作量选择链。
这里需要区分数据完整性和交易有效性。哈希可以帮助发现内容变化,默克尔证明可以证明交易被某个区块收录;要判断交易是否遵守花费规则,仍需相应的验证过程。被收录本身不能代替完整验证。
共识机制:参与资格与分叉选择
以太坊共识机制文档将共识描述为协议、激励等要素的组合。工作量证明和权益证明承担抗女巫攻击及区块生产者选择等作用;权益证明还通过奖励和惩罚约束验证者行为,分叉选择则依据规则处理竞争区块。
女巫攻击指一个参与者制造多个身份来扩大影响。因此,开放网络不能简单按身份数量投票,需要将影响力与难以低成本复制的资源关联。确定谁能提出区块后,还需要规则帮助节点在不同候选历史之间作出选择。
适用条件:安全机制依赖什么
理解这些概念时,需要同时检查其前提:节点是否执行一致的有效性规则,信息能否传播,攻击者能够控制多少相关资源。工作量证明侧重计算投入,权益证明侧重质押约束,两者的安全分析不能直接互换。
技术评估也应分别观察数据验证和共识协调。存储结构解决记录组织问题,资源约束提高操纵共识的成本;任何单项技术都不足以独立保证整个系统安全。
常见问题:最长链与不可篡改
“最长链”是否就是区块最多的链?在比特币的语境中,应关注有效链的累计工作量,不能仅比较区块数量,也不能用工作量优势绕过交易有效性规则。
“不可篡改”是否意味着绝对无法修改?更准确的理解是,修改会改变相关哈希,并需要克服后续验证与共识约束。攻击成本和成功条件取决于具体机制,哈希链接本身不等于绝对安全保证。