数据结构：区块如何关联交易
理解基于区块链技术研究涉及哪些技术概念，可以从记录、验证和协调三个层面展开。记录层面关注交易怎样组织，以及历史数据改变后怎样被识别。
比特币开发者指南介绍，区块通过前一区块头的哈希相连，交易哈希则通过默克尔树汇总为根。交易使用未花费交易输出，即UTXO；全节点独立验证区块，遇到有效分支时依据累计工作量选择链。
哈希链接建立前后记录的关联，默克尔树支持用部分中间哈希核验交易是否包含在区块中。但包含性证明有明确边界：证明某条记录被收录，并不等于独立验证了这条记录的全部规则。
交易验证：状态与双重花费
状态可以理解为处理历史交易后，系统保留下来的有效结果。在UTXO模型中，研究重点包括输入引用的输出是否仍未花费，以及输入、输出的数值是否符合规则。
双重花费指同一输出被重复使用。交易验证检查单笔操作是否合法，共同交易历史则帮助节点确定哪些输出已经花费。UTXO是这里讨论的具体模型，不能直接视为所有区块链通用的数据结构。
共识机制：抗女巫攻击与分叉选择
以太坊开发文档将共识机制解释为协议、激励及相关协调机制的整体。工作量证明与权益证明承担抗女巫攻击和区块生产者选择等作用；完整机制还需要分叉选择。文档描述的权益证明体系以质押权重参与投票，并通过奖励与惩罚约束行为。
女巫攻击利用大量身份试图扩大影响。研究这类问题，需要追问协议如何分配参与权重、制造身份是否足以获得控制力，以及作恶成本来自哪里。不同机制的安全条件不能只用节点数量来比较。
适用条件与常见问题
分叉一定意味着攻击吗？不一定。多个区块近乎同时产生或传播先后不同，都可能让节点暂时看到不同链头。分叉选择解决的是在候选历史之间如何协调，而候选区块仍需通过有效性检查。
最长链就是区块最多的链吗？在比特币的相关语境中，应关注累计工作量，单看区块高度不足以判断应采用哪条链。
区块链能否保证记录永不改变？哈希关联使修改可以被识别，共识机制提高改写被网络接受的难度。具体安全结论仍取决于资源分布、协议规则和攻击条件；研究时应把数据结构提供的可验证性，与共识提供的历史协调能力分别分析。