先明确研究结论要证明什么
区块链技术开源应用的研究证据怎么核验，首先取决于研究提出的主张。源码公开、部署代码一致、程序行为正确、交易被收录，分别需要不同证据。核验时应把每项结论对应到可检查的对象，避免用一个“已验证”标签覆盖所有问题。
以下方法主要适用于以太坊智能合约的源码一致性核验，以及比特币交易和区块记录核验。两者可以提供方法参考，但不能直接证明其他应用的整体安全性或实际效果。
源码证据：检查公开代码与部署代码的联系
以太坊开发者文档将源码验证与形式化验证区分开来：前者检查源码经编译后是否与部署字节码匹配，后者关注程序是否满足预期性质。文档还说明，包含元数据哈希的完整匹配，能够进一步核对源文件与编译信息的一致性。
研究记录应固定网络、合约地址、源码版本、编译器版本及编译设置，并保留匹配结果。涉及构造参数、库链接或不可变变量时，需要说明处理方式，不能只展示一张验证成功的截图。
链上证据：定位记录并说明验证层次
比特币开发者指南说明，全节点依据共识规则独立验证区块；默克尔路径可用于检查交易是否被某个区块收录。分叉时同一高度可能出现不同区块，因此区块高度不能作为全局唯一标识，应同时记录区块哈希。
研究应保留交易标识、区块哈希和核验依据，并区分“证明被收录”与“完成规则验证”。交易收录证据本身，也不能证明交易关联的链外业务陈述真实。
把研究整理成可复核的证据链
可按“主张、对象、材料、方法、结果、限制”组织记录。例如，主张是某地址的代码对应某份源码，就应提供足以重新编译和比较的材料；主张是某交易被收录，就应提供可定位区块并检查包含关系的证据。
不同来源可以分别支持编译验证和账本验证的原理，但具体应用仍需要自己的源码、部署记录或链上数据。通用文档不能替代项目级证据，重复引用同一个验证结果也不构成独立复核。
常见问题与结论边界
源码验证通过是否代表没有漏洞？不能。代码一致性与逻辑正确性是不同问题；即使完整匹配，也不能据此保证程序满足全部业务要求。
部分匹配是否毫无价值？也不能这样判断。应写明比较覆盖了哪些内容、是否核对元数据，以及哪些问题仍未解决。研究结论的范围应与实际完成的验证范围一致。