先区分需要证明的说法
“分红币不上交易所”包含不同主张：代币是否存在、是否具备分配机制，以及是否在交易所上线。每项主张需要对应证据，不能因为其中一项成立，就认定其他项也成立。本文适用于以太坊及相关 EVM 合约的通用技术核验，不对具体项目作事实认定。
“不上交易所”还可能表示目前未上线、暂时没有计划，或宣称永不上线。核验时需要明确平台范围和时间范围。合约技术文档无法证明这些状态或承诺，缺少对应记录时，应保留为待核实说法。
两个技术来源分别能说明什么
ethereum.org 的智能合约验证文档说明，源码验证通过重新编译并比较字节码，检查公开代码与链上部署代码是否匹配；结合元数据的完整匹配进一步约束源文件与编译信息的一致性。这为检查合约身份和代码内容提供技术基础。
OpenZeppelin 的 ERC-20 文档说明，代币合约记录同质化代币的余额，并提供转账等基础功能；decimals 用于显示精度，底层数量仍以整数处理。因此，余额和转账记录可以帮助理解代币账目，但 ERC-20 基础功能本身不能证明存在分红权益。
把项目说明对应到具体合约
核验的起点是明确网络和合约地址，再将项目公开说明中的地址与链上对象对应。仅凭名称、简称或截图，不能充分确认资料谈论的是同一个代币。
随后检查源码验证结果及其匹配范围。涉及分红的说明，应能对应到可检查的规则，例如分配依据、计算方式和执行条件。若依据仅是代码注释或函数名称，仍需核对实际逻辑，因为这些文字可能无法准确反映执行行为。
常见问题：验证通过意味着什么
源码已验证是否代表分红可靠？源码验证主要回答代码是否匹配，不保证逻辑正确，也不证明项目已经履行承诺。形式化验证讨论的是代码在特定条件下是否符合预期，与源码一致性属于不同问题。
看到转账是否就能确认分红？转账可以支持发生过资产转移的判断，但资金性质仍需结合分配规则和对应记录解释。同样，钱包显示的余额不是收益证明，核对数量时还应注意显示精度。
让结论保持在证据范围内
记录核验结果时，可以分别写明地址是否对应、源码是否匹配、规则是否可检查，以及上所说法是否有独立证据。两个技术文档能够解释核验方法，却不构成对某个代币的背书；没有项目级证据的事项，应明确标为尚未证实。