账本结构：哈希与默克尔树
区块链把交易组织成区块，再通过前一区块的哈希形成关联。比特币开发者指南介绍，交易哈希逐层汇总为默克尔根，写入区块头；全节点独立验证区块，并依据共同规则维护账本。
哈希可理解为用于校验内容的摘要，默克尔树则支持用部分中间哈希核对交易是否被某个区块收录。这里要区分“被收录”与“全部有效”：包含证明回答的是位置问题，完整验证还需要检查交易和区块规则。
交易模型：UTXO与重复花费
比特币使用未花费交易输出，即UTXO，描述尚可使用的交易输出。后续交易引用这些输出作为输入，同一输出不能在有效链上被重复花费。
这一模型把账本理解为相互衔接的交易记录。应用处理付款时，需要关注输入是否可用、交易是否有效以及记录是否获得确认；不能仅凭收到一条交易消息，就判断付款已经稳定成立。UTXO属于具体交易模型，不宜泛指所有区块链的账户结构。
网络共识：工作量证明与分叉
比特币的工作量证明要求区块头哈希满足目标条件。在存在竞争分支时，节点从有效分支中选择累计工作量最大的链。区块高度表示位置，但分叉中的不同区块可能具有相同高度。
因此，“不可篡改”应理解为修改历史受到验证规则和重建工作量的约束，而非逻辑上绝无变化。业务系统还需区分区块标识与区块高度，避免把相同位置误认为同一个区块。
应用执行：智能合约与预言机
以太坊开发文档将智能合约解释为驻留于链上地址的代码与状态。交易可以触发合约函数，执行消耗以Gas计量的资源；合约也可以调用其他合约。需要链外信息时，通常通过预言机将数据提供给合约。
这些机制分别解决规则执行、资源计量、程序协作和外部数据输入问题。适用于链上规则的自动执行，不意味着程序能自行核实现实事件。以物流状态为例，即使合约按输入正确运行，结果仍取决于输入是否真实。
常见问题：自动执行是否等于可靠
合约自动执行不等于业务逻辑正确，外部数据上链也不等于数据真实。多签机制能够要求多个有效签名共同授权，但权限如何分配仍需明确设计。
理解区块链应用时，可以依次检查记录如何组织、交易如何验证、节点如何达成一致、代码如何执行以及外部数据从何而来。比特币的工作量证明与以太坊的合约机制各有适用背景，不能直接拼成所有区块链都具备的统一配置。