先明确核对对象与适用范围
“双币通缩挖矿”这一名称不足以确定技术机制。核对前应明确两种代币各自承担什么角色、“挖矿”对应何种活动，以及“通缩”指总供应减少还是可流通数量减少。以下方法用于检查一般机制，不代表任何具体项目已经满足这些条件。
分别核对两种代币的供应
OpenZeppelin的ERC-20文档说明，代币合约记录余额并支持转账，示例通过铸造分配初始供应。这些基础功能本身不能证明代币具有通缩机制。
对两种代币应分别核对同一统计区间内的期初供应、新增铸造、实际销毁和期末供应。对于供应仅由铸造与销毁改变的代币，期末供应等于期初供应加铸造量减销毁量。存在销毁不等于净供应下降，更不能用一种代币的销毁量直接抵扣另一种代币的增发量。
统一数量单位与统计口径
OpenZeppelin文档还指出，decimals用于显示换算，合约内部仍使用整数计算。因此，比较余额和供应前，需要按各自精度换算；两种代币即使原始整数相同，也未必代表相同的显示数量。
锁仓、奖励池余额和总供应应分开记录。代币转入某个账户并不能单凭转账行为认定为供应销毁。若声称流通量减少，还需明确哪些账户被排除、锁定何时解除，以及统计口径是否保持一致。
核对奖励来源与参与条件
以太坊的权益证明奖励与惩罚说明展示了另一类机制：验证者因履行共识职责获得奖励，失职或违规可能损失奖励或受到处罚。这说明奖励必须结合参与条件与约束理解。
这套共识机制不能直接证明应用层“双币挖矿”的奖励来源或持续性。核对时应查清奖励是新增铸造、已有库存分配，还是其他明确来源，并确认发放条件、扣减规则和相关权限。若奖励依靠增发，就应将其计入对应代币的供应变化。
常见问题与证据边界
“两种代币都在销毁，是否就是双币通缩？”还需分别核对增发量与统计周期。“奖励增加，是否代表机制更稳定？”奖励数量本身无法证明来源能够持续。
可核对的结论应对应明确的合约地址、规则版本和统计区间，并由合约逻辑与链上记录支持。缺少这些证据时，只能列出成立所需条件，不能将通缩、持续发放奖励或两币相互支撑视为已经确认的事实。