先把去信任化拆成可核验的主张
去信任化可以理解为：参与者依据公开规则验证信息，减少对特定中介判断的依赖。核验时应把宽泛表述拆成具体问题，例如节点能否自行检查交易、冲突历史如何选择、哪些条件下记录可能被改写。不同问题需要不同证据，不能用“采用区块链”统一作答。
两个来源分别支持什么
以太坊开发者文档的共识机制页面说明，共识包含协议、激励与分叉选择等组成部分，权益证明只是其中一部分；页面也提及链外社会协调。这支持对信任依赖如何被重新分配的解释，不能单独证明所有攻击都无利可图。
比特币开发者指南的区块链章节说明，全节点独立验证区块，交易支出受规则约束，节点在有效候选链中依据累计工作量选择历史。这支持独立验证与历史改写成本的机制解释，不能推出记录在任何条件下都绝对不可改变。
区分机制说明与研究结果
这两个来源来自不同项目文档，适合交叉参照概念，但并非对同一研究结论的两次独立实验。文章引用它们说明机制是合理的；若宣称某个网络已达到特定安全水平，还需要对应的研究方法、观测数据或形式化论证。
理论论证应列明攻击者能力、网络通信条件和资源分布假设；实验研究应提供环境、参数及复现方法；运行观测应明确样本区间和数据口径。缺少这些内容时，结论的适用范围就无法可靠判断。
核对规则、版本和证据对象
核验记录应包含来源页面、适用协议版本、具体主张及对应依据。涉及实际区块时，使用区块哈希定位证据更准确，因为分叉中的不同区块可能具有相同高度。
还应检查术语是否被简化：工作量证明中的链选择关注累计工作量，不能只数区块；权益证明中的投票权重也不能直接等同于普通节点数量。关于门槛的结论必须说明衡量对象，以及讨论的是链选择、最终确定性还是其他性质。
常见问题与适用边界
交易被纳入区块，是否就证明交易完全有效？默克尔证明用于核验包含关系，完整有效性还涉及交易与区块规则。核验报告应区分这两种证明能力。
攻击成本高，是否代表没有信任假设？成本约束仍依赖资源、激励和网络条件。“需要多数算力”也不能被理解为低于该比例就不存在历史重组风险。可靠的研究结论应明确证明了什么、依赖什么条件，以及哪些问题仍未得到验证。