一、先明确核验对象和适用范围
区块链养宠物系统的研究证据怎么核验，首先要明确“宠物”指什么。这里仅讨论以虚拟角色和游戏道具为对象的软件系统，核验范围是合约功能、代币归属与数据存储，不涉及真实动物研究。
证据应与主张逐项对应。“某项技术支持一种功能”“代码已经实现该功能”和“系统实际运行达到预期”是不同结论。通用开发文档只能支撑原理解释，不能代替具体项目的实现与运行证据。
二、两类技术文档分别能证明什么
Ethereum的智能合约文档说明：合约是在链上运行、包含代码与状态的程序，用户可通过交易调用其功能；合约本身不能直接读取链外事件，外部信息需要通过预言机等机制引入。这解释了程序执行边界，不证明任何虚拟宠物项目已经部署。
OpenZeppelin的ERC-721文档说明：该标准用于表示各自独特的代币及其归属，并可通过tokenURI关联元数据。示例特别提示，元数据内容可能位于链外，铸造权限也需单独控制。符合标准不等于游戏规则完整或数据不可更改。
三、把功能描述对应到具体实现
若系统宣称“每只虚拟宠物都有独立身份”，核验时应明确所在网络、合约地址与代币编号，避免把不同部署中的相同编号当成同一对象。若宣称“可查询归属”，应对应到该部署的归属查询结果，而非只展示通用接口说明。
若系统宣称“喂养后属性自动变化”，则需要说明状态保存在哪里、由什么操作触发、谁有修改权限。网页动画或界面数值变化，单独不足以证明链上状态发生变化；同样，一笔交易成功也不能独自证明全部游戏逻辑正确。
四、重点检查元数据与权限边界
核验“宠物信息已经上链”时，应区分代币归属、元数据地址和元数据正文。链上保存一个网页地址，不代表该地址返回的名称、图片或属性也保存于链上。判断内容能否变化，需要分别检查地址的修改权限与内容的存储方式。
核验“规则自动执行”时，还应关注谁能铸造代币、调整参数或提交外部数据。自动执行描述的是程序按照既定逻辑运行，不意味着规则设计合理，也不意味着管理员没有影响系统的权限。
五、常见问题与结论写法
引用两个来源就能证明项目可靠吗？不能。两个不同机构的技术文档可以分别支撑相关机制，但它们没有因此成为对某个项目的独立验证。引用数量不能弥补证据与结论之间的缺口。
采用ERC-721就能证明整个系统去中心化吗？不能。代币归属采用链上机制，并不能直接说明图片、属性计算或应用服务如何管理。
稳妥的核验结论应列出已验证的具体主张、对应证据及尚未验证的部分。如果只有技术文档，结论应停留在“相关机制可以用于设计这类系统”，而不是“该系统已被证实有效、安全或完整实现”。