先明确核对对象
“北京比特币挖矿的前提假设怎么核对”涉及两个层面：挖矿原理是否表述正确，以及这些原理是否适用于具体场所或项目。北京是地域限定，不会改变比特币的共识规则，却使当地适用要求、场地和供电条件成为需要另行核验的事项。技术说明不能替代这些证据。
两个来源分别支持什么
Bitcoin Developer Guides 的挖矿说明介绍了独立挖矿、矿池协作和区块头哈希计算。核心区别是：满足矿池份额目标不等于满足全网出块目标，提交工作量记录也不等于产生有效区块。
NIST IR 8202 的摘要将区块链概括为分布式、可显现篡改且具有抗篡改能力的账本，并以网络正常运行为描述前提。这支持理解账本的安全属性，不足以证明任何北京挖矿项目的真实性或当地适用性。
把假设拆成可以验证的问题
每项主张都应写清对象、条件、证据和结论边界。例如，“设备具有计算能力”“矿池接受了份额”“区块被网络接受”是不同命题，不能用其中一项替代另外两项。设备规格只能说明标称能力，单张后台截图也不足以完整证明持续运行状态。
针对地域条件，应分别记录当地适用要求、场地授权及供电条件是否已有对应证据。这两份技术文献没有提供北京相关核验结果，因此不能据此写出“允许开展”或“已经具备条件”的结论；缺少证据时应标为尚未核验。
注意阈值方向和历史表述
目标阈值越大，哈希满足条件越容易；难度越高，对应目标越小。因此，不能混用“目标降低”和“难度降低”。挖矿说明片段中的份额示例存在阈值方向表述不一致，不宜直接据此推算。
软件接口、协议能力及使用状况还应区分版本。历史文档中的“广泛使用”不等于当前事实，对某种 Stratum 实现的说明也不应不加限定地推广到所有版本。
适用条件与常见问题
这套核对方法适用于检查技术文章或项目说明的逻辑与证据，不构成对具体场所的技术验收或合规认定。
连接矿池是否证明项目可靠？不能，连接状态无法单独证明持续计算、结算履约或地方适用条件。区块链抗篡改是否意味着项目宣传可信？也不能，账本记录的安全属性与链外陈述是否真实是两回事。最终结论应分别标注哪些原理有支持、哪些项目事实仍待核验。