先明确核对范围
“b特币”在本文按比特币理解，讨论通用挖矿机制，不评价具体品牌或型号。所谓前提假设，是判断设备能够完成某项工作时所依赖的条件。核对时应把“算法正确”“任务有效”“设备正常运行”“提交结果被接受”分别列出，避免用一个条件成立替代整套流程成立。
两个来源分别支持什么
Bitcoin Developer Guides 的挖矿说明介绍了区块头计算、目标阈值、矿池份额以及任务传递机制，可用于理解挖矿流程。NIST 的 FIPS 180-4 页面说明安全哈希标准规定了生成消息摘要的算法，摘要可用于检测消息是否发生改变，可用于理解哈希的基础作用。
两者覆盖的证据层级不同。算法标准并不认证某台矿机的性能，挖矿流程说明也不等同于设备测试报告。具体设备是否满足这些条件，需要相应的运行记录和验证结果。
把关键假设改写成可验证的问题
对“设备算得对”的核对，应关注输入、算法和输出是否可以独立复算。对“设备正在处理有效任务”的核对，应关注任务对应的区块信息及更新情况。设备持续产生计算结果，只能说明计算在进行，尚不足以证明任务始终有效。
对“提交被接受”的核对，应区分矿池目标与网络目标。矿池份额是按矿池要求提交的工作证明，不能把份额数量直接当成有效区块数量。阅读目标阈值描述时尤其要检查方向：阈值越大，哈希值落在阈值以下越容易；阈值越小，要求越严格。
适用条件与常见问题
独立挖矿与矿池挖矿的核对对象有所不同：前者侧重区块构建、验证和广播链路，后者还涉及任务分发及份额验收规则。协议相关结论也应限定版本和实现，旧接口说明不能直接证明某台设备当前兼容。
常见疑问是：能连接矿池，是否就证明工作正常？连接成功只证明通信的一部分，还需核对任务接收和结果验收。符合哈希标准，是否就证明算力或功耗达标？这些属于设备性能问题，需要独立测量。核对结论应保留条件与证据范围，缺少设备层证据的判断应标为待验证。