Selon l’analyse de BlockSec Phalcon, la cause profonde réelle de l’incident Aztec est que le lot de transactions Rollup vérifié ne correspond pas à la frontière de traitement de règlement L1 (numRealTxs / _numTxs), ce qui entraîne une différence dans l’interprétation de la liste des transactions par le chemin de vérification de la preuve ZK et la logique de règlement L1. L’attaquant peut définir numRealTxs à 1 et placer une transaction de dépôt réelle dans le deuxième emplacement de décodeur de transaction, contournant ainsi la vérification de signature L1 correspondante et la déduction du solde de dépôt en attente, générant un solde privé sans support d’actifs et le retirer. BlockSec affirme que l’attaquant a d’abord inscrit un solde non supporté de 7 actifs différents dans l’état Rollup, puis a retiré ces actifs via 7 transactions de retrait ; de plus, RollupProcessorV3 a été mis à niveau le 10 avril 2024 via la PR #67, mais cette mise à niveau semble ne pas avoir été soumise à un audit externe avant son déploiement.