先理解账本要解决的问题
比特币区块链记录有序的交易历史。入门时最重要的问题是：同一笔交易输出如何避免被重复花费，以及不同节点如何依据共同规则确认记录。Bitcoin Developer Guides对区块链的介绍，将交易输出、区块连接、工作量证明和独立验证联系起来，构成理解这一系统的基础。
交易：从未花费输出理解资金记录
交易会使用先前交易留下的未花费输出，即UTXO，并创建新的输出。同一个输出在有效链上只能被花费一次。理解时可以把输出看成带有使用条件的记录：新交易引用旧记录，节点检查它是否仍可使用。
普通交易的输出总额不能超过输入总额，两者差额可成为手续费。这一关系适用于普通交易；区块首笔coinbase交易承担区块奖励分配，需要按专门规则理解。
哈希：让数据变化能够被检验
NIST的安全哈希标准说明，哈希算法生成消息摘要，可用于检测消息在摘要生成后是否发生变化。摘要适合用于完整性校验，但仅凭摘要不能判断原始内容是否真实，也不能证明某笔资金有权被花费。
比特币将交易标识逐层组合并哈希，得到区块头中的默克尔根；区块头还引用前一区块头的哈希。交易记录发生变化，会影响相关摘要和后续连接，因此修改历史需要同时处理这些相互依赖的记录。
工作量证明与节点验证
工作量证明要求矿工寻找符合目标阈值的区块头哈希。寻找结果需要反复尝试，节点则可以检查结果是否符合要求。全节点还会独立验证区块和交易；满足工作量要求只是区块有效的条件之一。
这说明系统需要同时回答两个问题：记录是否遵守规则，以及竞争的有效历史应选择哪一条。计算工作不能代替交易规则检查，规则检查也不能单独消除同时出块形成的竞争。
常见问题：分叉与验证有什么边界
区块高度能唯一标识区块吗？不能。矿工可能在同一高度产生不同区块，节点在有效分支中遵循累计工作量最大的链。因此，区块高度表示位置，区块头哈希用于区分具体区块。
交易进入区块后是否绝对不可修改？后续区块增加，会提高重写相关历史所需的工作量，但不能据此推导出绝对不可逆。
默克尔证明能完成全部验证吗？它可用于核验交易是否被包含在某个区块中，适合轻量验证场景；包含关系本身并不等于对交易有效性和整条链规则的完整检查。