
先把研究结论拆成可核验的问题
“某种共识更安全、更快”缺少明确的核验对象。应先区分结论讨论的是区块有效性、分叉选择、最终性,还是吞吐量与能耗,再检查证据是否回答同一个问题。例如,能够验证区块符合规则,并不等于已经证明该区块不会被重组。
本文以比特币工作量证明和以太坊权益证明的机制说明为例。两者不能代表全部主流共识算法,也不能据此为其他项目作出安全结论。
两个来源分别能支持什么
Bitcoin Developer Guides 的 Block Chain 页面说明:全节点独立验证区块;工作量证明要求区块头哈希满足目标阈值;有效分支之间的选择依据累计工作量。这些内容支持核对比特币的验证与选链机制,不能直接证明其在任意网络条件下的性能。
ethereum.org 的 Proof-of-stake 页面说明:验证者通过质押参与提议和投票,特定冲突行为可能触发罚没;LMD-GHOST 用于分叉选择,Casper-FFG 用于最终性。这支持区分以太坊的选链与最终性机制,不能推广为所有权益证明系统的共同规则。
核对来源独立性与版本
上述页面来自不同项目的文档体系,但分别解释不同协议,不构成对同一比较结论的两次独立验证。若研究声称一种机制优于另一种,需要寻找直接检验该比较的证据,并确认不同文章是否只是转述同一项研究。
核验记录应保留页面标题、地址、相关段落及版本信息。涉及具体参数时,应进一步对照对应版本的协议规范和实现。网页摘录可能截断、简化或存在排版问题,不能把未展示的内容视为已经核实。
检查安全论证与实验条件
安全结论需要交代攻击目标及假设:攻击者控制的是算力还是质押权重,目标是重组历史还是阻止最终确认,网络延迟受到什么约束。不同攻击目标的门槛不能混用,也不能把某个比例解释为所有攻击的统一分界线。
性能结论则应核对节点规模、硬件、网络环境、交易负载和确认口径。出块间隔与最终确认耗时不是同一指标。缺少实验方法、原始数据或可复现配置时,应把比较结论标为尚待验证,而非用机制描述补足证据。
常见问题:文档是否等于研究证明
项目文档适合核验设计规则;安全证明还需要明确模型与推导,性能研究还需要实验与数据。官方身份不能替代这些证据。可为每项主张记录“来源支持什么、适用条件是什么、仍缺什么”,将结论限定为机制已说明、条件内成立或证据不足,避免把设计目标写成已证实结果。