BlockSec xác định nguyên nhân gốc rễ của lỗ hổng Aztec là sự không khớp giữa numRealTxs và tập hợp giao dịch

Theo tin tức từ ME News, vào ngày 15 tháng 6 (UTC+8), BlockSec Phalcon đã đăng bài cập nhật phân tích sự cố lỗ hổng của Aztec. Sau khi điều tra sâu rộng, nguyên nhân gốc rễ của sự cố không phải do thiếu kiểm soát truy cập, mà do numRealTxs trong RollupProcessorV3 không được ràng buộc một cách bắt buộc với tập giao dịch được xác thực bởi bằng chứng ZK. Cụ thể, đường dẫn xác minh bằng chứng sẽ giải mã tất cả các giao dịch trong encodedInnerTxData và chèn chúng vào cây Merkle của rollup, trong khi logic thanh toán L1 chỉ xử lý numRealTxs giao dịch đầu tiên trong các vị trí đã giải mã. Kẻ tấn công đã khai thác sự không nhất quán này bằng cách đặt các giao dịch gửi tiền thật ở các vị trí phía sau, đồng thời thiết lập numRealTxs thành giá trị nhỏ hơn, từ đó vượt qua các kiểm tra như decreasePendingDepositBalance(), tạo ra số dư tài sản không được bảo đảm và rút tiền thành công. Trong giao dịch tấn công, kẻ tấn công đã tạo đồng thời số dư không được bảo đảm trên nhiều tài sản, sau đó rút tiền thông qua quy trình rút tiền bình thường. Ngoài ra, mặc dù Aztec Connect đã ngừng hoạt động vào ngày 31 tháng 3 năm 2024, hợp đồng RollupProcessorV3 vẫn được nâng cấp vào ngày 10 tháng 4 mà không có sự kiểm toán từ bên ngoài. (Nguồn: Foresight News)