先把技术主张变成可核验的问题
“采用了安全技术”不是明确结论。核验前应指出研究对象、声称的效果与成立条件，例如某个合约是否限制了未授权调用，或者某份证明是否支持交易被纳入特定区块。机制合理、测试通过和实际部署安全，是不同层次的判断，不能相互替代。
两个来源分别支持什么
以太坊开发者文档的智能合约安全章节介绍访问控制、测试、形式化验证及独立审查，并提醒审计不能发现所有漏洞。这些内容支持安全评估方法的解释，不足以证明某个具体合约已经安全。
比特币开发者指南的区块链章节介绍节点验证、哈希链接、工作量证明和默克尔树。它支持对交易记录验证机制的理解，但不能直接证明其他链或应用具有相同保证。两个独立来源讨论不同对象，并不等于对同一研究结论完成了交叉验证。
核对来源、版本与复现条件
证据记录宜包含文档章节、代码版本、编译配置、测试输入及结果。网页用于解释设计时，还应核对研究实现是否遵循该设计；审计针对某一代码版本时，也需确认部署代码及配置是否与审计对象一致。
复现应围绕明确命题展开。例如核验访问控制，不仅检查授权账户能否调用，还要检查未授权调用、角色撤销和管理权限变更。只展示正常执行结果，无法充分支持权限隔离有效的结论。
理解测试与证明的边界
单元测试通过，只说明已设置的案例未出现相应失败；模糊测试的价值取决于输入探索和安全属性是否充分。核验报告应交代检查了哪些性质、遗漏了哪些路径，而不是只呈现“全部通过”。
形式化验证的结论受规范、模型及假设约束。证明某项不变量成立，不等于排除全部业务逻辑错误。独立审计也应查看覆盖范围、发现的问题及修复复核情况，不能把报告名称当作安全保证。
链上证据的常见误区
默克尔证明用于核验交易是否包含在相应区块中，并不单独证明该交易满足所有共识规则，也不证明链外业务真实。区块高度在分叉时可能重复，定位研究样本应结合区块哈希。
适用范围同样重要：比特币的工作量证明机制不能直接套用于所有区块链，合约层测试也不能替代底层共识验证。可信的核验结论应同时说明验证对象、证据类型、复现条件和未覆盖风险；证据不足时，保留判断比扩大结论更准确。