先拆分需要核验的说法
分红币不上交易所的资料来源如何核验，首先要把名称中的说法拆开：“不上交易所”涉及项目声明及其适用范围，“分红”涉及分配规则，“币”则需要确定对应的链和合约地址。不同问题需要不同证据，不能用一份技术文档同时证明。
本文讨论以太坊及相关EVM合约的通用技术核验。这里引用的两份技术文档均不能证明某个具体项目不上交易所，也不能确认其分红承诺已经兑现。
两个独立来源分别能证明什么
ethereum.org的智能合约验证文档说明，源码验证通过重新编译并比对字节码，检查公开代码与链上合约是否对应；结合元数据哈希的完整匹配，可进一步核对源文件及编译信息。源码验证与检验行为是否符合预期的形式化验证有所区别。
OpenZeppelin Contracts的ERC-20文档解释了同质化代币的余额、转账及显示精度等基础机制。ERC-20基础功能本身不等于分红安排；decimals用于显示换算，合约内部仍以整数计算。
把宣传描述对应到可检查的对象
核验具体资料时，应先确定网络和完整合约地址，再对照项目声明、源码与验证结果是否指向同一对象。仅凭代币名称或简称，不能完成这种对应。引用基础标准的文档，也不能替代项目自身的实现证据。
涉及分红的描述，需要进一步找到对应的分配逻辑：谁有资格、金额如何计算、由什么条件触发，以及相关权限归谁。如果只有标准余额与转账功能的说明，就仍缺少证明分红机制的依据。代码中的注释可以帮助理解，但结论应以实际逻辑为准。
常见问题与判断边界
合约显示已验证，是否代表分红可靠？源码匹配解决的是代码对应问题，并不自动证明逻辑正确、没有漏洞或承诺能够实现。核验记录应区分源码匹配、行为分析和实际执行证据，避免把它们写成同一个结论。
不上交易所，是否就无法核验？源码核验的对象是链上合约，其技术方法不以上所为前提。不过，技术文档无法证明“不上交易所”这一声明。该说法还需要明确时间、平台范围和可追溯的原始出处；证据不足时，应保留为未核实状态。
核验余额或分配金额时，还要统一显示单位。链上整数与界面展示值可能因decimals产生数量级差异，未经换算的数值不能直接比较，更不能单凭余额数字认定其属于分红。