MSG 公链业务模块详解

⬅ 返回 MSG 白皮书层级目录

交易池管理 (TxPool)

知识网络定位

当前页面已进入跨页知识网络层：不仅展示本页拓扑，还明确它在整站里的分类、被哪些页面引用、又继续指向哪些专题与证据页。

打开知识网络总览

状态：已实现分组：运行与状态出链：4 回链：5 相邻推荐：8

接口查询P2P组网NAT状态存储证据

这页继续通向

RPC 与 API 接口可信性证明链核心钱包管理 (BIP39/HD)链状态管理 (Blockchain)

这些页面会回到本页

AI 智能钱包闭环安全总览拓扑白皮书总拓扑母图证据覆盖率矩阵链状态管理 (Blockchain)

TxPool 交叉校验

可证：重复交易、无签名交易、limit 取数均有测试原文边界：queued 队列与真实 GasPrice 排序尚未宣称完成

上游入口：RPC / REST / 广播交易来源：钱包签名与提交下游提交：新区块执行与移除可信判据：为何边界必须显式保留


flowchart TD
    subgraph Entry["入口与接收面"]
        RPC["rpc.html
RPC / REST / P2P 广播进来的原始交易"] --> Receive["接收原始交易"]
        Wallet["wallet.html
本地钱包签名交易"] --> Local["本地钱包 / 合约执行器提交"]
        Local --> Receive
    end

    subgraph Validate["准入校验面"]
        Receive --> Capacity{"池容量是否超限"}
        Capacity -->|"超限"| RejectFull["拒绝: pool is full"]
        Capacity -->|"未满"| Hash{"Tx Hash 是否为空/重复"}
        Hash -->|"异常"| RejectDup["拒绝: 空哈希 / 重复交易"]
        Hash -->|"通过"| Check["完整校验
basic + Dilithium 签名 + size + gas + nonce + balance"]
        Check -->|"失败"| RejectInvalid["拒绝: 非法签名 / 低 Gas / Nonce 回退 / 余额不足"]
        Check -->|"通过"| Pending["写入 pending 池
当前实现默认不拆 queued"]
    end

    subgraph Scheduling["调度与打包面"]
        Pending --> Select["GetPendingTransactions(limit)"]
        Select --> Sort["当前实现: 时间戳优先排序
Gas Price 真排序已留 TODO"]
        Sort --> Producer["block_producer 收集待打包交易"]
        Producer --> Package["选取合法交易打包进新区块"]
        Package --> Chain["blockchain.html
进入区块执行与提交"]
        Package --> Remove["确认上链后从交易池移除"]
    end

    RejectFull -.-> Metrics["rejectedCount / addedCount / removedCount 统计"]
    RejectDup -.-> Metrics
    RejectInvalid -.-> Metrics
    Remove -.-> Metrics

📄 真实来源: pkg/txpool/transaction_pool.go + pkg/quantum/block_producer.go

// AddTransaction 不是“收到就进池”，而是先做完整验证：容量 / 重复 / 签名 / size / gas / nonce / balance
// 真实代码锚点：
// - pkg/txpool/transaction_pool.go
//   - AddTransaction(): 先查容量、查 hash、查重复、再 validateTransaction()
//   - validateTransaction(): basic -> VerifySignature -> validateGasPrice -> validateNonce -> validateBalance
//   - GetPendingTransactions(): 当前实现按 Timestamp 排序，并明确保留 TODO “真正的 Gas 价格排序”
// - pkg/quantum/block_producer.go
//   - collectNewPoolTransactions(): 从交易池收集可打包交易
//
// 可信边界（必须明确）：
// 1. 这个页面现在能证明“交易池校验闭环真实存在”。
// 2. 不能把当前实现写成“已经完成 queued 队列 + 真正按 GasPrice 排序”。
// 3. 白皮书导航必须保留这个边界，否则会高估 txpool 完成度。

📄 原始证据: 20260417 make_test 日志 + transaction_pool_test.go

// 来自 logs/re-service/20260409-network-closeout/.../171_make_test_after_wasmvm_lib_align.txt
=== RUN   TestPoolAddDuplicateTransaction
transaction_pool_test.go:191: ✅ Duplicate transaction correctly rejected
--- PASS: TestPoolAddDuplicateTransaction (0.00s)

=== RUN   TestAddTransactionWithoutSignature
transaction_pool_test.go:227: ✅ Unsigned transaction correctly rejected: transaction validation failed: signature verification failed: transaction has no signature
--- PASS: TestAddTransactionWithoutSignature (0.00s)

=== RUN   TestGetPendingTransactions
transaction_pool_test.go:333:   Limited (3): 3
--- PASS: TestGetPendingTransactions (0.00s)

// 这三段证据对应页面三类结论：
// - success: 合法交易进入 pending 并可按 limit 取出
// - error: 重复交易被拒绝
// - error: 未签名交易被拒绝
//
// 因此 txpool 页不再只是“理想流程图”，而是可回溯到真实测试原文的导航节点。

交易池管理 (TxPool)

知识网络定位

这页继续通向

这些页面会回到本页

相邻概念推荐

TxPool 交叉校验