先明确研究对象和待证结论
“ctc”这一名称不足以唯一确定具体项目，其对应网络、合约及研究成果尚不能据此确认。本文讨论适用于相关技术体系的通用核验方法，不对某个 ctc 项目的真实性、安全性或应用成效作出判断。
核验前应把结论拆开：代码是否公开、公开代码是否对应部署版本、交易是否存在、应用是否达到研究声称的效果。这些问题需要不同证据，不能用一个“已验证”标记全部回答。
源码核验：确认代码对应关系
以太坊开发者文档的合约验证说明指出，源码验证通过重编译并比较字节码，判断公开源码是否对应链上合约；包含元数据哈希匹配的完整验证，还能核对源码及编译信息的一致性。它与依据规格检查行为正确性的形式化验证有所区别。
对于采用相应机制的 EVM 合约，核验记录应注明网络、合约地址、源码版本、编译器及编译设置，并说明匹配范围。源码匹配只支持代码对应关系，不能单独证明没有漏洞，也不能证明业务描述已经实现。
交易核验：确认记录收录情况
比特币开发者指南说明，交易通过默克尔树关联到区块头，区块头再通过前序哈希连接。默克尔证明可以核对交易是否被某个区块收录；分叉时同一高度可能存在不同区块，因此区块高度不能作为全局唯一标识。
引用交易作为研究证据时，应保留所属网络、交易标识及区块哈希，并核对该区块的链上归属。上述比特币机制不能直接套用于所有区块链，其他网络需要依据自身的数据结构和共识规则判断。
应用效果需要另行建立证据联系
一笔交易被收录，支持的是特定链上记录存在，无法直接证明其对应的线下事件真实。源码与部署代码匹配，也无法直接证明应用提高了效率或降低了成本。
研究若提出效果结论，还应说明指标定义、数据来源、比较条件及复核方法。核验时可将每项结论对应到具体证据，检查是否存在从“技术机制可行”跳到“项目效果已证实”的推断。
常见问题与适用范围
两个来源是否足以证明项目可靠？来源数量不能替代相关性。以太坊与比特币文档分别支持合约验证、账本核验的基础解释，均不能单独充当特定 ctc 项目的实证报告。
如何处理缺失证据？结论应停留在能够复核的范围：代码匹配、交易收录和应用效果分别记录核验结果。缺少明确对象或对应材料时，应标明尚无法确认，避免把通用原理写成项目事实。