BlockSec Mengenal Punca Utama Kerentanan Aztec sebagai Ketidaksesuaian Antara numRealTxs dan Set Transaksi

Berita ME, 15 Jun (UTC+8), BlockSec Phalcon memperbaharui analisis insiden lubang keamanan Aztec. Setelah penyiasatan mendalam, punca utama insiden ini bukanlah kekurangan kawalan akses, tetapi numRealTxs dalam RollupProcessorV3 tidak diikat secara paksa dengan set transaksi yang dikenakan oleh bukti ZK. Secara khusus, laluan pengesahan bukti akan menghuraikan semua transaksi dalam encodedInnerTxData dan memasukkannya ke dalam pokok Merkle rollup, manakala logik penyelesaian L1 hanya memproses n slot yang telah dihuraikan pertama sebanyak numRealTxs. Penyerang memanfaatkan ketidakkonsistenan ini dengan meletakkan transaksi deposit sebenar di slot yang lebih belakang, sambil menetapkan numRealTxs kepada nilai kecil, dengan itu mengelakkan pemeriksaan seperti decreasePendingDepositBalance(), mencipta baki aset tanpa sokongan dan berjaya menariknya. Dalam transaksi serangan, penyerang mencipta baki tanpa sokongan secara serentak pada pelbagai aset, kemudian menariknya melalui proses penarikan biasa. Selain itu, walaupun Aztec Connect telah dihentikan pada 31 Mac 2024, kontrak RollupProcessorV3 masih mengalami peningkatan tanpa audit luar pada 10 April. (Sumber: Foresight News)