先界定要核验的主张
“小米的区块链应用”可能指产品功能、供应链记录、数字资产管理、身份认证或内部系统。核验前应把宽泛说法拆成可检验的问题：具体是哪项产品或服务、何时上线、区块链用于哪一环节、记录由谁提交，以及用户或第三方能否独立验证。若主张没有指明应用范围，就不能直接判断其真假。
还要区分“使用区块链”与“系统整体可信”。区块链可以帮助多个参与方维护带有完整性保护的共享记录，但链上内容是否准确，仍取决于数据来源、录入流程、权限和外部系统。记录难以被事后改写，并不自动证明最初输入的信息真实。
现有材料能支持什么
NIST 的区块链代币设计概述介绍了代币、钱包、交易、用户界面和协议等观察角度，也涉及链上与链下组件。这些内容适合作为分析系统架构的通用检查框架，例如追问资产如何表示、钱包由谁控制、交易如何提交，以及外部资源如何接入。它本身不是小米项目的案例报告，也不能证明小米部署了某种代币或区块链网络。
W3C 的 PROV 概述将数据溯源描述为关于实体、活动及参与者的信息，可用于评估数据的质量、可靠性或可信度。核验研究证据时，可以据此整理“谁产生了什么数据、经过哪些处理、由谁发布或验证”的关系。PROV 是表达溯源信息的通用模型，不等于某个具体项目已经采用该模型，也不能替代对原始证据的审查。
建立证据链
第一步是定位一手材料，例如产品说明、技术文档、正式公告、代码仓库、专利文本或可复核的系统记录。每份材料都应记录发布主体、发布日期或版本、适用产品、描述对象及可访问性。新闻报道和转述可以提供线索，但如果关键结论只出现在二手文章中，应继续寻找原始依据。
第二步是把主张拆成事实与推断。比如“记录写入分布式账本”是关于实现方式的事实主张；“因此供应链信息必然真实”则是更强的推断，需要额外证明数据采集、身份认证、纠错和审计机制。报告应明确哪些是文档直接说明的内容，哪些是研究者根据材料作出的判断。
第三步是检查可复核性。对链上主张，可核对网络标识、交易或合约标识、查询方式及记录与现实业务对象的对应关系；对链下主张，则需检查接口、数据来源、访问控制和保存机制。仅展示截图、宣传描述或无法定位的哈希值，通常不足以让第三方重现核验过程。
判断来源与局限
来源数量不等于独立证据数量。多篇文章若都引用同一份公告，仍可能只有一个原始信息源。应标出来源之间的引用关系，并优先比较彼此独立的材料，例如官方技术说明、可检查的代码或记录，以及第三方测试或研究。不同来源若描述不一致，应保留差异并说明版本、时间或对象是否相同。
还需检查材料是否覆盖完整系统。区块链网络可能只承担部分记录或结算功能，钱包、应用界面、身份系统、预言机和存储服务仍可能位于链外。NIST 的框架强调从多个组成视角理解代币系统，这提醒研究者不能只凭一笔链上交易推断整个业务流程，也不能把链上可见性等同于隐私保护或端到端安全。
常见问题与适用范围
问：区块链浏览器能否证明某项小米服务采用了区块链？不能单凭浏览器页面证明。还需确认网络或合约确实属于相关服务，并建立链上记录与产品功能之间的可验证联系。
问：没有公开代码是否就能断定没有区块链？不能。公开材料不足意味着该主张尚不能据此核验，不等于已经证明其不存在。结论应采用与证据强度相符的表述，例如“公开材料未能确认”，而不是把证据缺失写成否定事实。
本文依据提供的 NIST 与 W3C 内容说明通用核验方法；这些材料不涉及小米具体项目。对任何品牌或产品作出项目级结论，都需要该项目自身的可追溯证据，并明确结论适用的产品、版本和时间范围。