
验证:检查是否符合规则
验证(validation)首先是规则检查。比特币全节点独立检查区块及交易,包括普通交易是否使用尚未花费的输出、是否满足支出条件、输出金额是否符合约束。以太坊节点则通过执行客户端重新执行区块内交易,核对状态变化。
因此,“有效”描述的是数据符合协议规则,不代表其经济用途可靠,也不代表交易已经进入稳定的历史记录。签名检查只是验证的一部分,不能代替对交易和区块其他条件的检查。

节点、验证者与提议者
节点是运行网络软件的参与者;验证者(validator)在以太坊权益证明语境下,是承担质押及共识职责的角色;提议者(proposer)是被选中提出新区块的验证者。证明投票(attestation)表达验证者对区块及链的共识判断。

理解这些名称时,要区分“执行检查”和“参与出块或投票”。具备检查区块能力,并不自动意味着拥有提议区块的职责;单个参与者提出区块,也不代表其他节点必须接受。
共识与分叉选择
共识处理的是网络如何形成一致的账本历史。分叉选择则用于多个候选分支出现时,决定跟随哪条链。比特币在有效链中依据累计工作量选择;以太坊权益证明采用与证明投票权重有关的规则。
关键限制是先检查有效性,再应用选择规则。不能把它理解为“支持者多就能让无效交易生效”,也不能把所有区块链的选链方式都简化成比较区块数量。
确认不等于最终性
确认通常描述交易已被纳入链及其后续区块累积情况;最终性(finality)关注历史在协议安全假设下是否已达到难以撤销的状态。以太坊通过检查点投票推进最终性,其门槛按质押权重计算,而不是简单按节点人数计算。
阅读状态提示时,应区分待处理、已纳入区块和已最终确定。它们对应不同阶段。“验证通过”只回答规则是否满足,不能独自回答交易历史是否还可能发生变化。
常见问题:证明能证明多少
默克尔证明可以用于核对某笔交易是否包含在特定区块中,但包含关系不等于整块交易都已完成有效性检查。判断一种“验证证明”的作用,必须先明确它证明的对象。
同样,权益证明中的罚没与普通未履职处罚不能混为一谈。冲突投票等特定违规行为与掉线缺席属于不同情况。术语的准确含义取决于具体协议,不能直接把一种链的角色、证明或处罚规则套用到另一种链。