先明确核验的是哪种审计功能
区块链审计功能可能指利用账本记录追踪业务活动，也可能指检查智能合约的代码安全。前者关注记录是否完整、变更能否被发现，后者关注权限、执行逻辑与安全属性。核验前应把笼统主张改写为具体问题，例如“能否发现记录变更”或“未经授权的账户能否执行敏感操作”。
两个来源分别能支持什么
NIST IR 8202《Blockchain Technology Overview》的摘要将区块链描述为具有篡改可察觉性和抗篡改性的分布式账本，并将已发布交易不可更改的描述限定在网络正常运行条件下。该来源适合解释技术机制，不能单独证明某个审计系统有效。来源：https://csrc.nist.gov/pubs/ir/8202/final
以太坊开发者文档《Smart contract security》讨论了访问控制、测试、静态与动态分析、形式化验证以及独立审查，并指出审计不能发现所有缺陷。它提供安全检查思路，不构成任何具体合约已通过验证的证据。来源：https://ethereum.org/developers/docs/smart-contracts/security/
把研究结论对应到可复核材料
核验具体研究时，应检查研究对象、代码版本、网络配置、权限设定和测试范围是否明确。声称能够发现篡改，就需要说明改变了什么记录、如何检测以及何种情况下检测失败；声称提高审计效果，就需要明确评价指标、比较对象和结果记录。
继续检查方法与结论是否匹配：正常输入测试只能覆盖已测试情形；模糊测试应说明输入范围和检查属性；形式化验证应列明规范、模型与假设。即使证明成立，也只支持限定条件下的属性，不能扩展为整个系统没有漏洞。
适用条件与常见问题
账本抗篡改能否证明业务数据真实？不能直接证明。记录保存机制与录入内容的真实性是不同问题，业务审计仍需核对数据来源及链外凭证。网络运行条件、密钥控制与管理员权限，也应纳入核验范围。
有独立审计报告是否足够？还应核对审查版本、覆盖范围、问题清单及修复复核记录。两个来源是否就能相互印证？来源数量不能替代证据匹配；技术概述与安全指南分别支撑机制和方法，具体功能的实际效果仍需直接证据。