先明确证据要支持什么
区块链数学经济研究可能讨论共识安全、参与者激励或奖励分配。核验时，应把问题改写成能够检查的命题：是在解释协议如何计算奖励，还是在证明参与者会遵守规则？规则说明、数学证明与现实观察分别回答不同问题，不能互相替代。
两个来源各自能证明什么
NIST IR 8202《区块链技术概述》的摘要将区块链描述为分布式、具有篡改可察觉性和抗篡改性的数字账本，并将交易发布后不能更改的描述限定在网络正常运行条件下。这类技术综述适合核对基础概念，不能据此认定某个经济模型已获验证。
以太坊开发者文档的奖励与惩罚页面介绍了验证者任务、奖励、罚没和不活跃惩罚机制，可用于理解协议怎样设置激励。它与NIST属于不同发布来源，但讨论范围不同，不能视为对同一经济结论的两次独立验证。
检查公式与文字是否一致
核验公式应记录变量含义、计量单位、参数版本和保持不变的条件。例如，所引奖励公式的分母含活跃有效余额总和的平方根。在其他量不变时，它表达的是对该总额的平方根反比关系，不能直接写成对验证者数量的反比关系。
只有补充每个验证者有效余额相同且不变等假设，才能把总余额关系转换为数量关系。进一步讨论实际奖励，还要检查任务完成情况及其他奖励组成，不能把基础奖励公式当成所有参与者的最终结果。
版本与统计口径决定适用范围
协议参数必须对应具体版本。以太坊页面摘录中的罚没数值表述存在差异，奖励段落也涉及升级说明；在没有对照相应版本规范前，不宜将其中数值作为统一、现行的计算依据。
还应区分验证者数量与质押权重。涉及按质押权重计票的门槛时，节点数量比例不能直接替代权重比例。核验记录应保留出处、版本、变量定义和适用网络，方便复查。
常见问题：有激励机制就有经济效果证据吗
奖励正确行为、惩罚违规行为，说明协议具有激励设计；要证明现实参与者因此改变行为，还需要相应观察数据或实验。数学推导也应明确参与者成本、信息条件与可选策略。
一份可复核的研究应让每项结论对应明确证据，并说明哪些只是模型条件下的结果。若进一步声称机制改善了安全性或分散程度，就应提供相关指标、样本范围和替代解释的检验，不能仅凭设计意图认定效果已经实现。