
先把研究主张拆成可核验的问题
区块链主要共识的研究证据怎么核验,首先要明确结论究竟在说什么:区块如何验证、分叉如何选择、历史记录如何确认,还是某种机制更安全。前几项可以对照协议规则;安全优劣还需要威胁模型、比较指标和研究证据。本文以比特币工作量证明和以太坊权益证明为例,适用范围不覆盖全部共识协议。
两个来源分别能支持什么
比特币开发者指南的区块链章节介绍了节点独立验证、工作量证明及分叉处理。其核心是:节点在有效候选链中依据累计工作量选择链,修改历史需要重新满足相关工作量要求。出处为 developer.bitcoin.org/devguide/block_chain.html。

以太坊开发文档的权益证明章节介绍了质押验证者、证明投票、分叉选择和检查点最终性。分叉选择与最终性承担不同职责,违规行为可能触发罚没。出处为 ethereum.org/developers/docs/consensus-mechanisms/pos/。

这两个来源分别解释各自协议,不能视为对同一性能结论的两次独立验证。它们可以支撑机制说明,但不足以单独证明某种共识在所有条件下更安全。
检查结论成立的条件
核验工作量证明的安全描述,要检查攻击者算力、网络传播和确认深度等条件。“累计工作量最多”不能简化为任何情况下都选区块数量最多的链;确认增加也不等于历史绝对无法改变。
核验权益证明的安全描述,要区分链头选择、阻止最终性和破坏最终性,不能用一个攻击比例概括全部情形。投票权重、网络条件及违规证据是否满足罚没规则,都会影响结论。具体阈值和参数应对应明确的协议版本。
让证据与主张逐项对应
一项可复核的结论,应能对应具体规则段落、适用版本和假设。涉及代码行为,还需实现与测试证据;涉及吞吐量、能耗或攻击成本,还需实验方法、测量范围和原始数据。规则说明不能代替实测结果。
比较不同机制时,应统一评价口径。例如,区块产生间隔与交易最终确认时间不是同一指标。仅比较前者,无法直接推出哪种机制的最终确认更快。
常见问题:官方文档是否足够
解释协议的基本设计时,开发文档是有用依据;证明安全优越性时,还需要相应论证和独立检验。来源数量也不等于证据强度:两篇分别介绍不同协议的文章,并没有相互验证对方的安全结论。对缺少版本、实验条件或证明过程的主张,应保留结论边界。