
上链应说明所处阶段
研究上链问题,首先要明确观察的是交易传播、区块收录,还是收录后链上历史的稳定程度。交易到达某个节点,只能说明该节点收到了请求;是否进入区块、该区块是否被网络接受,需要分别判断。把这些阶段统称为“上链成功”,容易掩盖实际问题。
区块、哈希与区块高度
比特币开发者指南描述了区块通过前一区块头的哈希连接、交易通过默克尔树汇总,以及节点在有效分支间按累计工作量选择链的机制。区块高度表示区块所处位置,分叉时同一高度可能存在不同区块。

因此,研究记录应同时关注位置和标识:高度便于描述先后关系,区块哈希用于区分具体区块。哈希可帮助发现内容变化,但仅凭一个哈希值,不能证明对应内容已被收录,更不能证明内容描述的现实事件真实。

交易执行与状态更新
以太坊开发文档将区块描述为有序交易的集合。提议者组织区块,其他验证者核验执行结果;执行载荷承载交易,状态根概括相应状态。时隙是安排提议机会的时间单位,可能没有区块产生。
理解“状态”时,可以把它看作协议执行交易后维护的数据结果。“交易记录是什么”与“执行后状态如何”是两个问题。研究字段时还须区分共识层与执行层的上下文,同名的状态根不能直接视为同一对象。
共识、验证与分叉
验证讨论区块是否符合规则,共识还涉及节点如何确定共同采用的历史。有效区块也可能处于竞争分支上,因此“验证通过”并不足以说明它会持续留在所采用的链中。
工作量证明和权益证明适用于不同协议背景。比较上链机制时,应说明具体网络采用的规则,不能将比特币的累计工作量标准直接套用于以太坊。
常见问题与适用条件
UTXO指未花费交易输出,适用于理解比特币如何引用和花费既有输出。它与以太坊交易执行后的全局状态属于不同的数据组织语境,研究账户变化时不宜混用。
默克尔证明可以在相应区块头可信的条件下验证交易的收录关系,其证明范围不自动延伸到链外事实。类似地,出块间隔描述区块产生的节奏,不能直接当作某笔交易的完成时长;交易是否收录及所在分支是否稳定,仍需分别考察。