先明确研究究竟证明什么
区块链技术数理模型的研究证据怎么核验，首先要把结论改写成可检验的问题：研究讨论的是交易有效性、分叉选择、历史记录被改写的概率，还是最终确定性？这些问题对应不同机制，不能用笼统的“安全”相互替代。记录研究采用的协议版本、攻击者能力、网络条件和目标指标，才能判断证据是否支持结论。
用两个来源核对机制边界
Bitcoin Developer Guides 的 Block Chain 页面说明：节点独立验证区块，工作量证明通过区块头哈希与目标阈值的关系验证；有效分支之间的选择依据累计工作量。这些机制可用于检查模型是否正确表达哈希尝试、区块关联与分叉选择。
ethereum.org 的权益证明说明页介绍了验证者投票、检查点、罚没与分叉选择。其检查点最终确定性涉及至少三分之二质押权重的投票条件。因此，相关模型应区分投票权重、链头选择与最终确定性，不能直接套用算力竞争模型。
两个网站分别提供不同协议的机制说明，并不构成对同一数学结论的两次独立验证。协议文档能支持机制描述；研究定理、参数估计和实验结果仍需各自的证据。
逐项检查假设、推导与复现
先检查变量定义与单位，例如攻击者占比究竟指算力还是质押权重。再检查随机性、独立性和网络延迟等假设是否明确，公式是否在推导中悄悄改变了这些条件。
以工作量证明为例，在哈希输出均匀且每次尝试独立的模型假设下，成功概率由符合目标阈值的输出比例决定。期望尝试次数不能解释为某次实际必然执行的次数，更不能单凭这一关系推出整个网络的攻击成功率。
理论研究应提供可检查的证明步骤；仿真研究应交代算法、参数、随机种子与重复实验方式；实测研究应说明数据来源、采样范围和清洗方法。复现后还应改变关键参数，观察结论对假设是否敏感。
适用条件与常见疑问
开发者文档能否证明模型正确？它能帮助核对协议机制，无法替代模型证明。实验没有发现攻击能否证明绝对安全？实验结论受测试范围限制，不能覆盖所有攻击策略与网络状态。
阈值和惩罚参数能否跨版本引用？需要核对研究采用的版本与相应规范。最终核验记录应明确：哪些结论已有机制依据，哪些只在指定假设下成立，哪些仍缺少证明或复现实验。