English version · 区块链学习导航 · 上一篇
区块链学习 · 文章 BC055
全节点、轻客户端与信任服务商的应用之间，区别不只是保存了多少字节，而是谁亲自检查哪些规则、取得哪些证据，以及哪些假设仍在自身检查范围之外。
客户端可以正确验证某交易属于某个区块根，却没有独立验证该区块的每笔交易。节点可以验证历史后，再删除部分原始文件。应用也可以从服务商取得正确答案，却没有在本地验证链上主张。
本篇用一条虚构UTXO式链比较这些责任，不设置钱包、不推荐支付，也不操作真实节点。目标是准确描述验证边界，让另一位读者理解什么已经成立、什么尚未成立。
选择适合你的阅读路线
本篇目录
- 1. 一句话可能隐藏三个主张
- 2. 虚构链与三位观察者
- 3. 跟踪给定有效历史
- 4. 每位观察者真正能说什么
- 5. 正确分支位于未接受的区块头之下
- 6. 另一笔交易可以使整个区块无效
- 7. 历史包含不证明当前未花费
- 8. 剪枝与验证是不同维度
- 9. 轻客户端能力取决于具体协议
- 10. 建立验证责任矩阵
- 11. 练习与答案
- 12. 常见问题
- 资料来源与继续阅读
第1至3节定义三位观察者及其证据；第4至7节检查成员资格证明、无效区块和后续花费；第8至10节区分验证与归档服务，并说明协议特定限制；最后练习检查你能否把主张对应到恰当证据。
比特币论文的简化支付验证部分，是通过区块头检查交易成员资格的重要历史资料。它也解释了这种方法为何与直接检查交易历史具有不同假设。本篇以此区别为起点，不把它当作当前软件配置指南。比特币论文第8节
1. 一句话可能隐藏三个主张
应用若说“交易T已验证”，可能表示在网站找到T标识、成员资格证明匹配某根、节点验证了包含T的区块，或者某个后续条件已被检查。
练习把它拆成三个准确主张：
- 成员资格：T包含在已识别区块B100中。
- 有效性：从已接受的先前状态出发，B100满足玩具链全部相关转换规则。
- 当前状态：T创建的输出t0，在已识别区块B102处仍未花费。
这些主张有关联，却不能互相替代。成员资格涉及记录在承诺集合中的位置；区块有效性需要适用规则和先前状态；当前未花费状态则需要考虑输出创建后发生了什么。
回答时，应先说主张，再说客户端。否则，轻客户端可能因没完成从未承诺的任务而被批评，也可能被赋予没有执行过的工作。同样，把“全”误解为“能立即回答所有历史查询”，也会造成混淆。
2. 虚构链与三位观察者
所有观察者都知道目标网络。玩具模型从明确被信任的初始状态S0和正确规则配置开始，不要求观察者证明S0之前的历史有效性；这项信任在模型中公开列明。
观察者F取得S0之后完整的相关区块，检查区块头要求、所有适用交易与状态转换规则，以及选链规则。本练习不跳过任何相关转换检查。这是理想化的完整验证职责，不代表真实客户端的每一种默认优化行为。
观察者L是指定的比特币式“区块头加成员资格”客户端。它从给定锚点检查区块头链，包括链接、指定工作量证明与区块头选择条件，并取得T及其到B100根的成员资格分支。它不下载和验证每笔区块交易，也不维护完整当前UTXO状态。
观察者R向远端服务请求答案，接受响应，但不在本地检查区块头或成员资格证据。服务商可能诚实且专业，重点是R把链上主张的验证交给服务商，而非自己执行。
假设三者规定的算法实现正确。连接情况、相关证据可取得性，以及链的安全假设，仍是明确依赖。三个名称都不能让依赖消失。
3. 跟踪给定有效历史
主要历史中，S0有价值八个虚构单位的未花费输入u0。B100中的有效交易T花费u0，创建价值七的输出t0，输入与输出差额一作为费用。该主要历史区块中的其他交易也都有效。
B101中的有效交易V花费t0，创建价值六的输出v0，费用差额为一。B102是B101的有效后代。没有后续交易把同一个输出点t0恢复为未花费；即使新输出金额相同，其身份也不同。
F验证这些转换，并维护所得状态。L获得适当的已接受区块头上下文，以及T在B100中的正确成员资格分支。R收到服务商报告，称T包含在B100，t0到B102时已经花费。
可得三个观察：F按模型在本地检查了相关有效性与状态转换；L在其接受的区块头上下文中检查了给定成员资格关系；R得到一份依赖服务商确认真实性的报告。
数值很小，是为了突出边界。七加一解释第一个输入，六加一解释第二个输入。算术属于给定有效性的一部分，却不能替代其他规则或授权检查。
4. 每位观察者真正能说什么
F可以说：“在可信S0和规定规则下，我验证了直到B102的相关历史。T在B100中，而t0在B101被花费。”这句话同时说明验证工作和起始假设。
L可以说：“给定T及其分支，匹配我按指定检查与假设接受的区块头链中B100的交易根。”它不能追加“我独立检查了B100中的每笔交易”，因为没有做这项工作。
R可以说：“服务商报告T已被纳入，t0现在已花费。”若展示结果时省略这一限定，就可能隐藏验证责任所在。答案正确，不会倒过来证明接收应用曾经检查过它。
比特币开发者指南的运行模式讨论区分完整验证与SPV成员资格检查，并明确指出，交易成员资格本身不保证交易有效性。这个有限区别支持本篇比较。比特币运行模式
这些是能力描述，不是通用产品排名。具体任务可能需要一项小型认证主张、大量本地验证，或历史数据服务。先定义任务，再判断所选模式是否足够。
5. 正确分支位于未接受的区块头之下
下一张卡与主要历史分开。一名陌生来源提供区块头Z、交易T和能正确重算Z交易根的分支，但没有证据把Z连接到L接受的区块头链或可信起点。
L可以确认T、分支与该根的数学关系，却不能仅因分支匹配，就确认Z属于目标接受链。缺失的是区块头的权威与上下文证据，不是分支算术。
给证据包加一个更长文件名、熟悉标志或“已验证”字样，不能补足连接。从两个网站收到同样证据包，也不必然提供独立区块头验证。
准确答案应拆开：相对于给定Z的成员资格检查通过；在目标已接受历史中的成员资格尚未成立。简单的“证明有效”标签会隐藏这个区别。
因此，验证界面应显示它使用哪个根或区块头，以及该引用如何被接受。紧凑证明能够节省工作，但其起始引用必须具有应用所需含义。
6. 另一笔交易可以使整个区块无效
再设候选区块K100。它先包含T，后包含另一交易U，U尝试再次花费同一个输入u0。题目提供全部必要事实：T已消费u0，U违反玩具模型的禁止双花规则。K100区块头通过规定的区块头级检查，T也有到该根的正确成员资格分支。
F拒绝K100，因为它无效。T的正确成员资格不能修复U；更多区块头工作量，也不能让无效转换符合F的规则。
L针对T的有限成员资格检查仍匹配给定根。由于本版L不验证所有交易，仅这一检查无法发现无效U。这说明缺少哪项验证责任，不是构造攻击的操作指令。
因此，L式安全论证依赖关于接受的区块头链及其支持系统的额外假设，不能把这些假设改称为本地执行了每次转换。比特币论文也讨论了不利条件下简化验证的局限。比特币论文第8节
R可能报告其服务商得出的结论。若服务商完整验证并拒绝K100，R可以受益于这项工作，同时仍依赖服务商报告。委托与本地验证仍是不同责任描述。
7. 历史包含不证明当前未花费
回到有效主要历史。T属于B100，但V在B101花费t0。到B102时，“t0在B100被创建”为真，而“t0仍未花费”为假。
L针对T的证明，不包含回答第二个问题所需的后续状态信息。反复更仔细地检查同一证明，也不能发现证明主张范围之外的花费。
F能回答当前状态问题，因为练习给它直到B102的完整相关验证转换。R可以取得服务商答案，但必须说明对服务商的依赖。扩展的轻客户端协议可能支持其他认证状态主张，但那不同于这里定义的简单L能力。
不要因未收到后续花费记录，就推断“未花费”。缺少数据与已验证不存在不同。运行模式指南讨论了简化客户端可能面对的信息遗漏问题，因此更需要说清实际取得什么证据。比特币运行模式
这个道理适用于很多记录系统：证明某事件发生过，不等于证明之后没有相关事件发生。第二项任务需要明确的状态或覆盖论证。
8. 剪枝与验证是不同维度
F验证主要历史后，保留所需当前状态和元数据，却不再保存旧原始区块B100。本卡把先前验证作为给定事实，不引入磁盘损坏或所需当前状态丢失。
旧原始文件消失，并不让F变成只看区块头的客户端。区别在于F处理历史时检查过什么。不过，F现在可能无法仅凭本地存储提供B100原始字节，或生成所需历史证明。
比特币Core历史0.11.0版本说明介绍了在保留完整验证运行的同时，对区块文件进行剪枝，并区分处理后的数据库与原始区块、撤销数据文件。这里仅用这段历史解释概念，不把旧配置限制或存储数字当成当前建议。Bitcoin Core 0.11.0剪枝说明
再设一个保存所有区块的归档服务，但R从不检查它返回的答案。服务器存储很多，不会让R成为本地验证客户端。存储量、验证责任和证明提供能力，应分成三栏。
这种三栏视角避免两个错误：认为历史保留较少就必然意味着过去验证较弱，以及认为保留更多历史就自动意味着接收答案的用户验证更强。
9. 轻客户端能力取决于具体协议
本例L刻意定义得较窄，不能作为所有名为轻客户端产品的通用定义。不同协议认证区块头的方式不同，也可能支持不同数据证明、更新流程和启动假设。
以太坊轻客户端文档区分执行与共识职责，并指出轻执行客户端范围可以不同。因此，问题应是某实现检查什么，而不是名称里有没有“轻”字。以太坊轻客户端
对真实设计，应识别可信起始信息、新认证引用如何被接受、检查哪些证明、不检查哪些状态转换，以及哪些数据必须仍可取得。不能把一条链客户端的主张悄悄推广到另一条链。
同样，经过认证的响应也可能对任务而言太旧。在某明确状态下正确验证证明，不等于该状态就是应用当前应该使用的状态。新鲜度与选链仍属于完整主张。
练习刻意避免当前产品推荐、硬件估算和通用确认次数。这些需要不同证据，也会分散对持久的责任问题的注意。
10. 建立验证责任矩阵
对每位观察者，用普通语言记录五件事：收到的数据、执行的检查、可信起始信息、未经自身验证的假设，以及数据服务限制。
F的数据是完整相关区块与先前状态，检查包括所有规定转换，S0仍是给定锚点。L的数据是已接受区块头加选定交易证据，检查不包括所有区块交易或完整当前UTXO重建。R取得的是服务商报告，链上主张被委托验证。
再加第六行，写准确输出主张。“T属于这个根”比“T在我接受的链中”更窄，两者又都不同于“t0在B102未花费”。只有保留这些区别，矩阵才有用。
最后问证据缺失时会怎样。证明服务中断，可能使轻客户端无法取得结果，却不会因此必然接受错误结果；剪枝节点可能知道当前已验证状态，却没有旧区块文件；服务商无响应时，链仍可能继续推进。
这些是不同故障模式。明确命名，能避免把每个不可取得的答案都叫共识故障，也避免把每个返回答案都叫独立验证真相。
11. 练习与答案
问题1。 分支正确连接T与Z根，但Z和接受链没有已确认关系。什么通过，什么尚未证明？
答案。 相对于Z的成员资格关系通过；在目标已接受历史中的包含关系尚未成立。
问题2。 K100含有效T和无效双花U，正确T证明能让K100有效吗？
答案。 不能。F拒绝无效区块，L的有限检查没有验证U或整个区块。
问题3。 T在B100创建价值七的t0，V在B101花费它。到B102，t0仍未花费吗？
答案。 不是。历史创建仍为真，但给定历史中的当前未花费主张为假。
问题4。 F验证后删除旧原始B100，却保留所需当前状态，它必然变成SPV客户端吗？
答案。 不必。删除保留文件不同于跳过验证，但提供旧字节的能力可能降低。
问题5。 R的服务商给出正确答案，R独立验证链上主张了吗？
答案。 没有。报告正确，与接收者执行了验证，是不同事实。
问题6。 无法取得证明，可以当作T不存在的证明吗？
答案。 不能。未取得证据不建立相反主张。
12. 常见问题
完整验证消除了所有假设吗？
没有。软件正确、规则配置、初始状态和相关网络证据仍重要。练习明确列出S0，而不是隐藏它。
每种小型客户端都只是在信任RPC服务器吗？
不是。某些客户端会在本地验证认证证据，应识别实际执行的检查。
包含证明能证明现实事实吗？
不能。它针对认证记录，链外陈述是否真实需要与该陈述相适应的证据。
验证新区块总需要归档节点吗？
不要把保留与验证混为一谈。所需当前状态和验证数据，不同于按需提供全部历史记录的能力。
资料来源与继续阅读
一手资料核查日期为2026年10月12日：
- 比特币白皮书，重点为简化支付验证第8节；属于2008年历史设计讨论。
- 比特币开发者指南：运行模式，仅使用完整验证与SPV的有限区别。
- Bitcoin Core 0.11.0版本说明，仅使用历史剪枝原理。
- 以太坊轻客户端，页面更新于2026年2月25日，仅用于说明具体协议能力范围不同。
观察者定义、虚构单位和候选区块情境卡均为原创教学模型，不指定生产客户端默认配置，也不提供操作指令。