2026-06-15 05:21:44
BlockSecはAztecの脆弱性を特定:numRealTxsの不一致により、保護されていない残高の作成が許可される
BlockSecのPhalconによると、Aztecの脆弱性は、RollupProcessorV3におけるnumRealTxsが、ゼロ知識証明によって強制されるトランザクション集合と結び付けられなかったことに起因していました。脆弱性の検証経路では、encodedInnerTxDataからすべてのトランザクションを復号し、それらをロールアップのMerkleツリーに挿入していました。一方で、L1の決済ロジックは、復号されたスロットのうち最初のnumRealTxsのみを処理していました。攻撃者は、この不一致を悪用して、後続スロットに正当な預金トランザクションを配置しつつnumRealTxsをより小さい値に設定することで、decreasePendingDepositBalance() のようなチェックを回避し、その後通常の償還プロセスを通じて引き出せる無担保(未保全)の資産残高を作成しました。この攻撃により、複数のアセットにまたがって同時に無担保残高が発生しました。