先把“互信”拆成可核验的问题
区块链语境中的互信，需要落到具体目标：参与者能否核对共享记录，节点如何形成一致状态，记录在什么条件下能够保持稳定。核验研究时，应先明确作者声称解决了哪个问题，再判断证据是否覆盖该问题。记录一致、数据真实和参与者可信，是不同的核验对象。
两个来源分别支持什么
NIST IR 8202《区块链技术概览》的摘要将区块链描述为分布式、具有篡改可察觉性和抗篡改能力的数字账本，并把已发布交易不能被改变的描述限定在网络正常运行条件下。这能支持基础概念解释，不能单独证明某个具体系统在所有攻击情形下都安全。该文献可通过标识符10.6028/NIST.IR.8202定位。
以太坊开发者文档的共识机制说明强调，共识涉及协议、激励及分叉选择等多个组成部分，工作量证明或权益证明本身不能代表完整共识机制。这为检查机制是否描述完整提供依据，但不能替代特定实现的安全验证。
建立从主张到证据的对应关系
对每项结论，记录出处、对应段落、文档版本和适用对象。技术概览适合解释术语，协议文档适合说明规则；涉及某种攻击下的安全性，应检查论证所用假设；涉及性能改善，应核对实验配置、比较对象和结果。证据类型需要与结论相匹配。
两个不同机构或网站的材料可以提供不同视角，但来源数量本身不等于独立验证。还需检查它们是否实际讨论同一主张、是否转引同一研究，以及各自提供了什么新增证据。
核对结论成立的条件
审查安全结论时，应关注参与资格、攻击者能力、网络通信假设和共识规则。遇到投票比例或攻击门槛，要核对分母究竟是节点数量、计算资源还是质押权重，并明确该门槛针对哪一种行为。不能把面向入门读者的概括直接作为普遍安全定理。
研究对象也要一致。某种共识机制的介绍，不能直接外推为所有区块链或某个未被研究项目的结论。缺少实现、实验或部署证据时，应把判断限制在机制层面。
常见问题：不可篡改是否意味着内容真实
账本的抗篡改能力回答的是记录能否被事后改变，不能单凭这一性质判定录入内容符合现实。涉及链外事实时，还需要核验数据产生和进入系统的环节。
官方技术文档是否足够证明项目可靠？它可以帮助确认定义和设计规则，但项目实际运行是否符合这些规则，需要项目自身的证据。核验结果宜明确写出已获支持的主张、成立条件与尚未得到证明的部分。