一、研究对象：可验证的共享账本
基于区块链技术研究涉及哪些技术概念，可以从三个问题展开：记录如何组织，节点如何检查记录，出现不同历史时如何达成一致。数据结构、交易规则和共识机制分别承担这些任务，研究时需要理解它们之间的联系。
二、哈希链接与默克尔树
比特币开发者指南介绍了区块头对前一区块的哈希引用，以及交易哈希汇总形成默克尔根的结构；同时说明了未花费交易输出与累计工作量在交易检查、链选择中的作用。
哈希链接使历史内容的改动能够被发现。默克尔树则支持用部分中间哈希核验某条交易是否包含在特定区块内，适合关注验证数据量的研究。两者解决的是数据关联和包含关系问题，单靠这些结构不能保证网络接受某份记录。
三、交易状态与重复花费
未花费交易输出通常简称 UTXO。在这一模型中，交易引用此前尚未花费的输出；同一输出不能在被接受的链上重复使用。这为研究重复花费提供了明确对象：不同交易是否竞争使用同一份输出。
交易验证与交易被收录需要分开理解。一笔交易即使符合局部格式要求，仍需结合已有账本状态判断是否有效。UTXO 的具体规则适用于采用该模型的系统，不能直接套用到所有区块链。
四、共识、抗女巫攻击与分叉选择
以太坊开发文档将共识解释为协议、激励和规则的组合，并区分工作量证明、权益证明与分叉选择：前两者涉及抗女巫攻击和出块者选择，后者处理多个候选链头之间的取舍。
女巫攻击利用大量身份影响系统。研究其防护时，需要考察参与权重依赖什么资源，以及伪造身份能否增加影响力。研究分叉选择时，则要考察节点如何比较候选历史；简单统计节点数量或区块数量，未必符合协议实际规则。
五、适用条件与常见问题
区块链记录是否绝对不可修改？哈希能够暴露改动，但历史能否被重写还取决于共识规则、参与资源及攻击条件。因此，讨论安全性必须说明威胁模型，不能把密码学链接等同于绝对不可篡改。
证明交易包含在区块中，是否就证明交易完全有效？包含证明只回答收录关系；完整有效性还涉及交易规则、区块有效性及所属链是否被接受。
研究中应把验证规则、链选择规则和安全假设分别列清，再分析它们如何协作。这样才能判断某项结论适用于特定协议，还是可以推广为一般技术原理。