BlockSec：Aztec 漏洞事件原因为 numRealTxs 与交易集不匹配导致未背书余额被创建

Foresight News 消息，BlockSec Phalcon 发文更新 Aztec 漏洞事件分析。经深入调查，此次事件根因并非缺少访问控制，而是 RollupProcessorV3 中 numRealTxs 未与 ZK 证明强制执行的交易集有效绑定。

具体而言，证明验证路径会将 encodedInnerTxData 中的所有交易解码并插入 rollup 默克尔树，而 L1 结算逻辑仅处理前 numRealTxs 个解码槽位。攻击者利用这一不一致，将真实存款交易放在靠后槽位，同时将 numRealTxs 设置为较小值，从而绕过 decreasePendingDepositBalance（）等检查，创建了未背书的资产余额并成功提取。攻击交易中，攻击者一次性在多个资产上创建了未背书余额，随后通过正常提现流程提取。此外，Aztec Connect 虽已于 2024 年 3 月 31 日停止运行，但 RollupProcessorV3 合约在 4 月 10 日仍进行了未经外部审计的升级。