
分布式账本与共识规则
区块链的基础问题是:多个节点如何维护可验证的共同记录。比特币全节点独立验证区块,共识规则规定哪些记录可以接受。因此,分布式保存与规则验证必须结合理解;多个节点持有副本,并不意味着任何传来的数据都会被认可。
哈希、区块链接与默克尔树
比特币通过前一区块头的哈希连接区块,并用默克尔树将交易摘要汇聚为区块头中的根值。这形成两层关联:交易与所在区块关联,区块与历史记录关联。

默克尔证明用于核验交易是否被包含在区块中。包含关系证明与交易有效性验证承担不同任务,不能仅凭前者就认定交易满足全部规则。

交易状态与防止双重支付
比特币以未花费交易输出,即UTXO,描述可被后续交易使用的输出。同一输出不能在有效链中重复花费。理解这一模型,需要同时关注交易引用了什么,以及被引用的输出是否仍可使用;仅保存交易文本不足以判断重复支付。
工作量证明与分叉选择
比特币工作量证明要求区块头哈希满足目标条件;出现竞争分支时,节点在有效链中选择累计工作量最大的链。区块数量本身并非完整的选择依据。
区块链接让历史改动产生连锁影响,工作量证明进一步增加重写成本。因此,抗篡改应结合验证规则、计算成本及网络条件理解,不能解释为历史绝对无法改变。这些具体机制适用于比特币,不能直接套用于所有区块链。
智能合约、虚拟机与预言机
以太坊智能合约是在链上保存代码与状态的程序,由交易触发执行,虚拟机提供运行环境,Gas用于计量执行资源。合约可以调用其他合约,形成组合功能。
当应用需要外部信息时,合约本身无法直接取得链下事实,需要预言机等机制提供数据。程序按规则执行与输入信息真实可靠是两个问题,应用设计必须分别处理。
适用条件与常见问题
区块链是否都必须具备智能合约?不能将以太坊的程序执行能力视为所有区块链的共同配置。分析具体系统时,应分别辨认其账本结构、状态模型、共识规则与执行能力。
多重签名是否等于共识?以太坊多签合约要求达到设定的签名门槛才能执行,处理的是授权问题;网络共识处理的是节点接受哪些有效记录。两者可以配合,但承担不同职责。