先明确核对的适用范围
“r4”这一名称不足以确认设备制造商、硬件版本或参数。比特币开发者指南解释挖矿机制，NIST的FIPS 180-4介绍安全哈希标准；这两类文献都不能单独证明某台r4设备的算力、功耗或可靠性。以下核对方法适用于通用技术判断，具体型号结论仍需对应的产品文档和测试记录。
将前提拆成可以验证的命题
核对时应把“设备能挖矿”拆成几个问题：设备身份是否明确，能否完成要求的哈希计算，能否接收工作任务，以及提交结果能否通过验证。每项结论都应对应证据，型号名称、功能描述和实测结果不能互相替代。
NIST对FIPS 180-4的说明涉及生成消息摘要的哈希算法，以及摘要用于检测消息变化的作用。这支持理解哈希计算的基础功能，但不能据此推导特定矿机通过认证、具有某种速度或满足某个功耗指标。
区分区块目标与矿池份额
比特币开发者指南描述了矿工构造区块头、反复计算哈希并与目标比较的过程。矿池还设置较宽松的份额目标，用提交的share衡量工作贡献；只有同时满足网络目标的结果，才可能成为有效区块的一部分。
因此，“提交了份额”和“找到了区块”需要分别核对。检查记录时，应分清任务接收、份额提交与份额被接受这几个状态。资料中关于目标大小的个别示例存在方向表述不一致，不能直接拿来作为计算依据；理解时应把握目标越大、通过条件越宽松这一关系。
核对兼容性与测试条件
接口核对需要具体到设备固件和服务端支持的协议，不能仅凭出现Stratum或getblocktemplate名称，就认定连接一定兼容。通用协议说明只能帮助理解任务如何传递，不能替代实际兼容性记录。
性能判断还应明确测试时长、运行模式和测量边界。例如，功耗是否包含电源损耗，算力来自设备显示还是服务端统计。条件不明确时，不宜把不同记录直接比较，更不能把短时读数扩展为持续运行结论。
常见问题与结论边界
能连接矿池是否足以证明设备正常？连接记录只支持通信层面的判断，还需结合有效任务、被接受的结果及持续运行记录。
缺少型号文档时可以确认什么？可以解释哈希、目标和份额等通用概念；关于r4具体硬件配置、性能及稳定性的前提，应保留为待核验项。核对的核心是让每项结论都与其证据范围一致。