先把研究结论拆成可核验的问题
区块链借贷合约的研究证据怎么核验，首先取决于研究声称证明什么。“公开源码对应链上合约”“抵押品估值使用某类数据”“借贷逻辑符合预期”是不同命题，需要不同证据。核验记录应明确研究对象、网络、合约地址和观察范围，避免将通用技术说明写成具体项目已经通过验证的结论。
源码验证能证明什么
Ethereum.org 的智能合约验证说明指出，源码验证主要检查源码编译结果与部署代码的对应关系；形式化验证则关注合约是否满足预期性质。包含元数据哈希的完整匹配，还能加强对源文件和编译信息一致性的确认。参考：https://ethereum.org/developers/docs/smart-contracts/verifying/
据此审查研究时，应关注其是否保留源文件、编译器版本、编译设置及匹配结果。只有源码截图或“已验证”标签，难以解释实际核验范围。完整匹配也不意味着业务逻辑没有漏洞，注释中的安全描述仍需结合代码判断。
预言机证据需要连接到合约
Chainlink 的数据馈送文档介绍了通过去中心化预言机网络聚合并发布链上数据的机制，列有价格馈送、历史轮次读取接口及更新频率等信息入口。此类文档能够解释数据服务的用途，但不能独立证明某个借贷合约采用了特定馈送。参考：https://docs.chain.link/data-feeds
若研究讨论抵押品估值，证据应连接到具体的数据读取逻辑、馈送地址以及对应网络。若结论针对过去某次状态，还需对应当时的数据记录；当前读数无法独立解释历史估值。数据服务存在与合约正确处理数据，是需要分别核验的问题。
两个来源怎样形成有效支持
上述两个来源分别支持代码对应关系和外部数据机制，作用互补，但并未共同验证某个具体借贷项目。研究应把每项结论对应到支持它的证据，并标明缺口。例如，已有源码匹配结果但缺少数据调用证据时，只能确认已核验的代码对应关系，不能进一步认定估值过程正确。
适用范围与常见疑问
这套思路适用于讨论以太坊及相关 EVM 合约的源码验证，以及使用链上数据馈送的借贷机制。其他执行环境需要另行确认验证方法，不能直接套用工具结果。
“源码验证通过是否等于安全？”不等于，它解决的是代码对应问题。“引用两个官方来源是否足够？”数量不能替代相关性。可靠的研究应让读者能够追溯对象、复核过程，并看清哪些结论已获支持、哪些仍待证明。