先把安全主张写清楚
区块链安全模型的研究证据怎么核验，首先要明确研究声称保护什么。交易是否有效、区块顺序是否稳定、网络能否继续确认交易，是不同的问题。核验时应把“系统安全”改写成可检验的命题，例如：攻击者在指定能力与网络条件下，能否替换某段历史，或者阻止最终性形成。
用两类文档确定概念边界
ethereum.org 的权益证明攻防文档将重组、冲突最终化和最终性延迟区分讨论，并描述了利用扣留区块或投票、选择性传播信息的攻击。这说明核验攻击结论时，除了权益占比，还要检查消息传播和时序假设。共识受到干扰也不意味着攻击者可以任意花费他人账户资金。
Bitcoin Developer Guides 的区块链文档说明，全节点独立验证区块，分叉选择以有效链的累计工作量为依据。核验工作量证明安全主张时，需要同时检查有效性规则和竞争链形成条件。算力影响历史重写能力，但不会自动使违反共识规则的交易获得有效性。
追溯原始研究及其适用条件
概览文档适合定位问题，具体攻击的可行性仍需追溯原始论文、协议规范或实现证据。记录研究采用的协议版本、攻击者控制的资源、网络延迟条件，以及攻击目标和成功标准。若缺少其中一项，就应缩小结论范围。
尤其要区分“存在一种可成功的执行过程”和“现实网络中可稳定成功”。低资源攻击可能依赖特定出块机会、消息到达顺序或网络控制能力；脱离这些条件，资源比例本身不足以证明攻击可行。
让证据与结论逐项对应
核验理论证明时，应检查假设是否覆盖所讨论的场景；核验模拟或实验时，应检查参数、代码、运行条件和失败结果是否可复查。实验观察不能直接扩展为所有网络条件下的保证，理论结论也需要确认其模型与实际协议是否一致。
两个独立网站可以帮助澄清不同机制，却不等于同一攻击已被两次独立验证。以太坊与比特币文档讨论的机制不同，不能相互证明某个具体攻击阈值。对同一命题，还需寻找直接对应的推导或可复现结果。
常见问题：比例和版本怎么判断
攻击比例能否直接横向比较？通常不能。算力份额与权益份额对应不同机制，重组与阻止最终化也对应不同目标。只有统一目标、资源口径和网络假设后，比较才有明确意义。
旧研究能否说明当前协议仍有同样弱点？需要核对后续规范与实现变化。若尚未完成版本核对，准确表述应限定为该研究模型下的结论。最终的核验记录应保留主张、来源、假设、证据和未解决问题，让读者能够逐项复查。