
先建立概念层次,再记英文缩写
研究生阅读区块链文献时,可以先问四个问题:数据如何组织,系统记录什么状态,状态如何变化,参与者如何认可结果。区块与哈希属于数据组织;UTXO与账户属于状态模型;EVM与智能合约涉及执行;工作量证明与权益证明涉及共识。分层理解,比把术语记成孤立定义更有效。
比特币:从交易输出理解账本
比特币开发者指南介绍了区块对前一区块头哈希的引用,以及交易通过默克尔树汇总到区块头的结构。其交易使用未花费交易输出,即UTXO,作为输入来源;已花费的输出不能再次使用。工作量证明要求区块头哈希满足目标约束,出现竞争分支时,节点依据有效链的累计工作量进行选择。
理解这些术语时,应区分“引用关系”和“有效性判断”:哈希把数据关联起来,但交易是否允许花费,还要由验证规则判断。因此,看到“使用哈希”,不能直接推出“已经解决双重花费”。
以太坊:从状态变化理解执行
以太坊技术介绍以账户、交易和EVM解释系统运行:账户信息构成状态的一部分,交易可请求转账、部署或调用程序;智能合约是部署在链上、按规则执行的程序。ETH用于支付执行所需费用,也参与权益证明的经济约束;验证者通过质押参与区块提议和验证。
阅读时可以把交易看作输入,把合约看作处理规则,把状态看作处理前后的记录。EVM是共同遵循的执行环境,不是一台由某个机构独占的实体计算机;智能合约也不等于完整的去中心化应用。
适用条件:不要跨系统套用定义
UTXO与账户模型描述状态的方式不同,不能把比特币交易简单理解成账户余额表中的加减。工作量证明与权益证明也不是同一种参与资格和安全约束。比较论文时,应先明确研究对象使用什么模型,再讨论执行、验证或共识,否则同名术语可能掩盖不同假设。
常见问题:证明了什么,没有证明什么
默克尔证明能否证明交易合法?它主要用于核验交易是否被纳入某个区块,不能单独替代完整的交易规则验证。区块高度能否唯一标识区块?不能,竞争分支可能存在相同高度的区块。
“不可篡改”是否意味着绝对不能改写?更准确的理解是,改动历史会破坏相关哈希引用,而让网络接受替代历史还受共识规则与资源成本约束。阅读安全性结论时,应同时寻找其攻击者能力、网络条件和验证规则,而不是只记住一个形容词。