先把安全主张拆成可核验的问题
讨论区块链的内生安全技术时，可将核验范围限定为协议内部的密码学验证、共识规则及激励约束。首先明确研究声称保障什么：记录修改能否被发现、冲突历史能否同时被确认，还是网络能否持续完成确认。这些问题需要不同证据，不能用一个“安全”标签统括。
两类来源分别能证明什么
NIST IR 8202《区块链技术概述》的摘要将区块链描述为具有篡改可察觉性和抗篡改性的分布式账本，并把已发布交易不可更改的描述限定于网络正常运行条件。它适合支持基础概念，不能单独证明某项具体方案通过了安全验证。
ethereum.org的权益证明攻防说明区分了链重组、双重最终性和最终性延迟，也讨论了信息扣留与选择性传播等攻击条件。它支持对特定共识机制风险的理解；其中转述的论文结论，仍需回到原始研究核对。两个不同发布主体的材料，并不等于对同一结论进行了两次独立验证。
沿着引用核对原始证据
核验时记录研究题名、作者、版本、发布位置，以及安全结论所在的章节。技术概述用于厘清概念，协议说明用于确认规则；理论证明要检查假设和推导，实验结果要检查环境、参数与数据。证据类型必须与待验证的主张对应。
遇到攻击比例或成功概率，不能只摘取数字。应同时核对攻击者权限、消息传播条件、验证者行为、分叉选择规则和成功标准，并确认讨论的是短暂重组还是已最终确认历史的冲突。
检查版本与复现条件
历史研究针对的协议规则，可能与后续实现不同。判断其适用性，需要对照研究版本、协议规范和实现版本，确认攻击前提是否仍成立。
对实验性结论，应检查代码、配置、网络模型、运行记录及重复实验结果是否可获得。只有模拟结果时，结论应限定在模拟条件内；缺少复现材料意味着可核查程度受限，不宜直接判为正确或错误。
常见问题与结论写法
“抗篡改是否等于绝对不可更改？”不能这样理解。需要保留正常运行、共识条件和确认状态等限定。“协议有安全证明，应用是否就安全？”证明只覆盖其模型中的性质，不能自动覆盖密钥管理、客户端实现或应用逻辑。
核验结论可写清四项内容：哪项主张、由什么证据支持、在什么条件下成立、还有哪些缺口。若尚未核对原始论文或复现实验，宜表述为已有文档说明或研究提出，避免写成已经全面证实。