Zcash v1.0.8-1 补丁版解析：JoinSplit 交易优先级与内存池崩溃漏洞修复-平芜编程栈

Zcash v1.0.8-1 补丁版解析：JoinSplit 交易优先级与内存池崩溃漏洞修复

【免费下载链接】zcashZcash - Internet Money项目地址: https://gitcode.com/GitHub_Trending/zc/zcash

导读

本文围绕 Zcash 历史补丁版 v1.0.8-1 的发布说明，深入解析其核心变更：针对安全公告 2017-04-11.a 中内存池（mempool）在处理特殊 JoinSplit 交易时可能崩溃的问题进行修复，并同步调整交易优先级（priority）与手续费费率（fee rate）的边界处理逻辑。读者将理解该漏洞的形成机理、官方回归测试的构造方式、-rpcclienttimeout在性能测试中的用途，以及这套优先级体系在后续版本中的演进方向。

版本概览：v1.0.8-1 是什么

1.0.8-1是 Zcash 在 v1.0.8 基础上发布的补丁版本（hotfix）。版本号中尾部的-1表示对上一版本1.0.8的紧急修补迭代，这类版本通常只包含针对特定安全或稳定性问题的少量提交，而不携带新功能。从 release-notes-1.0.8-1.md 的提交列表可以看出，本版仅包含 8 个提交，集中在四个方向：

安全修复：针对 2017-04-11.a 安全问题的 JoinSplit 优先级检查与单元测试（str4d）；
优先级计算重构：不再依赖费率与优先级的有限上界、简化 JoinSplit 优先级计算、补充CCoinsViewCache::GetPriority的一致性检查（Daira Hopwood）；
性能测试工具改进：为慢速性能测量调大-rpcclienttimeout（Jack Grigg）；
发布工程：版本号提升与 man pages 重新生成（Nathan Wilcox）。

核心安全修复：内存池对恶意 JoinSplit 交易崩溃（2017-04-11.a）

漏洞背景与提交链

发布说明中 str4d 的两条提交揭示了本次安全修复的完整链路：

Add unit test for security issue 2017-04-11.a—— 为安全公告 2017-04-11.a 增加单元测试；
Update tests to check actual infinity as well as INF_FEERATE—— 同步更新既有测试，使其同时覆盖"真实无穷值"与INF_FEERATE常量两种边界情形。

Daira Hopwood 的三条提交则从根因上修复了问题：Don't rely on a finite upper bound on fee rate or priority（不再依赖手续费费率或优先级存在有限上界）、Simplify JoinSplit priority calculation（简化 JoinSplit 优先级计算）、Add check for JoinSplit priority as calculated by CCoinsViewCache::GetPriority（增加对CCoinsViewCache::GetPriority计算结果的检查）。从提交间的配合可以看出：漏洞根因在于内存池计算 JoinSplit 交易优先级时，对特殊构造的输入缺乏边界防护，攻击者可通过投递特制交易使节点崩溃，构成拒绝服务（DoS）风险。

回归测试的工程细节

该修复的回归测试保留在 test_mempool.cpp 中，测试名为Mempool.PriorityStatsDoNotCrash：

