记录结构：区块、哈希与默克尔根
区块承载交易记录，区块头通过前一区块头的哈希连接历史。哈希可理解为数据摘要：内容变化通常会使摘要改变。默克尔树把交易摘要逐层组合，最终得到写入区块头的默克尔根。比特币开发者指南描述了这些结构，它们帮助节点发现记录变化，并支持交易包含关系的验证。
常见问题是：证明交易被包含，是否等于完成全部验证？包含证明只回答记录是否属于某个区块；交易有效性和该区块是否处于被接受的链上，还涉及其他验证条件。
交易验证：UTXO、双花与手续费
UTXO 指未花费交易输出。在比特币中，普通交易以此前的未花费输出作为输入，创建新的输出；同一个输出不能在有效链上被重复花费，重复使用就是双花问题。普通交易输入总额与输出总额的差额构成手续费。
这里的“输出”可以理解为后续交易能够引用的记录。该解释适用于比特币的交易模型，理解其他区块链时，应先确认其记账方式，不能直接套用 UTXO 概念。
共识：工作量证明、分叉与区块高度
工作量证明要求区块头哈希满足目标阈值。节点独立检查规则，并在有效候选链中依据累计工作量选择链。不同区块可能同时竞争同一位置，形成分叉，因此区块高度表示位置，不能作为全局唯一标识。
“不可篡改”应理解为修改历史受到验证规则和重做工作成本的约束，而非任何条件下都绝不变化。工作量证明也是特定机制，不能据此概括所有区块链。
应用安全：智能合约、权限与验证
以太坊智能合约安全文档强调，链上程序需要访问控制、运行条件检查、测试与独立审查。访问控制决定谁能执行敏感操作；角色划分分配不同职责，多重签名则要求多方共同授权。
函数公开可调用，不代表调用者自动拥有管理权限。单元测试检查具体行为，模糊测试用多样输入寻找异常，形式化验证则在明确模型与假设下证明特定性质。审计能补充检查，但不能保证发现全部漏洞。
如何把术语用于实际分析
分析应用时，可以依次询问：记录怎样关联，交易怎样判定有效，节点怎样处理竞争历史，敏感操作由谁授权。这样能把术语对应到具体职责。账本规则得到遵守，并不意味着应用业务逻辑必然正确；合约安全仍需单独评估。