Según el análisis de BlockSec Phalcon, la causa raíz real del incidente de Aztec es que el conjunto de transacciones de Rollup verificado y los límites de procesamiento de liquidación en L1 (numRealTxs / _numTxs) no coinciden, lo que provoca que la ruta de verificación de la prueba ZK y la lógica de liquidación en L1 interpreten la lista de transacciones de manera diferente. El atacante puede establecer numRealTxs en 1 y colocar la transacción de depósito real en la segunda ranura de transacción decodificada, saltándose la verificación de firma correspondiente en L1 y la deducción del saldo de depósito pendiente, generando un saldo privado sin respaldo de activos y retirándolo. BlockSec afirma que el atacante primero registra en el estado de Rollup un saldo sin respaldo de 7 activos diferentes, y luego retira los activos mediante 7 transacciones de retiro; además, RollupProcessorV3 fue actualizado el 10 de abril de 2024 mediante el PR #67, pero antes de esa actualización parece no haber sido sometido a auditoría externa.