
先限定核验对象
区块链主要共识的研究证据怎么核验,首先要把问题写成可检查的具体主张。例如,研究讨论的是区块有效性、分叉选择,还是最终性?工作量证明与权益证明是机制类别,具体安全性质取决于协议规则,不能仅凭类别名称判断。本文围绕比特币与以太坊的机制说明展开,不覆盖所有共识协议。
两个来源分别支持什么
比特币开发者指南的 Block Chain 页面说明:全节点独立验证区块;工作量证明要求区块头哈希满足目标条件;有效分支之间的选择依据累计工作量。它支持对验证和分叉处理机制的解释,不能单独证明任何现实环境下都不会发生重组。

以太坊开发者文档的 Proof-of-stake 页面说明:验证者以质押参与提议和投票,分叉选择与检查点最终性承担不同功能,冲突行为可能受到罚没。它支持对以太坊权益证明结构的解释,不能直接推广为所有权益证明协议的安全结论。

这两个来源来自不同项目,分别解释各自协议。来源相互独立,不等于它们对同一个研究结论进行了独立验证。
按证据类型核验
机制主张应追溯协议规范及对应实现,记录版本和适用范围;安全性主张应检查是否存在明确证明,以及证明采用的网络、攻击者和诚实参与者假设;性能主张则需检查实验配置、原始数据与复现条件。介绍性文档可帮助理解机制,但不能替代这些证据。
核验时可为每项主张记录出处、支持段落、前提和未解决问题。若只能找到机制介绍,就应将结论限定为规则说明;缺少实验数据时,不应补写吞吐量或延迟优势。
检查安全结论的适用条件
比特币相关主张需要区分累计工作量与单纯区块数量,并检查攻击算力、网络传播及确认深度等条件。以太坊相关主张需要区分链头选择、停止最终化和出现冲突最终性;这些事件涉及的条件不能混为一谈。罚没机制描述的是约束与代价,也不等于攻击在逻辑上不可能发生。
常见问题如何判断
官方文档是否足以证明某种共识更安全?不足以。比较必须明确安全指标和共同假设。两个链接是否就是双重证据?只有它们独立支持同一主张时,才可能形成交叉核验。资料表述冲突怎么办?先查版本、术语和研究对象;尚未核实时,应保留分歧,避免给出超出证据的确定结论。