适用范围：先明确研究对象
讨论区块链路由合约的研究证据怎么核验，首先要限定网络、合约地址与观察区块。本文适用于以太坊及兼容 EVM 的合约，不构成对某个路由项目的核验结论。入口地址、业务实现与外部调用目标可能不是同一对象，研究中应分别标明，不能用一个地址的验证结果覆盖全部执行逻辑。
两个来源分别支持什么
ethereum.org 的源码验证说明支持这样的区分：源码验证检查编译结果与链上字节码是否对应；形式化验证关注行为是否满足预期。结合编译元数据的完整匹配，还能加强对源码及编译设置一致性的确认。
OpenZeppelin 的代理文档说明：代理可把执行委托给实现合约，升级机制可能位于代理、实现或信标体系中。因此，入口代码不变，并不意味着其实际执行的业务逻辑始终不变。
代码证据：保留可复核的编译条件
一份可复核的研究记录，应把源码文件、编译器版本、优化设置、依赖库地址及验证结果对应到具体链上地址。涉及构造参数、不可变量时，还要说明验证过程如何处理这些差异，不能把部署输入与运行时代码直接混为一谈。
验证标签只能作为核查入口。应查看匹配范围是否包含元数据，并记录未匹配部分及其解释。代码注释表达的是描述，不是执行事实；涉及权限或调用限制的结论，需要落到相应代码逻辑。
代理证据：沿委托关系确认实现
若路由入口采用代理结构，应继续确认观察区块对应的实现地址；采用信标结构时，还需确认信标及其指向。随后分别核对相关代码与升级权限，避免只验证代理外壳就宣布业务逻辑已经核验。
判断升级能力不能只看合约名称或是否使用某个代理库。研究应明确升级入口在哪里、授权条件是什么，以及结论对应哪个版本。历史版本的代码分析，不能自动证明后续版本具有相同行为。
常见问题：证据能证明到哪一步
源码已验证，是否等于路由安全？不等于。它主要回答公开源码与部署代码是否对应，不能单独证明权限合理、外部调用可靠或全部执行路径无漏洞。完整匹配也不是安全认证。
如何表述最终结论？将代码一致性、实现关系和行为判断分开记录，并为每项判断注明对象、观察区块、依据及限制。缺少实现代码或编译材料时，应标记为尚未核实，而不是用文档描述补足证据。这样才能让研究结论的范围与证据强度相称。