
先明确“审计研究”讨论什么
区块链审计可能涉及智能合约代码安全,也可能涉及账本记录、业务控制或财务审计。核验资料前,应先明确研究对象与待证明的问题。介绍区块链原理的文献可以解释技术背景,但不能直接证明某份合约安全,也不能替代财务审计依据。
核对原始出处与文献身份
资料应尽量追溯至发布机构的原始页面,并核对标题、作者、出版编号与版本。NIST的《Blockchain Technology Overview》标识为IR 8202,页面列有作者、2018年10月的出版信息,以及草案和正式版记录,可作为识别文献身份的线索。

其发布页为https://csrc.nist.gov/pubs/ir/8202/final,列出的DOI为10.6028/NIST.IR.8202。核验时应检查这些信息是否一致。机构域名和HTTPS有助于确认访问入口,但研究结论仍需结合正文内容判断。

区分技术概述与安全实践指南
NIST IR 8202提供区块链技术的高层次概述,将区块链描述为具有篡改可察觉性和抗篡改能力的分布式账本,并对正常运行条件下的记录稳定性作出说明。这类资料适合支撑概念解释,不能据此认定链上输入数据真实。
以太坊智能合约安全文档讨论访问控制、测试、形式化验证及独立审查,并指出审计无法发现所有缺陷。其来源为https://ethereum.org/developers/docs/smart-contracts/security/。这类开发文档适合说明安全实践,不宜直接作为具体项目通过审计的证据。
把每个结论对应到具体证据
核验时可记录“结论、出处、支持段落、适用条件”之间的对应关系。例如,“需要独立代码审查”与“某份合约已完成独立审查”需要不同证据:前者可由安全指南支持,后者还需对应审计报告、代码范围与版本。
两个来源只有在讨论相同问题时,才能形成有意义的交叉核对。技术概述与开发指南可以互补,但不能仅凭来源数量,就认定某种审计方法已经得到独立验证。
检查版本和方法的适用范围
引用固定出版物时,应区分草案与正式版;引用持续更新的网页时,应记录访问日期和可识别的版本信息。涉及具体审计报告,还应核对审查代码版本、覆盖范围及修复复核情况,避免把旧版本结论套用到后续代码。
形式化验证的结论依赖模型、规格及假设,测试结果也受用例和覆盖范围限制。核验时应保留这些条件,不能把某项性质得到验证扩写成系统不存在任何漏洞。
常见问题:权威来源是否足够
权威机构资料仍需检查相关性;生态开发文档也应按其用途使用。判断资料能否引用,关键是它是否直接支持所写结论,以及结论有没有超出原文范围。缺少具体报告或版本证据时,应将表述限定为一般技术原则。