English version · 区块链学习导航 · 上一篇
区块链学习 · 文章 BC034
交易池是某个节点在本地保存的候选交易集合，并不是所有参与者都能看到完全相同内容的唯一权威队列。一笔交易可能存在于一个节点、不存在于另一个节点，随后又出现在两者都接受的有效区块中。
本篇把这一差异变成可以逐步核对的观察练习：比较两个小型交易池，跟踪一次移除事件，再检查包含观察者此前未保存交易的区块。目标是准确报告证据，避免混淆提交、本地接纳、传播和纳入区块。
选择适合你的阅读路线
本篇目录
- 1. 四种观察不应共用一个标签
- 2. 把本地接纳与区块有效性分开规定
- 3. 两个观察者与给定规则
- 4. 第一张快照：数量相同，内容不同
- 5. 第二张快照：策略决定不留下保留记录
- 6. 第三张快照：移除改变可用性，不改变签名字节
- 7. 有效区块可以包含两个交易池中都没有的交易
- 8. 因纳入而移除，与容量移除不同
- 9. 本地到达顺序不是共识时间戳
- 10. 阅读客户端接口时保留其适用范围
- 11. 实用证据清单
- 12. 练习：重建交易池并修正说法
- 13. 常见问题
- 14. 资料来源与后续阅读
先了解四种观察阶段和明确给定的课堂保留规则，再沿着两个节点的时间线计算，之后阅读诊断清单。练习部分要求修正几项听起来合理、实际却缺乏支持的状态报告。
下文交易标签、优先级、容量和事件都是虚构教学数据，不涉及真实地址、费用或网络提交。模型只研究本地候选交易处理，并不复现任何生产客户端的完整交易池、依赖关系或区块构建算法。
1. 四种观察不应共用一个标签
“已发送”可能表示用户尝试把字节提交给接口；“本地已接纳”表示某个节点按当前检查与策略保留候选对象；“已转发”表示向其他参与者传播；“已纳入”则表示交易属于某个具体区块。
它们回答不同的问题。接口返回交易标识，并不能证明所有对等节点都已收到交易。本地交易池可以保存以后从未被区块选中的候选交易；反过来，区块也可以带来一个观察者此前从未在自身交易池里见过的有效交易。
比特币点对点网络指南区分了网络交换与共识规则。其较早的实现例子不能直接当作当前默认配置；这里采用的原则是，交易通信和区块有效性属于不同层次。
记录事件时，应写明行动者和对象：“节点 N 在 t0 保留了交易 x”，比“x 已经在区块链上”准确得多。交易哈希可以识别对象，却不能证明它已到达上述后续生命周期阶段。
2. 把本地接纳与区块有效性分开规定
候选交易可能未通过与共识有关的检查，可能未通过本地接纳策略，也可能只是观察者尚未获得。不能把这些原因混为一谈。
例如，节点可以限制用于保存未确认候选对象的资源。因此，它愿意存储和转发的集合，可能小于能够出现在有效区块中的交易集合。讨论本地策略时，应说明相应客户端和配置。
带版本号的 Bitcoin Core 30.0 testmempoolaccept 文档说明，接纳测试涉及共识规则和策略规则。它报告的是相应条件下的接纳评估，并不保证后续区块一定包含交易。引用该接口是为了说明区别，并非要求读者提交交易。
课堂规则明确分开这两层：虚构优先级只控制本地保留，不改变授权是否有效，也不要求区块生产者按该顺序排列交易。这能避免常见的循环推论：“我的交易池拒绝了它，所以包含它的区块必然无效。”
3. 两个观察者与给定规则
节点 N 和 P 从同一个选定区块 H 开始，并认可其已接受状态。练习使用共同标记的观察步骤。两者采用相同的给定区块验证规则，但本地候选容量不同。
- N 最多保留三个候选对象。
- P 最多保留两个候选对象。
- 超过容量时，各节点在已收到且仍符合条件的候选对象中保留排名最高者。
- 虚构排名为 x=1、y=2、z=3、w=4；数值越大，本地优先级越高。
这些排名只是课堂优先级，不是交易数额、真实费用，也不表示生产客户端总按一个数字给单笔交易排序。给定状态假设下，四笔交易相互独立且有效，不消耗彼此输入，也不占用相冲突的同一发送者位置。
稍后还会出现 q：它是一笔独立有效交易，通过另一条路径交给生产者。本文不保证这条路径能对 q 保密，也不保证它一定被纳入。唯一给定事实是，N 和 P 在收到相应区块之前都没有观察到 q。
4. 第一张快照：数量相同，内容不同
在 t0，N 保留 {x,y}，P 保留 {y,z}。两者都报告两个候选对象，但集合并不相同。
共同交易是 y。这两个已观察集合的并集为 {x,y,z}，共有三个对象。即使在这个小练习中，任何单个节点报告的数量 2 也不能代表整个观察并集。
这给仪表板阅读提出了一个重要提醒：两个接口返回相同总数，不能证明它们看到相同交易。同样，把两个观察者的集合合并，也只是获得这些观察的并集，并不能证明网络上所有候选对象均已被发现。
此时 N 缺少 z，不意味着 z 无效；P 缺少 x，也不意味着 x 已被取消。给定轨迹只说明两者收到了不同集合。要解释某个对象为何缺席，需要到达与保留事件，而不能只看快照。
本练习中，两者共享链头 H，因此排除了一个差异来源：不同的已接受执行前状态。真实调查必须核对这个条件，而不能暗中假定成立。
5. 第二张快照：策略决定不留下保留记录
在 t1，N 收到 z，候选集合变为 {x,y,z}，刚好填满容量三个，无需移除任何对象。
同一步骤中，P 收到 x。P 已保留 y、z，容量为两个。按照给定排名，x 低于两者，因此 P 不保留 x，集合仍为 {y,z}。
这里的重要变化是：P 已经收到 x，只是决定不保存。稍后的交易池快照，无法单独区分“收到但未保留”和“从未收到”这两段历史，因为当前集合中都可以没有 x。
因此，如果相关信息可取得，观察日志应保留到达事件、验证结果、策略决定和最终池成员关系。缺少这些记录时，应写“P 当前未保留”，而不要编造原因。
这一决定没有改变练习给定的 x 的区块有效性。教学优先级不是共识规则；只要真实的区块与交易条件都满足，生产者仍可以将 x 纳入有效区块。
6. 第三张快照：移除改变可用性，不改变签名字节
在 t2，N 收到 w。四个符合条件的候选对象竞争三个本地位置，N 保留排名最高的 {y,z,w}，把 x 从池中移除。
给定轨迹中，P 尚未收到 w，因此仍保留 {y,z}。尽管两个观察者共享选定链头，并对交易有效性规则达成一致，它们的交易池再次不同。
移除表示 x 不再属于 N 保留的候选集合，却不会改写 x 的字节、撤销授权，或擦除其他地方的副本。观察者在 t1 记录过 x、t2 又找不到它，不能自动把它标成“链上执行失败”。
这一步没有发生涉及 x 的已接受状态转移，事件只涉及本地存储与策略。若要推断链上结果，必须另行检查选定链及相关执行证据。
本轨迹给出了准确的移除原因。实践中，缺席还可能与重启行为、过期规则、冲突、状态变化或接口视图不完整有关。这些是需要结合具体客户端验证的假设，而不是可以任选一个顺耳解释的清单。
7. 有效区块可以包含两个交易池中都没有的交易
在 t3，两节点收到延伸 H 的区块 B，其中包含 x 和 q。练习给定：B 及两笔交易通过了所有适用区块验证检查，两个节点都选择 B 作为新链头。
在收到区块前，N、P 均未保留 x，也都未观察过 q。但是，先前交易池中没有这些对象，并不是拒绝一个其他方面均有效的 B 的理由。
对于 x，我们知道本地保留历史：N 曾将其移除，P 曾拒绝保留。对于 q，我们只知道给定的另一条生产者接收路径。这是两条不同路径，却产生了同一种观察：到这一步，交易才出现在当前接受的区块视图中。
节点必须取得并验证区块所需的交易数据，而不是仅仅相信生产者宣称“它们有效”。“此观察者此前未见过”与“免于验证”完全不同。
按照练习假设，x、q 与 y、z、w 相互独立，因此 N 的剩余池仍为 {y,z,w}，P 仍为 {y,z}。新块到来，并不自动要求删除所有候选对象。真实客户端会按实际规则重新检查相关依赖与冲突。
8. 因纳入而移除，与容量移除不同
在 t4，两节点接受并选择延伸 B 的有效区块 C，其中包含 y。N 从池中移除 y，留下 {z,w}；P 移除 y，留下 {z}。
这一次移除与 x 之前被移除的原因不同。y 现在已被纳入选定区块；x 在 t2 就离开 N 的交易池，直到 t3 才进入区块。如果状态显示只使用一种笼统的“消失”标签，就丢失了关键差异。
本轨迹证明的是选定链中的纳入，不是最终性保证。我们没有提供最终性证明、确认数门槛或下游不可逆操作；这些属于另一层证据。
如果以后选定分支变化，候选对象资格可能需要重新评估。不能假定所有被移除交易都会自动回到每个节点的交易池；有效性、冲突、数据可用性和本地保留策略仍然重要。本练习止于选择 C，不作超出上述提醒的重组判断。
9. 本地到达顺序不是共识时间戳
N 先看到 x，后看到 w，却移除了 x、保留了 w。生产者稍后又先纳入 x，而没有纳入仍在池中的其他候选对象。这两个结果都符合给定规则。
轨迹中没有一个全局唯一的“首次看到”时刻。每项观察都属于某个节点及其时间记录。不同通信路径可以产生不同本地到达顺序，并不意味着任何参与者违反了区块有效性规则。
这不表示排序不重要。应用行为可能依赖已接受顺序，区块构建也可能受到依赖、资源上限和生产者选择的影响。关键是，不能把本地到达时间戳暗中升级为全局共识排序要求。
以太坊 MEV 概述讨论了交易纳入和排序选择的重要性。本文只借用这一点，说明为何应谨慎观察；不教授提取策略，也不声称所有私有交付通道提供同样的保护。
公平性主张需要明确规则和测量方法。“我的接口先看到这笔”是值得调查的观察，却不能独立证明另一种被接受顺序违反了协议。
10. 阅读客户端接口时保留其适用范围
Bitcoin Core 30.0 getrawmempool 参考描述本地交易池查询。返回值反映响应节点在相关观察时点的集合，并不是所有节点共同签署的普查结果。
Geth txpool 命名空间文档最后编辑于 2023 年 8 月 16 日，采用 pending、queued 等分组，并可以显示同一账户、同一 nonce 对应的多个候选对象。这些术语和结构不能原样套用到所有区块链客户端。
比较接口前，先对齐统计对象：是否只计算可执行候选交易？是否还包括未来 nonce 候选对象？是否包含其他类别？返回的是完整枚举，还是受限视图？接口是否说明客户端及所选链头？
即使尚未考虑传播差异，两份数量也可能因为定义不同而不一致。反过来，相同数量也不能证明定义或集合相同。应保留可复核比较所需的原始标识与上下文，而不是只依赖一个大号总数。
11. 实用证据清单
遇到有争议的交易状态时，可以建立包含以下字段的简短记录。缺失信息应明确保留为缺失。
- 网络与客户端上下文：哪条链、哪个接口、哪种软件或已记录接口规范。
- 观察上下文：时间、选定区块身份，以及结果属于本地交易池视图还是链查询。
- 交易身份：准确候选标识；在调查可合法取得的范围内，保留字节或解码字段。
- 本地生命周期：观察到的到达、接纳、转发、替换、移除事件及记录原因。
- 链上证据：具体区块成员关系、适用时的执行结果以及当前选定链状态。
- 剩余不确定性：未观察节点、缺失日志、不完整传播资料和未经核对的最终性。
本轨迹的准确报告是：“N 在 t1 保留 x，在 t2 按给定容量规则将其移除，在 t3 接受包含 x 的区块 B。”它报告了证据变化，并没有制造矛盾。
较差的报告则是：“x 失败了，但区块链意外把它复活。”练习并未提供这种失败或复活机制。所谓意外，是把交易池缺席当成链状态证据造成的。
12. 练习：重建交易池并修正说法
使用给定容量、排名和交易相互独立的假设，不要向课堂规则添加真实网络费用策略。
- t0 两个交易池数量均为二，集合相同吗？交集与已观察并集是什么？
- t1 之后，各节点保留什么？P 为什么没有保留 x？
- t2 之后，N 保留什么？x 是否因移除而失效？
- 尽管此前交易池观察如此，N、P 能否接受给定的、包含 x 和 q 的有效区块 B？
- t4 的 C 纳入 y 后，各池还剩什么？
- 轨迹是否证明 q 对其他所有参与者保密，或者 C 已具备最终性？
答案与理由
- 集合不同，交集为 {y}，已观察并集为 {x,y,z}。相同数量掩盖了不同内容，该并集也不是全网普查。
- N 保留 {x,y,z}，P 保留 {y,z}。P 收到了 x，但两个位置的策略优先保留排名更高的 y、z。
- N 保留 {y,z,w}。移除改变本地保留情况，不改变 x 的给定有效性，也不消除别处副本。
- 可以。练习给定完整区块验证通过并被选定。此前属于某观察者交易池，不是额外要求。两个节点仍须验证所需区块数据。
- N 保留 {z,w}，P 保留 {z}。y 因选定链纳入而移除，不同于 x 之前因容量被移除。
- 两者都不能证明。轨迹只说明 N、P 在 B 之前没有观察到 q；它提供到 C 为止的选定链纳入，却没有最终性条件。
延伸：增加 P 的容量
只把 P 容量从二改为三。t1 收到 x 后，P 能保留 {x,y,z}；t2 仍是该集合，因为轨迹没有向 P 交付 w。B 纳入 x、q 后，P 保留 {y,z}；C 纳入 y 后，保留 {z}。
最终交易池与原先 P 的结果相同，中间历史却不同。这再次说明，单张最终快照无法重建此前每一次接纳或移除决定。
13. 常见问题
我的节点没有某笔交易，就代表所有地方都没有吗？
不是。这只涉及一个观察者。其他节点或生产者可能拥有它，后续区块也可能把它带到你的节点。
本地接纳保证纳入区块吗？
不保证。它记录当前条件下的本地接纳。选择、持续有效性、传播和后续链结果都需要额外证据。
交易池策略与共识规则相同吗？
不同。客户端的候选保留与转发决定有自身范围。有效区块按适用共识和执行规则检查，而不要求每笔交易此前都出现在每个验证节点的交易池中。
私有提交保证隐私或公平排序吗？
不能仅凭名称得出这种保证。接收者、路径、披露方式和排序承诺需要分别核对。练习对 q 只给出一个有限的观察事实。
14. 资料来源与后续阅读
主要资料于新加坡时间 2026 年 10 月 12 日核对。带版本号的 RPC 参考描述 Bitcoin Core 30.0，不代表所有客户端或未来版本。
- 比特币 P2P 网络指南：网络交换与共识层的区别；本文不采用其中历史默认参数。
- Bitcoin Core 30.0 testmempoolaccept：共识与策略接纳测试。
- Bitcoin Core 30.0 getrawmempool：本地候选对象查询。
- Geth txpool 命名空间：pending、queued 等客户端视图；最后编辑于 2023 年 8 月 16 日。
- 以太坊 MEV 概述：纳入与排序选择的重要性。
可以回顾账户 nonce 课程，理解同一发送者序列中的依赖缺口；接着学习 gas 的资源预算，以及失败交易诊断中“纳入前拒绝”和“已纳入但执行失败”的区别。仪表板状态看似矛盾时，可以继续使用本篇双节点观察记录作为核对模板。