Phân tích cuộc tấn công tái nhập khoản vay nhanh của dự án Jarvis Network

Dữ liệu cho thấy, vào lúc 17:43:37 UTC ngày 15 tháng 1 năm 2023, dự án Jarvis_Network đã bị tấn công, thiệt hại 663,101 MATIC.

Phân tích ngăn xếp gọi giao dịch phát hiện ra rằng trong quá trình loại bỏ thanh khoản có logic gọi lại. Trước và sau khi gọi lại một hàm của cùng một hợp đồng, tham số truyền vào giống nhau, nhưng giá trị trả về chênh lệch lớn:

• Thời điểm trước khi tái nhập: 1,002,157,321,772,769,944
• Tái nhập: 10,091,002,696,492,234,934

Tái nhập xảy ra trong hàm remove_liquidity. Hàm này sẽ trả lại các token mà người dùng đã thêm khi loại bỏ tính thanh khoản. Do Polygon và EVM là chuỗi đồng cấu, việc chuyển MATIC cho hợp đồng sẽ kích hoạt tái nhập của hợp đồng.

Phân tích sâu cho thấy, vấn đề nằm ở việc triển khai hàm getUnderlyingPrice. Hàm này liên quan đến một loạt các phép tính nội bộ và gọi bên ngoài, trong đó điểm mấu chốt là giá trị trả về của hàm get_virtual_price.

Giá trị trả về của hàm get_virtual_price bị ảnh hưởng bởi biến self.D. Trong hàm remove_liquidity, việc cập nhật self.D diễn ra sau khi chuyển token. Kẻ tấn công khi gỡ bỏ thanh khoản, MATIC được chuyển đến hợp đồng tấn công, và khi gọi callback fallback, nó đã truy vấn giá token trước. Do self.D chưa được cập nhật, dẫn đến việc lấy giá không chính xác.

Quy trình hàm remove_liquidity:

1. Hủy LP của người dùng
2. Gửi tiền ký quỹ của người dùng
3. Cập nhật self.D

Kẻ tấn công thực hiện gọi lại ở bước 2, lợi dụng giá trị self.D chưa được cập nhật để vay mượn, đã nhận được số vốn gấp 10 lần giá bình thường.

Mặc dù hàm remove_liquidity đã sử dụng @nonreentrant('lock') để ngăn chặn tấn công tái nhập, nhưng kẻ tấn công đã vượt qua cơ chế bảo vệ này thông qua tái nhập giữa các hợp đồng.

Cuộc tấn công này đã phơi bày một số vấn đề quan trọng:

1. Logic thay đổi biến sau khi gọi từ bên ngoài, dẫn đến việc lấy giá bất thường
2. Tái nhập giữa các hợp đồng làm mất hiệu lực khóa tái nhập
3. Không tuân thủ mô hình "Kiểm tra - Hiệu lực - Tương tác" (Checks-Effects-Interactions)

Để nâng cao tính bảo mật, nhóm dự án nên:

• Thực hiện kiểm toán an ninh nghiêm ngặt
• Đặt việc sửa đổi biến trước khi gọi bên ngoài
• Sử dụng nhiều nguồn dữ liệu để lấy giá
• Tuân theo quy tắc lập trình "đánh giá trước, ghi vào biến sau, sau đó thực hiện gọi bên ngoài"

Thông qua những biện pháp này, có thể nâng cao đáng kể tính an toàn và ổn định của dự án, hiệu quả ngăn ngừa các cuộc tấn công tương tự.