
一、区块、哈希与默克尔树
理解区块链技术系统涉及哪些技术概念,可以先从数据组织入手。区块将交易等数据集中记录,后续区块通过密码学哈希引用前一区块,从而形成可验证的先后关系。历史内容发生变化时,相关哈希及后续引用也会受到影响。
比特币还使用默克尔树:将交易的哈希逐层组合,最终得到写入区块头的根哈希。配合必要的中间哈希,可以验证某笔交易是否被某个区块收录,无须为此获取该区块的全部交易。

二、节点、网络与独立验证
节点是运行区块链软件、参与数据传播或验证的计算机。点对点网络让交易和区块在节点之间传递,全节点按照协议规则独立检查数据。

传播和验证承担不同职责:收到一条消息,只代表数据已经到达;通过规则检查,才说明节点能够接受它。共享账本依赖这种通信与验证的配合,不能简单理解成多台电脑互相复制文件。
三、共识机制与历史确认
共识机制用于协调区块的产生、选择及确认。比特币使用工作量证明,通过满足目标条件的哈希计算参与出块,并在有效分支之间依据累计工作量选择历史。以太坊使用权益证明,验证者以质押参与区块提议和验证,协议通过奖励与惩罚约束行为。
这些机制适用于各自的协议,不能混用。哈希能让数据改动留下可检测的痕迹,但历史难以被改写,还依赖共识规则与参与者承担的成本,不能仅由哈希推出“绝对不可篡改”。
四、交易、签名与状态模型
交易描述一次按协议提出的操作,数字签名用于验证相应授权。比特币以未花费交易输出,即UTXO,追踪可花费的记录;以太坊则维护包含账户余额、合约代码等内容的状态。
两种模型都需要检查操作是否合法,但检查对象不同:前者关注所引用的输出是否尚未花费,后者还涉及账户和合约状态如何变化。因此,解释余额或防止重复花费时,需要明确讨论的是哪一种模型。
五、智能合约、虚拟机与资源计费
以太坊的智能合约是部署在链上、可被调用的程序,EVM是执行这些程序的虚拟机。节点按照一致的执行规则处理交易,计算相应的状态变化。
执行程序需要计算与存储资源,因此还涉及资源计量和费用机制。费用既用于资源分配,也提高了滥用计算资源的成本。这类可编程执行结构并非所有区块链都采用相同设计。
六、常见问题:收录是否等于最终确定
交易进入区块与历史最终确定是不同层次的问题。网络可能暂时出现竞争分支,节点需要按协议选择后续接受的历史,因此理解“确认”时还要结合具体系统的共识规则。
另一个常见误区是把收录证明当成完整有效性证明。默克尔路径能够证明交易与某个区块的包含关系;判断交易和区块整体是否有效,仍需要相应的规则检查。