先确定研究究竟主张什么
区块链相关模型的研究证据怎么核验，首先要把结论拆成可以检查的命题。研究讨论的是账本抗篡改能力、合约行为，还是函数执行结果？对象不同，所需证据也不同。介绍技术原理的文献，不能直接证明某份合约实现满足安全要求。
核验时可先记录四项内容：被研究的对象、声称成立的性质、成立所需的条件，以及支持结论的材料。缺少其中任何一项，都应缩小可接受的结论范围。
确认来源，同时区分来源的用途
NIST IR 8202的页面摘要将区块链描述为分布式、具有篡改可察觉性和抗篡改能力的数字账本，并在网络正常运行的条件下解释已发布交易的稳定性。该报告定位于技术概述，适合核对基础概念，不能据此认定某个具体系统绝对不可篡改。
ethereum.org的智能合约形式化验证文档说明，形式化验证通过数学方法检查系统行为是否符合预先定义的规格。它支持理解模型、规格与证明的关系，但文档本身不是某个项目通过验证的记录。
核验来源时，应对照文献名称、发布机构、版本和引用位置，再检查引用段落是否直接支持研究主张。两个独立来源可以分别支持不同概念；只有它们讨论同一命题且条件相符时，才适合用于交叉核对。
把模型假设与实现细节对齐
模型是对计算过程的数学抽象。核验时要问：模型保留了哪些行为，又省略了哪些行为？高层模型可以描述用户、合约和环境之间的交互；涉及具体执行路径的结论，还需要检查模型是否覆盖相关实现细节。
例如，研究若声称某项操作只能由授权者完成，应查找相应的权限规格、验证对象与证明结果。若证据仅针对抽象状态模型，就不能直接推断实际部署代码的全部执行行为已经得到验证。
检查证明覆盖了哪些性质
形式化验证的结论必须连同规格阅读。安全性关注禁止的行为是否发生，活性关注系统能否最终取得进展。证明某个状态始终满足约束，并不自动证明用户请求最终能够完成。
还应区分部分正确性与完全正确性：前者说明在前置条件成立且执行终止时，结果满足后置条件；后者还要求保证终止。核验报告若只写“正确”，却没有说明具体性质和条件，结论仍不充分。
常见问题与适用边界
有数学证明是否就代表系统全面安全？不能这样推断。证明约束的是所建模的对象及写入规格的性质；规格遗漏的要求、模型未覆盖的环境行为，不能因证明成立而视为已经核验。
基础综述与方法文档适合建立核验框架。判断具体研究是否可信，还需沿着“主张—规格—假设—验证结果”逐项对应，并说明证据覆盖范围。无法对应的部分应标为尚未得到支持，避免把通用原理写成具体项目已证实的结论。