一、先明确能够核对的范围
“共生币挖矿协议的前提假设怎么核对”，首先涉及对象识别。现有证据不足以确认“共生币”对应哪个项目、哪条网络或哪个协议版本，也不能确定其所谓挖矿是否属于工作量证明。下文仅解释通用核对方法，不构成对该项目机制或安全性的认定。
核对时应将项目名称、网络标识、协议版本与具体技术主张对应起来。名称相似、宣传中使用“挖矿”一词，都不能证明其采用比特币式共识。
二、区分可借鉴的原理与项目事实
Bitcoin Developer Guides 的区块链说明指出，全节点独立验证区块；工作量证明要求区块头哈希满足目标阈值；分叉选择建立在区块有效性和累计工作量之上。这意味着“完成计算”并不等于“所有内容自动有效”。
ethereum.org 的工作量证明说明明确，以太坊已于2022年停止采用工作量证明，转向权益证明。因此，历史挖矿机制可以用于理解概念，不能直接作为以太坊当前机制或其他项目机制的证据。
三、将前提假设拆成可回答的问题
第一组问题是规则：节点依据什么条件接受交易和区块？计算证明满足要求后，是否仍需验证交易有效性？如果声称防止重复支付，就应说明节点如何识别并拒绝冲突支出，而不是只展示计算结果。
第二组问题是共识：多个有效区块同时出现时，如何选择分支？若采用比特币式规则，应区分区块数量与累计工作量；仅用“最长链”三个字概括，可能掩盖关键条件。
第三组问题是安全条件：安全论断依赖怎样的算力分布、网络通信和节点验证行为？应分别记录这些条件及其证据，不能把协议设计目标写成无条件保证。
四、核对奖励规则，而非只看到账记录
奖励核对需要区分协议发行、交易费用与其他分配来源，并确认发放条件是否属于节点共同验证的规则。应用界面显示余额增加，不能单独证明发生了链上出块或完成了工作量证明。
若一种机制只是采用“挖矿”名称分配奖励，应先解释其实际规则，不能直接套用工作量证明的安全结论。奖励是否存在与共识是否可靠，是两个不同问题。
五、常见误区：确认不等于绝对不可逆
区块通过哈希连接，并不意味着历史在任何条件下都无法改变。对于工作量证明机制，需要同时考虑后续工作量与分叉风险；确认增加通常提高稳定性，但不能表述为绝对不可逆。
同样，不能将某个算力比例写成普遍的安全分界线，也不能认为多数算力可以让违反验证规则的交易自动有效。交易有效性与有效分支之间的竞争必须分开讨论。
六、结论应保留证据边界
可将核对结果整理为“主张、适用版本、依赖条件、支持证据、尚未确认事项”。例如，“采用工作量证明”需要该项目自身规则的支持，不能以比特币采用这一机制作为旁证替代。
缺少项目协议和实现证据时，准确结论应是“相关前提尚未核实”，而非断言协议可靠或必然存在问题。通用原理的作用是帮助提出核对问题，不是替具体项目完成证明。