TEST(Mempool, PriorityStatsDoNotCrash) { // Test for security issue 2017-04-11.a // Trigger transaction in block 92046 std::string triggerTx = "02000000014a3f8f6fb5..."; // 真实区块中的触发交易 CTransaction tx; ASSERT_NO_THROW(DecodeHexTx(tx, triggerTx)); ASSERT_EQ(tx.GetHash().GetHex(), "5295156213414ed77f6e538e7e8ebe14492156906b9fe995b242477818789364"); ... CTxMemPool testPool(CFeeRate(0)); CTxMemPoolEntry entry(tx, nFees, nTime, nHeight, true, false, 0, SPROUT_BRANCH_ID); // Check it does not crash (ie. the death test fails) EXPECT_NONFATAL_FAILURE(EXPECT_DEATH(testPool.addUnchecked(tx.GetHash(), entry), ""), ""); }

该测试的关键设计值得借鉴：

使用真实触发交易而非随机构造：测试直接解码主网区块 92046 中实际触发问题的交易，并用断言锁定其交易哈希5295156213414e...789364，确保测试始终针对同一目标交易；
回放崩溃现场参数：测试注释说明nFees = 0、nTime = 0x58e5fed9、nHeight = 92045等数值取自漏洞触发时的 core dump 参数，即按真实崩溃现场重建内存池条目；
用死亡测试验证"不崩溃"：通过EXPECT_DEATH包裹addUnchecked调用，并用EXPECT_NONFATAL_FAILURE断言死亡测试失败——即补丁后该交易被安全处理、节点不会退出，从而将"崩溃类漏洞"固化为可自动回归的用例。

手续费与优先级的边界处理：INF_FEERATE 与有限上界

不再假设费率/优先级的有限上界

Don't rely on a finite upper bound on fee rate or priority是本版最重要的防御性变更。Zcash 沿袭自 Bitcoin 的交易优先级（priority）体系包含两类关键数值：

fee rate（手续费费率）：交易每千字节支付的手续费，用于内存池排序与区块打包选择，代码中由CFeeRate表示；
priority（优先级）：基于输入币龄（coin age）计算的打包优先级分数，内存池条目中通过feeDelta参与矿工打包排序（见 txmempool.h 对feeDelta的注释："Used for determining the priority of the transaction for mining in a block"）。

此前代码在部分计算路径中假定这些数值存在有限上界，而对特殊构造的 JoinSplit 交易而言该假设并不成立，进而可能引发未定义行为。本版改为对无穷值（infinity）与INF_FEERATE常量一视同仁地显式处理，避免依赖隐含边界。

测试同步更新

str4d 的Update tests to check actual infinity as well as INF_FEERATE与此修复配套：既有测试原本只校验INF_FEERATE这一约定常量，本版扩展为同时校验std::numeric_limits层面的真实无穷值，确保修复覆盖所有可能的"无界"输入形态。

JoinSplit 优先级计算简化（refs 1896）

Simplify JoinSplit priority calculation（refs 1896）重构了 Sprout 时代 JoinSplit 交易的优先级计算逻辑。在 Zcash 早期协议中，JoinSplit 是保护交易的隐私核心（零知识证明的输入输出描述），其优先级计算涉及多个成分的加权组合；本版在修复边界问题的同时将其简化，降低实现复杂度与出错面。配套的Add check for JoinSplit priority as calculated by CCoinsViewCache::GetPriority则在与CCoinsViewCache（内存中的 UTXO 视图缓存，见 coins.h）相关的路径上增加一致性校验，保证简化后的计算与视图缓存计算结果一致。

从当前仓库源码结构看，随着 Zcash 协议演进，这套基于币龄的 priority 体系已逐步退出：-blockprioritysize参数在 init.cpp 中已被标记为不再支持并输出启动警告，prioritisetransactionRPC 的priority_delta参数在 mining.cpp 中同样被声明为不支持（"Not supported, so must be zero or null"）。因此本版对优先级计算的修复，更多是服务于当时主网运行安全的应急加固，而非长期保留的特性。

性能测试改进：调大 -rpcclienttimeout

Jack Grigg 的提交Use a larger -rpcclienttimeout for slow performance measurements属于工程配套变更。-rpcclienttimeout是zcash-cli向节点发起 HTTP RPC 请求的超时参数，在 bitcoin-cli.cpp 中定义为 "Timeout in seconds during HTTP requests, or 0 for no timeout"，其生效逻辑位于同文件的evhttp_connection_set_timeout(evcon.get(), GetArg("-rpcclienttimeout", DEFAULT_HTTP_CLIENT_TIMEOUT))（bitcoin-cli.cpp）。

背景是 Zcash 性能测量脚本（如 performance-measurements.sh）需要对较慢的操作进行多次 RPC 调用并聚合耗时；若客户端默认超时过短，慢速测量可能被超时中断。将-rpcclienttimeout调大可保证测量线程在节点响应较慢时依然完成请求，从而获得稳定的性能基线数据。

发布工程：版本号提升与 man pages 再生成

Nathan Wilcox 的两条提交负责发布收尾：

Bump version numbers for v1.0.8-1.—— 提升版本号，使节点自报版本与发布版本一致；
Commit the changes from gen-manpages.sh, except manually tweak the version strings.—— 运行 gen-manpages.sh 重新生成命令行手册页（man pages），并对版本字符串做手工调整。该脚本在 doc/man 目录下产出zcashd.1、zcash-cli.1、zcash-tx.1、zcash-fetch-params.1、zcashd-wallet-tool.1等手册，确保文档中的默认值与命令行为与本版一致。

这条提交也体现了 Zcash 的发布纪律：任何影响命令行行为或默认值的代码变更，都必须同步刷新 man pages 并随版本一起提交。