先把安全主张拆成可核验的问题
“区块链是否安全”过于宽泛。研究可能讨论账本记录的完整性、合约权限控制，或程序是否满足某项安全属性。核验时应先明确保护对象、攻击者能力和成立条件，再判断证据是否真正回答了问题。账本记录难以修改，不能直接证明应用代码没有漏洞，也不能证明写入前的数据真实。
两个来源分别能支持什么
NIST IR 8202《区块链技术概述》的摘要将区块链描述为具有篡改可察觉性和抗篡改能力的分布式账本，并将已发布交易不能更改的表述限定在网络正常运行条件下。它适合支持基础概念，不能据此认定某个系统已经通过安全验证。
以太坊开发者网站的智能合约安全文档介绍了访问控制、测试、形式化验证和独立审查，并指出审计无法发现所有漏洞。它能够支持安全方法的解释；某个合约是否落实这些方法，仍需对应代码和验证记录。两个来源讨论的层面不同，不能将其数量当成某项具体结论已获交叉证实。
沿着结论追到验证材料
核验来源时，应对照文档题名、作者、发布机构和版本，区分技术概述、实践指南与具体研究报告。NIST 文档标识为 IR 8202，DOI 为 10.6028/NIST.IR.8202，可用于定位对应出版物。机构名称本身不能代替对正文论证的检查。
核验具体研究时，应寻找结论对应的代码版本、运行环境、测试输入、安全属性和结果记录。例如，“权限控制有效”需要说明哪些账户能够调用哪些敏感操作，以及越权调用是否被检验。只有结论或截图，通常不足以判断验证过程是否完整。
检查方法的适用条件
单元测试通过，说明所写测试中的行为符合预期，未覆盖的边界条件仍可能存在问题。静态分析、动态分析与模糊测试提供不同角度的检查，核验时需要关注各自覆盖了什么。
形式化验证的证明范围取决于形式化规格、模型与假设。不能把某项安全属性得到证明扩展为整个系统不存在任何错误。审计也应对应明确版本、检查范围和问题修复记录；代码变化后，原有结论是否适用需要重新判断。
常见问题：证据多就一定可靠吗
多篇文章转述同一份报告，不等于多份独立验证。更有意义的是不同检查是否针对同一主张、是否披露方法，以及结果能否相互印证。
“已经上链”能否证明研究真实？账本机制能够支持记录完整性的讨论，但研究数据如何采集、分析是否合理，仍需独立证据。可靠的表述应说明哪个版本在什么条件下，通过何种方法支持了哪项结论，并保留尚未验证的范围。