Zebra 6.0.0 区块验证DoS漏洞(Quadratic Complexity)及修复分析

漏洞概述 漏洞名称: Quadratic transparent value check in block contextual verification 严重程度: Moderate (5.9 / 10) CVSS 3.1: AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H CWE: CWE-407 (Inefficient Algorithmic Complexity) / CWE-405 (Asymmetric Resource Consumption) 受影响版本: 6.0.0 修复版本: 6.1.0 报告者: @ebfull 和 @ValarDragon 修复 PR: #10995 描述 当 Zebra 在上下文验证期间验证区块时，它会检查每个非 coinbase 交易的剩余透明值。当前实现克隆并转换整个区块级别的 spent-UTXO map 一次 per transaction（两次，实际上，因为 value-balance 转换再次克隆它），而不是只传递每笔交易只输出它花费的。对于接近 2,000,000 字节限制且包含最小单笔输入打包的交易，这会将线性时间价值检查转换为二次哈希图分配和复制，测量超过 52 秒处理单个区块。由于受影响的代码仅在 proof-of-work 和其他语义检查通过后运行，触发它需要生成一个有效的盲区块，这限制了谁可以造成它以及成本。 影响范围 可用性: 高 攻击向量: 网络 攻击复杂度: 高 特权要求: 无 用户交互: 无 范围: 未改变 机密性: 无 完整性: 无 可用性: 高 修复方案 6.1.0: 修复是给每笔交易只输出它花费的，而不是克隆整个区块级别的 map per transaction。 - 在 中，构建或借用 per-transaction view 只包含交易的 spent outpoints，并传递给 ，使 per-transaction 成本与交易的输入数量成比例。 - 另外，避免第二次克隆，通过拥有 而不是克隆和转换（transaction.rs:1565）。 补丁代码 工作区 没有仅配置的工作区；检查在标准区块验证路径上运行。proof-of-work 要求限制了攻击（未盲区块无法达到区块），但不阻止它，因为付费的最坏情况区块可以直接挖掘或注入到内存池中，以便诚实矿工挖掘，并且 ZIP-317 费用不会阻止它。升级后补丁是持久的。 影响 可用性仅且受限。参与者可以构建最坏情况区块，要么通过直接挖掘，要么通过注入包含最小透明交易并让诚实矿工挖掘的公共内存池，这使每个验证节点花费超过 52 秒处理，对于该区块。效果在进程完成时清晰。它不会放大新区块的攻击，也不会崩溃节点、导致共识分歧或损坏状态。严重程度取决于是否进程停滞阻塞了其余的区块（错过计时器、丢弃 gossip、sync lag）或其持续时间或隔离区块处理，这正在等待确认。触发器仍然需要有效的 proof-of-work 区块存在；内存池注入费用降低了攻击者的成本（费用而不是哈希功率），对少数 ZEC 和机会主义矿工行为而言，但不改变费用，ZIP-317 费用不会阻止它。受限、一次性、自清除性质的停滞保持现实激励低。 参考 zebra-state/src/service/check/utxo.rs:38, 84, 143, 231, 244 (transparent_spend, remaining_transaction_value, utxos_from_ordered_utxos, the per-transaction clone) zebra-chain/src/transaction.rs:1561, 1565 (value_balance, the second clone) zebra-consensus/src/block.rs:241, 248, 247, 257, 394 (proof-of-work and merkle checks before the state commit) CWE-407, CWE-405

目标达成感谢每一位支持者 — 我们达成了 100% 目标！

Zebra 6.0.0 区块验证DoS漏洞(Quadratic Complexity)及修复分析

同源更多文章

目标达成 感谢每一位支持者 — 我们达成了 100% 目标！

Zebra 6.0.0 区块验证DoS漏洞(Quadratic Complexity)及修复分析

同源更多文章

目标达成感谢每一位支持者 — 我们达成了 100% 目标！