适用范围：先确认讨论对象
“牛币”这一名称不足以唯一确定项目，现有证据也不能确认其部署网络、合约地址或业务规则。本文解释抵押挖矿相关假设的通用核对方法，不对该名称对应的具体项目作出事实判断。
核对的起点是明确网络、代币地址与实际接收资产的合约地址。若对象尚未确定，关于奖励、权限和退出的判断都应保留为待核实事项。
机制假设：抵押是否参与共识
Ethereum 的权益证明文档说明，验证者质押 ETH，承担区块验证、提议与投票等职责；参与情况会影响奖励，特定违规行为可能导致质押资产被罚没。这些规则适用于以太坊共识机制。
因此，“抵押挖矿”这一名称本身不能证明资产参与了网络验证。若项目声称采用权益证明，需要有证据连接资产去向、验证者职责和奖惩规则。仅有锁定代币和显示奖励的界面，无法完成这一证明。
权限假设：规则由谁控制
OpenZeppelin 的访问控制文档介绍了所有者与角色权限：某些操作可仅向指定账户开放，角色管理员还能授予或撤销权限。因此，核对权限时既要关注当前操作者，也要关注谁能改变授权。
如果某项说明声称规则无法变更，应核对实际部署合约中相关函数的限制及管理员状态。仅看到所有者放弃权限，还不能证明其他角色或相关合约也没有控制能力；使用某个标准代码库，也不能单独证明部署后的系统安全。
奖励与退出：把陈述拆成可验证条件
关于奖励，可分别核对计算依据、发放资产、资金来源以及调整权限；关于退出，可核对触发条件、限制条件及控制这些条件的账户。每个结论都需要对应到该项目的规则和实现，不能从以太坊的一般机制推导出来。
例如，“系统会自动计算奖励”和“奖励资产能够持续发放”是两个独立命题。同样，存在退出功能，还需要确认该功能适用的条件。缺少相应证据时，应明确记录为未证实。
常见问题：通用文档能证明多少
两个来源能否共同证明项目可靠？它们分别解释共识与权限控制，能够帮助提出核对问题，但都不能替代具体项目证据。
怎样表达核对结果更准确？把结果区分为已获证据支持、附带条件成立和仍待核实，并注明对应对象与证据范围。这样可以避免把术语相似、界面展示或标准组件的使用，误写成对整个项目的确认。