先明确核验对象与适用范围
wich缺少可确认的网络、合约地址和源码版本，不能仅凭名称判断它对应哪个项目，更不能认定其研究结论已经获得支持。以下讨论适用于合约证据核验的一般场景，其中源码编译比对主要面向以太坊及兼容EVM的合约。
一项可检查的研究主张应明确对象与范围：讨论的是哪个网络上的哪个地址，涉及哪个版本，结论针对代码一致性、交易记录还是行为正确性。对象不明确，后续验证即使成功，也可能回答了另一个问题。
源码一致性证据能说明什么
以太坊开发文档将源码验证与形式化验证区分开来：前者检查源码编译结果是否对应链上字节码，后者关注行为是否满足预期。编译器版本、优化设置等会影响复现；结合元数据哈希的完整匹配，还能加强对源文件及编译信息一致性的确认。
因此，核验记录应说明使用了哪些源文件、编译设置，以及匹配覆盖的内容。仅展示“已验证”标签，不足以判断是否包含元数据比对。注释中的功能描述也不能替代对实际逻辑的分析。
交易记录证据能说明什么
比特币开发指南解释了区块如何通过前一区块哈希连接，以及默克尔树如何支持交易包含性核验。指南同时指出，分叉时不同区块可以具有相同高度，所以区块高度不能充当全局唯一标识。
这类证据支持的是交易记录及其区块归属，不能直接证明某份EVM合约源码正确。引用交易作为研究依据时，应保留网络、交易标识和区块哈希，并说明记录与主张的关联；两个技术来源也不能因为都讨论区块链，就被视为对同一项目的交叉认证。
把研究结论拆成可复核的问题
核验可围绕三个问题展开：证据是否对应目标对象，验证步骤是否能够复现，结果是否足以支持结论。例如，编译匹配可以支持代码对应关系，却不能单独支持“没有漏洞”；交易被区块收录，也不能单独支持“所有功能均按设计运行”。
研究记录宜分别列出主张、依据、复核方法与尚未覆盖的范围。缺少地址、编译设置或明确验证结果时，应标为待核验，而不是用技术文档的一般原理补齐项目层面的证据空白。
常见疑问与结论边界
完整匹配是否等于安全？不是。它加强的是源码对应关系，不意味着业务逻辑不存在缺陷。形式化验证是否可以替代源码验证？两者回答不同问题，不能互相替代。
对于wich，目前能够明确的是核验方法及其适用条件，而非具体合约的验证结果。只有研究对象、复现材料和结论范围相互对应，证据才具有可审查性。